runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4103964-1466257580/watcher-4103964-1466257580 -o /tmp/evaluation-result-4103964-1466257580/solver-4103964-1466257580 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466230712-24777 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103964-1466257580.opb
pid=28456
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.31 2.30 2.27 4/194 28459
/proc/meminfo: memFree=28566192/32872528 swapFree=1556504/1720024
[pid=28459] ppid=28456 vsize=9216 CPUtime=0 cores=1,3,5,7
/proc/28459/stat : 28459 (java) R 28456 28459 24760 0 -1 4202496 396 0 0 0 0 0 0 0 20 0 1 0 27806608 9437184 67 33554432000 1073741824 1073778376 140734256726000 140734256723128 270320860527 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28459/statm: 2306 81 63 9 0 38 0
[startup+0.10016 s]
/proc/loadavg: 2.31 2.30 2.27 4/194 28459
/proc/meminfo: memFree=28566192/32872528 swapFree=1556504/1720024
[pid=28459] ppid=28456 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/28459/stat : 28459 (java) S 28456 28459 24760 0 -1 4202496 4415 0 1 0 8 1 0 0 20 0 18 0 27806608 9787879424 6034 33554432000 1073741824 1073778376 140734256726000 140734256717136 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28459/statm: 2389619 6034 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200226 s]
/proc/loadavg: 2.31 2.30 2.27 4/194 28459
/proc/meminfo: memFree=28566192/32872528 swapFree=1556504/1720024
[pid=28459] ppid=28456 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/28459/stat : 28459 (java) S 28456 28459 24760 0 -1 4202496 5161 0 1 0 27 1 0 0 20 0 18 0 27806608 9787879424 7135 33554432000 1073741824 1073778376 140734256726000 140734256717136 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28459/statm: 2389619 7135 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300239 s]
/proc/loadavg: 2.31 2.30 2.27 4/194 28459
/proc/meminfo: memFree=28566192/32872528 swapFree=1556504/1720024
[pid=28459] ppid=28456 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/28459/stat : 28459 (java) S 28456 28459 24760 0 -1 4202496 7839 0 1 0 53 2 0 0 20 0 18 0 27806608 9787879424 10588 33554432000 1073741824 1073778376 140734256726000 140734256717136 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28459/statm: 2389619 10588 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476
[startup+0.700199 s]
/proc/loadavg: 2.31 2.30 2.27 4/194 28459
/proc/meminfo: memFree=28566192/32872528 swapFree=1556504/1720024
[pid=28459] ppid=28456 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/28459/stat : 28459 (java) S 28456 28459 24760 0 -1 4202496 10836 0 1 0 132 3 0 0 20 0 19 0 27806608 9856040960 33543 33554432000 1073741824 1073778376 140734256726000 140734256717136 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28459/statm: 2406260 33543 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040
[startup+1.50085 s]
/proc/loadavg: 2.31 2.30 2.27 4/213 28478
/proc/meminfo: memFree=28420740/32872528 swapFree=1556504/1720024
[pid=28459] ppid=28456 vsize=9625040 CPUtime=2.43 cores=1,3,5,7
/proc/28459/stat : 28459 (java) S 28456 28459 24760 0 -1 4202496 10960 0 1 0 238 5 0 0 20 0 19 0 27806608 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 140734256717136 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28459/statm: 2406260 44382 2280 9 0 2396937 0
[pid=28459/tid=28461] ppid=28456 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/28459/task/28461/stat : 28461 (java) R 28456 28459 24760 0 -1 4202560 2471 0 1 0 141 2 0 0 20 0 19 0 27806609 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954719206648 139954546686955 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28462] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28462/stat : 28462 (java) S 28456 28459 24760 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954680699560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28463] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28463/stat : 28463 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954679647016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28464] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28464/stat : 28464 (java) S 28456 28459 24760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954678594472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28465] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28465/stat : 28465 (java) S 28456 28459 24760 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954677541928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28466] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28466/stat : 28466 (java) S 28456 28459 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954676488360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28467] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28467/stat : 28467 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954675435816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28468] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28468/stat : 28468 (java) S 28456 28459 24760 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954674383272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28469] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28469/stat : 28469 (java) S 28456 28459 24760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954673330728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28470] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28470/stat : 28470 (java) S 28456 28459 24760 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 27806611 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954542852712 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28471] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28471/stat : 28471 (java) S 28456 28459 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954541799032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28472] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28472/stat : 28472 (java) S 28456 28459 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954540746376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28473] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28473/stat : 28473 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954539695120 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28474] ppid=28456 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/28459/task/28474/stat : 28474 (java) S 28456 28459 24760 0 -1 4202560 2601 0 0 0 39 0 0 0 20 0 19 0 27806614 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954538641464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28475] ppid=28456 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/28459/task/28475/stat : 28475 (java) S 28456 28459 24760 0 -1 4202560 4518 0 0 0 47 0 0 0 20 0 19 0 27806614 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954537588920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28476] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28476/stat : 28476 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954536536568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28477] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28477/stat : 28477 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954535484232 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28478] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28478/stat : 28478 (java) S 28456 28459 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27806670 9856040960 44382 33554432000 1073741824 1073778376 140734256726000 139954534429992 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9625040
[startup+3.1009 s]
/proc/loadavg: 2.31 2.30 2.27 4/213 28478
/proc/meminfo: memFree=28395668/32872528 swapFree=1556504/1720024
[pid=28459] ppid=28456 vsize=9625040 CPUtime=4.16 cores=1,3,5,7
/proc/28459/stat : 28459 (java) S 28456 28459 24760 0 -1 4202496 11763 0 1 0 411 5 0 0 20 0 19 0 27806608 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 140734256717136 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28459/statm: 2406260 44389 2286 9 0 2396937 0
[pid=28459/tid=28461] ppid=28456 vsize=9625040 CPUtime=3.03 cores=1,3,5,7
/proc/28459/task/28461/stat : 28461 (java) R 28456 28459 24760 0 -1 4202560 2472 0 1 0 301 2 0 0 20 0 19 0 27806609 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954719198912 139954546782945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28462] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28462/stat : 28462 (java) S 28456 28459 24760 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954680699560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28463] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28463/stat : 28463 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954679647016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28464] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28464/stat : 28464 (java) S 28456 28459 24760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954678594472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28465] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28465/stat : 28465 (java) S 28456 28459 24760 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954677541928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28466] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28466/stat : 28466 (java) S 28456 28459 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954676488360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28467] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28467/stat : 28467 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954675435816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28468] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28468/stat : 28468 (java) S 28456 28459 24760 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954674383272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28469] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28469/stat : 28469 (java) S 28456 28459 24760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954673330728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28470] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28470/stat : 28470 (java) S 28456 28459 24760 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 27806611 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954542852712 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28471] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28471/stat : 28471 (java) S 28456 28459 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954541799032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28472] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28472/stat : 28472 (java) S 28456 28459 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954540746376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28473] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28473/stat : 28473 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954539695120 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28474] ppid=28456 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/28459/task/28474/stat : 28474 (java) S 28456 28459 24760 0 -1 4202560 3403 0 0 0 48 0 0 0 20 0 19 0 27806614 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954538641464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28475] ppid=28456 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/28459/task/28475/stat : 28475 (java) S 28456 28459 24760 0 -1 4202560 4518 0 0 0 51 0 0 0 20 0 19 0 27806614 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954537588920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28476] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28476/stat : 28476 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954536536568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28477] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28477/stat : 28477 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954535484232 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28478] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28478/stat : 28478 (java) S 28456 28459 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27806670 9856040960 44389 33554432000 1073741824 1073778376 140734256726000 139954534429992 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 9625040
[startup+6.30089 s]
/proc/loadavg: 2.29 2.29 2.26 3/213 28478
/proc/meminfo: memFree=28378492/32872528 swapFree=1556504/1720024
[pid=28459] ppid=28456 vsize=9625040 CPUtime=7.47 cores=1,3,5,7
/proc/28459/stat : 28459 (java) S 28456 28459 24760 0 -1 4202496 11815 0 1 0 739 8 0 0 20 0 19 0 27806608 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 140734256717136 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28459/statm: 2406260 56148 2286 9 0 2396937 0
[pid=28459/tid=28461] ppid=28456 vsize=9625040 CPUtime=6.18 cores=1,3,5,7
/proc/28459/task/28461/stat : 28461 (java) R 28456 28459 24760 0 -1 4202560 2491 0 1 0 616 2 0 0 20 0 19 0 27806609 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954719207720 139954546848575 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28462] ppid=28456 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/28459/task/28462/stat : 28462 (java) S 28456 28459 24760 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 27806610 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954680699560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28463] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28463/stat : 28463 (java) S 28456 28459 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954679647016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28464] ppid=28456 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/28459/task/28464/stat : 28464 (java) S 28456 28459 24760 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 27806610 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954678594472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28465] ppid=28456 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/28459/task/28465/stat : 28465 (java) S 28456 28459 24760 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 27806610 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954677541928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28466] ppid=28456 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/28459/task/28466/stat : 28466 (java) S 28456 28459 24760 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 27806610 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954676488360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28467] ppid=28456 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/28459/task/28467/stat : 28467 (java) S 28456 28459 24760 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 27806610 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954675435816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28468] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28468/stat : 28468 (java) S 28456 28459 24760 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954674383272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28469] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28469/stat : 28469 (java) S 28456 28459 24760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27806610 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954673330728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28470] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28470/stat : 28470 (java) S 28456 28459 24760 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 27806611 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954542852712 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28471] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28471/stat : 28471 (java) S 28456 28459 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954541799032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28472] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28472/stat : 28472 (java) S 28456 28459 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954540746376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28473] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28473/stat : 28473 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954539695120 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28474] ppid=28456 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/28459/task/28474/stat : 28474 (java) S 28456 28459 24760 0 -1 4202560 3403 0 0 0 51 0 0 0 20 0 19 0 27806614 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954538641464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28475] ppid=28456 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/28459/task/28475/stat : 28475 (java) S 28456 28459 24760 0 -1 4202560 4518 0 0 0 52 0 0 0 20 0 19 0 27806614 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954537588920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28476] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28476/stat : 28476 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954536536568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28477] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28477/stat : 28477 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954535484232 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28478] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28478/stat : 28478 (java) S 28456 28459 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27806670 9856040960 56148 33554432000 1073741824 1073778376 140734256726000 139954534429992 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=28459/tid=28478] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28478/stat : 28478 (java) S 28456 28459 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27806670 9856040960 120152 33554432000 1073741824 1073778376 140734256726000 139954534429992 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1622.95
Current children cumulated vsize (KiB) 9625040
[startup+1662.3 s]
/proc/loadavg: 2.21 2.24 2.24 3/213 28608
/proc/meminfo: memFree=24941672/32872528 swapFree=1556504/1720024
[pid=28459] ppid=28456 vsize=9625040 CPUtime=1683.81 cores=1,3,5,7
/proc/28459/stat : 28459 (java) S 28456 28459 24760 0 -1 4202496 18995 0 1 0 168234 147 0 0 20 0 19 0 27806608 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 140734256717136 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28459/statm: 2406260 116275 2295 9 0 2396937 0
[pid=28459/tid=28461] ppid=28456 vsize=9625040 CPUtime=1646.78 cores=1,3,5,7
/proc/28459/task/28461/stat : 28461 (java) R 28456 28459 24760 0 -1 4202560 4041 0 1 0 164639 39 0 0 20 0 19 0 27806609 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954719206544 139954546500471 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28462] ppid=28456 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/28459/task/28462/stat : 28462 (java) S 28456 28459 24760 0 -1 4202560 205 0 0 0 378 11 0 0 20 0 19 0 27806610 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954680699560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28463] ppid=28456 vsize=9625040 CPUtime=3.99 cores=1,3,5,7
/proc/28459/task/28463/stat : 28463 (java) S 28456 28459 24760 0 -1 4202560 280 0 0 0 388 11 0 0 20 0 19 0 27806610 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954679647016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28464] ppid=28456 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/28459/task/28464/stat : 28464 (java) S 28456 28459 24760 0 -1 4202560 299 0 0 0 368 11 0 0 20 0 19 0 27806610 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954678594472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28465] ppid=28456 vsize=9625040 CPUtime=3.82 cores=1,3,5,7
/proc/28459/task/28465/stat : 28465 (java) S 28456 28459 24760 0 -1 4202560 189 0 0 0 372 10 0 0 20 0 19 0 27806610 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954677541928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28466] ppid=28456 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/28459/task/28466/stat : 28466 (java) S 28456 28459 24760 0 -1 4202560 234 0 0 0 371 9 0 0 20 0 19 0 27806610 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954676488360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28467] ppid=28456 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/28459/task/28467/stat : 28467 (java) S 28456 28459 24760 0 -1 4202560 246 0 0 0 381 10 0 0 20 0 19 0 27806610 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954675435816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28468] ppid=28456 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/28459/task/28468/stat : 28468 (java) S 28456 28459 24760 0 -1 4202560 263 0 0 0 380 10 0 0 20 0 19 0 27806610 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954674383272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28469] ppid=28456 vsize=9625040 CPUtime=3.78 cores=1,3,5,7
/proc/28459/task/28469/stat : 28469 (java) S 28456 28459 24760 0 -1 4202560 267 0 0 0 369 9 0 0 20 0 19 0 27806610 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954673330728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28470] ppid=28456 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/28459/task/28470/stat : 28470 (java) S 28456 28459 24760 0 -1 4202560 3679 0 0 0 44 18 0 0 20 0 19 0 27806611 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954542852712 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28471] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28471/stat : 28471 (java) S 28456 28459 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954541799032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28472] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28472/stat : 28472 (java) S 28456 28459 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954540746376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28473] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28473/stat : 28473 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954539695120 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28474] ppid=28456 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/28459/task/28474/stat : 28474 (java) S 28456 28459 24760 0 -1 4202560 3403 0 0 0 51 0 0 0 20 0 19 0 27806614 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954538641464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28475] ppid=28456 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/28459/task/28475/stat : 28475 (java) S 28456 28459 24760 0 -1 4202560 4541 0 0 0 61 0 0 0 20 0 19 0 27806614 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954537588920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28476] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28476/stat : 28476 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954536536568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28477] ppid=28456 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/28459/task/28477/stat : 28477 (java) S 28456 28459 24760 0 -1 4202560 91 0 0 0 23 33 0 0 20 0 19 0 27806614 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954535484232 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28478] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28478/stat : 28478 (java) S 28456 28459 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27806670 9856040960 116275 33554432000 1073741824 1073778376 140734256726000 139954534429992 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1683.81
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.44 2.30 2.26 4/213 28610
/proc/meminfo: memFree=24970568/32872528 swapFree=1556504/1720024
[pid=28459] ppid=28456 vsize=9625040 CPUtime=1744.7 cores=1,3,5,7
/proc/28459/stat : 28459 (java) S 28456 28459 24760 0 -1 4202496 20207 0 1 0 174320 150 0 0 20 0 19 0 27806608 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 140734256717136 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28459/statm: 2406260 109045 2295 9 0 2396937 0
[pid=28459/tid=28461] ppid=28456 vsize=9625040 CPUtime=1706.04 cores=1,3,5,7
/proc/28459/task/28461/stat : 28461 (java) R 28456 28459 24760 0 -1 4202560 4101 0 1 0 170564 40 0 0 20 0 19 0 27806609 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954719206544 139954546600749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28462] ppid=28456 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/28459/task/28462/stat : 28462 (java) S 28456 28459 24760 0 -1 4202560 205 0 0 0 393 11 0 0 20 0 19 0 27806610 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954680699560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28463] ppid=28456 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/28459/task/28463/stat : 28463 (java) S 28456 28459 24760 0 -1 4202560 280 0 0 0 404 11 0 0 20 0 19 0 27806610 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954679647016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28464] ppid=28456 vsize=9625040 CPUtime=3.96 cores=1,3,5,7
/proc/28459/task/28464/stat : 28464 (java) S 28456 28459 24760 0 -1 4202560 299 0 0 0 385 11 0 0 20 0 19 0 27806610 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954678594472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28465] ppid=28456 vsize=9625040 CPUtime=4 cores=1,3,5,7
/proc/28459/task/28465/stat : 28465 (java) S 28456 28459 24760 0 -1 4202560 189 0 0 0 390 10 0 0 20 0 19 0 27806610 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954677541928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28466] ppid=28456 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/28459/task/28466/stat : 28466 (java) S 28456 28459 24760 0 -1 4202560 237 0 0 0 389 9 0 0 20 0 19 0 27806610 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954676488360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28467] ppid=28456 vsize=9625040 CPUtime=4.07 cores=1,3,5,7
/proc/28459/task/28467/stat : 28467 (java) S 28456 28459 24760 0 -1 4202560 248 0 0 0 397 10 0 0 20 0 19 0 27806610 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954675435816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28468] ppid=28456 vsize=9625040 CPUtime=4.07 cores=1,3,5,7
/proc/28459/task/28468/stat : 28468 (java) S 28456 28459 24760 0 -1 4202560 263 0 0 0 397 10 0 0 20 0 19 0 27806610 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954674383272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28469] ppid=28456 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/28459/task/28469/stat : 28469 (java) S 28456 28459 24760 0 -1 4202560 267 0 0 0 385 9 0 0 20 0 19 0 27806610 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954673330728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28470] ppid=28456 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/28459/task/28470/stat : 28470 (java) S 28456 28459 24760 0 -1 4202560 4822 0 0 0 57 19 0 0 20 0 19 0 27806611 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954542852712 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28471] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28471/stat : 28471 (java) S 28456 28459 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954541799032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28472] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28472/stat : 28472 (java) S 28456 28459 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954540746376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28473] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28473/stat : 28473 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954539695120 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28474] ppid=28456 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/28459/task/28474/stat : 28474 (java) S 28456 28459 24760 0 -1 4202560 3403 0 0 0 51 0 0 0 20 0 19 0 27806614 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954538641464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28475] ppid=28456 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/28459/task/28475/stat : 28475 (java) S 28456 28459 24760 0 -1 4202560 4541 0 0 0 61 0 0 0 20 0 19 0 27806614 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954537588920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28476] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28476/stat : 28476 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954536536568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28477] ppid=28456 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/28459/task/28477/stat : 28477 (java) S 28456 28459 24760 0 -1 4202560 95 0 0 0 24 35 0 0 20 0 19 0 27806614 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954535484232 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28478] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28478/stat : 28478 (java) S 28456 28459 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27806670 9856040960 109045 33554432000 1073741824 1073778376 140734256726000 139954534429992 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1744.7
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1776.8 s]
/proc/loadavg: 2.40 2.31 2.26 3/213 28611
/proc/meminfo: memFree=24796632/32872528 swapFree=1556504/1720024
[pid=28459] ppid=28456 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/28459/stat : 28459 (java) S 28456 28459 24760 0 -1 4202496 20278 0 1 0 179852 154 0 0 20 0 19 0 27806608 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 140734256717136 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28459/statm: 2406260 104902 2295 9 0 2396937 0
[pid=28459/tid=28461] ppid=28456 vsize=9625040 CPUtime=1759.95 cores=1,3,5,7
/proc/28459/task/28461/stat : 28461 (java) R 28456 28459 24760 0 -1 4202560 4155 0 1 0 175954 41 0 0 20 0 19 0 27806609 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954719206576 139954546600735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28462] ppid=28456 vsize=9625040 CPUtime=4.21 cores=1,3,5,7
/proc/28459/task/28462/stat : 28462 (java) S 28456 28459 24760 0 -1 4202560 209 0 0 0 410 11 0 0 20 0 19 0 27806610 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954680699560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28463] ppid=28456 vsize=9625040 CPUtime=4.32 cores=1,3,5,7
/proc/28459/task/28463/stat : 28463 (java) S 28456 28459 24760 0 -1 4202560 280 0 0 0 420 12 0 0 20 0 19 0 27806610 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954679647016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28464] ppid=28456 vsize=9625040 CPUtime=4.11 cores=1,3,5,7
/proc/28459/task/28464/stat : 28464 (java) S 28456 28459 24760 0 -1 4202560 299 0 0 0 400 11 0 0 20 0 19 0 27806610 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954678594472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28465] ppid=28456 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/28459/task/28465/stat : 28465 (java) S 28456 28459 24760 0 -1 4202560 189 0 0 0 405 10 0 0 20 0 19 0 27806610 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954677541928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28466] ppid=28456 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/28459/task/28466/stat : 28466 (java) S 28456 28459 24760 0 -1 4202560 237 0 0 0 405 10 0 0 20 0 19 0 27806610 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954676488360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28467] ppid=28456 vsize=9625040 CPUtime=4.21 cores=1,3,5,7
/proc/28459/task/28467/stat : 28467 (java) S 28456 28459 24760 0 -1 4202560 253 0 0 0 410 11 0 0 20 0 19 0 27806610 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954675435816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28468] ppid=28456 vsize=9625040 CPUtime=4.24 cores=1,3,5,7
/proc/28459/task/28468/stat : 28468 (java) S 28456 28459 24760 0 -1 4202560 263 0 0 0 414 10 0 0 20 0 19 0 27806610 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954674383272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28469] ppid=28456 vsize=9625040 CPUtime=4.11 cores=1,3,5,7
/proc/28459/task/28469/stat : 28469 (java) S 28456 28459 24760 0 -1 4202560 267 0 0 0 401 10 0 0 20 0 19 0 27806610 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954673330728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28470] ppid=28456 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/28459/task/28470/stat : 28470 (java) S 28456 28459 24760 0 -1 4202560 4826 0 0 0 57 20 0 0 20 0 19 0 27806611 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954542852712 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28459/tid=28471] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28471/stat : 28471 (java) S 28456 28459 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954541799032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28472] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28472/stat : 28472 (java) S 28456 28459 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27806612 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954540746376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28473] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28473/stat : 28473 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954539695120 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28474] ppid=28456 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/28459/task/28474/stat : 28474 (java) S 28456 28459 24760 0 -1 4202560 3403 0 0 0 51 0 0 0 20 0 19 0 27806614 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954538641464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28459/tid=28475] ppid=28456 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/28459/task/28475/stat : 28475 (java) S 28456 28459 24760 0 -1 4202560 4541 0 0 0 61 0 0 0 20 0 19 0 27806614 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954537588920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28476] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28476/stat : 28476 (java) S 28456 28459 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27806614 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954536536568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28459/tid=28477] ppid=28456 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/28459/task/28477/stat : 28477 (java) S 28456 28459 24760 0 -1 4202560 99 0 0 0 25 36 0 0 20 0 19 0 27806614 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954535484232 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28459/tid=28478] ppid=28456 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28459/task/28478/stat : 28478 (java) S 28456 28459 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27806670 9856040960 104902 33554432000 1073741824 1073778376 140734256726000 139954534429992 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28459 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28459 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=288226
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=962701
# CPU time returned by wait4() is 1796.25
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1776.83
CPU time (s): 1800.06
CPU user time (s): 1798.52
CPU system time (s): 1.54
CPU usage (%): 101.307
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.29
system time used= 1.9627
maximum resident set size= 913500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20310
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83837
involuntary context switches= 123201
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7881 second user time and 15.2937 second system time
The end