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-4259741-1501643645/watcher-4259741-1501643645 -o /tmp/evaluation-result-4259741-1501643645/solver-4259741-1501643645 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259741-1501643645.xml
pid=31378
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.38 1.50 1.66 3/199 31381
/proc/meminfo: memFree=29908520/32770624 swapFree=0/240012
[pid=31381] ppid=31378 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31381/stat : 31381 (runsolver) D 31378 31381 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 6275077 24240128 106 18446744073709551615 4194304 4338465 140724727597248 140724727594888 140546108510935 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 18616320 140724727599313 140724727599687 140724727599687 140724727603146 0
/proc/31381/statm: 5918 106 53 36 0 2156 0
[startup+0.100086 s]
/proc/loadavg: 1.38 1.50 1.66 3/199 31381
/proc/meminfo: memFree=29908520/32770624 swapFree=0/240012
[pid=31381] ppid=31378 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/31381/stat : 31381 (bash) S 31378 31381 3187 0 -1 4202496 684 1543 0 0 0 0 0 0 20 0 1 0 6275077 9736192 352 18446744073709551615 4194304 5098028 140723029825008 140723029822648 139766740130816 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 17870848 140723029828114 140723029828199 140723029828199 140723029831658 0
/proc/31381/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200189 s]
/proc/loadavg: 1.38 1.50 1.66 3/199 31381
/proc/meminfo: memFree=29908520/32770624 swapFree=0/240012
[pid=31381] ppid=31378 vsize=30192 CPUtime=0.07 cores=1,3,5,7
/proc/31381/stat : 31381 (java) R 31378 31381 3187 0 -1 4202496 1205 12690 0 0 0 0 5 2 20 0 1 0 6275077 30916608 201 18446744073709551615 4194304 4196468 140731861456192 140731861436888 140033902877872 0 0 1 0 0 0 0 17 1 0 0 9 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
/proc/31381/statm: 7548 201 162 1 0 160 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30192
[startup+0.300233 s]
/proc/loadavg: 1.38 1.50 1.66 3/199 31381
/proc/meminfo: memFree=29908520/32770624 swapFree=0/240012
[pid=31381] ppid=31378 vsize=13973936 CPUtime=0.14 cores=1,3,5,7
/proc/31381/stat : 31381 (java) S 31378 31381 3187 0 -1 1077944320 6018 12690 0 0 6 1 5 2 20 0 15 0 6275077 14309310464 6202 18446744073709551615 4194304 4196468 140731861456192 140731861438736 140033900601079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
/proc/31381/statm: 3493484 6202 2669 1 0 3482973 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13973936
[startup+0.700233 s]
/proc/loadavg: 1.38 1.50 1.66 3/199 31381
/proc/meminfo: memFree=29908520/32770624 swapFree=0/240012
[pid=31381] ppid=31378 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/31381/stat : 31381 (java) S 31378 31381 3187 0 -1 1077944320 14026 12690 0 0 59 4 5 2 20 0 15 0 6275077 14310178816 14993 18446744073709551615 4194304 4196468 140731861456192 140731861438736 140033900601079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
/proc/31381/statm: 3493696 14993 3128 1 0 3482973 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784
[startup+1.50871 s]
/proc/loadavg: 1.38 1.50 1.66 4/214 31444
/proc/meminfo: memFree=29812148/32770624 swapFree=0/239860
[pid=31381] ppid=31378 vsize=13985408 CPUtime=1.94 cores=1,3,5,7
/proc/31381/stat : 31381 (java) S 31378 31381 3187 0 -1 1077944320 29895 12690 0 0 177 10 5 2 20 0 15 0 6275077 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140731861438736 140033900601079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
/proc/31381/statm: 3496352 42766 3367 1 0 3485533 0
[pid=31381/tid=31431] ppid=31378 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/31381/task/31431/stat : 31431 (java) R 31378 31381 3187 0 -1 4202560 22518 12690 0 0 117 5 5 2 20 0 15 0 6275097 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033904829912 140033900613014 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31432] ppid=31378 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31432/stat : 31432 (java) S 31378 31381 3187 0 -1 1077944384 222 12690 0 0 0 0 5 2 20 0 15 0 6275098 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033857567248 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31433] ppid=31378 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/31381/task/31433/stat : 31433 (java) S 31378 31381 3187 0 -1 1077944384 50 12690 0 0 1 0 5 2 20 0 15 0 6275098 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033856514704 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31434] ppid=31378 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/31381/task/31434/stat : 31434 (java) S 31378 31381 3187 0 -1 1077944384 33 12690 0 0 1 0 5 2 20 0 15 0 6275098 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033855461648 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31435] ppid=31378 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31435/stat : 31435 (java) S 31378 31381 3187 0 -1 1077944384 56 12690 0 0 0 0 5 2 20 0 15 0 6275098 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033854409104 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31436] ppid=31378 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/31381/task/31436/stat : 31436 (java) S 31378 31381 3187 0 -1 1077944384 1694 12690 0 0 1 0 5 2 20 0 15 0 6275099 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033378990832 140033900612226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31437] ppid=31378 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31437/stat : 31437 (java) S 31378 31381 3187 0 -1 1077944384 55 12690 0 0 0 0 5 2 20 0 15 0 6275100 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033377937120 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31438] ppid=31378 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31438/stat : 31438 (java) S 31378 31381 3187 0 -1 1077944384 43 12690 0 0 0 0 5 2 20 0 15 0 6275100 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033376883968 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31439] ppid=31378 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31439/stat : 31439 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033375832528 140033900619675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31440] ppid=31378 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/31381/task/31440/stat : 31440 (java) S 31378 31381 3187 0 -1 1077944384 925 12690 0 0 13 1 5 2 20 0 15 0 6275103 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033374779632 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31441] ppid=31378 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/31381/task/31441/stat : 31441 (java) R 31378 31381 3187 0 -1 1077944384 728 12690 0 0 15 0 5 2 20 0 15 0 6275103 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033373727088 140033900612226 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31442] ppid=31378 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/31381/task/31442/stat : 31442 (java) R 31378 31381 3187 0 -1 4202560 1402 12690 0 0 24 0 5 2 20 0 15 0 6275103 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033372674032 140033893697915 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31443] ppid=31378 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31443/stat : 31443 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14321057792 42766 18446744073709551615 4194304 4196468 140731861456192 140033371621728 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31444] ppid=31378 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31444/stat : 31444 (java) S 31378 31381 3187 0 -1 1077944384 8 12690 0 0 0 0 5 2 20 0 15 0 6275107 14321057792 42775 18446744073709551615 4194304 4196468 140731861456192 140033370569776 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 13985408
[startup+3.10069 s]
/proc/loadavg: 1.43 1.50 1.67 6/214 31444
/proc/meminfo: memFree=29736580/32770624 swapFree=0/239860
[pid=31381] ppid=31378 vsize=13997884 CPUtime=6.15 cores=1,3,5,7
/proc/31381/stat : 31381 (java) S 31378 31381 3187 0 -1 1077944320 45969 12690 0 0 593 15 5 2 20 0 15 0 6275077 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140731861438736 140033900601079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
/proc/31381/statm: 3499471 55402 3435 1 0 3488093 0
[pid=31381/tid=31431] ppid=31378 vsize=13997884 CPUtime=2.87 cores=1,3,5,7
/proc/31381/task/31431/stat : 31431 (java) R 31378 31381 3187 0 -1 4202560 28849 12690 0 0 272 8 5 2 20 0 15 0 6275097 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033904831536 140033538300699 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31432] ppid=31378 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31432/stat : 31432 (java) S 31378 31381 3187 0 -1 1077944384 222 12690 0 0 0 0 5 2 20 0 15 0 6275098 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033857567248 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31433] ppid=31378 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/31381/task/31433/stat : 31433 (java) S 31378 31381 3187 0 -1 1077944384 50 12690 0 0 1 0 5 2 20 0 15 0 6275098 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033856514704 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31434] ppid=31378 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/31381/task/31434/stat : 31434 (java) S 31378 31381 3187 0 -1 1077944384 33 12690 0 0 1 0 5 2 20 0 15 0 6275098 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033855461648 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31435] ppid=31378 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31435/stat : 31435 (java) S 31378 31381 3187 0 -1 1077944384 56 12690 0 0 0 0 5 2 20 0 15 0 6275098 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033854409104 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31436] ppid=31378 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/31381/task/31436/stat : 31436 (java) S 31378 31381 3187 0 -1 1077944384 1711 12690 0 0 1 0 5 2 20 0 15 0 6275099 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033378990832 140033900612226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31437] ppid=31378 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31437/stat : 31437 (java) S 31378 31381 3187 0 -1 1077944384 55 12690 0 0 0 0 5 2 20 0 15 0 6275100 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033377937120 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31438] ppid=31378 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31438/stat : 31438 (java) S 31378 31381 3187 0 -1 1077944384 43 12690 0 0 0 0 5 2 20 0 15 0 6275100 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033376883968 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31439] ppid=31378 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31439/stat : 31439 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033375832528 140033900619675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31440] ppid=31378 vsize=13997884 CPUtime=1.2 cores=1,3,5,7
/proc/31381/task/31440/stat : 31440 (java) R 31378 31381 3187 0 -1 4202560 4737 12690 0 0 111 2 5 2 20 0 15 0 6275103 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033374762816 140033877825232 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31441] ppid=31378 vsize=13997884 CPUtime=0.99 cores=1,3,5,7
/proc/31381/task/31441/stat : 31441 (java) R 31378 31381 3187 0 -1 4202560 2619 12690 0 0 91 1 5 2 20 0 15 0 6275103 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033373726192 140033883809141 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31442] ppid=31378 vsize=13997884 CPUtime=1.19 cores=1,3,5,7
/proc/31381/task/31442/stat : 31442 (java) S 31378 31381 3187 0 -1 1077944384 5424 12690 0 0 111 1 5 2 20 0 15 0 6275103 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033372674032 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31443] ppid=31378 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31443/stat : 31443 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033371621728 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31444] ppid=31378 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31444/stat : 31444 (java) S 31378 31381 3187 0 -1 1077944384 9 12690 0 0 0 0 5 2 20 0 15 0 6275107 14333833216 55402 18446744073709551615 4194304 4196468 140731861456192 140033370569776 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 13997884
[startup+6.30071 s]
/proc/loadavg: 1.43 1.50 1.67 4/214 31444
/proc/meminfo: memFree=29546560/32770624 swapFree=0/239868
[pid=31381] ppid=31378 vsize=14001980 CPUtime=15.42 cores=1,3,5,7
/proc/31381/stat : 31381 (java) S 31378 31381 3187 0 -1 1077944320 67509 12690 0 0 1506 29 5 2 20 0 15 0 6275077 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140731861438736 140033900601079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
/proc/31381/statm: 3500495 105484 3470 1 0 3489117 0
[pid=31381/tid=31431] ppid=31378 vsize=14001980 CPUtime=5.89 cores=1,3,5,7
/proc/31381/task/31431/stat : 31431 (java) R 31378 31381 3187 0 -1 4202560 32089 12690 0 0 572 10 5 2 20 0 15 0 6275097 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033904834776 140033534884913 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31432] ppid=31378 vsize=14001980 CPUtime=0.2 cores=1,3,5,7
/proc/31381/task/31432/stat : 31432 (java) S 31378 31381 3187 0 -1 1077944384 300 12690 0 0 11 2 5 2 20 0 15 0 6275098 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033857567248 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31433] ppid=31378 vsize=14001980 CPUtime=0.22 cores=1,3,5,7
/proc/31381/task/31433/stat : 31433 (java) S 31378 31381 3187 0 -1 1077944384 174 12690 0 0 13 2 5 2 20 0 15 0 6275098 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033856514704 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31434] ppid=31378 vsize=14001980 CPUtime=0.2 cores=1,3,5,7
/proc/31381/task/31434/stat : 31434 (java) S 31378 31381 3187 0 -1 1077944384 618 12690 0 0 11 2 5 2 20 0 15 0 6275098 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033855461648 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31435] ppid=31378 vsize=14001980 CPUtime=0.21 cores=1,3,5,7
/proc/31381/task/31435/stat : 31435 (java) S 31378 31381 3187 0 -1 1077944384 277 12690 0 0 12 2 5 2 20 0 15 0 6275098 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033854409104 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31436] ppid=31378 vsize=14001980 CPUtime=0.12 cores=1,3,5,7
/proc/31381/task/31436/stat : 31436 (java) S 31378 31381 3187 0 -1 1077944384 2523 12690 0 0 5 0 5 2 20 0 15 0 6275099 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033378990832 140033900612226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31437] ppid=31378 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31437/stat : 31437 (java) S 31378 31381 3187 0 -1 1077944384 55 12690 0 0 0 0 5 2 20 0 15 0 6275100 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033377937120 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31438] ppid=31378 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31438/stat : 31438 (java) S 31378 31381 3187 0 -1 1077944384 43 12690 0 0 0 0 5 2 20 0 15 0 6275100 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033376883968 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31439] ppid=31378 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31439/stat : 31439 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033375832528 140033900619675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31440] ppid=31378 vsize=14001980 CPUtime=3.69 cores=1,3,5,7
/proc/31381/task/31440/stat : 31440 (java) R 31378 31381 3187 0 -1 4202560 8951 12690 0 0 360 2 5 2 20 0 15 0 6275103 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033374765728 140033878530656 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31441] ppid=31378 vsize=14001980 CPUtime=3.48 cores=1,3,5,7
/proc/31381/task/31441/stat : 31441 (java) R 31378 31381 3187 0 -1 4202560 6293 12690 0 0 339 2 5 2 20 0 15 0 6275103 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033373719040 140033880263344 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31442] ppid=31378 vsize=14001980 CPUtime=1.87 cores=1,3,5,7
/proc/31381/task/31442/stat : 31442 (java) R 31378 31381 3187 0 -1 4202560 13849 12690 0 0 178 2 5 2 20 0 15 0 6275103 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033372673840 140033879609680 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31443] ppid=31378 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31443/stat : 31443 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033371621728 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31444] ppid=31378 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31444/stat : 31444 (java) S 31378 31381 3187 0 -1 1077944384 176 12690 0 0 0 0 5 2 20 0 15 0 6275107 14338027520 105484 18446744073709551615 4194304 4196468 140731861456192 140033370569776 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
Current children cumulated CPU time (s) 15.42
Current children cumulated vsize (KiB) 14001980
[startup+12.7007 s]
/proc/loadavg: 1.52 1.52 1.67 3/214 31444
/proc/meminfo: memFree=28897464/32770624 swapFree=0/239872
[pid=31381] ppid=31378 vsize=14069564 CPUtime=24.97 cores=1,3,5,7
/proc/31381/stat : 31381 (java) S 31378 31381 3187 0 -1 1077944320 88995 12690 0 0 2445 45 5 2 20 0 15 0 6275077 14407233536 256465 18446744073709551615 4194304 4196468 140731861456192 140731861438736 140033900601079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
/proc/31381/statm: 3517391 256465 3476 1 0 3506013 0
[pid=31381/tid=31431] ppid=31378 vsize=14069564 CPUtime=12.22 cores=1,3,5,7
/proc/31381/task/31431/stat : 31431 (java) R 31378 31381 3187 0 -1 4202560 47805 12690 0 0 1195 20 5 2 20 0 15 0 6275097 14407233536 256465 18446744073709551615 4194304 4196468 140731861456192 140033904832304 140033542255225 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31432] ppid=31378 vsize=14069564 CPUtime=0.25 cores=1,3,5,7
/proc/31381/task/31432/stat : 31432 (java) S 31378 31381 3187 0 -1 1077944384 390 12690 0 0 15 3 5 2 20 0 15 0 6275098 14407233536 256465 18446744073709551615 4194304 4196468 140731861456192 140033857567248 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31433] ppid=31378 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/31381/task/31433/stat : 31433 (java) S 31378 31381 3187 0 -1 1077944384 297 12690 0 0 16 3 5 2 20 0 15 0 6275098 14407233536 256465 18446744073709551615 4194304 4196468 140731861456192 140033856514704 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31434] ppid=31378 vsize=14069564 CPUtime=0.25 cores=1,3,5,7
/proc/31381/task/31434/stat : 31434 (java) S 31378 31381 3187 0 -1 1077944384 675 12690 0 0 15 3 5 2 20 0 15 0 6275098 14407233536 256465 18446744073709551615 4194304 4196468 140731861456192 140033855461648 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31435] ppid=31378 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/31381/task/31435/stat : 31435 (java) S 31378 31381 3187 0 -1 1077944384 326 12690 0 0 16 3 5 2 20 0 15 0 6275098 14407233536 256465 18446744073709551615 4194304 4196468 140731861456192 140033854409104 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31436] ppid=31378 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/31381/task/31436/stat : 31436 (java) S 31378 31381 3187 0 -1 1077944384 2923 12690 0 0 5 0 5 2 20 0 15 0 6275099 14407233536 256465 18446744073709551615 4194304 4196468 140731861456192 140033378990832 140033900612226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31437] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31437/stat : 31437 (java) S 31378 31381 3187 0 -1 1077944384 58 12690 0 0 0 0 5 2 20 0 15 0 6275100 14407233536 256465 18446744073709551615 4194304 4196468 140731861456192 140033377937120 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31438] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31438/stat : 31438 (java) S 31378 31381 3187 0 -1 1077944384 50 12690 0 0 0 0 5 2 20 0 15 0 6275100 14407233536 256465 18446744073709551615 4194304 4196468 140731861456192 140033376883968 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31439] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31439/stat : 31439 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14407233536 256465 18446744073709551615 4194304 4196468 140731861456192 140033375832528 140033900619675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
################
# More data... #
################
/proc/31381/statm: 3517391 594746 3476 1 0 3506013 0
[pid=31381/tid=31431] ppid=31378 vsize=14069564 CPUtime=161.32 cores=1,3,5,7
/proc/31381/task/31431/stat : 31431 (java) R 31378 31381 3187 0 -1 4202560 60725 12690 0 0 16083 42 5 2 20 0 15 0 6275097 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033904835200 140033542918764 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31432] ppid=31378 vsize=14069564 CPUtime=0.53 cores=1,3,5,7
/proc/31381/task/31432/stat : 31432 (java) S 31378 31381 3187 0 -1 1077944384 1623 12690 0 0 41 5 5 2 20 0 15 0 6275098 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033857567248 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31433] ppid=31378 vsize=14069564 CPUtime=0.53 cores=1,3,5,7
/proc/31381/task/31433/stat : 31433 (java) S 31378 31381 3187 0 -1 1077944384 3012 12690 0 0 41 5 5 2 20 0 15 0 6275098 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033856514704 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31434] ppid=31378 vsize=14069564 CPUtime=0.53 cores=1,3,5,7
/proc/31381/task/31434/stat : 31434 (java) S 31378 31381 3187 0 -1 1077944384 1167 12690 0 0 41 5 5 2 20 0 15 0 6275098 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033855461648 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31435] ppid=31378 vsize=14069564 CPUtime=0.54 cores=1,3,5,7
/proc/31381/task/31435/stat : 31435 (java) S 31378 31381 3187 0 -1 1077944384 1632 12690 0 0 41 6 5 2 20 0 15 0 6275098 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033854409104 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31436] ppid=31378 vsize=14069564 CPUtime=0.31 cores=1,3,5,7
/proc/31381/task/31436/stat : 31436 (java) S 31378 31381 3187 0 -1 1077944384 4532 12690 0 0 22 2 5 2 20 0 15 0 6275099 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033378990832 140033900612226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31437] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31437/stat : 31437 (java) S 31378 31381 3187 0 -1 1077944384 58 12690 0 0 0 0 5 2 20 0 15 0 6275100 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033377937120 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31438] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31438/stat : 31438 (java) S 31378 31381 3187 0 -1 1077944384 50 12690 0 0 0 0 5 2 20 0 15 0 6275100 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033376883968 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31439] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31439/stat : 31439 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033375832528 140033900619675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31440] ppid=31378 vsize=14069564 CPUtime=5.2 cores=1,3,5,7
/proc/31381/task/31440/stat : 31440 (java) S 31378 31381 3187 0 -1 1077944384 16420 12690 0 0 510 3 5 2 20 0 15 0 6275103 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033374779632 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31441] ppid=31378 vsize=14069564 CPUtime=5.09 cores=1,3,5,7
/proc/31381/task/31441/stat : 31441 (java) S 31378 31381 3187 0 -1 1077944384 14532 12690 0 0 499 3 5 2 20 0 15 0 6275103 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033373727088 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31442] ppid=31378 vsize=14069564 CPUtime=2.22 cores=1,3,5,7
/proc/31381/task/31442/stat : 31442 (java) S 31378 31381 3187 0 -1 1077944384 18231 12690 0 0 212 3 5 2 20 0 15 0 6275103 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033372674032 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31443] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31443/stat : 31443 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033371621728 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31444] ppid=31378 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/31381/task/31444/stat : 31444 (java) S 31378 31381 3187 0 -1 1077944384 383 12690 0 0 3 5 5 2 20 0 15 0 6275107 14407233536 594746 18446744073709551615 4194304 4196468 140731861456192 140033370569776 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
Current children cumulated CPU time (s) 175.91
Current children cumulated vsize (KiB) 14069564
[startup+222.307 s]
/proc/loadavg: 1.24 1.44 1.61 3/215 31605
/proc/meminfo: memFree=27318580/32770624 swapFree=0/240060
[pid=31381] ppid=31378 vsize=14069564 CPUtime=236.79 cores=1,3,5,7
/proc/31381/stat : 31381 (java) S 31378 31381 3187 0 -1 1077944320 130849 12690 0 0 23583 89 5 2 20 0 15 0 6275077 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140731861438736 140033900601079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
/proc/31381/statm: 3517391 592956 3476 1 0 3506013 0
[pid=31381/tid=31431] ppid=31378 vsize=14069564 CPUtime=220.8 cores=1,3,5,7
/proc/31381/task/31431/stat : 31431 (java) R 31378 31381 3187 0 -1 4202560 62615 12690 0 0 22029 44 5 2 20 0 15 0 6275097 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033904835248 140033536561131 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31432] ppid=31378 vsize=14069564 CPUtime=0.82 cores=1,3,5,7
/proc/31381/task/31432/stat : 31432 (java) S 31378 31381 3187 0 -1 1077944384 2356 12690 0 0 69 6 5 2 20 0 15 0 6275098 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033857567248 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31433] ppid=31378 vsize=14069564 CPUtime=0.82 cores=1,3,5,7
/proc/31381/task/31433/stat : 31433 (java) S 31378 31381 3187 0 -1 1077944384 3144 12690 0 0 69 6 5 2 20 0 15 0 6275098 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033856514704 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31434] ppid=31378 vsize=14069564 CPUtime=0.82 cores=1,3,5,7
/proc/31381/task/31434/stat : 31434 (java) S 31378 31381 3187 0 -1 1077944384 1316 12690 0 0 69 6 5 2 20 0 15 0 6275098 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033855461648 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31435] ppid=31378 vsize=14069564 CPUtime=0.83 cores=1,3,5,7
/proc/31381/task/31435/stat : 31435 (java) S 31378 31381 3187 0 -1 1077944384 4352 12690 0 0 69 7 5 2 20 0 15 0 6275098 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033854409104 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31436] ppid=31378 vsize=14069564 CPUtime=0.52 cores=1,3,5,7
/proc/31381/task/31436/stat : 31436 (java) S 31378 31381 3187 0 -1 1077944384 5179 12690 0 0 42 3 5 2 20 0 15 0 6275099 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033378990832 140033900612226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31437] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31437/stat : 31437 (java) S 31378 31381 3187 0 -1 1077944384 58 12690 0 0 0 0 5 2 20 0 15 0 6275100 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033377937120 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31438] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31438/stat : 31438 (java) S 31378 31381 3187 0 -1 1077944384 50 12690 0 0 0 0 5 2 20 0 15 0 6275100 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033376883968 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31439] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31439/stat : 31439 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033375832528 140033900619675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31440] ppid=31378 vsize=14069564 CPUtime=5.2 cores=1,3,5,7
/proc/31381/task/31440/stat : 31440 (java) S 31378 31381 3187 0 -1 1077944384 16424 12690 0 0 510 3 5 2 20 0 15 0 6275103 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033374779632 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31441] ppid=31378 vsize=14069564 CPUtime=5.09 cores=1,3,5,7
/proc/31381/task/31441/stat : 31441 (java) S 31378 31381 3187 0 -1 1077944384 14538 12690 0 0 499 3 5 2 20 0 15 0 6275103 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033373727088 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31442] ppid=31378 vsize=14069564 CPUtime=2.22 cores=1,3,5,7
/proc/31381/task/31442/stat : 31442 (java) S 31378 31381 3187 0 -1 1077944384 18235 12690 0 0 212 3 5 2 20 0 15 0 6275103 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033372674032 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31443] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31443/stat : 31443 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033371621728 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31444] ppid=31378 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/31381/task/31444/stat : 31444 (java) S 31378 31381 3187 0 -1 1077944384 421 12690 0 0 5 7 5 2 20 0 15 0 6275107 14407233536 592956 18446744073709551615 4194304 4196468 140731861456192 140033370569776 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
Current children cumulated CPU time (s) 236.79
Current children cumulated vsize (KiB) 14069564
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.33 1.45 1.61 3/215 31606
/proc/meminfo: memFree=27323936/32770624 swapFree=0/240084
[pid=31381] ppid=31378 vsize=14069564 CPUtime=254.75 cores=1,3,5,7
/proc/31381/stat : 31381 (java) S 31378 31381 3187 0 -1 1077944320 134571 12690 0 0 25377 91 5 2 20 0 15 0 6275077 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140731861438736 140033900601079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
/proc/31381/statm: 3517391 591559 3476 1 0 3506013 0
[pid=31381/tid=31431] ppid=31378 vsize=14069564 CPUtime=238.32 cores=1,3,5,7
/proc/31381/task/31431/stat : 31431 (java) R 31378 31381 3187 0 -1 4202560 63985 12690 0 0 23781 44 5 2 20 0 15 0 6275097 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033904834992 140033533486214 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31432] ppid=31378 vsize=14069564 CPUtime=0.91 cores=1,3,5,7
/proc/31381/task/31432/stat : 31432 (java) S 31378 31381 3187 0 -1 1077944384 3522 12690 0 0 78 6 5 2 20 0 15 0 6275098 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033857567248 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31433] ppid=31378 vsize=14069564 CPUtime=0.91 cores=1,3,5,7
/proc/31381/task/31433/stat : 31433 (java) S 31378 31381 3187 0 -1 1077944384 3265 12690 0 0 78 6 5 2 20 0 15 0 6275098 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033856514704 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31434] ppid=31378 vsize=14069564 CPUtime=0.91 cores=1,3,5,7
/proc/31381/task/31434/stat : 31434 (java) S 31378 31381 3187 0 -1 1077944384 1928 12690 0 0 77 7 5 2 20 0 15 0 6275098 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033855461648 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31435] ppid=31378 vsize=14069564 CPUtime=0.91 cores=1,3,5,7
/proc/31381/task/31435/stat : 31435 (java) S 31378 31381 3187 0 -1 1077944384 4434 12690 0 0 77 7 5 2 20 0 15 0 6275098 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033854409104 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31436] ppid=31378 vsize=14069564 CPUtime=0.59 cores=1,3,5,7
/proc/31381/task/31436/stat : 31436 (java) S 31378 31381 3187 0 -1 1077944384 5503 12690 0 0 49 3 5 2 20 0 15 0 6275099 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033378990832 140033900612226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31437] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31437/stat : 31437 (java) S 31378 31381 3187 0 -1 1077944384 58 12690 0 0 0 0 5 2 20 0 15 0 6275100 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033377937120 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31438] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31438/stat : 31438 (java) S 31378 31381 3187 0 -1 1077944384 50 12690 0 0 0 0 5 2 20 0 15 0 6275100 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033376883968 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31439] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31439/stat : 31439 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033375832528 140033900619675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31440] ppid=31378 vsize=14069564 CPUtime=5.2 cores=1,3,5,7
/proc/31381/task/31440/stat : 31440 (java) S 31378 31381 3187 0 -1 1077944384 16451 12690 0 0 510 3 5 2 20 0 15 0 6275103 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033374779632 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31441] ppid=31378 vsize=14069564 CPUtime=5.09 cores=1,3,5,7
/proc/31381/task/31441/stat : 31441 (java) S 31378 31381 3187 0 -1 1077944384 14540 12690 0 0 499 3 5 2 20 0 15 0 6275103 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033373727088 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31442] ppid=31378 vsize=14069564 CPUtime=2.22 cores=1,3,5,7
/proc/31381/task/31442/stat : 31442 (java) S 31378 31381 3187 0 -1 1077944384 18237 12690 0 0 212 3 5 2 20 0 15 0 6275103 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033372674032 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31443] ppid=31378 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31443/stat : 31443 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 15 0 6275103 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033371621728 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31444] ppid=31378 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/31381/task/31444/stat : 31444 (java) S 31378 31381 3187 0 -1 1077944384 437 12690 0 0 5 8 5 2 20 0 15 0 6275107 14407233536 591559 18446744073709551615 4194304 4196468 140731861456192 140033370569776 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
Current children cumulated CPU time (s) 254.75
Current children cumulated vsize (KiB) 14069564
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 31381 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.401 s]
/proc/loadavg: 1.33 1.45 1.61 3/215 31606
/proc/meminfo: memFree=27323936/32770624 swapFree=0/240084
[pid=31381] ppid=31378 vsize=14202692 CPUtime=256.06 cores=1,3,5,7
/proc/31381/stat : 31381 (java) S 31378 31381 3187 0 -1 1077944320 148092 12690 0 0 25506 93 5 2 20 0 17 0 6275077 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140731861438736 140033900601079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
/proc/31381/statm: 3550673 593415 3476 1 0 3539295 0
[pid=31381/tid=31431] ppid=31378 vsize=14202692 CPUtime=238.33 cores=1,3,5,7
/proc/31381/task/31431/stat : 31431 (java) S 31378 31381 3187 0 -1 1077944384 65109 12690 0 0 23782 44 5 2 20 0 17 0 6275097 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033904838624 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31432] ppid=31378 vsize=14202692 CPUtime=1.22 cores=1,3,5,7
/proc/31381/task/31432/stat : 31432 (java) S 31378 31381 3187 0 -1 1077944384 3595 12690 0 0 109 6 5 2 20 0 17 0 6275098 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033857567248 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31433] ppid=31378 vsize=14202692 CPUtime=1.22 cores=1,3,5,7
/proc/31381/task/31433/stat : 31433 (java) S 31378 31381 3187 0 -1 1077944384 3323 12690 0 0 108 7 5 2 20 0 17 0 6275098 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033856514704 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31434] ppid=31378 vsize=14202692 CPUtime=1.21 cores=1,3,5,7
/proc/31381/task/31434/stat : 31434 (java) S 31378 31381 3187 0 -1 1077944384 2059 12690 0 0 107 7 5 2 20 0 17 0 6275098 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033855461648 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31435] ppid=31378 vsize=14202692 CPUtime=1.21 cores=1,3,5,7
/proc/31381/task/31435/stat : 31435 (java) S 31378 31381 3187 0 -1 1077944384 4499 12690 0 0 107 7 5 2 20 0 17 0 6275098 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033854409104 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31436] ppid=31378 vsize=14202692 CPUtime=0.67 cores=1,3,5,7
/proc/31381/task/31436/stat : 31436 (java) R 31378 31381 3187 0 -1 4202560 16886 12690 0 0 56 4 5 2 20 0 17 0 6275099 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033378989232 140033882239398 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31437] ppid=31378 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31437/stat : 31437 (java) S 31378 31381 3187 0 -1 1077944384 60 12690 0 0 0 0 5 2 20 0 17 0 6275100 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033377936656 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31438] ppid=31378 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31438/stat : 31438 (java) S 31378 31381 3187 0 -1 1077944384 50 12690 0 0 0 0 5 2 20 0 17 0 6275100 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033376883968 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31439] ppid=31378 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31439/stat : 31439 (java) S 31378 31381 3187 0 -1 1077944384 244 12690 0 0 0 0 5 2 20 0 17 0 6275103 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033375832528 140033900619675 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31440] ppid=31378 vsize=14202692 CPUtime=5.2 cores=1,3,5,7
/proc/31381/task/31440/stat : 31440 (java) S 31378 31381 3187 0 -1 1077944384 16451 12690 0 0 510 3 5 2 20 0 17 0 6275103 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033374779632 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31441] ppid=31378 vsize=14202692 CPUtime=5.09 cores=1,3,5,7
/proc/31381/task/31441/stat : 31441 (java) S 31378 31381 3187 0 -1 1077944384 14622 12690 0 0 499 3 5 2 20 0 17 0 6275103 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033373717408 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31442] ppid=31378 vsize=14202692 CPUtime=2.22 cores=1,3,5,7
/proc/31381/task/31442/stat : 31442 (java) S 31378 31381 3187 0 -1 1077944384 18237 12690 0 0 212 3 5 2 20 0 17 0 6275103 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033372674032 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31443] ppid=31378 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/31381/task/31443/stat : 31443 (java) S 31378 31381 3187 0 -1 1077944384 3 12690 0 0 0 0 5 2 20 0 17 0 6275103 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033371621728 140033900611285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
[pid=31381/tid=31444] ppid=31378 vsize=14202692 CPUtime=0.2 cores=1,3,5,7
/proc/31381/task/31444/stat : 31444 (java) S 31378 31381 3187 0 -1 1077944384 437 12690 0 0 5 8 5 2 20 0 17 0 6275107 14543556608 593415 18446744073709551615 4194304 4196468 140731861456192 140033370569776 140033900612226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140731861465038 140731861467823 140731861467823 140731861471183 0
Current children cumulated CPU time (s) 256.06
Current children cumulated vsize (KiB) 14202692
[startup+240.501 s]
/proc/loadavg: 1.33 1.45 1.61 3/215 31606
/proc/meminfo: memFree=27323936/32770624 swapFree=0/240084
[pid=31381] ppid=31378 vsize=0 CPUtime=256.31 cores=1,3,5,7
/proc/31381/stat : 31381 (java) Z 31378 31381 3187 0 -1 4228108 148409 12690 0 0 25531 93 5 2 20 0 2 0 6275077 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/31381/statm: 0 0 0 0 0 0 0
[pid=31381/tid=31434] ppid=31378 vsize=0 CPUtime=1.27 cores=1,3,5,7
/proc/31381/task/31434/stat : 31434 (java) R 31378 31381 3187 0 -1 4203588 2059 12690 0 0 112 8 5 2 20 0 2 0 6275098 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 256.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 240.513
CPU time (s): 256.353
CPU user time (s): 255.373
CPU system time (s): 0.979117
CPU usage (%): 106.586
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.373
system time used= 0.979117
maximum resident set size= 2473172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23106
involuntary context switches= 706
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35635 second user time and 1.27552 second system time
The end