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-3736848-1338719944/watcher-3736848-1338719944 -o /tmp/evaluation-result-3736848-1338719944/solver-3736848-1338719944 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736848-1338719944.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: 1.95 2.03 2.03 3/192 9471
/proc/meminfo: memFree=27619532/32873844 swapFree=6088/6088
[pid=9471] ppid=9469 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/9471/stat : 9471 (java) R 9469 9471 7296 0 -1 4202496 82 0 0 0 0 0 0 0 20 0 1 0 338122883 278528 33 33554432000 1073741824 1073778376 140736245808384 140736245805560 226320543015 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9471/statm: 68 33 25 9 0 25 0
[startup+0.0477029 s]
/proc/loadavg: 1.95 2.03 2.03 3/192 9471
/proc/meminfo: memFree=27619532/32873844 swapFree=6088/6088
[pid=9471] ppid=9469 vsize=2490788 CPUtime=0.01 cores=1,3,5,7
/proc/9471/stat : 9471 (java) S 9469 9471 7296 0 -1 4202496 3792 0 1 0 1 0 0 0 20 0 11 0 338122883 2550566912 5001 33554432000 1073741824 1073778376 140734534797696 140734534788832 226333065277 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9471/statm: 622697 5009 1616 9 0 613398 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2490788
[startup+0.100282 s]
/proc/loadavg: 1.95 2.03 2.03 3/192 9471
/proc/meminfo: memFree=27619532/32873844 swapFree=6088/6088
[pid=9471] ppid=9469 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/9471/stat : 9471 (java) S 9469 9471 7296 0 -1 4202496 4134 0 1 0 6 1 0 0 20 0 18 0 338122883 3028844544 5851 33554432000 1073741824 1073778376 140734534797696 140734534788832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9471/statm: 739464 5851 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300248 s]
/proc/loadavg: 1.95 2.03 2.03 3/192 9471
/proc/meminfo: memFree=27619532/32873844 swapFree=6088/6088
[pid=9471] ppid=9469 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/9471/stat : 9471 (java) S 9469 9471 7296 0 -1 4202496 7306 0 1 0 38 1 0 0 20 0 19 0 338122883 3097006080 9640 33554432000 1073741824 1073778376 140734534797696 140734534788832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9471/statm: 756105 9641 2244 9 0 746526 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 3024420
[startup+0.700272 s]
/proc/loadavg: 1.95 2.03 2.03 3/192 9471
/proc/meminfo: memFree=27619532/32873844 swapFree=6088/6088
[pid=9471] ppid=9469 vsize=3024420 CPUtime=1.03 cores=1,3,5,7
/proc/9471/stat : 9471 (java) S 9469 9471 7296 0 -1 4202496 9667 0 1 0 99 4 0 0 20 0 19 0 338122883 3097006080 35988 33554432000 1073741824 1073778376 140734534797696 140734534788832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9471/statm: 756105 35988 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 3024420
[startup+1.50074 s]
/proc/loadavg: 1.95 2.03 2.03 3/211 9492
/proc/meminfo: memFree=27387628/32873844 swapFree=6088/6088
[pid=9471] ppid=9469 vsize=3024420 CPUtime=1.88 cores=1,3,5,7
/proc/9471/stat : 9471 (java) S 9469 9471 7296 0 -1 4202496 9797 0 1 0 179 9 0 0 20 0 19 0 338122883 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140734534788832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9471/statm: 756105 99481 2268 9 0 746526 0
[pid=9471/tid=9473] ppid=9469 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/9471/task/9473/stat : 9473 (java) R 9469 9471 7296 0 -1 4202560 3211 0 1 0 137 8 0 0 20 0 19 0 338122884 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252187288000 140252040135748 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9474] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9474/stat : 9474 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252170713256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9475] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9475/stat : 9475 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252169660712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9476] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9476/stat : 9476 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252168608168 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9471/tid=9477] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9477/stat : 9477 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252167555624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9478] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9478/stat : 9478 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252166503080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9479] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9479/stat : 9479 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252165450536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9480] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9480/stat : 9480 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252164397992 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9481] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9481/stat : 9481 (java) S 9469 9471 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252163345448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9482] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9482/stat : 9482 (java) S 9469 9471 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252033288296 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9483] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9483/stat : 9483 (java) S 9469 9471 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252032234616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9484] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9484/stat : 9484 (java) S 9469 9471 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252031181960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9485] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9485/stat : 9485 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252030130704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9486] ppid=9469 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/9471/task/9486/stat : 9486 (java) S 9469 9471 7296 0 -1 4202560 2113 0 0 0 15 0 0 0 20 0 19 0 338122891 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252029078072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9487] ppid=9469 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/9471/task/9487/stat : 9487 (java) S 9469 9471 7296 0 -1 4202560 3272 0 0 0 23 0 0 0 20 0 19 0 338122891 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252028025528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9488] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9488/stat : 9488 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252026973176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9489] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9489/stat : 9489 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140252025920840 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9492] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9492/stat : 9492 (java) S 9469 9471 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338122949 3097006080 99481 33554432000 1073741824 1073778376 140734534797696 140251016193064 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 3024420
[startup+3.1008 s]
/proc/loadavg: 1.95 2.03 2.03 3/211 9492
/proc/meminfo: memFree=27175692/32873844 swapFree=6088/6088
[pid=9471] ppid=9469 vsize=3024420 CPUtime=3.52 cores=1,3,5,7
/proc/9471/stat : 9471 (java) S 9469 9471 7296 0 -1 4202496 9855 0 1 0 342 10 0 0 20 0 19 0 338122883 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140734534788832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9471/statm: 756105 114349 2281 9 0 746526 0
[pid=9471/tid=9473] ppid=9469 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/9471/task/9473/stat : 9473 (java) R 9469 9471 7296 0 -1 4202560 3241 0 1 0 295 9 0 0 20 0 19 0 338122884 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252187286832 140252040100416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9474] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9474/stat : 9474 (java) S 9469 9471 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252170713256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9475] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9475/stat : 9475 (java) S 9469 9471 7296 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252169660712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9476] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9476/stat : 9476 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252168608168 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9471/tid=9477] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9477/stat : 9477 (java) S 9469 9471 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252167555624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9478] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9478/stat : 9478 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252166503080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9479] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9479/stat : 9479 (java) S 9469 9471 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252165450536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9480] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9480/stat : 9480 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252164397992 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9481] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9481/stat : 9481 (java) S 9469 9471 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252163345448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9482] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9482/stat : 9482 (java) S 9469 9471 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252033288296 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9483] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9483/stat : 9483 (java) S 9469 9471 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252032234616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9484] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9484/stat : 9484 (java) S 9469 9471 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252031181960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9485] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9485/stat : 9485 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252030130704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9486] ppid=9469 vsize=3024420 CPUtime=0.17 cores=1,3,5,7
/proc/9471/task/9486/stat : 9486 (java) S 9469 9471 7296 0 -1 4202560 2113 0 0 0 17 0 0 0 20 0 19 0 338122891 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252029078072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9487] ppid=9469 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/9471/task/9487/stat : 9487 (java) S 9469 9471 7296 0 -1 4202560 3272 0 0 0 25 0 0 0 20 0 19 0 338122891 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252028025528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9488] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9488/stat : 9488 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252026973176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9489] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9489/stat : 9489 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140252025920840 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9492] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9492/stat : 9492 (java) S 9469 9471 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338122949 3097006080 114349 33554432000 1073741824 1073778376 140734534797696 140251016193064 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 3024420
[startup+6.30087 s]
/proc/loadavg: 1.96 2.03 2.02 3/211 9492
/proc/meminfo: memFree=27162908/32873844 swapFree=6088/6088
[pid=9471] ppid=9469 vsize=3024420 CPUtime=6.77 cores=1,3,5,7
/proc/9471/stat : 9471 (java) S 9469 9471 7296 0 -1 4202496 9866 0 1 0 666 11 0 0 20 0 19 0 338122883 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140734534788832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9471/statm: 756105 115317 2281 9 0 746526 0
[pid=9471/tid=9473] ppid=9469 vsize=3024420 CPUtime=6.21 cores=1,3,5,7
/proc/9471/task/9473/stat : 9473 (java) R 9469 9471 7296 0 -1 4202560 3244 0 1 0 612 9 0 0 20 0 19 0 338122884 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252187286832 140252040072073 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9474] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9474/stat : 9474 (java) S 9469 9471 7296 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252170713256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9475] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9475/stat : 9475 (java) S 9469 9471 7296 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252169660712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9476] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9476/stat : 9476 (java) S 9469 9471 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252168608168 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9471/tid=9477] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9477/stat : 9477 (java) S 9469 9471 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252167555624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9478] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9478/stat : 9478 (java) S 9469 9471 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252166503080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9479] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9479/stat : 9479 (java) S 9469 9471 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252165450536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9471/tid=9480] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9480/stat : 9480 (java) S 9469 9471 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252164397992 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9481] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9481/stat : 9481 (java) S 9469 9471 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338122886 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252163345448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9482] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9482/stat : 9482 (java) S 9469 9471 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252033288296 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9483] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9483/stat : 9483 (java) S 9469 9471 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252032234616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9484] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9484/stat : 9484 (java) S 9469 9471 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252031181960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9485] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9485/stat : 9485 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252030130704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9486] ppid=9469 vsize=3024420 CPUtime=0.17 cores=1,3,5,7
/proc/9471/task/9486/stat : 9486 (java) S 9469 9471 7296 0 -1 4202560 2113 0 0 0 17 0 0 0 20 0 19 0 338122891 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252029078072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9487] ppid=9469 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/9471/task/9487/stat : 9487 (java) S 9469 9471 7296 0 -1 4202560 3272 0 0 0 25 0 0 0 20 0 19 0 338122891 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252028025528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9488] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9488/stat : 9488 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252026973176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9489] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9489/stat : 9489 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140252025920840 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9492] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9492/stat : 9492 (java) S 9469 9471 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338122949 3097006080 115317 33554432000 1073741824 1073778376 140734534797696 140251016193064 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 3024420
[startup+12.7009 s]
################
# More data... #
################
/proc/9471/task/9482/stat : 9482 (java) S 9469 9471 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 147609 33554432000 1073741824 1073778376 140734534797696 140252033288296 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9483] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9483/stat : 9483 (java) S 9469 9471 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 147609 33554432000 1073741824 1073778376 140734534797696 140252032234616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9484] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9484/stat : 9484 (java) S 9469 9471 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 147609 33554432000 1073741824 1073778376 140734534797696 140252031181960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9485] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9485/stat : 9485 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 147609 33554432000 1073741824 1073778376 140734534797696 140252030130704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9486] ppid=9469 vsize=3024420 CPUtime=0.17 cores=1,3,5,7
/proc/9471/task/9486/stat : 9486 (java) S 9469 9471 7296 0 -1 4202560 2114 0 0 0 17 0 0 0 20 0 19 0 338122891 3097006080 147609 33554432000 1073741824 1073778376 140734534797696 140252029078072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9487] ppid=9469 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/9471/task/9487/stat : 9487 (java) S 9469 9471 7296 0 -1 4202560 3272 0 0 0 25 0 0 0 20 0 19 0 338122891 3097006080 147609 33554432000 1073741824 1073778376 140734534797696 140252028025528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9488] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9488/stat : 9488 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 147609 33554432000 1073741824 1073778376 140734534797696 140252026973176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9489] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9489/stat : 9489 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 147609 33554432000 1073741824 1073778376 140734534797696 140252025920840 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9492] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9492/stat : 9492 (java) S 9469 9471 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338122949 3097006080 147609 33554432000 1073741824 1073778376 140734534797696 140251016193064 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 13.32
Current children cumulated vsize (KiB) 3024420
[startup+25.5009 s]
/proc/loadavg: 1.97 2.03 2.02 3/211 9492
/proc/meminfo: memFree=27010636/32873844 swapFree=6088/6088
[pid=9471] ppid=9469 vsize=3024420 CPUtime=26.22 cores=1,3,5,7
/proc/9471/stat : 9471 (java) S 9469 9471 7296 0 -1 4202496 10058 0 1 0 2602 20 0 0 20 0 19 0 338122883 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140734534788832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9471/statm: 756105 151222 2282 9 0 746526 0
[pid=9471/tid=9473] ppid=9469 vsize=3024420 CPUtime=25.23 cores=1,3,5,7
/proc/9471/task/9473/stat : 9473 (java) R 9469 9471 7296 0 -1 4202560 3301 0 1 0 2513 10 0 0 20 0 19 0 338122884 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252187286832 140252040059309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9474] ppid=9469 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/9471/task/9474/stat : 9474 (java) S 9469 9471 7296 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 19 0 338122886 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252170713256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9475] ppid=9469 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/9471/task/9475/stat : 9475 (java) S 9469 9471 7296 0 -1 4202560 16 0 0 0 5 0 0 0 20 0 19 0 338122886 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252169660712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9476] ppid=9469 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/9471/task/9476/stat : 9476 (java) S 9469 9471 7296 0 -1 4202560 24 0 0 0 4 1 0 0 20 0 19 0 338122886 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252168608168 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9471/tid=9477] ppid=9469 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/9471/task/9477/stat : 9477 (java) S 9469 9471 7296 0 -1 4202560 22 0 0 0 3 2 0 0 20 0 19 0 338122886 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252167555624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9471/tid=9478] ppid=9469 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/9471/task/9478/stat : 9478 (java) S 9469 9471 7296 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 338122886 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252166503080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9479] ppid=9469 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/9471/task/9479/stat : 9479 (java) S 9469 9471 7296 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 19 0 338122886 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252165450536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9480] ppid=9469 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/9471/task/9480/stat : 9480 (java) S 9469 9471 7296 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 338122886 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252164397992 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9481] ppid=9469 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/9471/task/9481/stat : 9481 (java) S 9469 9471 7296 0 -1 4202560 28 0 0 0 4 1 0 0 20 0 19 0 338122886 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252163345448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9482] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9482/stat : 9482 (java) S 9469 9471 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252033288296 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9483] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9483/stat : 9483 (java) S 9469 9471 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252032234616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9484] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9484/stat : 9484 (java) S 9469 9471 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252031181960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9485] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9485/stat : 9485 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252030130704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9486] ppid=9469 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9471/task/9486/stat : 9486 (java) S 9469 9471 7296 0 -1 4202560 2114 0 0 0 18 0 0 0 20 0 19 0 338122891 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252029078072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9487] ppid=9469 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/9471/task/9487/stat : 9487 (java) S 9469 9471 7296 0 -1 4202560 3272 0 0 0 25 0 0 0 20 0 19 0 338122891 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252028025528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9488] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9488/stat : 9488 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252026973176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9489] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9489/stat : 9489 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140252025920840 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9492] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9492/stat : 9492 (java) S 9469 9471 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338122949 3097006080 151222 33554432000 1073741824 1073778376 140734534797696 140251016193064 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 26.22
Current children cumulated vsize (KiB) 3024420
[startup+51.1008 s]
/proc/loadavg: 1.98 2.03 2.02 3/211 9492
/proc/meminfo: memFree=26985812/32873844 swapFree=6088/6088
[pid=9471] ppid=9469 vsize=3024420 CPUtime=51.96 cores=1,3,5,7
/proc/9471/stat : 9471 (java) S 9469 9471 7296 0 -1 4202496 10092 0 1 0 5174 22 0 0 20 0 19 0 338122883 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140734534788832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9471/statm: 756105 155323 2282 9 0 746526 0
[pid=9471/tid=9473] ppid=9469 vsize=3024420 CPUtime=50.7 cores=1,3,5,7
/proc/9471/task/9473/stat : 9473 (java) R 9469 9471 7296 0 -1 4202560 3307 0 1 0 5059 11 0 0 20 0 19 0 338122884 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252187286832 140252040114557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9474] ppid=9469 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/9471/task/9474/stat : 9474 (java) S 9469 9471 7296 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252170713256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9475] ppid=9469 vsize=3024420 CPUtime=0.08 cores=1,3,5,7
/proc/9471/task/9475/stat : 9475 (java) S 9469 9471 7296 0 -1 4202560 22 0 0 0 8 0 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252169660712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9476] ppid=9469 vsize=3024420 CPUtime=0.08 cores=1,3,5,7
/proc/9471/task/9476/stat : 9476 (java) S 9469 9471 7296 0 -1 4202560 25 0 0 0 6 2 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252168608168 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9477] ppid=9469 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/9471/task/9477/stat : 9477 (java) S 9469 9471 7296 0 -1 4202560 25 0 0 0 5 2 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252167555624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9471/tid=9478] ppid=9469 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/9471/task/9478/stat : 9478 (java) S 9469 9471 7296 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252166503080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9479] ppid=9469 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/9471/task/9479/stat : 9479 (java) S 9469 9471 7296 0 -1 4202560 31 0 0 0 5 1 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252165450536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9480] ppid=9469 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/9471/task/9480/stat : 9480 (java) S 9469 9471 7296 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252164397992 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9481] ppid=9469 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/9471/task/9481/stat : 9481 (java) S 9469 9471 7296 0 -1 4202560 30 0 0 0 6 1 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252163345448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9482] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9482/stat : 9482 (java) S 9469 9471 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252033288296 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9483] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9483/stat : 9483 (java) S 9469 9471 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252032234616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9484] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9484/stat : 9484 (java) S 9469 9471 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252031181960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9485] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9485/stat : 9485 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252030130704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9486] ppid=9469 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9471/task/9486/stat : 9486 (java) S 9469 9471 7296 0 -1 4202560 2114 0 0 0 18 0 0 0 20 0 19 0 338122891 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252029078072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9487] ppid=9469 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/9471/task/9487/stat : 9487 (java) S 9469 9471 7296 0 -1 4202560 3272 0 0 0 25 0 0 0 20 0 19 0 338122891 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252028025528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9488] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9488/stat : 9488 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252026973176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9489] ppid=9469 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/9471/task/9489/stat : 9489 (java) S 9469 9471 7296 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 338122891 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252025920840 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9492] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9492/stat : 9492 (java) S 9469 9471 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338122949 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140251016193064 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.96
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+51.5008 s]
/proc/loadavg: 1.98 2.03 2.02 3/211 9492
/proc/meminfo: memFree=26985812/32873844 swapFree=6088/6088
[pid=9471] ppid=9469 vsize=3024420 CPUtime=52.36 cores=1,3,5,7
/proc/9471/stat : 9471 (java) S 9469 9471 7296 0 -1 4202496 10092 0 1 0 5214 22 0 0 20 0 19 0 338122883 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140734534788832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9471/statm: 756105 155323 2282 9 0 746526 0
[pid=9471/tid=9473] ppid=9469 vsize=3024420 CPUtime=51.1 cores=1,3,5,7
/proc/9471/task/9473/stat : 9473 (java) R 9469 9471 7296 0 -1 4202560 3307 0 1 0 5099 11 0 0 20 0 19 0 338122884 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252187286832 140252040066459 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9474] ppid=9469 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/9471/task/9474/stat : 9474 (java) S 9469 9471 7296 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252170713256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9475] ppid=9469 vsize=3024420 CPUtime=0.08 cores=1,3,5,7
/proc/9471/task/9475/stat : 9475 (java) S 9469 9471 7296 0 -1 4202560 22 0 0 0 8 0 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252169660712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9476] ppid=9469 vsize=3024420 CPUtime=0.08 cores=1,3,5,7
/proc/9471/task/9476/stat : 9476 (java) S 9469 9471 7296 0 -1 4202560 25 0 0 0 6 2 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252168608168 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9477] ppid=9469 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/9471/task/9477/stat : 9477 (java) S 9469 9471 7296 0 -1 4202560 25 0 0 0 5 2 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252167555624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9471/tid=9478] ppid=9469 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/9471/task/9478/stat : 9478 (java) S 9469 9471 7296 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252166503080 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9479] ppid=9469 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/9471/task/9479/stat : 9479 (java) S 9469 9471 7296 0 -1 4202560 31 0 0 0 5 1 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252165450536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9480] ppid=9469 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/9471/task/9480/stat : 9480 (java) S 9469 9471 7296 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252164397992 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9481] ppid=9469 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/9471/task/9481/stat : 9481 (java) S 9469 9471 7296 0 -1 4202560 30 0 0 0 6 1 0 0 20 0 19 0 338122886 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252163345448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9482] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9482/stat : 9482 (java) S 9469 9471 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252033288296 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9483] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9483/stat : 9483 (java) S 9469 9471 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252032234616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9484] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9484/stat : 9484 (java) S 9469 9471 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338122888 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252031181960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9485] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9485/stat : 9485 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252030130704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9486] ppid=9469 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9471/task/9486/stat : 9486 (java) S 9469 9471 7296 0 -1 4202560 2114 0 0 0 18 0 0 0 20 0 19 0 338122891 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252029078072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9471/tid=9487] ppid=9469 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/9471/task/9487/stat : 9487 (java) S 9469 9471 7296 0 -1 4202560 3272 0 0 0 25 0 0 0 20 0 19 0 338122891 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252028025528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9488] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9488/stat : 9488 (java) S 9469 9471 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338122891 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252026973176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9471/tid=9489] ppid=9469 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/9471/task/9489/stat : 9489 (java) S 9469 9471 7296 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 338122891 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140252025920840 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9471/tid=9492] ppid=9469 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9471/task/9492/stat : 9492 (java) S 9469 9471 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338122949 3097006080 155323 33554432000 1073741824 1073778376 140734534797696 140251016193064 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 52.36
Current children cumulated vsize (KiB) 3024420
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9471 and gives
# childrusage.ru_utime.tv_sec=52
# childrusage.ru_utime.tv_usec=54086
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=301954
# CPU time returned by wait4() is 52.356
# while last known CPU time is 52.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 51.5566
CPU time (s): 52.36
CPU user time (s): 52.14
CPU system time (s): 0.22
CPU usage (%): 101.558
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.0541
system time used= 0.301954
maximum resident set size= 621308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10101
page faults= 1
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1901
involuntary context switches= 831
runsolver used 0.198969 second user time and 0.550916 second system time
The end