runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312385-1304112810/watcher-3312385-1304112810 -o /tmp/evaluation-result-3312385-1304112810/solver-3312385-1304112810 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312385-1304112810.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.66 7.83 7.99 2/198 25039
/proc/meminfo: memFree=25363840/32951124 swapFree=67111524/67111528
[pid=25039] ppid=25037 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/25039/stat : 25039 (java) S 25037 25039 24984 0 -1 4202496 1415 0 0 0 0 0 0 0 25 0 2 0 522879187 26714112 885 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 6522 885 678 9 0 381 0
[pid=25039/tid=25040] ppid=25037 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) R 25037 25039 24984 0 -1 4202560 56 0 0 0 0 0 0 0 25 0 2 0 522879188 26714112 885 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232330968711 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.089816 s]
/proc/loadavg: 6.66 7.83 7.99 2/198 25039
/proc/meminfo: memFree=25363840/32951124 swapFree=67111524/67111528
[pid=25039] ppid=25037 vsize=15676292 CPUtime=0.09 cores=1,3,5,7
/proc/25039/stat : 25039 (java) S 25037 25039 24984 0 -1 4202496 5467 0 1 0 8 1 0 0 25 0 18 0 522879187 16052523008 4866 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 3919073 4866 2115 9 0 3909792 0
[pid=25039/tid=25040] ppid=25037 vsize=15676292 CPUtime=0.07 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) R 25037 25039 24984 0 -1 4202560 3376 0 1 0 7 0 0 0 22 0 18 0 522879188 16052523008 4924 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676292
[startup+0.104932 s]
/proc/loadavg: 6.66 7.83 7.99 2/198 25039
/proc/meminfo: memFree=25363840/32951124 swapFree=67111524/67111528
[pid=25039] ppid=25037 vsize=15676292 CPUtime=0.11 cores=1,3,5,7
/proc/25039/stat : 25039 (java) S 25037 25039 24984 0 -1 4202496 5699 0 1 0 10 1 0 0 25 0 18 0 522879187 16052523008 5098 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 3919073 5099 2119 9 0 3909792 0
[pid=25039/tid=25040] ppid=25037 vsize=15676292 CPUtime=0.08 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) R 25037 25039 24984 0 -1 4202560 3551 0 1 0 8 0 0 0 22 0 18 0 522879188 16052523008 5099 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 47076251512864 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676292
[startup+0.3009 s]
/proc/loadavg: 6.66 7.83 7.99 2/198 25039
/proc/meminfo: memFree=25363840/32951124 swapFree=67111524/67111528
[pid=25039] ppid=25037 vsize=15678996 CPUtime=0.5 cores=1,3,5,7
/proc/25039/stat : 25039 (java) S 25037 25039 24984 0 -1 4202496 16309 0 1 0 48 2 0 0 25 0 18 0 522879187 16055291904 14776 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 3919749 14782 2207 9 0 3910468 0
[pid=25039/tid=25040] ppid=25037 vsize=15678996 CPUtime=0.27 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) R 25037 25039 24984 0 -1 4202560 11236 0 1 0 26 1 0 0 22 0 18 0 522879188 16055291904 14784 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 46912505641905 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15678996
[startup+0.700831 s]
/proc/loadavg: 6.66 7.83 7.99 2/198 25039
/proc/meminfo: memFree=25363840/32951124 swapFree=67111524/67111528
[pid=25039] ppid=25037 vsize=15678996 CPUtime=0.92 cores=1,3,5,7
/proc/25039/stat : 25039 (java) S 25037 25039 24984 0 -1 4202496 41784 0 1 0 86 6 0 0 25 0 18 0 522879187 16055291904 40249 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 3919749 40249 2223 9 0 3910468 0
[pid=25039/tid=25040] ppid=25037 vsize=15678996 CPUtime=0.67 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) R 25037 25039 24984 0 -1 4202560 35512 0 1 0 63 4 0 0 24 0 18 0 522879188 16055291904 40249 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 46912505566323 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15678996
[startup+1.5017 s]
/proc/loadavg: 6.66 7.83 7.99 5/224 25065
/proc/meminfo: memFree=25023820/32951124 swapFree=67111524/67111528
[pid=25039] ppid=25037 vsize=15685896 CPUtime=2.25 cores=1,3,5,7
/proc/25039/stat : 25039 (java) S 25037 25039 24984 0 -1 4202496 55847 0 1 0 217 8 0 0 25 0 22 0 522879187 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 3921474 51506 2261 9 0 3912193 0
[pid=25039/tid=25040] ppid=25037 vsize=15685896 CPUtime=1.45 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) R 25037 25039 24984 0 -1 4202560 35620 0 1 0 141 4 0 0 25 0 22 0 522879188 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 47076250784615 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25039/tid=25042] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25042/stat : 25042 (java) S 25037 25039 24984 0 -1 4202560 403 0 0 0 0 0 0 0 16 0 22 0 522879188 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25043] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25043/stat : 25043 (java) S 25037 25039 24984 0 -1 4202560 533 0 0 0 0 0 0 0 16 0 22 0 522879188 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25044] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25044/stat : 25044 (java) S 25037 25039 24984 0 -1 4202560 1292 0 0 0 0 0 0 0 16 0 22 0 522879188 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25045] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25045/stat : 25045 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 522879188 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25046] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25046/stat : 25046 (java) S 25037 25039 24984 0 -1 4202560 1136 0 0 0 0 0 0 0 16 0 22 0 522879188 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25047] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25047/stat : 25047 (java) S 25037 25039 24984 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 22 0 522879188 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25048] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25048/stat : 25048 (java) S 25037 25039 24984 0 -1 4202560 1708 0 0 0 0 0 0 0 16 0 22 0 522879188 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25049] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25049/stat : 25049 (java) S 25037 25039 24984 0 -1 4202560 22 0 0 0 0 0 0 0 16 0 22 0 522879188 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25050] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25050/stat : 25050 (java) S 25037 25039 24984 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 22 0 522879189 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 0 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25051] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25051/stat : 25051 (java) S 25037 25039 24984 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522879190 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25052] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25052/stat : 25052 (java) S 25037 25039 24984 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 522879190 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25053] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25053/stat : 25053 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522879192 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347716017 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25054] ppid=25037 vsize=15685896 CPUtime=0.23 cores=1,3,5,7
/proc/25039/task/25054/stat : 25054 (java) S 25037 25039 24984 0 -1 4202560 2434 0 0 0 23 0 0 0 15 0 22 0 522879192 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25055] ppid=25037 vsize=15685896 CPUtime=0.5 cores=1,3,5,7
/proc/25039/task/25055/stat : 25055 (java) R 25037 25039 24984 0 -1 4202560 11144 0 0 0 49 1 0 0 16 0 22 0 522879192 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 47076250108395 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25039/tid=25056] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25056/stat : 25056 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522879192 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25057] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25057/stat : 25057 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522879192 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25062] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25062/stat : 25062 (java) S 25037 25039 24984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 522879278 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25063] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25063/stat : 25063 (java) S 25037 25039 24984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 522879278 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25064] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25064/stat : 25064 (java) S 25037 25039 24984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 522879278 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25065] ppid=25037 vsize=15685896 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25065/stat : 25065 (java) S 25037 25039 24984 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522879278 16062357504 51506 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 15685896
[startup+3.10739 s]
/proc/loadavg: 6.66 7.83 7.99 8/224 25065
/proc/meminfo: memFree=24925612/32951124 swapFree=67111524/67111528
[pid=25039] ppid=25037 vsize=15683108 CPUtime=5.61 cores=1,3,5,7
/proc/25039/stat : 25039 (java) S 25037 25039 24984 0 -1 4202496 74393 0 1 0 550 11 0 0 25 0 22 0 522879187 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 3920777 62928 2275 9 0 3911496 0
[pid=25039/tid=25040] ppid=25037 vsize=15683108 CPUtime=2.65 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) S 25037 25039 24984 0 -1 4202560 35673 0 1 0 261 4 0 0 25 0 22 0 522879188 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25042] ppid=25037 vsize=15683108 CPUtime=0.01 cores=1,3,5,7
/proc/25039/task/25042/stat : 25042 (java) S 25037 25039 24984 0 -1 4202560 3461 0 0 0 1 0 0 0 16 0 22 0 522879188 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25043] ppid=25037 vsize=15683108 CPUtime=0.02 cores=1,3,5,7
/proc/25039/task/25043/stat : 25043 (java) S 25037 25039 24984 0 -1 4202560 3555 0 0 0 2 0 0 0 16 0 22 0 522879188 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25044] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25044/stat : 25044 (java) S 25037 25039 24984 0 -1 4202560 1292 0 0 0 0 0 0 0 15 0 22 0 522879188 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25045] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25045/stat : 25045 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522879188 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25046] ppid=25037 vsize=15683108 CPUtime=0.02 cores=1,3,5,7
/proc/25039/task/25046/stat : 25046 (java) S 25037 25039 24984 0 -1 4202560 3888 0 0 0 2 0 0 0 16 0 22 0 522879188 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25047] ppid=25037 vsize=15683108 CPUtime=0.02 cores=1,3,5,7
/proc/25039/task/25047/stat : 25047 (java) S 25037 25039 24984 0 -1 4202560 2001 0 0 0 2 0 0 0 16 0 22 0 522879188 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25048] ppid=25037 vsize=15683108 CPUtime=0.01 cores=1,3,5,7
/proc/25039/task/25048/stat : 25048 (java) S 25037 25039 24984 0 -1 4202560 1910 0 0 0 1 0 0 0 16 0 22 0 522879188 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25049] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25049/stat : 25049 (java) S 25037 25039 24984 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 22 0 522879188 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25050] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25050/stat : 25050 (java) S 25037 25039 24984 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 22 0 522879189 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 0 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25051] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25051/stat : 25051 (java) S 25037 25039 24984 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522879190 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25052] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25052/stat : 25052 (java) S 25037 25039 24984 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 522879190 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25053] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25053/stat : 25053 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522879192 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347716017 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25054] ppid=25037 vsize=15683108 CPUtime=0.93 cores=1,3,5,7
/proc/25039/task/25054/stat : 25054 (java) S 25037 25039 24984 0 -1 4202560 5223 0 0 0 92 1 0 0 15 0 22 0 522879192 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25055] ppid=25037 vsize=15683108 CPUtime=1.27 cores=1,3,5,7
/proc/25039/task/25055/stat : 25055 (java) R 25037 25039 24984 0 -1 4202560 15832 0 0 0 125 2 0 0 15 0 22 0 522879192 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 47076251591414 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25039/tid=25056] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25056/stat : 25056 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522879192 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25057] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25057/stat : 25057 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522879192 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25062] ppid=25037 vsize=15683108 CPUtime=0.35 cores=1,3,5,7
/proc/25039/task/25062/stat : 25062 (java) R 25037 25039 24984 0 -1 4202560 30 0 0 0 35 0 0 0 16 0 22 0 522879278 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 46912506057827 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25039/tid=25063] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25063/stat : 25063 (java) S 25037 25039 24984 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522879278 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25064] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25064/stat : 25064 (java) S 25037 25039 24984 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522879278 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25065] ppid=25037 vsize=15683108 CPUtime=0.24 cores=1,3,5,7
/proc/25039/task/25065/stat : 25065 (java) R 25037 25039 24984 0 -1 4202560 7 0 0 0 24 0 0 0 16 0 22 0 522879278 16059502592 62928 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 46912505215751 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 15683108
[startup+6.30079 s]
/proc/loadavg: 6.53 7.78 7.98 13/224 25065
/proc/meminfo: memFree=23565364/32951124 swapFree=67111524/67111528
[pid=25039] ppid=25037 vsize=15683108 CPUtime=17.21 cores=1,3,5,7
/proc/25039/stat : 25039 (java) S 25037 25039 24984 0 -1 4202496 275653 0 1 0 1682 39 0 0 25 0 22 0 522879187 16059502592 262831 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 3920777 262831 2275 9 0 3911496 0
[pid=25039/tid=25040] ppid=25037 vsize=15683108 CPUtime=2.65 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) S 25037 25039 24984 0 -1 4202560 35673 0 1 0 261 4 0 0 25 0 22 0 522879188 16059502592 262831 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25042] ppid=25037 vsize=15683108 CPUtime=0.16 cores=1,3,5,7
/proc/25039/task/25042/stat : 25042 (java) S 25037 25039 24984 0 -1 4202560 24303 0 0 0 13 3 0 0 16 0 22 0 522879188 16059502592 262831 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25043] ppid=25037 vsize=15683108 CPUtime=0.16 cores=1,3,5,7
/proc/25039/task/25043/stat : 25043 (java) S 25037 25039 24984 0 -1 4202560 24897 0 0 0 13 3 0 0 15 0 22 0 522879188 16059502592 262831 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25044] ppid=25037 vsize=15683108 CPUtime=0.19 cores=1,3,5,7
/proc/25039/task/25044/stat : 25044 (java) S 25037 25039 24984 0 -1 4202560 34127 0 0 0 15 4 0 0 16 0 22 0 522879188 16059502592 262831 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25045] ppid=25037 vsize=15683108 CPUtime=0.01 cores=1,3,5,7
/proc/25039/task/25045/stat : 25045 (java) S 25037 25039 24984 0 -1 4202560 1728 0 0 0 1 0 0 0 16 0 22 0 522879188 16059502592 262831 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25046] ppid=25037 vsize=15683108 CPUtime=0.19 cores=1,3,5,7
/proc/25039/task/25046/stat : 25046 (java) S 25037 25039 24984 0 -1 4202560 23655 0 0 0 15 4 0 0 16 0 22 0 522879188 16059502592 262831 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25047] ppid=25037 vsize=15683108 CPUtime=0.19 cores=1,3,5,7
/proc/25039/task/25047/stat : 25047 (java) S 25037 25039 24984 0 -1 4202560 25882 0 0 0 16 3 0 0 16 0 22 0 522879188 16059502592 262831 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25048] ppid=25037 vsize=15683108 CPUtime=0.14 cores=1,3,5,7
/proc/25039/task/25048/stat : 25048 (java) S 25037 25039 24984 0 -1 4202560 23672 0 0 0 11 3 0 0 16 0 22 0 522879188 16059502592 262831 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25049] ppid=25037 vsize=15683108 CPUtime=0.17 cores=1,3,5,7
/proc/25039/task/25049/stat : 25049 (java) S 25037 25039 24984 0 -1 4202560 20903 0 0 0 16 1 0 0 16 0 22 0 522879188 16059502592 262831 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=25039/tid=25052] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25052/stat : 25052 (java) S 25037 25039 24984 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 522879190 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25053] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25053/stat : 25053 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347716017 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25054] ppid=25037 vsize=15683108 CPUtime=0.96 cores=1,3,5,7
/proc/25039/task/25054/stat : 25054 (java) S 25037 25039 24984 0 -1 4202560 5226 0 0 0 95 1 0 0 15 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25055] ppid=25037 vsize=15683108 CPUtime=1.61 cores=1,3,5,7
/proc/25039/task/25055/stat : 25055 (java) S 25037 25039 24984 0 -1 4202560 15882 0 0 0 159 2 0 0 15 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25056] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25056/stat : 25056 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25057] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25057/stat : 25057 (java) S 25037 25039 24984 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25062] ppid=25037 vsize=15683108 CPUtime=301.66 cores=1,3,5,7
/proc/25039/task/25062/stat : 25062 (java) S 25037 25039 24984 0 -1 4202560 65924 0 0 0 30149 17 0 0 15 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25063] ppid=25037 vsize=15683108 CPUtime=302.99 cores=1,3,5,7
/proc/25039/task/25063/stat : 25063 (java) S 25037 25039 24984 0 -1 4202560 79094 0 0 0 30284 15 0 0 15 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25064] ppid=25037 vsize=15683108 CPUtime=303.14 cores=1,3,5,7
/proc/25039/task/25064/stat : 25064 (java) S 25037 25039 24984 0 -1 4202560 78331 0 0 0 30295 19 0 0 15 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25065] ppid=25037 vsize=15683108 CPUtime=303.56 cores=1,3,5,7
/proc/25039/task/25065/stat : 25065 (java) S 25037 25039 24984 0 -1 4202560 68013 0 0 0 30339 17 0 0 15 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2110.52
Current children cumulated vsize (KiB) 15683108
[startup+1242.31 s]
/proc/loadavg: 5.13 5.24 6.16 6/224 25149
/proc/meminfo: memFree=7474940/32951124 swapFree=67111412/67111528
[pid=25039] ppid=25037 vsize=15683108 CPUtime=2170.62 cores=1,3,5,7
/proc/25039/stat : 25039 (java) S 25037 25039 24984 0 -1 4202496 3889882 0 1 0 216378 684 0 0 25 0 22 0 522879187 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 3920777 3833616 2294 9 0 3911496 0
[pid=25039/tid=25040] ppid=25037 vsize=15683108 CPUtime=2.65 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) S 25037 25039 24984 0 -1 4202560 35673 0 1 0 261 4 0 0 25 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25042] ppid=25037 vsize=15683108 CPUtime=2.71 cores=1,3,5,7
/proc/25039/task/25042/stat : 25042 (java) S 25037 25039 24984 0 -1 4202560 304844 0 0 0 220 51 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25043] ppid=25037 vsize=15683108 CPUtime=2.6 cores=1,3,5,7
/proc/25039/task/25043/stat : 25043 (java) S 25037 25039 24984 0 -1 4202560 317650 0 0 0 208 52 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25044] ppid=25037 vsize=15683108 CPUtime=2.75 cores=1,3,5,7
/proc/25039/task/25044/stat : 25044 (java) S 25037 25039 24984 0 -1 4202560 364763 0 0 0 216 59 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25045] ppid=25037 vsize=15683108 CPUtime=2.91 cores=1,3,5,7
/proc/25039/task/25045/stat : 25045 (java) S 25037 25039 24984 0 -1 4202560 324636 0 0 0 237 54 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25046] ppid=25037 vsize=15683108 CPUtime=2.79 cores=1,3,5,7
/proc/25039/task/25046/stat : 25046 (java) S 25037 25039 24984 0 -1 4202560 334986 0 0 0 224 55 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25047] ppid=25037 vsize=15683108 CPUtime=3.69 cores=1,3,5,7
/proc/25039/task/25047/stat : 25047 (java) S 25037 25039 24984 0 -1 4202560 425876 0 0 0 303 66 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25048] ppid=25037 vsize=15683108 CPUtime=3.54 cores=1,3,5,7
/proc/25039/task/25048/stat : 25048 (java) S 25037 25039 24984 0 -1 4202560 499054 0 0 0 276 78 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25049] ppid=25037 vsize=15683108 CPUtime=3.52 cores=1,3,5,7
/proc/25039/task/25049/stat : 25049 (java) S 25037 25039 24984 0 -1 4202560 384200 0 0 0 290 62 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25050] ppid=25037 vsize=15683108 CPUtime=929.24 cores=1,3,5,7
/proc/25039/task/25050/stat : 25050 (java) R 25037 25039 24984 0 -1 4202560 583789 0 0 0 92805 119 0 0 18 0 22 0 522879189 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 47076254007368 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=25039/tid=25051] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25051/stat : 25051 (java) S 25037 25039 24984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522879190 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25052] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25052/stat : 25052 (java) S 25037 25039 24984 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 522879190 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25053] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25053/stat : 25053 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347716017 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25054] ppid=25037 vsize=15683108 CPUtime=0.96 cores=1,3,5,7
/proc/25039/task/25054/stat : 25054 (java) S 25037 25039 24984 0 -1 4202560 5226 0 0 0 95 1 0 0 15 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25055] ppid=25037 vsize=15683108 CPUtime=1.61 cores=1,3,5,7
/proc/25039/task/25055/stat : 25055 (java) S 25037 25039 24984 0 -1 4202560 15882 0 0 0 159 2 0 0 15 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25056] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25056/stat : 25056 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25057] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25057/stat : 25057 (java) S 25037 25039 24984 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25062] ppid=25037 vsize=15683108 CPUtime=301.71 cores=1,3,5,7
/proc/25039/task/25062/stat : 25062 (java) S 25037 25039 24984 0 -1 4202560 65924 0 0 0 30153 18 0 0 15 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25063] ppid=25037 vsize=15683108 CPUtime=303.01 cores=1,3,5,7
/proc/25039/task/25063/stat : 25063 (java) S 25037 25039 24984 0 -1 4202560 79522 0 0 0 30284 17 0 0 15 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25064] ppid=25037 vsize=15683108 CPUtime=303.15 cores=1,3,5,7
/proc/25039/task/25064/stat : 25064 (java) S 25037 25039 24984 0 -1 4202560 78388 0 0 0 30295 20 0 0 15 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25065] ppid=25037 vsize=15683108 CPUtime=303.61 cores=1,3,5,7
/proc/25039/task/25065/stat : 25065 (java) S 25037 25039 24984 0 -1 4202560 68013 0 0 0 30343 18 0 0 16 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2170.62
Current children cumulated vsize (KiB) 15683108
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.17 5.24 6.10 6/224 25150
/proc/meminfo: memFree=7007008/32951124 swapFree=67111412/67111528
[pid=25039] ppid=25037 vsize=15683108 CPUtime=2228.4 cores=1,3,5,7
/proc/25039/stat : 25039 (java) S 25037 25039 24984 0 -1 4202496 3890360 0 1 0 222149 691 0 0 25 0 22 0 522879187 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 3920777 3833616 2294 9 0 3911496 0
[pid=25039/tid=25040] ppid=25037 vsize=15683108 CPUtime=2.65 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) S 25037 25039 24984 0 -1 4202560 35673 0 1 0 261 4 0 0 25 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25042] ppid=25037 vsize=15683108 CPUtime=2.71 cores=1,3,5,7
/proc/25039/task/25042/stat : 25042 (java) S 25037 25039 24984 0 -1 4202560 304844 0 0 0 220 51 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25043] ppid=25037 vsize=15683108 CPUtime=2.6 cores=1,3,5,7
/proc/25039/task/25043/stat : 25043 (java) S 25037 25039 24984 0 -1 4202560 317650 0 0 0 208 52 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25044] ppid=25037 vsize=15683108 CPUtime=2.75 cores=1,3,5,7
/proc/25039/task/25044/stat : 25044 (java) S 25037 25039 24984 0 -1 4202560 364763 0 0 0 216 59 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25045] ppid=25037 vsize=15683108 CPUtime=2.91 cores=1,3,5,7
/proc/25039/task/25045/stat : 25045 (java) S 25037 25039 24984 0 -1 4202560 324636 0 0 0 237 54 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25046] ppid=25037 vsize=15683108 CPUtime=2.79 cores=1,3,5,7
/proc/25039/task/25046/stat : 25046 (java) S 25037 25039 24984 0 -1 4202560 334986 0 0 0 224 55 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25047] ppid=25037 vsize=15683108 CPUtime=3.69 cores=1,3,5,7
/proc/25039/task/25047/stat : 25047 (java) S 25037 25039 24984 0 -1 4202560 425876 0 0 0 303 66 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25048] ppid=25037 vsize=15683108 CPUtime=3.54 cores=1,3,5,7
/proc/25039/task/25048/stat : 25048 (java) S 25037 25039 24984 0 -1 4202560 499054 0 0 0 276 78 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25049] ppid=25037 vsize=15683108 CPUtime=3.52 cores=1,3,5,7
/proc/25039/task/25049/stat : 25049 (java) S 25037 25039 24984 0 -1 4202560 384200 0 0 0 290 62 0 0 16 0 22 0 522879188 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25050] ppid=25037 vsize=15683108 CPUtime=986.88 cores=1,3,5,7
/proc/25039/task/25050/stat : 25050 (java) R 25037 25039 24984 0 -1 4202560 583793 0 0 0 98565 123 0 0 18 0 22 0 522879189 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 47076254026569 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=25039/tid=25051] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25051/stat : 25051 (java) S 25037 25039 24984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522879190 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25052] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25052/stat : 25052 (java) S 25037 25039 24984 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 522879190 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 7 0 0 0
[pid=25039/tid=25053] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25053/stat : 25053 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347716017 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25054] ppid=25037 vsize=15683108 CPUtime=0.96 cores=1,3,5,7
/proc/25039/task/25054/stat : 25054 (java) S 25037 25039 24984 0 -1 4202560 5226 0 0 0 95 1 0 0 15 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25055] ppid=25037 vsize=15683108 CPUtime=1.61 cores=1,3,5,7
/proc/25039/task/25055/stat : 25055 (java) S 25037 25039 24984 0 -1 4202560 15882 0 0 0 159 2 0 0 15 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25056] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25056/stat : 25056 (java) S 25037 25039 24984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
[pid=25039/tid=25057] ppid=25037 vsize=15683108 CPUtime=0 cores=1,3,5,7
/proc/25039/task/25057/stat : 25057 (java) S 25037 25039 24984 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 522879192 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708928 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25062] ppid=25037 vsize=15683108 CPUtime=301.77 cores=1,3,5,7
/proc/25039/task/25062/stat : 25062 (java) S 25037 25039 24984 0 -1 4202560 65924 0 0 0 30159 18 0 0 15 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 5 0 0 0
[pid=25039/tid=25063] ppid=25037 vsize=15683108 CPUtime=303.04 cores=1,3,5,7
/proc/25039/task/25063/stat : 25063 (java) S 25037 25039 24984 0 -1 4202560 79841 0 0 0 30286 18 0 0 15 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25064] ppid=25037 vsize=15683108 CPUtime=303.15 cores=1,3,5,7
/proc/25039/task/25064/stat : 25064 (java) S 25037 25039 24984 0 -1 4202560 78539 0 0 0 30295 20 0 0 15 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 3 0 0 0
[pid=25039/tid=25065] ppid=25037 vsize=15683108 CPUtime=303.66 cores=1,3,5,7
/proc/25039/task/25065/stat : 25065 (java) S 25037 25039 24984 0 -1 4202560 68013 0 0 0 30348 18 0 0 16 0 22 0 522879278 16059502592 3833616 33554432000 1073741824 1073778376 140736054843184 18446744073709551615 232347708313 0 4 0 16800975 18446604465862841408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2228.4
Current children cumulated vsize (KiB) 15683108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -25039
[startup+1302.3 s]
/proc/loadavg: 5.17 5.24 6.10 6/225 25151
/proc/meminfo: memFree=7006876/32951124 swapFree=67111412/67111528
[pid=25039] ppid=25037 vsize=0 CPUtime=2230.69 cores=1,3,5,7
/proc/25039/stat : 25039 (java) Z 25037 25039 24984 0 -1 4203548 3890383 0 1 0 222350 719 0 0 18 0 2 0 522879187 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 0 0 0 0 0 0 0
[pid=25039/tid=25040] ppid=25037 vsize=0 CPUtime=2.94 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) R 25037 25039 24984 0 -1 4203588 35673 0 1 0 261 33 0 0 18 0 2 0 522879188 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2230.69
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 5.17 5.24 6.10 6/225 25151
/proc/meminfo: memFree=7006876/32951124 swapFree=67111412/67111528
[pid=25039] ppid=25037 vsize=0 CPUtime=2230.79 cores=1,3,5,7
/proc/25039/stat : 25039 (java) Z 25037 25039 24984 0 -1 4203548 3890383 0 1 0 222350 729 0 0 18 0 2 0 522879187 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 0 0 0 0 0 0 0
[pid=25039/tid=25040] ppid=25037 vsize=0 CPUtime=3.04 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) R 25037 25039 24984 0 -1 4203588 35673 0 1 0 261 43 0 0 18 0 2 0 522879188 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2230.79
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 5.17 5.24 6.10 6/225 25151
/proc/meminfo: memFree=7006876/32951124 swapFree=67111412/67111528
[pid=25039] ppid=25037 vsize=0 CPUtime=2230.89 cores=1,3,5,7
/proc/25039/stat : 25039 (java) Z 25037 25039 24984 0 -1 4203548 3890383 0 1 0 222350 739 0 0 18 0 2 0 522879187 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25039/statm: 0 0 0 0 0 0 0
[pid=25039/tid=25040] ppid=25037 vsize=0 CPUtime=3.14 cores=1,3,5,7
/proc/25039/task/25040/stat : 25040 (java) R 25037 25039 24984 0 -1 4203588 35673 0 1 0 261 53 0 0 18 0 2 0 522879188 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2230.89
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.55
CPU time (s): 2230.95
CPU user time (s): 2223.51
CPU system time (s): 7.44387
CPU usage (%): 171.276
Max. virtual memory (cumulated for all children) (KiB): 15685916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2223.51
system time used= 7.44387
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3890383
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76602
involuntary context switches= 40996
runsolver used 2.14067 second user time and 5.02324 second system time
The end