runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3689148-1337881306/watcher-3689148-1337881306 -o /tmp/evaluation-result-3689148-1337881306/solver-3689148-1337881306 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689148-1337881306.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.94 3.87 3.82 3/197 23760
/proc/meminfo: memFree=29315796/32873844 swapFree=6868/6868
[pid=23760] ppid=23758 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/23760/stat : 23760 (java) R 23758 23760 20082 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 1 0 254197645 24780800 867 33554432000 1073741824 1073778376 140735904385440 140735904374504 209097463985 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23760/statm: 6050 867 654 9 0 385 0
[pid=23760/tid=23761] ppid=23758 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23761/stat : 23761 (java) R 23758 23760 20082 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 254197646 24780800 867 33554432000 1073741824 1073778376 140735904385440 140735904374504 209100765042 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0424061 s]
/proc/loadavg: 3.94 3.87 3.82 3/197 23760
/proc/meminfo: memFree=29315796/32873844 swapFree=6868/6868
[pid=23760] ppid=23758 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/23760/stat : 23760 (java) S 23758 23760 20082 0 -1 4202496 3087 0 1 0 2 0 0 0 20 0 13 0 254197645 9446973440 3274 33554432000 1073741824 1073778376 140735904385440 140735904376576 209100767293 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23760/statm: 2306390 3274 1704 9 0 2297091 0
[pid=23760/tid=23761] ppid=23758 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/23760/task/23761/stat : 23761 (java) R 23758 23760 20082 0 -1 4202560 1907 0 1 0 2 0 0 0 20 0 13 0 254197646 9446973440 3274 33554432000 1073741824 1073778376 140735904385440 140133777924336 209100793101 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100309 s]
/proc/loadavg: 3.94 3.87 3.82 3/197 23760
/proc/meminfo: memFree=29315796/32873844 swapFree=6868/6868
[pid=23760] ppid=23758 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/23760/stat : 23760 (java) S 23758 23760 20082 0 -1 4202496 4410 0 1 0 10 1 0 0 20 0 18 0 254197645 9787813888 5594 33554432000 1073741824 1073778376 140735904385440 140735904376576 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23760/statm: 2389603 5595 2109 9 0 2380296 0
[pid=23760/tid=23761] ppid=23758 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/23760/task/23761/stat : 23761 (java) R 23758 23760 20082 0 -1 4202560 2454 0 1 0 7 0 0 0 20 0 18 0 254197646 9787813888 5595 33554432000 1073741824 1073778376 140735904385440 140133777928952 209097035595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300267 s]
/proc/loadavg: 3.94 3.87 3.82 3/197 23760
/proc/meminfo: memFree=29315796/32873844 swapFree=6868/6868
[pid=23760] ppid=23758 vsize=9558412 CPUtime=0.54 cores=1,3,5,7
/proc/23760/stat : 23760 (java) S 23758 23760 20082 0 -1 4202496 5840 0 1 0 52 2 0 0 20 0 18 0 254197645 9787813888 7898 33554432000 1073741824 1073778376 140735904385440 140735904376576 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23760/statm: 2389603 7898 2222 9 0 2380296 0
[pid=23760/tid=23761] ppid=23758 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/23760/task/23761/stat : 23761 (java) R 23758 23760 20082 0 -1 4202560 2505 0 1 0 26 1 0 0 20 0 18 0 254197646 9787813888 7898 33554432000 1073741824 1073778376 140735904385440 140133777927768 140133717887394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558412
[startup+0.70022 s]
/proc/loadavg: 3.94 3.87 3.82 3/197 23760
/proc/meminfo: memFree=29315796/32873844 swapFree=6868/6868
[pid=23760] ppid=23758 vsize=9824668 CPUtime=1.75 cores=1,3,5,7
/proc/23760/stat : 23760 (java) S 23758 23760 20082 0 -1 4202496 11430 0 1 0 172 3 0 0 20 0 22 0 254197645 10060460032 20280 33554432000 1073741824 1073778376 140735904385440 140735904376576 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23760/statm: 2456167 20280 2249 9 0 2446860 0
[pid=23760/tid=23761] ppid=23758 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/23760/task/23761/stat : 23761 (java) S 23758 23760 20082 0 -1 4202560 2531 0 1 0 46 2 0 0 20 0 22 0 254197646 10060460032 20280 33554432000 1073741824 1073778376 140735904385440 140133777929208 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 9824668
[startup+1.50079 s]
/proc/loadavg: 3.94 3.87 3.82 5/216 23782
/proc/meminfo: memFree=29213076/32873844 swapFree=6868/6868
[pid=23760] ppid=23758 vsize=9824668 CPUtime=4.64 cores=1,3,5,7
/proc/23760/stat : 23760 (java) S 23758 23760 20082 0 -1 4202496 24133 0 1 0 455 9 0 0 20 0 22 0 254197645 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140735904376576 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23760/statm: 2456167 45512 2287 9 0 2446860 0
[pid=23760/tid=23761] ppid=23758 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/23760/task/23761/stat : 23761 (java) S 23758 23760 20082 0 -1 4202560 2531 0 1 0 47 2 0 0 20 0 22 0 254197646 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133777929208 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23763] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23763/stat : 23763 (java) S 23758 23760 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133716659240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23764] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23764/stat : 23764 (java) S 23758 23760 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133715606440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23765] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23765/stat : 23765 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133714553640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23766] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23766/stat : 23766 (java) S 23758 23760 20082 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133713500840 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23767] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23767/stat : 23767 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133712448040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23768] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23768/stat : 23768 (java) S 23758 23760 20082 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133711395240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23769] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23769/stat : 23769 (java) S 23758 23760 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133615221032 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23770] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23770/stat : 23770 (java) S 23758 23760 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133614168232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23771] ppid=23758 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/23760/task/23771/stat : 23771 (java) S 23758 23760 20082 0 -1 4202560 45 0 0 0 5 0 0 0 20 0 22 0 254197648 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133601971176 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23772] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23772/stat : 23772 (java) S 23758 23760 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133600917240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23773] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23773/stat : 23773 (java) S 23758 23760 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133599864328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23774] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23774/stat : 23774 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133598812816 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23775] ppid=23758 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/23760/task/23775/stat : 23775 (java) R 23758 23760 20082 0 -1 4202560 9079 0 0 0 118 2 0 0 20 0 22 0 254197651 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133597759456 140133780585755 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23776] ppid=23758 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/23760/task/23776/stat : 23776 (java) R 23758 23760 20082 0 -1 4202560 11106 0 0 0 112 2 0 0 20 0 22 0 254197651 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133596694408 140133782017454 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23777] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23777/stat : 23777 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133595654520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23778] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23778/stat : 23778 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133594601928 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23782] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23782/stat : 23782 (java) S 23758 23760 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254197697 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133590390056 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23783] ppid=23758 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/23760/task/23783/stat : 23783 (java) R 23758 23760 20082 0 -1 4202560 5 0 0 0 40 0 0 0 20 0 22 0 254197746 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133592494680 140133718386639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23784] ppid=23758 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/23760/task/23784/stat : 23784 (java) R 23758 23760 20082 0 -1 4202560 20 0 0 0 39 0 0 0 20 0 22 0 254197746 10060460032 45512 33554432000 1073741824 1073778376 140735904385440 140133593547192 140133718562432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 9824668
[startup+3.10071 s]
/proc/loadavg: 3.95 3.87 3.82 6/219 23785
/proc/meminfo: memFree=29097584/32873844 swapFree=6868/6868
[pid=23760] ppid=23758 vsize=9824668 CPUtime=7.72 cores=1,3,5,7
/proc/23760/stat : 23760 (java) S 23758 23760 20082 0 -1 4202496 30832 0 1 0 756 16 0 0 20 0 22 0 254197645 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140735904376576 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23760/statm: 2456167 66888 2287 9 0 2446860 0
[pid=23760/tid=23761] ppid=23758 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/23760/task/23761/stat : 23761 (java) S 23758 23760 20082 0 -1 4202560 2533 0 1 0 47 2 0 0 20 0 22 0 254197646 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133777929208 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23763] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23763/stat : 23763 (java) S 23758 23760 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133716659240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23764] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23764/stat : 23764 (java) S 23758 23760 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133715606440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23765] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23765/stat : 23765 (java) S 23758 23760 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133714553640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23766] ppid=23758 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23760/task/23766/stat : 23766 (java) S 23758 23760 20082 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 254197647 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133713500840 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23767] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23767/stat : 23767 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133712448040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23768] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23768/stat : 23768 (java) S 23758 23760 20082 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133711395240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23769] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23769/stat : 23769 (java) S 23758 23760 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133615221032 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23770] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23770/stat : 23770 (java) S 23758 23760 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133614168232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23771] ppid=23758 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/23760/task/23771/stat : 23771 (java) S 23758 23760 20082 0 -1 4202560 110 0 0 0 13 0 0 0 20 0 22 0 254197648 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133601971176 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23772] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23772/stat : 23772 (java) S 23758 23760 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133600917240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23773] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23773/stat : 23773 (java) S 23758 23760 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133599864328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23774] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23774/stat : 23774 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133598812816 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23775] ppid=23758 vsize=9824668 CPUtime=1.47 cores=1,3,5,7
/proc/23760/task/23775/stat : 23775 (java) S 23758 23760 20082 0 -1 4202560 9094 0 0 0 145 2 0 0 20 0 22 0 254197651 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133597759928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23776] ppid=23758 vsize=9824668 CPUtime=1.9 cores=1,3,5,7
/proc/23760/task/23776/stat : 23776 (java) S 23758 23760 20082 0 -1 4202560 17655 0 0 0 187 3 0 0 20 0 22 0 254197651 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133596707128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23777] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23777/stat : 23777 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133595654520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23778] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23778/stat : 23778 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133594601928 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23782] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23782/stat : 23782 (java) S 23758 23760 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254197697 10060460032 66888 33554432000 1073741824 1073778376 140735904385440 140133590390056 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 9824668
[startup+6.30072 s]
/proc/loadavg: 3.95 3.87 3.82 3/216 23794
/proc/meminfo: memFree=29025356/32873844 swapFree=6868/6868
[pid=23760] ppid=23758 vsize=9824668 CPUtime=12.83 cores=1,3,5,7
/proc/23760/stat : 23760 (java) S 23758 23760 20082 0 -1 4202496 30898 0 1 0 1263 20 0 0 20 0 22 0 254197645 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140735904376576 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23760/statm: 2456167 74330 2287 9 0 2446860 0
[pid=23760/tid=23761] ppid=23758 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/23760/task/23761/stat : 23761 (java) S 23758 23760 20082 0 -1 4202560 2534 0 1 0 47 2 0 0 20 0 22 0 254197646 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133777929208 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23763] ppid=23758 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/23760/task/23763/stat : 23763 (java) S 23758 23760 20082 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 254197647 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133716659240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23764] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23764/stat : 23764 (java) S 23758 23760 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133715606440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23765] ppid=23758 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23760/task/23765/stat : 23765 (java) S 23758 23760 20082 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 254197647 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133714553640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23766] ppid=23758 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23760/task/23766/stat : 23766 (java) S 23758 23760 20082 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 254197647 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133713500840 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23767] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23767/stat : 23767 (java) S 23758 23760 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133712448040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23768] ppid=23758 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23760/task/23768/stat : 23768 (java) S 23758 23760 20082 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 254197647 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133711395240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23769] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23769/stat : 23769 (java) S 23758 23760 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133615221032 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23770] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23770/stat : 23770 (java) S 23758 23760 20082 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254197647 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133614168232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23771] ppid=23758 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/23760/task/23771/stat : 23771 (java) S 23758 23760 20082 0 -1 4202560 114 0 0 0 51 0 0 0 20 0 22 0 254197648 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133601971176 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23772] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23772/stat : 23772 (java) S 23758 23760 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133600917240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23773] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23773/stat : 23773 (java) S 23758 23760 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133599864328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23774] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23774/stat : 23774 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 74330 33554432000 1073741824 1073778376 140735904385440 140133598812816 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=23760/tid=23766] ppid=23758 vsize=9824668 CPUtime=3.26 cores=1,3,5,7
/proc/23760/task/23766/stat : 23766 (java) S 23758 23760 20082 0 -1 4202560 297 0 0 0 321 5 0 0 20 0 22 0 254197647 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133713500840 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23767] ppid=23758 vsize=9824668 CPUtime=2.98 cores=1,3,5,7
/proc/23760/task/23767/stat : 23767 (java) S 23758 23760 20082 0 -1 4202560 293 0 0 0 293 5 0 0 20 0 22 0 254197647 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133712448040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23768] ppid=23758 vsize=9824668 CPUtime=3.1 cores=1,3,5,7
/proc/23760/task/23768/stat : 23768 (java) S 23758 23760 20082 0 -1 4202560 311 0 0 0 306 4 0 0 20 0 22 0 254197647 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133711395240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23769] ppid=23758 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/23760/task/23769/stat : 23769 (java) S 23758 23760 20082 0 -1 4202560 307 0 0 0 330 5 0 0 20 0 22 0 254197647 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133615221032 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23770] ppid=23758 vsize=9824668 CPUtime=3.22 cores=1,3,5,7
/proc/23760/task/23770/stat : 23770 (java) S 23758 23760 20082 0 -1 4202560 315 0 0 0 317 5 0 0 20 0 22 0 254197647 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133614168232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23771] ppid=23758 vsize=9824668 CPUtime=100.43 cores=1,3,5,7
/proc/23760/task/23771/stat : 23771 (java) S 23758 23760 20082 0 -1 4202560 1256 0 0 0 10018 25 0 0 20 0 22 0 254197648 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133601971176 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23772] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23772/stat : 23772 (java) S 23758 23760 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133600917240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23773] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23773/stat : 23773 (java) S 23758 23760 20082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133599864328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23774] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23774/stat : 23774 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133598812816 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23775] ppid=23758 vsize=9824668 CPUtime=1.55 cores=1,3,5,7
/proc/23760/task/23775/stat : 23775 (java) S 23758 23760 20082 0 -1 4202560 9111 0 0 0 153 2 0 0 20 0 22 0 254197651 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133597759928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23776] ppid=23758 vsize=9824668 CPUtime=2.32 cores=1,3,5,7
/proc/23760/task/23776/stat : 23776 (java) S 23758 23760 20082 0 -1 4202560 17693 0 0 0 228 4 0 0 20 0 22 0 254197651 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133596707128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23777] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23777/stat : 23777 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133595654520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23778] ppid=23758 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/23760/task/23778/stat : 23778 (java) S 23758 23760 20082 0 -1 4202560 49 0 0 0 32 15 0 0 20 0 22 0 254197651 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133594601928 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=24006] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/24006/stat : 24006 (java) S 23758 23760 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254255278 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133592494888 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=24011] ppid=23758 vsize=9824668 CPUtime=159.55 cores=1,3,5,7
/proc/23760/task/24011/stat : 24011 (java) R 23758 23760 20082 0 -1 4202560 36 0 0 0 15953 2 0 0 20 0 22 0 254267085 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133593545584 140133718341045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=24012] ppid=23758 vsize=9824668 CPUtime=159.52 cores=1,3,5,7
/proc/23760/task/24012/stat : 24012 (java) R 23758 23760 20082 0 -1 4202560 920 0 0 0 15948 4 0 0 20 0 22 0 254267085 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133591440800 140133718562379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=24013] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/24013/stat : 24013 (java) S 23758 23760 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254267094 10060460032 301598 33554432000 1073741824 1073778376 140735904385440 140133590389800 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1657.09
Current children cumulated vsize (KiB) 9824668
[startup+942.301 s]
/proc/loadavg: 3.93 3.79 3.75 5/219 24014
/proc/meminfo: memFree=25573516/32873844 swapFree=6868/6868
[pid=23760] ppid=23758 vsize=9824668 CPUtime=1774.24 cores=1,3,5,7
/proc/23760/stat : 23760 (java) S 23758 23760 20082 0 -1 4202496 37502 0 1 0 177227 197 0 0 20 0 22 0 254197645 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140735904376576 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23760/statm: 2456167 310842 2288 9 0 2446860 0
[pid=23760/tid=23761] ppid=23758 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/23760/task/23761/stat : 23761 (java) S 23758 23760 20082 0 -1 4202560 2681 0 1 0 53 4 0 0 20 0 22 0 254197646 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133777929208 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23763] ppid=23758 vsize=9824668 CPUtime=3.53 cores=1,3,5,7
/proc/23760/task/23763/stat : 23763 (java) S 23758 23760 20082 0 -1 4202560 320 0 0 0 347 6 0 0 20 0 22 0 254197647 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133716659240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23764] ppid=23758 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/23760/task/23764/stat : 23764 (java) S 23758 23760 20082 0 -1 4202560 311 0 0 0 329 6 0 0 20 0 22 0 254197647 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133715606440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23765] ppid=23758 vsize=9824668 CPUtime=3.36 cores=1,3,5,7
/proc/23760/task/23765/stat : 23765 (java) S 23758 23760 20082 0 -1 4202560 303 0 0 0 331 5 0 0 20 0 22 0 254197647 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133714553640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23766] ppid=23758 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/23760/task/23766/stat : 23766 (java) S 23758 23760 20082 0 -1 4202560 314 0 0 0 343 5 0 0 20 0 22 0 254197647 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133713500840 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23767] ppid=23758 vsize=9824668 CPUtime=3.28 cores=1,3,5,7
/proc/23760/task/23767/stat : 23767 (java) S 23758 23760 20082 0 -1 4202560 301 0 0 0 323 5 0 0 20 0 22 0 254197647 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133712448040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23768] ppid=23758 vsize=9824668 CPUtime=3.39 cores=1,3,5,7
/proc/23760/task/23768/stat : 23768 (java) S 23758 23760 20082 0 -1 4202560 320 0 0 0 334 5 0 0 20 0 22 0 254197647 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133711395240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23769] ppid=23758 vsize=9824668 CPUtime=3.66 cores=1,3,5,7
/proc/23760/task/23769/stat : 23769 (java) S 23758 23760 20082 0 -1 4202560 318 0 0 0 361 5 0 0 20 0 22 0 254197647 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133615221032 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23770] ppid=23758 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/23760/task/23770/stat : 23770 (java) S 23758 23760 20082 0 -1 4202560 322 0 0 0 342 6 0 0 20 0 22 0 254197647 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133614168232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23771] ppid=23758 vsize=9824668 CPUtime=104.3 cores=1,3,5,7
/proc/23760/task/23771/stat : 23771 (java) S 23758 23760 20082 0 -1 4202560 1371 0 0 0 10404 26 0 0 20 0 22 0 254197648 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133601971176 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23772] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23772/stat : 23772 (java) S 23758 23760 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133600917240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23773] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23773/stat : 23773 (java) S 23758 23760 20082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133599864328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23774] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23774/stat : 23774 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133598812816 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23775] ppid=23758 vsize=9824668 CPUtime=1.55 cores=1,3,5,7
/proc/23760/task/23775/stat : 23775 (java) S 23758 23760 20082 0 -1 4202560 9111 0 0 0 153 2 0 0 20 0 22 0 254197651 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133597759928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23776] ppid=23758 vsize=9824668 CPUtime=2.32 cores=1,3,5,7
/proc/23760/task/23776/stat : 23776 (java) S 23758 23760 20082 0 -1 4202560 17693 0 0 0 228 4 0 0 20 0 22 0 254197651 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133596707128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23777] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23777/stat : 23777 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133595654520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23778] ppid=23758 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/23760/task/23778/stat : 23778 (java) S 23758 23760 20082 0 -1 4202560 53 0 0 0 34 17 0 0 20 0 22 0 254197651 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133594601928 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=24006] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/24006/stat : 24006 (java) S 23758 23760 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254255278 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133592494888 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=24011] ppid=23758 vsize=9824668 CPUtime=214.95 cores=1,3,5,7
/proc/23760/task/24011/stat : 24011 (java) R 23758 23760 20082 0 -1 4202560 51 0 0 0 21492 3 0 0 20 0 22 0 254267085 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133593546400 140133718463533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=24012] ppid=23758 vsize=9824668 CPUtime=214.91 cores=1,3,5,7
/proc/23760/task/24012/stat : 24012 (java) R 23758 23760 20082 0 -1 4202560 1304 0 0 0 21485 6 0 0 20 0 22 0 254267085 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133591440000 140133718375903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=24013] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/24013/stat : 24013 (java) S 23758 23760 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254267094 10060460032 310842 33554432000 1073741824 1073778376 140735904385440 140133590389800 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1774.24
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+954.401 s]
/proc/loadavg: 3.95 3.80 3.75 5/219 24014
/proc/meminfo: memFree=25580832/32873844 swapFree=6868/6868
[pid=23760] ppid=23758 vsize=9824668 CPUtime=1798.08 cores=1,3,5,7
/proc/23760/stat : 23760 (java) S 23758 23760 20082 0 -1 4202496 37513 0 1 0 179609 199 0 0 20 0 22 0 254197645 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140735904376576 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23760/statm: 2456167 306908 2288 9 0 2446860 0
[pid=23760/tid=23761] ppid=23758 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/23760/task/23761/stat : 23761 (java) S 23758 23760 20082 0 -1 4202560 2682 0 1 0 53 4 0 0 20 0 22 0 254197646 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133777929208 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23763] ppid=23758 vsize=9824668 CPUtime=3.58 cores=1,3,5,7
/proc/23760/task/23763/stat : 23763 (java) S 23758 23760 20082 0 -1 4202560 320 0 0 0 352 6 0 0 20 0 22 0 254197647 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133716659240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23764] ppid=23758 vsize=9824668 CPUtime=3.4 cores=1,3,5,7
/proc/23760/task/23764/stat : 23764 (java) S 23758 23760 20082 0 -1 4202560 311 0 0 0 334 6 0 0 20 0 22 0 254197647 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133715606440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23765] ppid=23758 vsize=9824668 CPUtime=3.45 cores=1,3,5,7
/proc/23760/task/23765/stat : 23765 (java) S 23758 23760 20082 0 -1 4202560 304 0 0 0 340 5 0 0 20 0 22 0 254197647 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133714553640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23766] ppid=23758 vsize=9824668 CPUtime=3.55 cores=1,3,5,7
/proc/23760/task/23766/stat : 23766 (java) S 23758 23760 20082 0 -1 4202560 314 0 0 0 350 5 0 0 20 0 22 0 254197647 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133713500840 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23767] ppid=23758 vsize=9824668 CPUtime=3.38 cores=1,3,5,7
/proc/23760/task/23767/stat : 23767 (java) S 23758 23760 20082 0 -1 4202560 303 0 0 0 333 5 0 0 20 0 22 0 254197647 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133712448040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23768] ppid=23758 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/23760/task/23768/stat : 23768 (java) S 23758 23760 20082 0 -1 4202560 320 0 0 0 342 5 0 0 20 0 22 0 254197647 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133711395240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23769] ppid=23758 vsize=9824668 CPUtime=3.71 cores=1,3,5,7
/proc/23760/task/23769/stat : 23769 (java) S 23758 23760 20082 0 -1 4202560 319 0 0 0 366 5 0 0 20 0 22 0 254197647 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133615221032 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23770] ppid=23758 vsize=9824668 CPUtime=3.57 cores=1,3,5,7
/proc/23760/task/23770/stat : 23770 (java) S 23758 23760 20082 0 -1 4202560 322 0 0 0 351 6 0 0 20 0 22 0 254197647 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133614168232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23771] ppid=23758 vsize=9824668 CPUtime=104.95 cores=1,3,5,7
/proc/23760/task/23771/stat : 23771 (java) S 23758 23760 20082 0 -1 4202560 1373 0 0 0 10468 27 0 0 20 0 22 0 254197648 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133601971176 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=23772] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23772/stat : 23772 (java) S 23758 23760 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133600917240 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23773] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23773/stat : 23773 (java) S 23758 23760 20082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254197648 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133599864328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23774] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23774/stat : 23774 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133598812816 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=23775] ppid=23758 vsize=9824668 CPUtime=1.55 cores=1,3,5,7
/proc/23760/task/23775/stat : 23775 (java) S 23758 23760 20082 0 -1 4202560 9111 0 0 0 153 2 0 0 20 0 22 0 254197651 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133597759928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23776] ppid=23758 vsize=9824668 CPUtime=2.32 cores=1,3,5,7
/proc/23760/task/23776/stat : 23776 (java) S 23758 23760 20082 0 -1 4202560 17693 0 0 0 228 4 0 0 20 0 22 0 254197651 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133596707128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=23777] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/23777/stat : 23777 (java) S 23758 23760 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254197651 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133595654520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=23778] ppid=23758 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/23760/task/23778/stat : 23778 (java) S 23758 23760 20082 0 -1 4202560 53 0 0 0 35 17 0 0 20 0 22 0 254197651 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133594601928 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23760/tid=24006] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/24006/stat : 24006 (java) S 23758 23760 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254255278 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133592494888 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23760/tid=24011] ppid=23758 vsize=9824668 CPUtime=226.23 cores=1,3,5,7
/proc/23760/task/24011/stat : 24011 (java) R 23758 23760 20082 0 -1 4202560 52 0 0 0 22620 3 0 0 20 0 22 0 254267085 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133593546520 140133718431100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23760/tid=24012] ppid=23758 vsize=9824668 CPUtime=226.19 cores=1,3,5,7
/proc/23760/task/24012/stat : 24012 (java) R 23758 23760 20082 0 -1 4202560 1307 0 0 0 22613 6 0 0 20 0 22 0 254267085 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133591440120 140133718355338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23760/tid=24013] ppid=23758 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23760/task/24013/stat : 24013 (java) S 23758 23760 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254267094 10060460032 306908 33554432000 1073741824 1073778376 140735904385440 140133590389800 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.08
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23760 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=870138
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=231660
# CPU time returned by wait4() is 1797.1
# while last known CPU time is 1798.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.97008
# lost CPU user time (s): 2.11017
# lost CPU system time (s): -0.14
Real time (s): 954.46
CPU time (s): 1800.05
CPU user time (s): 1798.2
CPU system time (s): 1.85
CPU usage (%): 188.594
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.87
system time used= 2.23166
maximum resident set size= 2302624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37545
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36136
involuntary context switches= 59098
runsolver used 3.55246 second user time and 9.47356 second system time
The end