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-3733085-1338687632/watcher-3733085-1338687632 -o /tmp/evaluation-result-3733085-1338687632/solver-3733085-1338687632 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733085-1338687632.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.87 3.90 3.77 4/198 26352
/proc/meminfo: memFree=23746248/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/26352/stat : 26352 (java) R 26350 26352 23082 0 -1 4202496 79 0 0 0 0 0 0 0 20 0 1 0 334888100 278528 33 33554432000 1073741824 1073778376 140733760640432 140733760637608 223642479797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26352/statm: 68 33 25 9 0 25 0
[startup+0.00961111 s]
/proc/loadavg: 3.87 3.90 3.77 4/198 26352
/proc/meminfo: memFree=23746248/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/26352/stat : 26352 (java) D 26350 26352 23082 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 334888100 2560000 46 33554432000 1073741824 1073778376 140735330499168 140735330496296 223642479911 0 0 4096 0 18446744072100588836 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 625 46 37 9 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2500
[startup+0.100219 s]
/proc/loadavg: 3.87 3.90 3.77 4/198 26352
/proc/meminfo: memFree=23746248/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 4479 0 1 0 6 1 0 0 20 0 18 0 334888100 11864465408 12842 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2896598 12842 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.300248 s]
/proc/loadavg: 3.87 3.90 3.77 4/198 26352
/proc/meminfo: memFree=23746248/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11586392 CPUtime=0.45 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 6437 0 1 0 43 2 0 0 20 0 18 0 334888100 11864465408 15869 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2896598 15869 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392
[startup+0.70024 s]
/proc/loadavg: 3.87 3.90 3.77 4/198 26352
/proc/meminfo: memFree=23746248/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 10009 0 1 0 103 6 0 0 20 0 19 0 334888100 12137111552 39612 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 39612 2253 9 0 2953849 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 11852648
[startup+1.50077 s]
/proc/loadavg: 3.87 3.90 3.77 3/217 26374
/proc/meminfo: memFree=23596008/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=2.11 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 16834 0 1 0 202 9 0 0 20 0 19 0 334888100 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 45736 2259 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.54 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3427 0 1 0 51 3 0 0 20 0 19 0 334888102 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334888106 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334888106 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334888106 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888108 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8177 0 0 0 58 2 0 0 20 0 19 0 334888108 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=0.51 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 3918 0 0 0 51 0 0 0 20 0 19 0 334888108 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888108 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888108 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334888159 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 11852648
[startup+3.10065 s]
/proc/loadavg: 3.87 3.90 3.77 8/220 26383
/proc/meminfo: memFree=23543312/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=3.42 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 18101 0 1 0 326 16 0 0 20 0 22 0 334888100 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 66476 2263 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3429 0 1 0 52 3 0 0 20 0 22 0 334888102 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=0.87 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8246 0 0 0 85 2 0 0 20 0 22 0 334888108 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=0.76 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 5048 0 0 0 74 2 0 0 20 0 22 0 334888108 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888159 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 11852648
[startup+6.30088 s]
/proc/loadavg: 3.88 3.90 3.77 5/220 26389
/proc/meminfo: memFree=23096908/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=9.85 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 19629 0 1 0 954 31 0 0 20 0 22 0 334888100 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 177641 2291 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3429 0 1 0 52 3 0 0 20 0 22 0 334888102 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 15 0 0 0 1 1 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 29 0 0 0 1 1 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 0 2 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=0.27 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 64 0 0 0 25 2 0 0 20 0 22 0 334888106 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=0.94 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8250 0 0 0 92 2 0 0 20 0 22 0 334888108 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=0.92 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 6218 0 0 0 90 2 0 0 20 0 22 0 334888108 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888159 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26387] ppid=26350 vsize=11852648 CPUtime=2.83 cores=1,3,5,7
/proc/26352/task/26387/stat : 26387 (java) R 26350 26352 23082 0 -1 4202560 14 0 0 0 283 0 0 0 20 0 22 0 334888410 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315000738768 140315055576139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26388] ppid=26350 vsize=11852648 CPUtime=2.81 cores=1,3,5,7
/proc/26352/task/26388/stat : 26388 (java) R 26350 26352 23082 0 -1 4202560 158 0 0 0 276 5 0 0 20 0 22 0 334888410 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315001789504 140315055690209 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=26352/tid=26390] ppid=26350 vsize=11852648 CPUtime=769.59 cores=1,3,5,7
/proc/26352/task/26390/stat : 26390 (java) R 26350 26352 23082 0 -1 4202560 48 0 0 0 76946 13 0 0 20 0 22 0 334889060 12137111552 818728 33554432000 1073741824 1073778376 140735330499168 140315001791056 140315055311010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26391] ppid=26350 vsize=11852648 CPUtime=769.55 cores=1,3,5,7
/proc/26352/task/26391/stat : 26391 (java) R 26350 26352 23082 0 -1 4202560 811 0 0 0 76916 39 0 0 20 0 22 0 334889060 12137111552 818728 33554432000 1073741824 1073778376 140735330499168 140314998630912 140315055681758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26392] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26392/stat : 26392 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334889060 12137111552 818728 33554432000 1073741824 1073778376 140735330499168 140315000738856 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1607.17
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.95 3.97 3.90 5/219 26472
/proc/meminfo: memFree=21198076/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=1723.86 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 22554 0 1 0 172254 132 0 0 20 0 22 0 334888100 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 824979 2292 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3489 0 1 0 55 6 0 0 20 0 22 0 334888102 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=1.62 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 240 0 0 0 156 6 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=1.4 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 200 0 0 0 135 5 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=1.73 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 172 0 0 0 168 5 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 211 0 0 0 152 4 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=1.78 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 229 0 0 0 174 4 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=1.47 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 213 0 0 0 144 3 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=1.62 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 199 0 0 0 157 5 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=1.66 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 204 0 0 0 161 5 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=44.16 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 424 0 0 0 4401 15 0 0 20 0 22 0 334888106 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8282 0 0 0 151 2 0 0 20 0 22 0 334888108 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 6223 0 0 0 113 2 0 0 20 0 22 0 334888108 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 51 0 0 0 17 27 0 0 20 0 22 0 334888108 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888159 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26390] ppid=26350 vsize=11852648 CPUtime=825.55 cores=1,3,5,7
/proc/26352/task/26390/stat : 26390 (java) R 26350 26352 23082 0 -1 4202560 48 0 0 0 82541 14 0 0 20 0 22 0 334889060 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315001791056 140315055596448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26391] ppid=26350 vsize=11852648 CPUtime=825.48 cores=1,3,5,7
/proc/26352/task/26391/stat : 26391 (java) R 26350 26352 23082 0 -1 4202560 815 0 0 0 82508 40 0 0 20 0 22 0 334889060 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140314998631056 140315055689920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26392] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26392/stat : 26392 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334889060 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315000738856 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1723.86
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+921.101 s]
/proc/loadavg: 3.97 3.97 3.91 5/219 26472
/proc/meminfo: memFree=20801572/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=1800.06 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 22625 0 1 0 179873 133 0 0 20 0 22 0 334888100 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 829643 2292 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3491 0 1 0 55 6 0 0 20 0 22 0 334888102 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 249 0 0 0 165 6 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 230 0 0 0 140 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 182 0 0 0 174 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 212 0 0 0 159 4 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=1.85 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 232 0 0 0 181 4 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 213 0 0 0 150 3 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=1.66 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 202 0 0 0 161 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 204 0 0 0 165 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=45.8 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 435 0 0 0 4564 16 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8282 0 0 0 151 2 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 6223 0 0 0 113 2 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 53 0 0 0 18 27 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888159 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26390] ppid=26350 vsize=11852648 CPUtime=862.6 cores=1,3,5,7
/proc/26352/task/26390/stat : 26390 (java) R 26350 26352 23082 0 -1 4202560 48 0 0 0 86245 15 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315001791056 140315055525991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26391] ppid=26350 vsize=11852648 CPUtime=862.51 cores=1,3,5,7
/proc/26352/task/26391/stat : 26391 (java) R 26350 26352 23082 0 -1 4202560 815 0 0 0 86210 41 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140314998631056 140315055905680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26392] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26392/stat : 26392 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315000738856 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+921.101 s]
/proc/loadavg: 3.97 3.97 3.91 5/219 26472
/proc/meminfo: memFree=20801572/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=1800.06 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 22625 0 1 0 179873 133 0 0 20 0 22 0 334888100 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 829643 2292 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3491 0 1 0 55 6 0 0 20 0 22 0 334888102 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 249 0 0 0 165 6 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 230 0 0 0 140 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 182 0 0 0 174 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 212 0 0 0 159 4 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=1.85 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 232 0 0 0 181 4 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 213 0 0 0 150 3 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=1.66 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 202 0 0 0 161 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 204 0 0 0 165 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=45.8 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 435 0 0 0 4564 16 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8282 0 0 0 151 2 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 6223 0 0 0 113 2 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 53 0 0 0 18 27 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888159 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26390] ppid=26350 vsize=11852648 CPUtime=862.6 cores=1,3,5,7
/proc/26352/task/26390/stat : 26390 (java) R 26350 26352 23082 0 -1 4202560 48 0 0 0 86245 15 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315001791056 140315055525991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26391] ppid=26350 vsize=11852648 CPUtime=862.51 cores=1,3,5,7
/proc/26352/task/26391/stat : 26391 (java) R 26350 26352 23082 0 -1 4202560 815 0 0 0 86210 41 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140314998631056 140315055905680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26392] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26392/stat : 26392 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315000738856 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648
Child status: 143
Real time (s): 921.164
CPU time (s): 1800.61
CPU user time (s): 1798.8
CPU system time (s): 1.81472
CPU usage (%): 195.471
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.81472
maximum resident set size= 3318700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22658
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24052
involuntary context switches= 27318
runsolver used 3.40048 second user time and 9.32558 second system time
The end