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-3688060-1337875734/watcher-3688060-1337875734 -o /tmp/evaluation-result-3688060-1337875734/solver-3688060-1337875734 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688060-1337875734.opb
running on 4 cores: 0,2,4,6
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: 2.79 2.88 3.10 3/196 24670
/proc/meminfo: memFree=27288288/32873844 swapFree=7356/7356
[pid=24670] ppid=24668 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/24670/stat : 24670 (runsolver) D 24668 24670 23457 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 253701985 12095488 50 33554432000 4194304 5436572 140735111273888 140735111270184 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/24670/statm: 2953 50 31 304 0 2645 0
[startup+0.016284 s]
/proc/loadavg: 2.79 2.88 3.10 3/196 24670
/proc/meminfo: memFree=27288288/32873844 swapFree=7356/7356
[pid=24670] ppid=24668 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/24670/stat : 24670 (java) R 24668 24670 23457 0 -1 4202496 983 0 0 0 0 0 0 0 20 0 1 0 253701985 23793664 710 33554432000 1073741824 1073778376 140735396161120 140735396150184 245285042256 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24670/statm: 5809 710 525 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.100222 s]
/proc/loadavg: 2.79 2.88 3.10 3/196 24670
/proc/meminfo: memFree=27288288/32873844 swapFree=7356/7356
[pid=24670] ppid=24668 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/24670/stat : 24670 (java) S 24668 24670 23457 0 -1 4202496 3407 0 1 0 5 1 0 0 20 0 18 0 253701985 9787813888 4615 33554432000 1073741824 1073778376 140735396161120 140735396152256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24670/statm: 2389603 4615 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.300216 s]
/proc/loadavg: 2.79 2.88 3.10 3/196 24670
/proc/meminfo: memFree=27288288/32873844 swapFree=7356/7356
[pid=24670] ppid=24668 vsize=9559528 CPUtime=0.48 cores=0,2,4,6
/proc/24670/stat : 24670 (java) S 24668 24670 23457 0 -1 4202496 9020 0 1 0 45 3 0 0 20 0 18 0 253701985 9788956672 10330 33554432000 1073741824 1073778376 140735396161120 140735396152256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24670/statm: 2389882 10366 2218 9 0 2380575 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9559528
[startup+0.700174 s]
/proc/loadavg: 2.79 2.88 3.10 3/196 24670
/proc/meminfo: memFree=27288288/32873844 swapFree=7356/7356
[pid=24670] ppid=24668 vsize=9759132 CPUtime=1.39 cores=0,2,4,6
/proc/24670/stat : 24670 (java) S 24668 24670 23457 0 -1 4202496 16410 0 1 0 133 6 0 0 20 0 22 0 253701985 9993351168 34461 33554432000 1073741824 1073778376 140735396161120 140735396152256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24670/statm: 2439783 34461 2238 9 0 2430476 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 9759132
[startup+1.50074 s]
/proc/loadavg: 2.79 2.88 3.10 6/218 24692
/proc/meminfo: memFree=27107096/32873844 swapFree=7356/7356
[pid=24670] ppid=24668 vsize=9824668 CPUtime=3.4 cores=0,2,4,6
/proc/24670/stat : 24670 (java) S 24668 24670 23457 0 -1 4202496 22614 0 1 0 330 10 0 0 20 0 19 0 253701985 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140735396152256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24670/statm: 2456167 47303 2265 9 0 2446860 0
[pid=24670/tid=24672] ppid=24668 vsize=9824668 CPUtime=0.64 cores=0,2,4,6
/proc/24670/task/24672/stat : 24672 (java) S 24668 24670 23457 0 -1 4202560 2497 0 1 0 62 2 0 0 20 0 19 0 253701986 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570691871736 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24673] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24673/stat : 24673 (java) S 24668 24670 23457 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253701988 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570664323368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24674] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24674/stat : 24674 (java) S 24668 24670 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253701988 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570663270568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24675] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24675/stat : 24675 (java) S 24668 24670 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253701988 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570662218280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24676] ppid=24668 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24670/task/24676/stat : 24676 (java) S 24668 24670 23457 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253701988 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570661165480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24677] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24677/stat : 24677 (java) S 24668 24670 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253701988 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570660113192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24678] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24678/stat : 24678 (java) S 24668 24670 23457 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253701988 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570659060392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24679] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24679/stat : 24679 (java) S 24668 24670 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253701988 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570658008104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24680] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24680/stat : 24680 (java) S 24668 24670 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253701988 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570656955304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24681] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24681/stat : 24681 (java) S 24668 24670 23457 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 253701989 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570045417704 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24682] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24682/stat : 24682 (java) S 24668 24670 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253701989 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570044363768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24683] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24683/stat : 24683 (java) S 24668 24670 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253701989 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570043311368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24684] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24684/stat : 24684 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701992 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570042259856 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24685] ppid=24668 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/24670/task/24685/stat : 24685 (java) S 24668 24670 23457 0 -1 4202560 6972 0 0 0 73 2 0 0 20 0 19 0 253701992 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570041207480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24686] ppid=24668 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/24670/task/24686/stat : 24686 (java) S 24668 24670 23457 0 -1 4202560 11701 0 0 0 69 3 0 0 20 0 19 0 253701992 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570040154680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24687] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24687/stat : 24687 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701992 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570039102584 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24688] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24688/stat : 24688 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701992 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570038049992 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24692] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24692/stat : 24692 (java) S 24668 24670 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253702054 10060460032 47303 33554432000 1073741824 1073778376 140735396161120 140570033837096 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 9824668
[startup+3.10072 s]
/proc/loadavg: 2.79 2.88 3.10 5/218 24695
/proc/meminfo: memFree=27092140/32873844 swapFree=7356/7356
[pid=24670] ppid=24668 vsize=9824668 CPUtime=5.85 cores=0,2,4,6
/proc/24670/stat : 24670 (java) S 24668 24670 23457 0 -1 4202496 23415 0 1 0 568 17 0 0 20 0 22 0 253701985 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140735396152256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24670/statm: 2456167 83278 2266 9 0 2446860 0
[pid=24670/tid=24672] ppid=24668 vsize=9824668 CPUtime=0.64 cores=0,2,4,6
/proc/24670/task/24672/stat : 24672 (java) S 24668 24670 23457 0 -1 4202560 2498 0 1 0 62 2 0 0 20 0 22 0 253701986 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570691871736 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24673] ppid=24668 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24670/task/24673/stat : 24673 (java) S 24668 24670 23457 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253701988 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570664323368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24674] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24674/stat : 24674 (java) S 24668 24670 23457 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253701988 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570663270568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24675] ppid=24668 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24670/task/24675/stat : 24675 (java) S 24668 24670 23457 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253701988 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570662218280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24676] ppid=24668 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24670/task/24676/stat : 24676 (java) S 24668 24670 23457 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 253701988 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570661165480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24677] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24677/stat : 24677 (java) S 24668 24670 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701988 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570660113192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24678] ppid=24668 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24670/task/24678/stat : 24678 (java) S 24668 24670 23457 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 253701988 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570659060392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24679] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24679/stat : 24679 (java) S 24668 24670 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253701988 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570658008104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24680] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24680/stat : 24680 (java) S 24668 24670 23457 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253701988 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570656955304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24681] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24681/stat : 24681 (java) S 24668 24670 23457 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 253701989 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570045417704 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24682] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24682/stat : 24682 (java) S 24668 24670 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701989 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570044363768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24683] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24683/stat : 24683 (java) S 24668 24670 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701989 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570043311368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24684] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24684/stat : 24684 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570042259856 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24685] ppid=24668 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/24670/task/24685/stat : 24685 (java) S 24668 24670 23457 0 -1 4202560 6974 0 0 0 100 2 0 0 20 0 22 0 253701992 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570041207480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24686] ppid=24668 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/24670/task/24686/stat : 24686 (java) S 24668 24670 23457 0 -1 4202560 12262 0 0 0 82 3 0 0 20 0 22 0 253701992 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570040154680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24687] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24687/stat : 24687 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570039102584 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24688] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24688/stat : 24688 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570038049992 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24692] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24692/stat : 24692 (java) S 24668 24670 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253702054 10060460032 83278 33554432000 1073741824 1073778376 140735396161120 140570033837096 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 9824668
[startup+6.30069 s]
/proc/loadavg: 2.64 2.85 3.09 4/218 24701
/proc/meminfo: memFree=26700220/32873844 swapFree=7356/7356
[pid=24670] ppid=24668 vsize=9824668 CPUtime=11.11 cores=0,2,4,6
/proc/24670/stat : 24670 (java) S 24668 24670 23457 0 -1 4202496 24071 0 1 0 1080 31 0 0 20 0 22 0 253701985 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140735396152256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24670/statm: 2456167 158077 2281 9 0 2446860 0
[pid=24670/tid=24672] ppid=24668 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/24670/task/24672/stat : 24672 (java) S 24668 24670 23457 0 -1 4202560 2499 0 1 0 62 3 0 0 20 0 22 0 253701986 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570691871736 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24673] ppid=24668 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24670/task/24673/stat : 24673 (java) S 24668 24670 23457 0 -1 4202560 59 0 0 0 4 0 0 0 20 0 22 0 253701988 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570664323368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24674] ppid=24668 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24670/task/24674/stat : 24674 (java) S 24668 24670 23457 0 -1 4202560 50 0 0 0 4 0 0 0 20 0 22 0 253701988 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570663270568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24675] ppid=24668 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24670/task/24675/stat : 24675 (java) S 24668 24670 23457 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 22 0 253701988 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570662218280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24676] ppid=24668 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/24670/task/24676/stat : 24676 (java) S 24668 24670 23457 0 -1 4202560 76 0 0 0 5 1 0 0 20 0 22 0 253701988 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570661165480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24677] ppid=24668 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24670/task/24677/stat : 24677 (java) S 24668 24670 23457 0 -1 4202560 52 0 0 0 3 0 0 0 20 0 22 0 253701988 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570660113192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24678] ppid=24668 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24670/task/24678/stat : 24678 (java) S 24668 24670 23457 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 253701988 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570659060392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24679] ppid=24668 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24670/task/24679/stat : 24679 (java) S 24668 24670 23457 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 253701988 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570658008104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24680] ppid=24668 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24670/task/24680/stat : 24680 (java) S 24668 24670 23457 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 253701988 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570656955304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24681] ppid=24668 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/24670/task/24681/stat : 24681 (java) S 24668 24670 23457 0 -1 4202560 475 0 0 0 4 1 0 0 20 0 22 0 253701989 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570045417704 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24682] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24682/stat : 24682 (java) S 24668 24670 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701989 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570044363768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24683] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24683/stat : 24683 (java) S 24668 24670 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701989 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570043311368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24684] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24684/stat : 24684 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570042259856 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24685] ppid=24668 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/24670/task/24685/stat : 24685 (java) S 24668 24670 23457 0 -1 4202560 6983 0 0 0 103 2 0 0 20 0 22 0 253701992 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570041207480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24686] ppid=24668 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/24670/task/24686/stat : 24686 (java) S 24668 24670 23457 0 -1 4202560 12267 0 0 0 89 3 0 0 20 0 22 0 253701992 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570040154680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24687] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24687/stat : 24687 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570039102584 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24688] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24688/stat : 24688 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570038049992 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24701] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24701/stat : 24701 (java) S 24668 24670 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702404 10060460032 158077 33554432000 1073741824 1073778376 140735396161120 140570034890152 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 11.11
Current children cumulated vsize (KiB) 9824668
[startup+12.7008 s]
################
# More data... #
################
[pid=24670/tid=24676] ppid=24668 vsize=9824668 CPUtime=2.54 cores=0,2,4,6
/proc/24670/task/24676/stat : 24676 (java) S 24668 24670 23457 0 -1 4202560 342 0 0 0 251 3 0 0 20 0 22 0 253701988 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570661165480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24677] ppid=24668 vsize=9824668 CPUtime=2.39 cores=0,2,4,6
/proc/24670/task/24677/stat : 24677 (java) S 24668 24670 23457 0 -1 4202560 324 0 0 0 236 3 0 0 20 0 22 0 253701988 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570660113192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24678] ppid=24668 vsize=9824668 CPUtime=2.49 cores=0,2,4,6
/proc/24670/task/24678/stat : 24678 (java) S 24668 24670 23457 0 -1 4202560 292 0 0 0 246 3 0 0 20 0 22 0 253701988 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570659060392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24679] ppid=24668 vsize=9824668 CPUtime=2.28 cores=0,2,4,6
/proc/24670/task/24679/stat : 24679 (java) S 24668 24670 23457 0 -1 4202560 290 0 0 0 224 4 0 0 20 0 22 0 253701988 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570658008104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24680] ppid=24668 vsize=9824668 CPUtime=2.3 cores=0,2,4,6
/proc/24670/task/24680/stat : 24680 (java) S 24668 24670 23457 0 -1 4202560 298 0 0 0 226 4 0 0 20 0 22 0 253701988 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570656955304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24681] ppid=24668 vsize=9824668 CPUtime=14.62 cores=0,2,4,6
/proc/24670/task/24681/stat : 24681 (java) S 24668 24670 23457 0 -1 4202560 1395 0 0 0 1444 18 0 0 20 0 22 0 253701989 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570045417704 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24682] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24682/stat : 24682 (java) S 24668 24670 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701989 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570044363768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24683] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24683/stat : 24683 (java) S 24668 24670 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253701989 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570043311368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24684] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24684/stat : 24684 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570042259856 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24685] ppid=24668 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/24670/task/24685/stat : 24685 (java) S 24668 24670 23457 0 -1 4202560 11249 0 0 0 184 3 0 0 20 0 22 0 253701992 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570041207480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24686] ppid=24668 vsize=9824668 CPUtime=1.23 cores=0,2,4,6
/proc/24670/task/24686/stat : 24686 (java) S 24668 24670 23457 0 -1 4202560 12278 0 0 0 120 3 0 0 20 0 22 0 253701992 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570040154680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24687] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24687/stat : 24687 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570039102584 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24688] ppid=24668 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/24670/task/24688/stat : 24688 (java) S 24668 24670 23457 0 -1 4202560 51 0 0 0 19 14 0 0 20 0 22 0 253701992 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570038049992 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24704] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24704/stat : 24704 (java) S 24668 24670 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253702604 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570033837608 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24743] ppid=24668 vsize=9824668 CPUtime=451.43 cores=0,2,4,6
/proc/24670/task/24743/stat : 24743 (java) R 24668 24670 23457 0 -1 4202560 141 0 0 0 45136 7 0 0 20 0 22 0 253743786 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570035940560 140570538985196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24744] ppid=24668 vsize=9824668 CPUtime=451.42 cores=0,2,4,6
/proc/24670/task/24744/stat : 24744 (java) R 24668 24670 23457 0 -1 4202560 82 0 0 0 45135 7 0 0 20 0 22 0 253743786 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570034887432 140570538997171 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24745] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24745/stat : 24745 (java) S 24668 24670 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253743792 10060460032 593240 33554432000 1073741824 1073778376 140735396161120 140570036995112 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1749.69
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+906.901 s]
/proc/loadavg: 3.16 3.00 3.01 5/219 24811
/proc/meminfo: memFree=26114508/32873844 swapFree=7356/7356
[pid=24670] ppid=24668 vsize=9824668 CPUtime=1799.04 cores=0,2,4,6
/proc/24670/stat : 24670 (java) S 24668 24670 23457 0 -1 4202496 33365 0 1 0 179755 149 0 0 20 0 22 0 253701985 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140735396152256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24670/statm: 2456167 588477 2282 9 0 2446860 0
[pid=24670/tid=24672] ppid=24668 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/24670/task/24672/stat : 24672 (java) S 24668 24670 23457 0 -1 4202560 2526 0 1 0 66 4 0 0 20 0 22 0 253701986 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570691871736 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24673] ppid=24668 vsize=9824668 CPUtime=2.53 cores=0,2,4,6
/proc/24670/task/24673/stat : 24673 (java) S 24668 24670 23457 0 -1 4202560 330 0 0 0 250 3 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570664323368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24674] ppid=24668 vsize=9824668 CPUtime=2.51 cores=0,2,4,6
/proc/24670/task/24674/stat : 24674 (java) S 24668 24670 23457 0 -1 4202560 324 0 0 0 247 4 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570663270568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24675] ppid=24668 vsize=9824668 CPUtime=2.36 cores=0,2,4,6
/proc/24670/task/24675/stat : 24675 (java) S 24668 24670 23457 0 -1 4202560 302 0 0 0 232 4 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570662218280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24676] ppid=24668 vsize=9824668 CPUtime=2.64 cores=0,2,4,6
/proc/24670/task/24676/stat : 24676 (java) S 24668 24670 23457 0 -1 4202560 343 0 0 0 261 3 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570661165480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24677] ppid=24668 vsize=9824668 CPUtime=2.49 cores=0,2,4,6
/proc/24670/task/24677/stat : 24677 (java) S 24668 24670 23457 0 -1 4202560 324 0 0 0 246 3 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570660113192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24678] ppid=24668 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/24670/task/24678/stat : 24678 (java) S 24668 24670 23457 0 -1 4202560 293 0 0 0 257 4 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570659060392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24679] ppid=24668 vsize=9824668 CPUtime=2.4 cores=0,2,4,6
/proc/24670/task/24679/stat : 24679 (java) S 24668 24670 23457 0 -1 4202560 290 0 0 0 236 4 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570658008104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24680] ppid=24668 vsize=9824668 CPUtime=2.43 cores=0,2,4,6
/proc/24670/task/24680/stat : 24680 (java) S 24668 24670 23457 0 -1 4202560 298 0 0 0 239 4 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570656955304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24681] ppid=24668 vsize=9824668 CPUtime=14.85 cores=0,2,4,6
/proc/24670/task/24681/stat : 24681 (java) S 24668 24670 23457 0 -1 4202560 1397 0 0 0 1466 19 0 0 20 0 22 0 253701989 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570045417704 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24682] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24682/stat : 24682 (java) S 24668 24670 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701989 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570044363768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24683] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24683/stat : 24683 (java) S 24668 24670 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253701989 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570043311368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24684] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24684/stat : 24684 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570042259856 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24685] ppid=24668 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/24670/task/24685/stat : 24685 (java) S 24668 24670 23457 0 -1 4202560 11249 0 0 0 184 3 0 0 20 0 22 0 253701992 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570041207480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24686] ppid=24668 vsize=9824668 CPUtime=1.23 cores=0,2,4,6
/proc/24670/task/24686/stat : 24686 (java) S 24668 24670 23457 0 -1 4202560 12278 0 0 0 120 3 0 0 20 0 22 0 253701992 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570040154680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24687] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24687/stat : 24687 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570039102584 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24688] ppid=24668 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/24670/task/24688/stat : 24688 (java) S 24668 24670 23457 0 -1 4202560 53 0 0 0 19 15 0 0 20 0 22 0 253701992 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570038049992 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24704] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24704/stat : 24704 (java) S 24668 24670 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253702604 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570033837608 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24743] ppid=24668 vsize=9824668 CPUtime=475.51 cores=0,2,4,6
/proc/24670/task/24743/stat : 24743 (java) R 24668 24670 23457 0 -1 4202560 147 0 0 0 47542 9 0 0 20 0 22 0 253743786 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570035940592 140570538547126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24744] ppid=24668 vsize=9824668 CPUtime=475.49 cores=0,2,4,6
/proc/24670/task/24744/stat : 24744 (java) R 24668 24670 23457 0 -1 4202560 87 0 0 0 47541 8 0 0 20 0 22 0 253743786 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570034887312 140570538996851 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24745] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24745/stat : 24745 (java) S 24668 24670 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253743792 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570036995112 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
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
[startup+906.901 s]
/proc/loadavg: 3.16 3.00 3.01 5/219 24811
/proc/meminfo: memFree=26114508/32873844 swapFree=7356/7356
[pid=24670] ppid=24668 vsize=9824668 CPUtime=1799.04 cores=0,2,4,6
/proc/24670/stat : 24670 (java) S 24668 24670 23457 0 -1 4202496 33365 0 1 0 179755 149 0 0 20 0 22 0 253701985 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140735396152256 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24670/statm: 2456167 588477 2282 9 0 2446860 0
[pid=24670/tid=24672] ppid=24668 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/24670/task/24672/stat : 24672 (java) S 24668 24670 23457 0 -1 4202560 2526 0 1 0 66 4 0 0 20 0 22 0 253701986 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570691871736 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24673] ppid=24668 vsize=9824668 CPUtime=2.53 cores=0,2,4,6
/proc/24670/task/24673/stat : 24673 (java) S 24668 24670 23457 0 -1 4202560 330 0 0 0 250 3 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570664323368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24674] ppid=24668 vsize=9824668 CPUtime=2.51 cores=0,2,4,6
/proc/24670/task/24674/stat : 24674 (java) S 24668 24670 23457 0 -1 4202560 324 0 0 0 247 4 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570663270568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24675] ppid=24668 vsize=9824668 CPUtime=2.36 cores=0,2,4,6
/proc/24670/task/24675/stat : 24675 (java) S 24668 24670 23457 0 -1 4202560 302 0 0 0 232 4 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570662218280 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24676] ppid=24668 vsize=9824668 CPUtime=2.64 cores=0,2,4,6
/proc/24670/task/24676/stat : 24676 (java) S 24668 24670 23457 0 -1 4202560 343 0 0 0 261 3 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570661165480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24677] ppid=24668 vsize=9824668 CPUtime=2.49 cores=0,2,4,6
/proc/24670/task/24677/stat : 24677 (java) S 24668 24670 23457 0 -1 4202560 324 0 0 0 246 3 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570660113192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24678] ppid=24668 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/24670/task/24678/stat : 24678 (java) S 24668 24670 23457 0 -1 4202560 293 0 0 0 257 4 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570659060392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24679] ppid=24668 vsize=9824668 CPUtime=2.4 cores=0,2,4,6
/proc/24670/task/24679/stat : 24679 (java) S 24668 24670 23457 0 -1 4202560 290 0 0 0 236 4 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570658008104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24680] ppid=24668 vsize=9824668 CPUtime=2.43 cores=0,2,4,6
/proc/24670/task/24680/stat : 24680 (java) S 24668 24670 23457 0 -1 4202560 298 0 0 0 239 4 0 0 20 0 22 0 253701988 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570656955304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24681] ppid=24668 vsize=9824668 CPUtime=14.85 cores=0,2,4,6
/proc/24670/task/24681/stat : 24681 (java) S 24668 24670 23457 0 -1 4202560 1397 0 0 0 1466 19 0 0 20 0 22 0 253701989 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570045417704 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24682] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24682/stat : 24682 (java) S 24668 24670 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701989 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570044363768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24683] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24683/stat : 24683 (java) S 24668 24670 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253701989 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570043311368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24684] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24684/stat : 24684 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570042259856 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24685] ppid=24668 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/24670/task/24685/stat : 24685 (java) S 24668 24670 23457 0 -1 4202560 11249 0 0 0 184 3 0 0 20 0 22 0 253701992 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570041207480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24686] ppid=24668 vsize=9824668 CPUtime=1.23 cores=0,2,4,6
/proc/24670/task/24686/stat : 24686 (java) S 24668 24670 23457 0 -1 4202560 12278 0 0 0 120 3 0 0 20 0 22 0 253701992 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570040154680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24687] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24687/stat : 24687 (java) S 24668 24670 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701992 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570039102584 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24688] ppid=24668 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/24670/task/24688/stat : 24688 (java) S 24668 24670 23457 0 -1 4202560 53 0 0 0 19 15 0 0 20 0 22 0 253701992 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570038049992 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24670/tid=24704] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24704/stat : 24704 (java) S 24668 24670 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253702604 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570033837608 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24670/tid=24743] ppid=24668 vsize=9824668 CPUtime=475.51 cores=0,2,4,6
/proc/24670/task/24743/stat : 24743 (java) R 24668 24670 23457 0 -1 4202560 147 0 0 0 47542 9 0 0 20 0 22 0 253743786 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570035940592 140570538547126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24670/tid=24744] ppid=24668 vsize=9824668 CPUtime=475.49 cores=0,2,4,6
/proc/24670/task/24744/stat : 24744 (java) R 24668 24670 23457 0 -1 4202560 87 0 0 0 47541 8 0 0 20 0 22 0 253743786 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570034887312 140570538996851 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24670/tid=24745] ppid=24668 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24745/stat : 24745 (java) S 24668 24670 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253743792 10060460032 588477 33554432000 1073741824 1073778376 140735396161120 140570036995112 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24670 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=207087
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=803725
# CPU time returned by wait4() is 1797.01
# while last known CPU time is 1799.04
#
# 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.13001
# lost CPU user time (s): 1.25002
# lost CPU system time (s): -0.12
Real time (s): 906.961
CPU time (s): 1800.17
CPU user time (s): 1798.8
CPU system time (s): 1.37
CPU usage (%): 198.484
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.21
system time used= 1.80373
maximum resident set size= 2827772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33399
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31404
involuntary context switches= 37702
runsolver used 4.17136 second user time and 7.11392 second system time
The end