runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687664-1337873009/watcher-3687664-1337873009 -o /tmp/evaluation-result-3687664-1337873009/solver-3687664-1337873009 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687664-1337873009.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.89 3.75 2.68 4/197 22742
/proc/meminfo: memFree=27317524/32873648 swapFree=6336/6336
[pid=22742] ppid=22740 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22742/stat : 22742 (java) D 22740 22742 22409 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253428154 9515008 182 33554432000 1073741824 1073778376 140734583913424 140734583904456 213866331829 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22742/statm: 2323 182 140 9 0 71 0
[startup+0.0436181 s]
/proc/loadavg: 3.89 3.75 2.68 4/197 22742
/proc/meminfo: memFree=27317524/32873648 swapFree=6336/6336
[pid=22742] ppid=22740 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/22742/stat : 22742 (java) S 22740 22742 22409 0 -1 4202496 3017 0 1 0 2 0 0 0 20 0 13 0 253428154 9446973440 3715 33554432000 1073741824 1073778376 140734646838224 140734646829360 213869690941 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22742/statm: 2306390 3715 1695 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100229 s]
/proc/loadavg: 3.89 3.75 2.68 4/197 22742
/proc/meminfo: memFree=27317524/32873648 swapFree=6336/6336
[pid=22742] ppid=22740 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22742/stat : 22742 (java) S 22740 22742 22409 0 -1 4202496 4311 0 1 0 8 1 0 0 20 0 18 0 253428154 9787813888 5507 33554432000 1073741824 1073778376 140734646838224 140734646829360 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22742/statm: 2389603 5509 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300231 s]
/proc/loadavg: 3.89 3.75 2.68 4/197 22742
/proc/meminfo: memFree=27317524/32873648 swapFree=6336/6336
[pid=22742] ppid=22740 vsize=9558412 CPUtime=0.52 cores=1,3,5,7
/proc/22742/stat : 22742 (java) S 22740 22742 22409 0 -1 4202496 6292 0 1 0 50 2 0 0 20 0 18 0 253428154 9787813888 13098 33554432000 1073741824 1073778376 140734646838224 140734646829360 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22742/statm: 2389603 13098 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558412
[startup+0.700278 s]
/proc/loadavg: 3.89 3.75 2.68 4/197 22742
/proc/meminfo: memFree=27317524/32873648 swapFree=6336/6336
[pid=22742] ppid=22740 vsize=9558412 CPUtime=1.42 cores=1,3,5,7
/proc/22742/stat : 22742 (java) S 22740 22742 22409 0 -1 4202496 12475 0 1 0 137 5 0 0 20 0 18 0 253428154 9787813888 44766 33554432000 1073741824 1073778376 140734646838224 140734646829360 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22742/statm: 2389603 44766 2259 9 0 2380296 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9558412
[startup+1.50072 s]
/proc/loadavg: 3.82 3.74 2.69 3/215 22760
/proc/meminfo: memFree=27120844/32873648 swapFree=6336/6336
[pid=22742] ppid=22740 vsize=9824668 CPUtime=3.68 cores=1,3,5,7
/proc/22742/stat : 22742 (java) S 22740 22742 22409 0 -1 4202496 15866 0 1 0 357 11 0 0 20 0 19 0 253428154 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140734646829360 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22742/statm: 2456167 53419 2272 9 0 2446860 0
[pid=22742/tid=22744] ppid=22740 vsize=9824668 CPUtime=0.94 cores=1,3,5,7
/proc/22742/task/22744/stat : 22744 (java) S 22740 22742 22409 0 -1 4202560 2516 0 1 0 90 4 0 0 20 0 19 0 253428155 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662441305080 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22745] ppid=22740 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22742/task/22745/stat : 22745 (java) S 22740 22742 22409 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 253428156 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662402795816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22746] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22746/stat : 22746 (java) S 22740 22742 22409 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 19 0 253428157 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662401743016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22747] ppid=22740 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22742/task/22747/stat : 22747 (java) S 22740 22742 22409 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 253428157 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662400690728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22748] ppid=22740 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22409 0 -1 4202560 102 0 0 0 3 0 0 0 20 0 19 0 253428157 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662399637928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22409 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 253428157 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662398585640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22409 0 -1 4202560 101 0 0 0 0 0 0 0 20 0 19 0 253428157 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662397532840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22409 0 -1 4202560 98 0 0 0 1 0 0 0 20 0 19 0 253428157 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662396480552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22409 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253428157 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662395427752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22409 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 253428158 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662264944872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22409 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253428158 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662263890936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22755] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22755/stat : 22755 (java) S 22740 22742 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253428158 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662262838536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22756] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22756/stat : 22756 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253428160 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662261787024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22757] ppid=22740 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/22742/task/22757/stat : 22757 (java) S 22740 22742 22409 0 -1 4202560 5350 0 0 0 82 0 0 0 20 0 19 0 253428160 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140662260734648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22758] ppid=22740 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/22742/task/22758/stat : 22758 (java) S 22740 22742 22409 0 -1 4202560 6224 0 0 0 81 2 0 0 20 0 19 0 253428160 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140661386897976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22759] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22759/stat : 22759 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253428160 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140661385845880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22760] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22760/stat : 22760 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253428160 10060460032 53419 33554432000 1073741824 1073778376 140734646838224 140661384793288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 9824668
[startup+3.10066 s]
/proc/loadavg: 3.82 3.74 2.69 5/219 22770
/proc/meminfo: memFree=27037420/32873648 swapFree=6336/6336
[pid=22742] ppid=22740 vsize=9824668 CPUtime=6.12 cores=1,3,5,7
/proc/22742/stat : 22742 (java) S 22740 22742 22409 0 -1 4202496 19532 0 1 0 587 25 0 0 20 0 22 0 253428154 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140734646829360 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22742/statm: 2456167 101275 2287 9 0 2446860 0
[pid=22742/tid=22744] ppid=22740 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/22742/task/22744/stat : 22744 (java) S 22740 22742 22409 0 -1 4202560 2516 0 1 0 92 4 0 0 20 0 22 0 253428155 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662441305080 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22745] ppid=22740 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/22742/task/22745/stat : 22745 (java) S 22740 22742 22409 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 22 0 253428156 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662402795816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22746] ppid=22740 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/22742/task/22746/stat : 22746 (java) S 22740 22742 22409 0 -1 4202560 110 0 0 0 3 2 0 0 20 0 22 0 253428157 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662401743016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22747] ppid=22740 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22742/task/22747/stat : 22747 (java) S 22740 22742 22409 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 253428157 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662400690728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22748] ppid=22740 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22409 0 -1 4202560 143 0 0 0 6 2 0 0 20 0 22 0 253428157 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662399637928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22409 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 253428157 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662398585640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22409 0 -1 4202560 120 0 0 0 3 0 0 0 20 0 22 0 253428157 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662397532840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22409 0 -1 4202560 121 0 0 0 5 1 0 0 20 0 22 0 253428157 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662396480552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22409 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 22 0 253428157 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662395427752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22409 0 -1 4202560 230 0 0 0 10 0 0 0 20 0 22 0 253428158 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662264944872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22409 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253428158 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662263890936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22755] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22755/stat : 22755 (java) S 22740 22742 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253428158 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662262838536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22756] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22756/stat : 22756 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662261787024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22757] ppid=22740 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/22742/task/22757/stat : 22757 (java) S 22740 22742 22409 0 -1 4202560 8571 0 0 0 116 1 0 0 20 0 22 0 253428160 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140662260734648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22758] ppid=22740 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/22742/task/22758/stat : 22758 (java) S 22740 22742 22409 0 -1 4202560 6232 0 0 0 106 2 0 0 20 0 22 0 253428160 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140661386897976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22759] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22759/stat : 22759 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140661385845880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22760] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22760/stat : 22760 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140661384793288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22763] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22763/stat : 22763 (java) S 22740 22742 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253428259 10060460032 101275 33554432000 1073741824 1073778376 140734646838224 140661381633192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 9824668
[startup+6.30071 s]
/proc/loadavg: 3.67 3.71 2.68 3/216 22785
/proc/meminfo: memFree=26870512/32873648 swapFree=6336/6336
[pid=22742] ppid=22740 vsize=9824668 CPUtime=10.87 cores=1,3,5,7
/proc/22742/stat : 22742 (java) S 22740 22742 22409 0 -1 4202496 22921 0 1 0 1052 35 0 0 20 0 22 0 253428154 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140734646829360 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22742/statm: 2456167 125181 2287 9 0 2446860 0
[pid=22742/tid=22744] ppid=22740 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/22742/task/22744/stat : 22744 (java) S 22740 22742 22409 0 -1 4202560 2516 0 1 0 93 4 0 0 20 0 22 0 253428155 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662441305080 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22745] ppid=22740 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/22742/task/22745/stat : 22745 (java) S 22740 22742 22409 0 -1 4202560 44 0 0 0 7 2 0 0 20 0 22 0 253428156 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662402795816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22746] ppid=22740 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22742/task/22746/stat : 22746 (java) S 22740 22742 22409 0 -1 4202560 110 0 0 0 4 2 0 0 20 0 22 0 253428157 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662401743016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22747] ppid=22740 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22742/task/22747/stat : 22747 (java) S 22740 22742 22409 0 -1 4202560 22 0 0 0 6 0 0 0 20 0 22 0 253428157 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662400690728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22748] ppid=22740 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22409 0 -1 4202560 143 0 0 0 6 3 0 0 20 0 22 0 253428157 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662399637928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22409 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 22 0 253428157 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662398585640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22409 0 -1 4202560 121 0 0 0 4 0 0 0 20 0 22 0 253428157 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662397532840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22409 0 -1 4202560 124 0 0 0 6 2 0 0 20 0 22 0 253428157 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662396480552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22409 0 -1 4202560 38 0 0 0 5 0 0 0 20 0 22 0 253428157 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662395427752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22409 0 -1 4202560 235 0 0 0 47 2 0 0 20 0 22 0 253428158 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662264944872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22409 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253428158 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662263890936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22755] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22755/stat : 22755 (java) S 22740 22742 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253428158 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662262838536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22756] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22756/stat : 22756 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662261787024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22757] ppid=22740 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/22742/task/22757/stat : 22757 (java) S 22740 22742 22409 0 -1 4202560 11098 0 0 0 136 2 0 0 20 0 22 0 253428160 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140662260734648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22758] ppid=22740 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/22742/task/22758/stat : 22758 (java) S 22740 22742 22409 0 -1 4202560 6820 0 0 0 127 2 0 0 20 0 22 0 253428160 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140661386897976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22759] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22759/stat : 22759 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140661385845880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22760] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22760/stat : 22760 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140661384793288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22763] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22763/stat : 22763 (java) S 22740 22742 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253428259 10060460032 125181 33554432000 1073741824 1073778376 140734646838224 140661381633192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 10.87
Current children cumulated vsize (KiB) 9824668
[startup+12.7008 s]
/proc/loadavg: 3.70 3.71 2.69 5/219 22788
/proc/meminfo: memFree=26624568/32873648 swapFree=6336/6336
################
# More data... #
################
[pid=22742/tid=22748] ppid=22740 vsize=9824668 CPUtime=3.05 cores=1,3,5,7
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22409 0 -1 4202560 2015 0 0 0 290 15 0 0 20 0 22 0 253428157 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140662399637928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=9824668 CPUtime=3.16 cores=1,3,5,7
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22409 0 -1 4202560 1331 0 0 0 302 14 0 0 20 0 22 0 253428157 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140662398585640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=9824668 CPUtime=2.77 cores=1,3,5,7
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22409 0 -1 4202560 2070 0 0 0 262 15 0 0 20 0 22 0 253428157 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140662397532840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=9824668 CPUtime=3.14 cores=1,3,5,7
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22409 0 -1 4202560 1202 0 0 0 302 12 0 0 20 0 22 0 253428157 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140662396480552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22409 0 -1 4202560 3922 0 0 0 327 20 0 0 20 0 22 0 253428157 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140662395427752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=9824668 CPUtime=127.04 cores=1,3,5,7
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22409 0 -1 4202560 3698 0 0 0 12683 21 0 0 20 0 22 0 253428158 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140662264944872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22409 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253428158 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140662263890936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22755] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22755/stat : 22755 (java) S 22740 22742 22409 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253428158 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140662262838536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22756] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22756/stat : 22756 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140662261787024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22757] ppid=22740 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/22742/task/22757/stat : 22757 (java) S 22740 22742 22409 0 -1 4202560 15115 0 0 0 170 2 0 0 20 0 22 0 253428160 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140662260734648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22758] ppid=22740 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/22742/task/22758/stat : 22758 (java) S 22740 22742 22409 0 -1 4202560 6852 0 0 0 152 2 0 0 20 0 22 0 253428160 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140661386897976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22759] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22759/stat : 22759 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140661385845880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22760] ppid=22740 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/22742/task/22760/stat : 22760 (java) S 22740 22742 22409 0 -1 4202560 55 0 0 0 15 24 0 0 20 0 22 0 253428160 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140661384793288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22763] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22763/stat : 22763 (java) S 22740 22742 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253428259 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140661381633192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22811] ppid=22740 vsize=9824668 CPUtime=177.87 cores=1,3,5,7
/proc/22742/task/22811/stat : 22811 (java) R 22740 22742 22409 0 -1 4202560 6 0 0 0 17785 2 0 0 20 0 22 0 253501024 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140661383736736 140662276989981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22812] ppid=22740 vsize=9824668 CPUtime=177.85 cores=1,3,5,7
/proc/22742/task/22812/stat : 22812 (java) R 22740 22742 22409 0 -1 4202560 27 0 0 0 17783 2 0 0 20 0 22 0 253501024 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140661382685424 140662276889802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22813] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22813/stat : 22813 (java) S 22740 22742 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253501024 10060460032 896357 33554432000 1073741824 1073778376 140734646838224 140661380580648 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1761.04
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+961.301 s]
/proc/loadavg: 3.88 3.71 3.34 5/219 22956
/proc/meminfo: memFree=23153828/32873648 swapFree=6336/6336
[pid=22742] ppid=22740 vsize=9824668 CPUtime=1797.64 cores=1,3,5,7
/proc/22742/stat : 22742 (java) S 22740 22742 22409 0 -1 4202496 47320 0 1 0 179516 248 0 0 20 0 22 0 253428154 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140734646829360 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22742/statm: 2456167 898406 2288 9 0 2446860 0
[pid=22742/tid=22744] ppid=22740 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/22742/task/22744/stat : 22744 (java) S 22740 22742 22409 0 -1 4202560 2539 0 1 0 98 5 0 0 20 0 22 0 253428155 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662441305080 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22745] ppid=22740 vsize=9824668 CPUtime=3.18 cores=1,3,5,7
/proc/22742/task/22745/stat : 22745 (java) S 22740 22742 22409 0 -1 4202560 1447 0 0 0 303 15 0 0 20 0 22 0 253428156 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662402795816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22746] ppid=22740 vsize=9824668 CPUtime=3.02 cores=1,3,5,7
/proc/22742/task/22746/stat : 22746 (java) S 22740 22742 22409 0 -1 4202560 1258 0 0 0 287 15 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662401743016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22747] ppid=22740 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/22742/task/22747/stat : 22747 (java) S 22740 22742 22409 0 -1 4202560 2370 0 0 0 286 15 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662400690728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22748] ppid=22740 vsize=9824668 CPUtime=3.14 cores=1,3,5,7
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22409 0 -1 4202560 2015 0 0 0 299 15 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662399637928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=9824668 CPUtime=3.19 cores=1,3,5,7
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22409 0 -1 4202560 1331 0 0 0 305 14 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662398585640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=9824668 CPUtime=2.84 cores=1,3,5,7
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22409 0 -1 4202560 2070 0 0 0 269 15 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662397532840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=9824668 CPUtime=3.17 cores=1,3,5,7
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22409 0 -1 4202560 1202 0 0 0 305 12 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662396480552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=9824668 CPUtime=3.5 cores=1,3,5,7
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22409 0 -1 4202560 3922 0 0 0 330 20 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662395427752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=9824668 CPUtime=128.62 cores=1,3,5,7
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22409 0 -1 4202560 3714 0 0 0 12841 21 0 0 20 0 22 0 253428158 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662264944872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22409 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253428158 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662263890936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22755] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22755/stat : 22755 (java) S 22740 22742 22409 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253428158 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662262838536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22756] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22756/stat : 22756 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662261787024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22757] ppid=22740 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/22742/task/22757/stat : 22757 (java) S 22740 22742 22409 0 -1 4202560 15115 0 0 0 170 2 0 0 20 0 22 0 253428160 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662260734648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22758] ppid=22740 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/22742/task/22758/stat : 22758 (java) S 22740 22742 22409 0 -1 4202560 6852 0 0 0 152 2 0 0 20 0 22 0 253428160 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661386897976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22759] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22759/stat : 22759 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661385845880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22760] ppid=22740 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/22742/task/22760/stat : 22760 (java) S 22740 22742 22409 0 -1 4202560 55 0 0 0 15 25 0 0 20 0 22 0 253428160 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661384793288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22763] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22763/stat : 22763 (java) S 22740 22742 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253428259 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661381633192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22811] ppid=22740 vsize=9824668 CPUtime=195.15 cores=1,3,5,7
/proc/22742/task/22811/stat : 22811 (java) R 22740 22742 22409 0 -1 4202560 6 0 0 0 19513 2 0 0 20 0 22 0 253501024 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661383736736 140662277047254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22812] ppid=22740 vsize=9824668 CPUtime=195.14 cores=1,3,5,7
/proc/22742/task/22812/stat : 22812 (java) R 22740 22742 22409 0 -1 4202560 29 0 0 0 19512 2 0 0 20 0 22 0 253501024 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661382685648 140662276624993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22813] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22813/stat : 22813 (java) S 22740 22742 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253501024 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661380580648 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+961.301 s]
/proc/loadavg: 3.88 3.71 3.34 5/219 22956
/proc/meminfo: memFree=23153828/32873648 swapFree=6336/6336
[pid=22742] ppid=22740 vsize=9824668 CPUtime=1797.64 cores=1,3,5,7
/proc/22742/stat : 22742 (java) S 22740 22742 22409 0 -1 4202496 47320 0 1 0 179516 248 0 0 20 0 22 0 253428154 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140734646829360 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22742/statm: 2456167 898406 2288 9 0 2446860 0
[pid=22742/tid=22744] ppid=22740 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/22742/task/22744/stat : 22744 (java) S 22740 22742 22409 0 -1 4202560 2539 0 1 0 98 5 0 0 20 0 22 0 253428155 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662441305080 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22745] ppid=22740 vsize=9824668 CPUtime=3.18 cores=1,3,5,7
/proc/22742/task/22745/stat : 22745 (java) S 22740 22742 22409 0 -1 4202560 1447 0 0 0 303 15 0 0 20 0 22 0 253428156 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662402795816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22746] ppid=22740 vsize=9824668 CPUtime=3.02 cores=1,3,5,7
/proc/22742/task/22746/stat : 22746 (java) S 22740 22742 22409 0 -1 4202560 1258 0 0 0 287 15 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662401743016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22747] ppid=22740 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/22742/task/22747/stat : 22747 (java) S 22740 22742 22409 0 -1 4202560 2370 0 0 0 286 15 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662400690728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22748] ppid=22740 vsize=9824668 CPUtime=3.14 cores=1,3,5,7
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22409 0 -1 4202560 2015 0 0 0 299 15 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662399637928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=9824668 CPUtime=3.19 cores=1,3,5,7
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22409 0 -1 4202560 1331 0 0 0 305 14 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662398585640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=9824668 CPUtime=2.84 cores=1,3,5,7
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22409 0 -1 4202560 2070 0 0 0 269 15 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662397532840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=9824668 CPUtime=3.17 cores=1,3,5,7
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22409 0 -1 4202560 1202 0 0 0 305 12 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662396480552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=9824668 CPUtime=3.5 cores=1,3,5,7
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22409 0 -1 4202560 3922 0 0 0 330 20 0 0 20 0 22 0 253428157 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662395427752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=9824668 CPUtime=128.62 cores=1,3,5,7
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22409 0 -1 4202560 3714 0 0 0 12841 21 0 0 20 0 22 0 253428158 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662264944872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22409 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253428158 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662263890936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22755] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22755/stat : 22755 (java) S 22740 22742 22409 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253428158 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662262838536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22756] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22756/stat : 22756 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662261787024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22757] ppid=22740 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/22742/task/22757/stat : 22757 (java) S 22740 22742 22409 0 -1 4202560 15115 0 0 0 170 2 0 0 20 0 22 0 253428160 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140662260734648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22758] ppid=22740 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/22742/task/22758/stat : 22758 (java) S 22740 22742 22409 0 -1 4202560 6852 0 0 0 152 2 0 0 20 0 22 0 253428160 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661386897976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22742/tid=22759] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22759/stat : 22759 (java) S 22740 22742 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253428160 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661385845880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22760] ppid=22740 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/22742/task/22760/stat : 22760 (java) S 22740 22742 22409 0 -1 4202560 55 0 0 0 15 25 0 0 20 0 22 0 253428160 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661384793288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22763] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22763/stat : 22763 (java) S 22740 22742 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253428259 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661381633192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22811] ppid=22740 vsize=9824668 CPUtime=195.15 cores=1,3,5,7
/proc/22742/task/22811/stat : 22811 (java) R 22740 22742 22409 0 -1 4202560 6 0 0 0 19513 2 0 0 20 0 22 0 253501024 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661383736736 140662277047254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22742/tid=22812] ppid=22740 vsize=9824668 CPUtime=195.14 cores=1,3,5,7
/proc/22742/task/22812/stat : 22812 (java) R 22740 22742 22409 0 -1 4202560 29 0 0 0 19512 2 0 0 20 0 22 0 253501024 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661382685648 140662276624993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22742/tid=22813] ppid=22740 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22742/task/22813/stat : 22813 (java) S 22740 22742 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253501024 10060460032 898406 33554432000 1073741824 1073778376 140734646838224 140661380580648 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22742 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=989272
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=703588
# CPU time returned by wait4() is 1796.69
# while last known CPU time is 1797.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2.45013
# lost CPU user time (s): 2.6601
# lost CPU system time (s): -0.21
Real time (s): 961.378
CPU time (s): 1800.09
CPU user time (s): 1797.82
CPU system time (s): 2.27
CPU usage (%): 187.241
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 2.70359
maximum resident set size= 3593740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47352
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28307
involuntary context switches= 42765
runsolver used 3.59245 second user time and 8.66168 second system time
The end