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-4259373-1501660579/watcher-4259373-1501660579 -o /tmp/evaluation-result-4259373-1501660579/solver-4259373-1501660579 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300 bin/concrete HOME/instance-4259373-1501660579.xml
pid=19946
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.70 1.68 1.69 4/199 19949
/proc/meminfo: memFree=27504216/32770624 swapFree=0/243704
[pid=19949] ppid=19946 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19949/stat : 19949 (runsolver) D 19946 19949 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13873248 24240128 107 18446744073709551615 4194304 4338465 140730059744064 140730059741704 139625079792343 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 11501568 140730059747536 140730059747910 140730059747910 140730059751370 0
/proc/19949/statm: 5918 107 54 36 0 2156 0
[startup+0.10014 s]
/proc/loadavg: 1.70 1.68 1.69 4/199 19949
/proc/meminfo: memFree=27504216/32770624 swapFree=0/243704
[pid=19949] ppid=19946 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19949/stat : 19949 (runsolver) D 19946 19949 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13873248 24240128 107 18446744073709551615 4194304 4338465 140730059744064 140730059741704 139625079792343 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 11501568 140730059747536 140730059747910 140730059747910 140730059751370 0
/proc/19949/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200295 s]
/proc/loadavg: 1.70 1.68 1.69 4/199 19949
/proc/meminfo: memFree=27504216/32770624 swapFree=0/243704
[pid=19949] ppid=19946 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/19949/stat : 19949 (bash) S 19946 19949 5228 0 -1 4202496 897 6480 0 0 0 0 0 1 20 0 1 0 13873248 9867264 377 18446744073709551615 4194304 5098028 140736225691568 140736225685576 140684431027200 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 10 0 0 7196144 7232144 9367552 140736225694225 140736225694310 140736225694310 140736225697770 0
/proc/19949/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300342 s]
/proc/loadavg: 1.70 1.68 1.69 4/199 19949
/proc/meminfo: memFree=27504216/32770624 swapFree=0/243704
[pid=19949] ppid=19946 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/19949/stat : 19949 (java) S 19946 19949 5228 0 -1 1077944320 5984 12382 0 0 5 1 5 2 20 0 14 0 13873248 14241083392 5666 18446744073709551615 4194304 4196468 140733894968032 140733894950576 140018289090295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
/proc/19949/statm: 3476827 5666 2650 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700254 s]
/proc/loadavg: 1.70 1.68 1.69 4/199 19949
/proc/meminfo: memFree=27504216/32770624 swapFree=0/243704
[pid=19949] ppid=19946 vsize=13974784 CPUtime=0.6 cores=1,3,5,7
/proc/19949/stat : 19949 (java) S 19946 19949 5228 0 -1 1077944320 13820 12382 0 0 49 4 5 2 20 0 15 0 13873248 14310178816 14266 18446744073709551615 4194304 4196468 140733894968032 140733894950576 140018289090295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
/proc/19949/statm: 3493696 14266 3065 1 0 3482973 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13974784
[startup+1.50092 s]
/proc/loadavg: 1.72 1.69 1.69 3/214 20012
/proc/meminfo: memFree=27413136/32770624 swapFree=0/243688
[pid=19949] ppid=19946 vsize=13985408 CPUtime=1.81 cores=1,3,5,7
/proc/19949/stat : 19949 (java) S 19946 19949 5228 0 -1 1077944320 27797 12382 0 0 166 8 5 2 20 0 15 0 13873248 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140733894950576 140018289090295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
/proc/19949/statm: 3496352 33991 3333 1 0 3485533 0
[pid=19949/tid=19999] ppid=19946 vsize=13985408 CPUtime=1.26 cores=1,3,5,7
/proc/19949/task/19999/stat : 19999 (java) R 19946 19949 5228 0 -1 4202560 22547 12382 0 0 114 5 5 2 20 0 15 0 13873270 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140018293323248 140018289102230 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20000] ppid=19946 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20000/stat : 20000 (java) S 19946 19949 5228 0 -1 1077944384 1 12382 0 0 0 0 5 2 20 0 15 0 13873271 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140018223524368 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20001] ppid=19946 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20001/stat : 20001 (java) S 19946 19949 5228 0 -1 1077944384 2 12382 0 0 0 0 5 2 20 0 15 0 13873271 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140018222471824 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20002] ppid=19946 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20002/stat : 20002 (java) S 19946 19949 5228 0 -1 1077944384 1 12382 0 0 0 0 5 2 20 0 15 0 13873271 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140018221418768 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20003] ppid=19946 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20003/stat : 20003 (java) S 19946 19949 5228 0 -1 1077944384 2 12382 0 0 0 0 5 2 20 0 15 0 13873271 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140018220366224 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20004] ppid=19946 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20004/stat : 20004 (java) S 19946 19949 5228 0 -1 1077944384 5 12382 0 0 0 0 5 2 20 0 15 0 13873272 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140017767238384 140018289101442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20005] ppid=19946 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20005/stat : 20005 (java) S 19946 19949 5228 0 -1 1077944384 33 12382 0 0 0 0 5 2 20 0 15 0 13873272 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140017766184608 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20006] ppid=19946 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20006/stat : 20006 (java) S 19946 19949 5228 0 -1 1077944384 21 12382 0 0 0 0 5 2 20 0 15 0 13873273 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140017765131504 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20007] ppid=19946 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20007/stat : 20007 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 15 0 13873275 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140017764080080 140018289108891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20008] ppid=19946 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/19949/task/20008/stat : 20008 (java) S 19946 19949 5228 0 -1 1077944384 1004 12382 0 0 12 0 5 2 20 0 15 0 13873275 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140017763027184 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20009] ppid=19946 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/19949/task/20009/stat : 20009 (java) R 19946 19949 5228 0 -1 4202560 717 12382 0 0 16 0 5 2 20 0 15 0 13873275 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140017761974640 140018270500445 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20010] ppid=19946 vsize=13985408 CPUtime=0.28 cores=1,3,5,7
/proc/19949/task/20010/stat : 20010 (java) R 19946 19949 5228 0 -1 1077944384 1296 12382 0 0 21 0 5 2 20 0 15 0 13873275 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140017760921584 140018289101442 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20011] ppid=19946 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20011/stat : 20011 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 15 0 13873275 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140017759869280 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20012] ppid=19946 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20012/stat : 20012 (java) S 19946 19949 5228 0 -1 1077944384 10 12382 0 0 0 0 5 2 20 0 15 0 13873282 14321057792 33991 18446744073709551615 4194304 4196468 140733894968032 140017758817328 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 13985408
[startup+3.10091 s]
/proc/loadavg: 1.72 1.69 1.69 5/214 20012
/proc/meminfo: memFree=27331988/32770624 swapFree=0/243688
[pid=19949] ppid=19946 vsize=13995836 CPUtime=5.62 cores=1,3,5,7
/proc/19949/stat : 19949 (java) S 19946 19949 5228 0 -1 1077944320 42943 12382 0 0 540 15 5 2 20 0 15 0 13873248 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140733894950576 140018289090295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
/proc/19949/statm: 3498959 70813 3449 1 0 3487581 0
[pid=19949/tid=19999] ppid=19946 vsize=13995836 CPUtime=2.81 cores=1,3,5,7
/proc/19949/task/19999/stat : 19999 (java) R 19946 19949 5228 0 -1 4202560 29078 12382 0 0 266 8 5 2 20 0 15 0 13873270 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140018293320800 140018273170782 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20000] ppid=19946 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19949/task/20000/stat : 20000 (java) S 19946 19949 5228 0 -1 1077944384 72 12382 0 0 1 0 5 2 20 0 15 0 13873271 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140018223524368 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20001] ppid=19946 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19949/task/20001/stat : 20001 (java) S 19946 19949 5228 0 -1 1077944384 152 12382 0 0 1 0 5 2 20 0 15 0 13873271 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140018222471824 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20002] ppid=19946 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19949/task/20002/stat : 20002 (java) S 19946 19949 5228 0 -1 1077944384 66 12382 0 0 1 0 5 2 20 0 15 0 13873271 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140018221418768 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20003] ppid=19946 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19949/task/20003/stat : 20003 (java) S 19946 19949 5228 0 -1 1077944384 232 12382 0 0 1 0 5 2 20 0 15 0 13873271 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140018220366224 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20004] ppid=19946 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19949/task/20004/stat : 20004 (java) S 19946 19949 5228 0 -1 1077944384 1571 12382 0 0 1 0 5 2 20 0 15 0 13873272 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140017767238384 140018289101442 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20005] ppid=19946 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20005/stat : 20005 (java) S 19946 19949 5228 0 -1 1077944384 55 12382 0 0 0 0 5 2 20 0 15 0 13873272 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140017766184672 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20006] ppid=19946 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20006/stat : 20006 (java) S 19946 19949 5228 0 -1 1077944384 43 12382 0 0 0 0 5 2 20 0 15 0 13873273 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140017765131520 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20007] ppid=19946 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20007/stat : 20007 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 15 0 13873275 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140017764080080 140018289108891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20008] ppid=19946 vsize=13995836 CPUtime=1.01 cores=1,3,5,7
/proc/19949/task/20008/stat : 20008 (java) R 19946 19949 5228 0 -1 4202560 4168 12382 0 0 93 1 5 2 20 0 15 0 13873275 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140017763013600 140018268783982 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20009] ppid=19946 vsize=13995836 CPUtime=0.97 cores=1,3,5,7
/proc/19949/task/20009/stat : 20009 (java) S 19946 19949 5228 0 -1 1077944384 2253 12382 0 0 90 0 5 2 20 0 15 0 13873275 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140017761974640 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20010] ppid=19946 vsize=13995836 CPUtime=0.87 cores=1,3,5,7
/proc/19949/task/20010/stat : 20010 (java) R 19946 19949 5228 0 -1 4202560 3083 12382 0 0 79 1 5 2 20 0 15 0 13873275 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140017760921584 140018270653851 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20011] ppid=19946 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20011/stat : 20011 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 15 0 13873275 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140017759869280 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20012] ppid=19946 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20012/stat : 20012 (java) S 19946 19949 5228 0 -1 1077944384 12 12382 0 0 0 0 5 2 20 0 15 0 13873282 14331736064 70813 18446744073709551615 4194304 4196468 140733894968032 140017758817328 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 13995836
[startup+6.30067 s]
/proc/loadavg: 1.91 1.73 1.70 5/214 20012
/proc/meminfo: memFree=26937976/32770624 swapFree=0/243696
[pid=19949] ppid=19946 vsize=14001980 CPUtime=13.85 cores=1,3,5,7
/proc/19949/stat : 19949 (java) S 19946 19949 5228 0 -1 1077944320 54814 12382 0 0 1336 42 5 2 20 0 15 0 13873248 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140733894950576 140018289090295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
/proc/19949/statm: 3500495 207826 3458 1 0 3489117 0
[pid=19949/tid=19999] ppid=19946 vsize=14001980 CPUtime=5.83 cores=1,3,5,7
/proc/19949/task/19999/stat : 19999 (java) R 19946 19949 5228 0 -1 4202560 36929 12382 0 0 561 15 5 2 20 0 15 0 13873270 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140018293322464 140018289112221 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20000] ppid=19946 vsize=14001980 CPUtime=0.23 cores=1,3,5,7
/proc/19949/task/20000/stat : 20000 (java) S 19946 19949 5228 0 -1 1077944384 327 12382 0 0 11 5 5 2 20 0 15 0 13873271 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140018223524368 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20001] ppid=19946 vsize=14001980 CPUtime=0.22 cores=1,3,5,7
/proc/19949/task/20001/stat : 20001 (java) S 19946 19949 5228 0 -1 1077944384 313 12382 0 0 11 4 5 2 20 0 15 0 13873271 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140018222471824 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20002] ppid=19946 vsize=14001980 CPUtime=0.23 cores=1,3,5,7
/proc/19949/task/20002/stat : 20002 (java) S 19946 19949 5228 0 -1 1077944384 203 12382 0 0 12 4 5 2 20 0 15 0 13873271 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140018221418768 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20003] ppid=19946 vsize=14001980 CPUtime=0.21 cores=1,3,5,7
/proc/19949/task/20003/stat : 20003 (java) S 19946 19949 5228 0 -1 1077944384 398 12382 0 0 10 4 5 2 20 0 15 0 13873271 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140018220366224 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20004] ppid=19946 vsize=14001980 CPUtime=0.11 cores=1,3,5,7
/proc/19949/task/20004/stat : 20004 (java) S 19946 19949 5228 0 -1 1077944384 2602 12382 0 0 4 0 5 2 20 0 15 0 13873272 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140017767238384 140018289101442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20005] ppid=19946 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20005/stat : 20005 (java) S 19946 19949 5228 0 -1 1077944384 55 12382 0 0 0 0 5 2 20 0 15 0 13873272 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140017766184672 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20006] ppid=19946 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20006/stat : 20006 (java) S 19946 19949 5228 0 -1 1077944384 43 12382 0 0 0 0 5 2 20 0 15 0 13873273 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140017765131520 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20007] ppid=19946 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20007/stat : 20007 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 15 0 13873275 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140017764080080 140018289108891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20008] ppid=19946 vsize=14001980 CPUtime=3.2 cores=1,3,5,7
/proc/19949/task/20008/stat : 20008 (java) R 19946 19949 5228 0 -1 4202560 5171 12382 0 0 312 1 5 2 20 0 15 0 13873275 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140017763027184 140018274216643 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20009] ppid=19946 vsize=14001980 CPUtime=3 cores=1,3,5,7
/proc/19949/task/20009/stat : 20009 (java) R 19946 19949 5228 0 -1 4202560 2805 12382 0 0 292 1 5 2 20 0 15 0 13873275 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140017761958352 140018272576313 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20010] ppid=19946 vsize=14001980 CPUtime=1.28 cores=1,3,5,7
/proc/19949/task/20010/stat : 20010 (java) S 19946 19949 5228 0 -1 1077944384 3794 12382 0 0 119 2 5 2 20 0 15 0 13873275 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140017760921584 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20011] ppid=19946 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20011/stat : 20011 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 15 0 13873275 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140017759869280 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20012] ppid=19946 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20012/stat : 20012 (java) S 19946 19949 5228 0 -1 1077944384 14 12382 0 0 0 0 5 2 20 0 15 0 13873282 14338027520 207826 18446744073709551615 4194304 4196468 140733894968032 140017758817328 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
Current children cumulated CPU time (s) 13.85
Current children cumulated vsize (KiB) 14001980
[startup+12.7008 s]
/proc/loadavg: 2.07 1.77 1.71 7/214 20012
/proc/meminfo: memFree=26003100/32770624 swapFree=0/243696
[pid=19949] ppid=19946 vsize=14069564 CPUtime=27.22 cores=1,3,5,7
/proc/19949/stat : 19949 (java) S 19946 19949 5228 0 -1 1077944320 72879 12382 0 0 2652 63 5 2 20 0 15 0 13873248 14407233536 377862 18446744073709551615 4194304 4196468 140733894968032 140733894950576 140018289090295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
/proc/19949/statm: 3517391 377862 3469 1 0 3506013 0
[pid=19949/tid=19999] ppid=19946 vsize=14069564 CPUtime=12.17 cores=1,3,5,7
/proc/19949/task/19999/stat : 19999 (java) R 19946 19949 5228 0 -1 4202560 43895 12382 0 0 1184 26 5 2 20 0 15 0 13873270 14407233536 377862 18446744073709551615 4194304 4196468 140733894968032 140018293315184 140017898126406 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20000] ppid=19946 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/19949/task/20000/stat : 20000 (java) S 19946 19949 5228 0 -1 1077944384 358 12382 0 0 15 6 5 2 20 0 15 0 13873271 14407233536 377862 18446744073709551615 4194304 4196468 140733894968032 140018223524368 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20001] ppid=19946 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/19949/task/20001/stat : 20001 (java) S 19946 19949 5228 0 -1 1077944384 349 12382 0 0 14 6 5 2 20 0 15 0 13873271 14407233536 377862 18446744073709551615 4194304 4196468 140733894968032 140018222471824 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20002] ppid=19946 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/19949/task/20002/stat : 20002 (java) S 19946 19949 5228 0 -1 1077944384 240 12382 0 0 15 6 5 2 20 0 15 0 13873271 14407233536 377862 18446744073709551615 4194304 4196468 140733894968032 140018221418768 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20003] ppid=19946 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/19949/task/20003/stat : 20003 (java) S 19946 19949 5228 0 -1 1077944384 426 12382 0 0 13 6 5 2 20 0 15 0 13873271 14407233536 377862 18446744073709551615 4194304 4196468 140733894968032 140018220366224 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20004] ppid=19946 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/19949/task/20004/stat : 20004 (java) S 19946 19949 5228 0 -1 1077944384 3025 12382 0 0 4 1 5 2 20 0 15 0 13873272 14407233536 377862 18446744073709551615 4194304 4196468 140733894968032 140017767238384 140018289101442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20005] ppid=19946 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20005/stat : 20005 (java) S 19946 19949 5228 0 -1 1077944384 55 12382 0 0 0 0 5 2 20 0 15 0 13873272 14407233536 377862 18446744073709551615 4194304 4196468 140733894968032 140017766184672 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20006] ppid=19946 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20006/stat : 20006 (java) S 19946 19949 5228 0 -1 1077944384 43 12382 0 0 0 0 5 2 20 0 15 0 13873273 14407233536 377862 18446744073709551615 4194304 4196468 140733894968032 140017765131520 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20007] ppid=19946 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20007/stat : 20007 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 15 0 13873275 14407233536 377862 18446744073709551615 4194304 4196468 140733894968032 140017764080080 140018289108891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
################
# More data... #
################
Current children cumulated vsize (KiB) 14069564
[startup+222.307 s]
/proc/loadavg: 1.89 1.77 1.72 3/215 20144
/proc/meminfo: memFree=21914924/32770624 swapFree=0/243004
[pid=19949] ppid=19946 vsize=14069564 CPUtime=246.49 cores=1,3,5,7
/proc/19949/stat : 19949 (java) S 19946 19949 5228 0 -1 1077944320 148094 12382 0 0 24437 205 5 2 20 0 15 0 13873248 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140733894950576 140018289090295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
/proc/19949/statm: 3517391 1112127 3472 1 0 3506013 0
[pid=19949/tid=19999] ppid=19946 vsize=14069564 CPUtime=218.85 cores=1,3,5,7
/proc/19949/task/19999/stat : 19999 (java) R 19946 19949 5228 0 -1 4202560 68834 12382 0 0 21814 64 5 2 20 0 15 0 13873270 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140018293318640 140017903706578 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20000] ppid=19946 vsize=14069564 CPUtime=3.08 cores=1,3,5,7
/proc/19949/task/20000/stat : 20000 (java) S 19946 19949 5228 0 -1 1077944384 3514 12382 0 0 271 30 5 2 20 0 15 0 13873271 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140018223524368 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20001] ppid=19946 vsize=14069564 CPUtime=3.05 cores=1,3,5,7
/proc/19949/task/20001/stat : 20001 (java) S 19946 19949 5228 0 -1 1077944384 3886 12382 0 0 269 29 5 2 20 0 15 0 13873271 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140018222471824 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20002] ppid=19946 vsize=14069564 CPUtime=3.05 cores=1,3,5,7
/proc/19949/task/20002/stat : 20002 (java) S 19946 19949 5228 0 -1 1077944384 3565 12382 0 0 269 29 5 2 20 0 15 0 13873271 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140018221418768 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20003] ppid=19946 vsize=14069564 CPUtime=3.04 cores=1,3,5,7
/proc/19949/task/20003/stat : 20003 (java) S 19946 19949 5228 0 -1 1077944384 3217 12382 0 0 267 30 5 2 20 0 15 0 13873271 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140018220366224 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20004] ppid=19946 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/19949/task/20004/stat : 20004 (java) S 19946 19949 5228 0 -1 1077944384 23196 12382 0 0 13 3 5 2 20 0 15 0 13873272 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017767238384 140018289101442 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20005] ppid=19946 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20005/stat : 20005 (java) S 19946 19949 5228 0 -1 1077944384 55 12382 0 0 0 0 5 2 20 0 15 0 13873272 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017766184672 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20006] ppid=19946 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20006/stat : 20006 (java) S 19946 19949 5228 0 -1 1077944384 43 12382 0 0 0 0 5 2 20 0 15 0 13873273 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017765131520 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20007] ppid=19946 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20007/stat : 20007 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 15 0 13873275 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017764080080 140018289108891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20008] ppid=19946 vsize=14069564 CPUtime=6.73 cores=1,3,5,7
/proc/19949/task/20008/stat : 20008 (java) S 19946 19949 5228 0 -1 1077944384 14167 12382 0 0 663 3 5 2 20 0 15 0 13873275 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017763027184 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20009] ppid=19946 vsize=14069564 CPUtime=6.96 cores=1,3,5,7
/proc/19949/task/20009/stat : 20009 (java) S 19946 19949 5228 0 -1 1077944384 14315 12382 0 0 686 3 5 2 20 0 15 0 13873275 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017761974640 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20010] ppid=19946 vsize=14069564 CPUtime=1.83 cores=1,3,5,7
/proc/19949/task/20010/stat : 20010 (java) S 19946 19949 5228 0 -1 1077944384 10957 12382 0 0 172 4 5 2 20 0 15 0 13873275 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017760921584 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20011] ppid=19946 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20011/stat : 20011 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 15 0 13873275 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017759869280 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20012] ppid=19946 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/19949/task/20012/stat : 20012 (java) S 19946 19949 5228 0 -1 1077944384 185 12382 0 0 6 7 5 2 20 0 15 0 13873282 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017758817328 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
Current children cumulated CPU time (s) 246.49
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+239.301 s]
/proc/loadavg: 1.85 1.77 1.71 3/214 20145
/proc/meminfo: memFree=21822408/32770624 swapFree=0/243012
[pid=19949] ppid=19946 vsize=14069564 CPUtime=264 cores=1,3,5,7
/proc/19949/stat : 19949 (java) S 19946 19949 5228 0 -1 1077944320 149783 12382 0 0 26188 205 5 2 20 0 15 0 13873248 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140733894950576 140018289090295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
/proc/19949/statm: 3517391 1112127 3472 1 0 3506013 0
[pid=19949/tid=19999] ppid=19946 vsize=14069564 CPUtime=235.66 cores=1,3,5,7
/proc/19949/task/19999/stat : 19999 (java) R 19946 19949 5228 0 -1 4202560 70503 12382 0 0 23495 64 5 2 20 0 15 0 13873270 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140018293318048 140017906368478 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20000] ppid=19946 vsize=14069564 CPUtime=3.25 cores=1,3,5,7
/proc/19949/task/20000/stat : 20000 (java) S 19946 19949 5228 0 -1 1077944384 3520 12382 0 0 288 30 5 2 20 0 15 0 13873271 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140018223524368 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20001] ppid=19946 vsize=14069564 CPUtime=3.22 cores=1,3,5,7
/proc/19949/task/20001/stat : 20001 (java) S 19946 19949 5228 0 -1 1077944384 3889 12382 0 0 286 29 5 2 20 0 15 0 13873271 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140018222471824 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20002] ppid=19946 vsize=14069564 CPUtime=3.23 cores=1,3,5,7
/proc/19949/task/20002/stat : 20002 (java) S 19946 19949 5228 0 -1 1077944384 3571 12382 0 0 287 29 5 2 20 0 15 0 13873271 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140018221418768 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20003] ppid=19946 vsize=14069564 CPUtime=3.22 cores=1,3,5,7
/proc/19949/task/20003/stat : 20003 (java) S 19946 19949 5228 0 -1 1077944384 3222 12382 0 0 285 30 5 2 20 0 15 0 13873271 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140018220366224 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20004] ppid=19946 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/19949/task/20004/stat : 20004 (java) S 19946 19949 5228 0 -1 1077944384 23196 12382 0 0 13 3 5 2 20 0 15 0 13873272 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017767238384 140018289101442 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20005] ppid=19946 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20005/stat : 20005 (java) S 19946 19949 5228 0 -1 1077944384 55 12382 0 0 0 0 5 2 20 0 15 0 13873272 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017766184672 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20006] ppid=19946 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20006/stat : 20006 (java) S 19946 19949 5228 0 -1 1077944384 43 12382 0 0 0 0 5 2 20 0 15 0 13873273 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017765131520 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20007] ppid=19946 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20007/stat : 20007 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 15 0 13873275 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017764080080 140018289108891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20008] ppid=19946 vsize=14069564 CPUtime=6.73 cores=1,3,5,7
/proc/19949/task/20008/stat : 20008 (java) S 19946 19949 5228 0 -1 1077944384 14167 12382 0 0 663 3 5 2 20 0 15 0 13873275 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017763027184 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20009] ppid=19946 vsize=14069564 CPUtime=6.96 cores=1,3,5,7
/proc/19949/task/20009/stat : 20009 (java) S 19946 19949 5228 0 -1 1077944384 14315 12382 0 0 686 3 5 2 20 0 15 0 13873275 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017761974640 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20010] ppid=19946 vsize=14069564 CPUtime=1.83 cores=1,3,5,7
/proc/19949/task/20010/stat : 20010 (java) S 19946 19949 5228 0 -1 1077944384 10957 12382 0 0 172 4 5 2 20 0 15 0 13873275 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017760921584 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20011] ppid=19946 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20011/stat : 20011 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 15 0 13873275 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017759869280 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20012] ppid=19946 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/19949/task/20012/stat : 20012 (java) S 19946 19949 5228 0 -1 1077944384 185 12382 0 0 6 7 5 2 20 0 15 0 13873282 14407233536 1112127 18446744073709551615 4194304 4196468 140733894968032 140017758817328 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
Current children cumulated CPU time (s) 264
Current children cumulated vsize (KiB) 14069564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19949
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19949 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+240.001 s]
/proc/loadavg: 1.85 1.77 1.71 8/217 20148
/proc/meminfo: memFree=21760424/32770624 swapFree=0/243012
[pid=19949] ppid=19946 vsize=14202692 CPUtime=266.48 cores=1,3,5,7
/proc/19949/stat : 19949 (java) S 19946 19949 5228 0 -1 1077944320 162987 12382 0 0 26435 206 5 2 20 0 17 0 13873248 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140733894950576 140018289090295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
/proc/19949/statm: 3550673 1113277 3472 1 0 3539295 0
[pid=19949/tid=19999] ppid=19946 vsize=14202692 CPUtime=235.67 cores=1,3,5,7
/proc/19949/task/19999/stat : 19999 (java) S 19946 19949 5228 0 -1 1077944384 71635 12382 0 0 23496 64 5 2 20 0 17 0 13873270 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140018293327936 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20000] ppid=19946 vsize=14202692 CPUtime=3.84 cores=1,3,5,7
/proc/19949/task/20000/stat : 20000 (java) R 19946 19949 5228 0 -1 4202560 3606 12382 0 0 347 30 5 2 20 0 17 0 13873271 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140018223524368 140018274086788 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20001] ppid=19946 vsize=14202692 CPUtime=3.81 cores=1,3,5,7
/proc/19949/task/20001/stat : 20001 (java) R 19946 19949 5228 0 -1 4202560 3957 12382 0 0 345 29 5 2 20 0 17 0 13873271 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140018222471712 140018274086696 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20002] ppid=19946 vsize=14202692 CPUtime=3.83 cores=1,3,5,7
/proc/19949/task/20002/stat : 20002 (java) R 19946 19949 5228 0 -1 4202560 3616 12382 0 0 346 30 5 2 20 0 17 0 13873271 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140018221418968 140018274086906 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20003] ppid=19946 vsize=14202692 CPUtime=3.81 cores=1,3,5,7
/proc/19949/task/20003/stat : 20003 (java) R 19946 19949 5228 0 -1 4202560 3330 12382 0 0 344 30 5 2 20 0 17 0 13873271 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140018220366224 140018274086699 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20004] ppid=19946 vsize=14202692 CPUtime=0.32 cores=1,3,5,7
/proc/19949/task/20004/stat : 20004 (java) S 19946 19949 5228 0 -1 1077944384 34005 12382 0 0 21 4 5 2 20 0 17 0 13873272 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140017767237008 140018289100501 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20005] ppid=19946 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20005/stat : 20005 (java) S 19946 19949 5228 0 -1 1077944384 57 12382 0 0 0 0 5 2 20 0 17 0 13873272 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140017766184208 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20006] ppid=19946 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20006/stat : 20006 (java) S 19946 19949 5228 0 -1 1077944384 45 12382 0 0 0 0 5 2 20 0 17 0 13873273 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140017765131520 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20007] ppid=19946 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20007/stat : 20007 (java) S 19946 19949 5228 0 -1 1077944384 253 12382 0 0 0 0 5 2 20 0 17 0 13873275 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140017764080080 140018289108891 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20008] ppid=19946 vsize=14202692 CPUtime=6.73 cores=1,3,5,7
/proc/19949/task/20008/stat : 20008 (java) S 19946 19949 5228 0 -1 1077944384 14167 12382 0 0 663 3 5 2 20 0 17 0 13873275 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140017763027184 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20009] ppid=19946 vsize=14202692 CPUtime=6.96 cores=1,3,5,7
/proc/19949/task/20009/stat : 20009 (java) S 19946 19949 5228 0 -1 1077944384 14315 12382 0 0 686 3 5 2 20 0 17 0 13873275 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140017761974640 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20010] ppid=19946 vsize=14202692 CPUtime=1.83 cores=1,3,5,7
/proc/19949/task/20010/stat : 20010 (java) S 19946 19949 5228 0 -1 1077944384 11283 12382 0 0 172 4 5 2 20 0 17 0 13873275 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140017760917456 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20011] ppid=19946 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20011/stat : 20011 (java) S 19946 19949 5228 0 -1 1077944384 3 12382 0 0 0 0 5 2 20 0 17 0 13873275 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140017759869280 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20012] ppid=19946 vsize=14202692 CPUtime=0.2 cores=1,3,5,7
/proc/19949/task/20012/stat : 20012 (java) S 19946 19949 5228 0 -1 1077944384 185 12382 0 0 6 7 5 2 20 0 17 0 13873282 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140017758817328 140018289101442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20146] ppid=19946 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20146/stat : 20146 (java) S 19946 19949 5228 0 -1 1077944384 347 12382 0 0 0 0 5 2 20 0 17 0 13897179 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140017659704176 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
[pid=19949/tid=20147] ppid=19946 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19949/task/20147/stat : 20147 (java) S 19946 19949 5228 0 -1 1077944384 28 12382 0 0 0 0 5 2 20 0 17 0 13897179 14543556608 1113277 18446744073709551615 4194304 4196468 140733894968032 140017658651840 140018289100501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25247744 140733894973389 140733894976174 140733894976174 140733894979535 0
Current children cumulated CPU time (s) 266.48
Current children cumulated vsize (KiB) 14202692
[startup+240.8 s]
/proc/loadavg: 1.85 1.77 1.71 8/217 20148
/proc/meminfo: memFree=21760424/32770624 swapFree=0/243012
[pid=19949] ppid=19946 vsize=0 CPUtime=266.56 cores=1,3,5,7
/proc/19949/stat : 19949 (java) Z 19946 19949 5228 0 -1 4228108 163226 12382 0 0 26440 209 5 2 20 0 2 0 13873248 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/19949/statm: 0 0 0 0 0 0 0
[pid=19949/tid=20146] ppid=19946 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/19949/task/20146/stat : 20146 (java) D 19946 19949 5228 0 -1 4203588 347 12382 0 0 0 2 5 2 20 0 2 0 13897179 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) 266.56
Current children cumulated vsize (KiB) 0
[startup+241.2 s]
/proc/loadavg: 1.78 1.75 1.71 2/202 20148
/proc/meminfo: memFree=26208320/32770624 swapFree=0/243008
[pid=19949] ppid=19946 vsize=0 CPUtime=266.56 cores=1,3,5,7
/proc/19949/stat : 19949 (java) Z 19946 19949 5228 0 -1 4228108 163226 12382 0 0 26440 209 5 2 20 0 2 0 13873248 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/19949/statm: 0 0 0 0 0 0 0
[pid=19949/tid=20146] ppid=19946 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/19949/task/20146/stat : 20146 (java) D 19946 19949 5228 0 -1 4203588 347 12382 0 0 0 2 5 2 20 0 2 0 13897179 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) 266.56
Current children cumulated vsize (KiB) 0
[startup+241.3 s]
/proc/loadavg: 1.78 1.75 1.71 2/202 20148
/proc/meminfo: memFree=26208320/32770624 swapFree=0/243008
[pid=19949] ppid=19946 vsize=0 CPUtime=266.56 cores=1,3,5,7
/proc/19949/stat : 19949 (java) Z 19946 19949 5228 0 -1 4228108 163226 12382 0 0 26440 209 5 2 20 0 2 0 13873248 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/19949/statm: 0 0 0 0 0 0 0
[pid=19949/tid=20146] ppid=19946 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/19949/task/20146/stat : 20146 (java) D 19946 19949 5228 0 -1 4203588 347 12382 0 0 0 2 5 2 20 0 2 0 13897179 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) 266.56
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 243.748
CPU time (s): 266.582
CPU user time (s): 264.458
CPU system time (s): 2.12353
CPU usage (%): 109.368
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 264.458
system time used= 2.12353
maximum resident set size= 4464780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175608
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= 14268
involuntary context switches= 554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0293 second user time and 1.62285 second system time
The end