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-3689859-1337893593/watcher-3689859-1337893593 -o /tmp/evaluation-result-3689859-1337893593/solver-3689859-1337893593 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689859-1337893593.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: 2.06 2.01 2.00 3/194 25633
/proc/meminfo: memFree=26510288/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/25633/stat : 25633 (java) D 25631 25633 23489 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 255485417 2560000 46 33554432000 1073741824 1073778376 140736355794384 140736355791512 217401355559 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/25633/statm: 625 46 37 9 0 29 0
[startup+0.0152229 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 25633
/proc/meminfo: memFree=26510288/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/25633/stat : 25633 (java) S 25631 25633 23489 0 -1 4202496 1278 0 0 0 0 0 0 0 20 0 2 0 255485417 98578432 980 33554432000 1073741824 1073778376 140735318864320 140735318855456 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25633/statm: 24067 980 746 9 0 16773 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96268
[startup+0.100154 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 25633
/proc/meminfo: memFree=26510288/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25633/stat : 25633 (java) S 25631 25633 23489 0 -1 4202496 4352 0 1 0 8 1 0 0 20 0 18 0 255485417 9787813888 5531 33554432000 1073741824 1073778376 140735318864320 140735318855456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25633/statm: 2389603 5531 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300181 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 25633
/proc/meminfo: memFree=26510288/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=9558412 CPUtime=0.52 cores=1,3,5,7
/proc/25633/stat : 25633 (java) S 25631 25633 23489 0 -1 4202496 6223 0 1 0 51 1 0 0 20 0 18 0 255485417 9787813888 13030 33554432000 1073741824 1073778376 140735318864320 140735318855456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25633/statm: 2389603 13030 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558412
[startup+0.700205 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 25633
/proc/meminfo: memFree=26510288/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=9558412 CPUtime=1.28 cores=1,3,5,7
/proc/25633/stat : 25633 (java) S 25631 25633 23489 0 -1 4202496 9873 0 1 0 123 5 0 0 20 0 18 0 255485417 9787813888 45438 33554432000 1073741824 1073778376 140735318864320 140735318855456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25633/statm: 2389603 45438 2245 9 0 2380296 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9558412
[startup+1.50066 s]
/proc/loadavg: 2.06 2.01 2.00 3/212 25651
/proc/meminfo: memFree=26184612/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=9558412 CPUtime=2.32 cores=1,3,5,7
/proc/25633/stat : 25633 (java) S 25631 25633 23489 0 -1 4202496 10591 0 1 0 220 12 0 0 20 0 18 0 255485417 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140735318855456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25633/statm: 2389603 89518 2247 9 0 2380296 0
[pid=25633/tid=25635] ppid=25631 vsize=9558412 CPUtime=1.36 cores=1,3,5,7
/proc/25633/task/25635/stat : 25635 (java) R 25631 25633 23489 0 -1 4202560 2575 0 1 0 131 5 0 0 20 0 18 0 255485418 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523958782752 217413903629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25636] ppid=25631 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/25633/task/25636/stat : 25636 (java) S 25631 25633 23489 0 -1 4202560 122 0 0 0 4 0 0 0 20 0 18 0 255485419 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523802766248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25637] ppid=25631 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/25633/task/25637/stat : 25637 (java) S 25631 25633 23489 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 255485419 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523801713704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25638] ppid=25631 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/25633/task/25638/stat : 25638 (java) S 25631 25633 23489 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 18 0 255485419 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523800660648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25639] ppid=25631 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/25633/task/25639/stat : 25639 (java) S 25631 25633 23489 0 -1 4202560 127 0 0 0 4 0 0 0 20 0 18 0 255485419 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523799608104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25640] ppid=25631 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/25633/task/25640/stat : 25640 (java) S 25631 25633 23489 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 18 0 255485419 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523798555048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25641] ppid=25631 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/25633/task/25641/stat : 25641 (java) S 25631 25633 23489 0 -1 4202560 118 0 0 0 3 1 0 0 20 0 18 0 255485419 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523797502504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25642] ppid=25631 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/25633/task/25642/stat : 25642 (java) S 25631 25633 23489 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 255485419 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523796449448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25643] ppid=25631 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/25633/task/25643/stat : 25643 (java) S 25631 25633 23489 0 -1 4202560 127 0 0 0 4 0 0 0 20 0 18 0 255485419 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523795396904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25644] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25644/stat : 25644 (java) S 25631 25633 23489 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 255485420 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523782986600 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25645] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25645/stat : 25645 (java) S 25631 25633 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255485420 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523781932920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25646] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25646/stat : 25646 (java) S 25631 25633 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255485420 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523780879752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25647] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25647/stat : 25647 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255485423 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523779828496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25648] ppid=25631 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/25633/task/25648/stat : 25648 (java) S 25631 25633 23489 0 -1 4202560 3430 0 0 0 28 0 0 0 20 0 18 0 255485423 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523778775352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25649] ppid=25631 vsize=9558412 CPUtime=0.26 cores=1,3,5,7
/proc/25633/task/25649/stat : 25649 (java) S 25631 25633 23489 0 -1 4202560 2623 0 0 0 26 0 0 0 20 0 18 0 255485423 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523777722808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25650] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25650/stat : 25650 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255485423 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523776669944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25651] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25651/stat : 25651 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255485423 9787813888 89518 33554432000 1073741824 1073778376 140735318864320 140523775617608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 9558412
[startup+3.10066 s]
/proc/loadavg: 2.06 2.01 2.00 4/212 25651
/proc/meminfo: memFree=25880208/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=9558412 CPUtime=4.43 cores=1,3,5,7
/proc/25633/stat : 25633 (java) S 25631 25633 23489 0 -1 4202496 11581 0 1 0 413 30 0 0 20 0 18 0 255485417 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140735318855456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25633/statm: 2389603 176688 2247 9 0 2380296 0
[pid=25633/tid=25635] ppid=25631 vsize=9558412 CPUtime=2.78 cores=1,3,5,7
/proc/25633/task/25635/stat : 25635 (java) R 25631 25633 23489 0 -1 4202560 2862 0 1 0 269 9 0 0 20 0 18 0 255485418 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523958782872 140523966549079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25636] ppid=25631 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/25633/task/25636/stat : 25636 (java) S 25631 25633 23489 0 -1 4202560 161 0 0 0 9 2 0 0 20 0 18 0 255485419 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523802766248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25637] ppid=25631 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/25633/task/25637/stat : 25637 (java) S 25631 25633 23489 0 -1 4202560 46 0 0 0 6 1 0 0 20 0 18 0 255485419 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523801713704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25638] ppid=25631 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25633/task/25638/stat : 25638 (java) S 25631 25633 23489 0 -1 4202560 79 0 0 0 7 2 0 0 20 0 18 0 255485419 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523800660648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25639] ppid=25631 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/25633/task/25639/stat : 25639 (java) S 25631 25633 23489 0 -1 4202560 177 0 0 0 9 2 0 0 20 0 18 0 255485419 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523799608104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25640] ppid=25631 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/25633/task/25640/stat : 25640 (java) S 25631 25633 23489 0 -1 4202560 99 0 0 0 10 3 0 0 20 0 18 0 255485419 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523798555048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25641] ppid=25631 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/25633/task/25641/stat : 25641 (java) S 25631 25633 23489 0 -1 4202560 175 0 0 0 11 4 0 0 20 0 18 0 255485419 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523797502504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25642] ppid=25631 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/25633/task/25642/stat : 25642 (java) S 25631 25633 23489 0 -1 4202560 68 0 0 0 10 2 0 0 20 0 18 0 255485419 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523796449448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25643] ppid=25631 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/25633/task/25643/stat : 25643 (java) S 25631 25633 23489 0 -1 4202560 192 0 0 0 12 3 0 0 20 0 18 0 255485419 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523795396904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25644] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25644/stat : 25644 (java) S 25631 25633 23489 0 -1 4202560 495 0 0 0 0 0 0 0 20 0 18 0 255485420 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523782986600 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25645] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25645/stat : 25645 (java) S 25631 25633 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255485420 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523781932920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25646] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25646/stat : 25646 (java) S 25631 25633 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255485420 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523780879752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25647] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25647/stat : 25647 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255485423 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523779828496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25648] ppid=25631 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/25633/task/25648/stat : 25648 (java) S 25631 25633 23489 0 -1 4202560 3430 0 0 0 28 0 0 0 20 0 18 0 255485423 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523778775352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25649] ppid=25631 vsize=9558412 CPUtime=0.26 cores=1,3,5,7
/proc/25633/task/25649/stat : 25649 (java) S 25631 25633 23489 0 -1 4202560 2623 0 0 0 26 0 0 0 20 0 18 0 255485423 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523777722808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25650] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25650/stat : 25650 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255485423 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523776669944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25651] ppid=25631 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25651/stat : 25651 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255485423 9787813888 176688 33554432000 1073741824 1073778376 140735318864320 140523775617608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 9558412
[startup+6.30066 s]
/proc/loadavg: 2.06 2.01 2.00 4/212 25651
/proc/meminfo: memFree=24280244/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=9624976 CPUtime=8.86 cores=1,3,5,7
/proc/25633/stat : 25633 (java) S 25631 25633 23489 0 -1 4202496 18892 0 1 0 823 63 0 0 20 0 19 0 255485417 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140735318855456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25633/statm: 2406244 557746 2264 9 0 2396937 0
[pid=25633/tid=25635] ppid=25631 vsize=9624976 CPUtime=5.75 cores=1,3,5,7
/proc/25633/task/25635/stat : 25635 (java) R 25631 25633 23489 0 -1 4202560 4451 0 1 0 546 29 0 0 20 0 19 0 255485418 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523958784472 140523831431454 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25636] ppid=25631 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/25633/task/25636/stat : 25636 (java) S 25631 25633 23489 0 -1 4202560 424 0 0 0 16 4 0 0 20 0 19 0 255485419 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523802766248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25637] ppid=25631 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/25633/task/25637/stat : 25637 (java) S 25631 25633 23489 0 -1 4202560 358 0 0 0 17 3 0 0 20 0 19 0 255485419 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523801713704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25638] ppid=25631 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/25633/task/25638/stat : 25638 (java) S 25631 25633 23489 0 -1 4202560 107 0 0 0 14 3 0 0 20 0 19 0 255485419 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523800660648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25639] ppid=25631 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/25633/task/25639/stat : 25639 (java) S 25631 25633 23489 0 -1 4202560 216 0 0 0 16 4 0 0 20 0 19 0 255485419 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523799608104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25640] ppid=25631 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/25633/task/25640/stat : 25640 (java) S 25631 25633 23489 0 -1 4202560 136 0 0 0 20 4 0 0 20 0 19 0 255485419 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523798555048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25641] ppid=25631 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/25633/task/25641/stat : 25641 (java) S 25631 25633 23489 0 -1 4202560 449 0 0 0 23 6 0 0 20 0 19 0 255485419 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523797502504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25642] ppid=25631 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/25633/task/25642/stat : 25642 (java) S 25631 25633 23489 0 -1 4202560 122 0 0 0 23 5 0 0 20 0 19 0 255485419 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523796449448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25643] ppid=25631 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25633/task/25643/stat : 25643 (java) S 25631 25633 23489 0 -1 4202560 481 0 0 0 19 4 0 0 20 0 19 0 255485419 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523795396904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25644] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25644/stat : 25644 (java) S 25631 25633 23489 0 -1 4202560 1265 0 0 0 0 0 0 0 20 0 19 0 255485420 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523782986600 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25645] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25645/stat : 25645 (java) S 25631 25633 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255485420 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523781932920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25646] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25646/stat : 25646 (java) S 25631 25633 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255485420 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523780879752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25647] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25647/stat : 25647 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255485423 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523779828496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25648] ppid=25631 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/25633/task/25648/stat : 25648 (java) S 25631 25633 23489 0 -1 4202560 7021 0 0 0 61 0 0 0 20 0 19 0 255485423 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523778775352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25649] ppid=25631 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/25633/task/25649/stat : 25649 (java) S 25631 25633 23489 0 -1 4202560 2679 0 0 0 52 0 0 0 20 0 19 0 255485423 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523777722808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25650] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25650/stat : 25650 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255485423 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523776669944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25651] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25651/stat : 25651 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255485423 9855975424 557746 33554432000 1073741824 1073778376 140735318864320 140523775617608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.86
Current children cumulated vsize (KiB) 9624976
[startup+12.7008 s]
/proc/loadavg: 2.05 2.01 2.00 4/212 25652
/proc/meminfo: memFree=24283648/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=9624976 CPUtime=15.33 cores=1,3,5,7
/proc/25633/stat : 25633 (java) S 25631 25633 23489 0 -1 4202496 18896 0 1 0 1470 63 0 0 20 0 19 0 255485417 9855975424 556887 33554432000 1073741824 1073778376 140735318864320 140735318855456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25633/statm: 2406244 556887 2265 9 0 2396937 0
[pid=25633/tid=25635] ppid=25631 vsize=9624976 CPUtime=12.15 cores=1,3,5,7
################
# More data... #
################
[pid=25633/tid=25641] ppid=25631 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/25633/task/25641/stat : 25641 (java) S 25631 25633 23489 0 -1 4202560 462 0 0 0 33 6 0 0 20 0 19 0 255485419 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523797502504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25642] ppid=25631 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25633/task/25642/stat : 25642 (java) S 25631 25633 23489 0 -1 4202560 345 0 0 0 32 6 0 0 20 0 19 0 255485419 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523796449448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25643] ppid=25631 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/25633/task/25643/stat : 25643 (java) S 25631 25633 23489 0 -1 4202560 489 0 0 0 31 4 0 0 20 0 19 0 255485419 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523795396904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25644] ppid=25631 vsize=9624976 CPUtime=5.61 cores=1,3,5,7
/proc/25633/task/25644/stat : 25644 (java) S 25631 25633 23489 0 -1 4202560 1376 0 0 0 557 4 0 0 20 0 19 0 255485420 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523782986600 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25645] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25645/stat : 25645 (java) S 25631 25633 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255485420 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523781932920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25646] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25646/stat : 25646 (java) S 25631 25633 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255485420 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523780879752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25647] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25647/stat : 25647 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255485423 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523779828496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25648] ppid=25631 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/25633/task/25648/stat : 25648 (java) S 25631 25633 23489 0 -1 4202560 12218 0 0 0 111 2 0 0 20 0 19 0 255485423 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523778775352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25649] ppid=25631 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/25633/task/25649/stat : 25649 (java) S 25631 25633 23489 0 -1 4202560 3052 0 0 0 74 0 0 0 20 0 19 0 255485423 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523777722808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25650] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25650/stat : 25650 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255485423 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523776669944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25651] ppid=25631 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/25633/task/25651/stat : 25651 (java) S 25631 25633 23489 0 -1 4202560 95 0 0 0 23 43 0 0 20 0 19 0 255485423 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523775617608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25652] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25652/stat : 25652 (java) S 25631 25633 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255485958 9855975424 594610 33554432000 1073741824 1073778376 140735318864320 140523774563880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.26
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.23 2.08 2.03 3/213 25728
/proc/meminfo: memFree=24406556/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=9624976 CPUtime=1726.3 cores=1,3,5,7
/proc/25633/stat : 25633 (java) S 25631 25633 23489 0 -1 4202496 25011 0 1 0 172521 109 0 0 20 0 19 0 255485417 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140735318855456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25633/statm: 2406244 595123 2281 9 0 2396937 0
[pid=25633/tid=25635] ppid=25631 vsize=9624976 CPUtime=1715.17 cores=1,3,5,7
/proc/25633/task/25635/stat : 25635 (java) R 25631 25633 23489 0 -1 4202560 4471 0 1 0 171460 57 0 0 20 0 19 0 255485418 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523958784272 140523830740510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25636] ppid=25631 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/25633/task/25636/stat : 25636 (java) S 25631 25633 23489 0 -1 4202560 431 0 0 0 25 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523802766248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25637] ppid=25631 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/25633/task/25637/stat : 25637 (java) S 25631 25633 23489 0 -1 4202560 370 0 0 0 28 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523801713704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25638] ppid=25631 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/25633/task/25638/stat : 25638 (java) S 25631 25633 23489 0 -1 4202560 138 0 0 0 26 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523800660648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25639] ppid=25631 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/25633/task/25639/stat : 25639 (java) S 25631 25633 23489 0 -1 4202560 225 0 0 0 27 5 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523799608104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25640] ppid=25631 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25633/task/25640/stat : 25640 (java) S 25631 25633 23489 0 -1 4202560 150 0 0 0 33 5 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523798555048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25641] ppid=25631 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/25633/task/25641/stat : 25641 (java) S 25631 25633 23489 0 -1 4202560 462 0 0 0 33 6 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523797502504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25642] ppid=25631 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25633/task/25642/stat : 25642 (java) S 25631 25633 23489 0 -1 4202560 345 0 0 0 32 6 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523796449448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25643] ppid=25631 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/25633/task/25643/stat : 25643 (java) S 25631 25633 23489 0 -1 4202560 489 0 0 0 31 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523795396904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25644] ppid=25631 vsize=9624976 CPUtime=5.98 cores=1,3,5,7
/proc/25633/task/25644/stat : 25644 (java) S 25631 25633 23489 0 -1 4202560 1379 0 0 0 594 4 0 0 20 0 19 0 255485420 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523782986600 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25645] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25645/stat : 25645 (java) S 25631 25633 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255485420 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523781932920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25646] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25646/stat : 25646 (java) S 25631 25633 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255485420 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523780879752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25647] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25647/stat : 25647 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523779828496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25648] ppid=25631 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/25633/task/25648/stat : 25648 (java) S 25631 25633 23489 0 -1 4202560 12218 0 0 0 111 2 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523778775352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25649] ppid=25631 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/25633/task/25649/stat : 25649 (java) S 25631 25633 23489 0 -1 4202560 3052 0 0 0 74 0 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523777722808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25650] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25650/stat : 25650 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523776669944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25651] ppid=25631 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/25633/task/25651/stat : 25651 (java) S 25631 25633 23489 0 -1 4202560 99 0 0 0 25 44 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523775617608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25652] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25652/stat : 25652 (java) S 25631 25633 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255485958 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523774563880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.3
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/213 25728
/proc/meminfo: memFree=24406312/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=9624976 CPUtime=1786.31 cores=1,3,5,7
/proc/25633/stat : 25633 (java) S 25631 25633 23489 0 -1 4202496 25015 0 1 0 178521 110 0 0 20 0 19 0 255485417 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140735318855456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25633/statm: 2406244 595123 2281 9 0 2396937 0
[pid=25633/tid=25635] ppid=25631 vsize=9624976 CPUtime=1775.17 cores=1,3,5,7
/proc/25633/task/25635/stat : 25635 (java) R 25631 25633 23489 0 -1 4202560 4471 0 1 0 177460 57 0 0 20 0 19 0 255485418 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523958784272 140523831451596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25636] ppid=25631 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/25633/task/25636/stat : 25636 (java) S 25631 25633 23489 0 -1 4202560 431 0 0 0 25 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523802766248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25637] ppid=25631 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/25633/task/25637/stat : 25637 (java) S 25631 25633 23489 0 -1 4202560 370 0 0 0 28 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523801713704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25638] ppid=25631 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/25633/task/25638/stat : 25638 (java) S 25631 25633 23489 0 -1 4202560 138 0 0 0 26 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523800660648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25639] ppid=25631 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/25633/task/25639/stat : 25639 (java) S 25631 25633 23489 0 -1 4202560 225 0 0 0 27 5 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523799608104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25640] ppid=25631 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25633/task/25640/stat : 25640 (java) S 25631 25633 23489 0 -1 4202560 150 0 0 0 33 5 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523798555048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25641] ppid=25631 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/25633/task/25641/stat : 25641 (java) S 25631 25633 23489 0 -1 4202560 462 0 0 0 33 6 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523797502504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25642] ppid=25631 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25633/task/25642/stat : 25642 (java) S 25631 25633 23489 0 -1 4202560 345 0 0 0 32 6 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523796449448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25643] ppid=25631 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/25633/task/25643/stat : 25643 (java) S 25631 25633 23489 0 -1 4202560 489 0 0 0 31 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523795396904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25644] ppid=25631 vsize=9624976 CPUtime=5.98 cores=1,3,5,7
/proc/25633/task/25644/stat : 25644 (java) S 25631 25633 23489 0 -1 4202560 1379 0 0 0 594 4 0 0 20 0 19 0 255485420 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523782986600 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25645] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25645/stat : 25645 (java) S 25631 25633 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255485420 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523781932920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25646] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25646/stat : 25646 (java) S 25631 25633 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255485420 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523780879752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25647] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25647/stat : 25647 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523779828496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25648] ppid=25631 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/25633/task/25648/stat : 25648 (java) S 25631 25633 23489 0 -1 4202560 12218 0 0 0 111 2 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523778775352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25649] ppid=25631 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/25633/task/25649/stat : 25649 (java) S 25631 25633 23489 0 -1 4202560 3052 0 0 0 74 0 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523777722808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25650] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25650/stat : 25650 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523776669944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25651] ppid=25631 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/25633/task/25651/stat : 25651 (java) S 25631 25633 23489 0 -1 4202560 103 0 0 0 26 45 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523775617608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25652] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25652/stat : 25652 (java) S 25631 25633 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255485958 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523774563880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.31
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796 s]
/proc/loadavg: 2.06 2.06 2.02 3/213 25728
/proc/meminfo: memFree=24406316/32873648 swapFree=7372/7372
[pid=25633] ppid=25631 vsize=9624976 CPUtime=1800.03 cores=1,3,5,7
/proc/25633/stat : 25633 (java) S 25631 25633 23489 0 -1 4202496 25015 0 1 0 179892 111 0 0 20 0 19 0 255485417 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140735318855456 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25633/statm: 2406244 595123 2281 9 0 2396937 0
[pid=25633/tid=25635] ppid=25631 vsize=9624976 CPUtime=1788.88 cores=1,3,5,7
/proc/25633/task/25635/stat : 25635 (java) R 25631 25633 23489 0 -1 4202560 4471 0 1 0 178830 58 0 0 20 0 19 0 255485418 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523958784272 140523831340672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25636] ppid=25631 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/25633/task/25636/stat : 25636 (java) S 25631 25633 23489 0 -1 4202560 431 0 0 0 25 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523802766248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25637] ppid=25631 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/25633/task/25637/stat : 25637 (java) S 25631 25633 23489 0 -1 4202560 370 0 0 0 28 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523801713704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25638] ppid=25631 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/25633/task/25638/stat : 25638 (java) S 25631 25633 23489 0 -1 4202560 138 0 0 0 26 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523800660648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25639] ppid=25631 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/25633/task/25639/stat : 25639 (java) S 25631 25633 23489 0 -1 4202560 225 0 0 0 27 5 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523799608104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25640] ppid=25631 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25633/task/25640/stat : 25640 (java) S 25631 25633 23489 0 -1 4202560 150 0 0 0 33 5 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523798555048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25633/tid=25641] ppid=25631 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/25633/task/25641/stat : 25641 (java) S 25631 25633 23489 0 -1 4202560 462 0 0 0 33 6 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523797502504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25642] ppid=25631 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25633/task/25642/stat : 25642 (java) S 25631 25633 23489 0 -1 4202560 345 0 0 0 32 6 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523796449448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25633/tid=25643] ppid=25631 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/25633/task/25643/stat : 25643 (java) S 25631 25633 23489 0 -1 4202560 489 0 0 0 31 4 0 0 20 0 19 0 255485419 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523795396904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25644] ppid=25631 vsize=9624976 CPUtime=5.98 cores=1,3,5,7
/proc/25633/task/25644/stat : 25644 (java) S 25631 25633 23489 0 -1 4202560 1379 0 0 0 594 4 0 0 20 0 19 0 255485420 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523782986600 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25645] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25645/stat : 25645 (java) S 25631 25633 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255485420 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523781932920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25646] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25646/stat : 25646 (java) S 25631 25633 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255485420 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523780879752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25647] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25647/stat : 25647 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523779828496 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25648] ppid=25631 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/25633/task/25648/stat : 25648 (java) S 25631 25633 23489 0 -1 4202560 12218 0 0 0 111 2 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523778775352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25633/tid=25649] ppid=25631 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/25633/task/25649/stat : 25649 (java) S 25631 25633 23489 0 -1 4202560 3052 0 0 0 74 0 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523777722808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25650] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25650/stat : 25650 (java) S 25631 25633 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523776669944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25651] ppid=25631 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/25633/task/25651/stat : 25651 (java) S 25631 25633 23489 0 -1 4202560 103 0 0 0 26 46 0 0 20 0 19 0 255485423 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523775617608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25633/tid=25652] ppid=25631 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25633/task/25652/stat : 25652 (java) S 25631 25633 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255485958 9855975424 595123 33554432000 1073741824 1073778376 140735318864320 140523774563880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.05
CPU time (s): 1800.5
CPU user time (s): 1798.86
CPU system time (s): 1.63975
CPU usage (%): 100.248
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.63975
maximum resident set size= 2380616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25049
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38756
involuntary context switches= 26696
runsolver used 6.54101 second user time and 15.5616 second system time
The end