runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3478759-1307436784/watcher-3478759-1307436784 -o /tmp/evaluation-result-3478759-1307436784/solver-3478759-1307436784 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478759-1307436784.opb
running on 4 cores: 0,2,4,6
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: 0.00 0.00 0.00 2/458 15147
/proc/meminfo: memFree=28381564/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=22976 CPUtime=0 cores=0,2,4,6
/proc/15147/stat : 15147 (java) R 15145 15147 15115 0 -1 4202496 1110 0 0 0 0 0 0 0 21 0 1 0 855276452 23527424 847 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 47858741378000 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/15147/statm: 6001 851 642 9 0 381 0
[pid=15147/tid=15148] ppid=15145 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15148/stat : 15148 (java) R 15145 15147 15115 0 -1 4202560 1617 0 1 0 0 0 0 0 22 0 2 0 855276453 10681323520 2432 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.034511 s]
/proc/loadavg: 0.00 0.00 0.00 2/458 15147
/proc/meminfo: memFree=28381564/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=10454868 CPUtime=0.02 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 15115 0 -1 4202496 10455 0 1 0 1 1 0 0 21 0 10 0 855276452 10705784832 10153 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/15147/statm: 2613717 10161 1358 9 0 2604465 0
[pid=15147/tid=15148] ppid=15145 vsize=10454868 CPUtime=0.01 cores=0,2,4,6
/proc/15147/task/15148/stat : 15148 (java) R 15145 15147 15115 0 -1 4202560 9345 0 1 0 1 0 0 0 25 0 10 0 855276453 10705784832 10166 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 46912504011056 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10454868
[startup+0.104056 s]
/proc/loadavg: 0.00 0.00 0.00 2/458 15147
/proc/meminfo: memFree=28381564/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=10539344 CPUtime=0.09 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 15115 0 -1 4202496 12904 0 1 0 7 2 0 0 21 0 18 0 855276452 10792288256 12600 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15147/statm: 2634836 12601 2092 9 0 2625570 0
[pid=15147/tid=15148] ppid=15145 vsize=10539344 CPUtime=0.07 cores=0,2,4,6
/proc/15147/task/15148/stat : 15148 (java) R 15145 15147 15115 0 -1 4202560 11012 0 1 0 6 1 0 0 17 0 18 0 855276453 10792288256 12601 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 47858742482963 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539344
[startup+0.300407 s]
/proc/loadavg: 0.00 0.00 0.00 2/458 15147
/proc/meminfo: memFree=28381564/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=10540792 CPUtime=0.46 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 15115 0 -1 4202496 16926 0 1 0 43 3 0 0 21 0 18 0 855276452 10793771008 16396 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15147/statm: 2635198 16397 2198 9 0 2625932 0
[pid=15147/tid=15148] ppid=15145 vsize=10540792 CPUtime=0.27 cores=0,2,4,6
/proc/15147/task/15148/stat : 15148 (java) R 15145 15147 15115 0 -1 4202560 14081 0 1 0 25 2 0 0 18 0 18 0 855276453 10793771008 16397 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 47858740942442 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540792
[startup+0.700416 s]
/proc/loadavg: 0.00 0.00 0.00 2/458 15147
/proc/meminfo: memFree=28381564/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=10544052 CPUtime=1.22 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 15115 0 -1 4202496 58945 0 1 0 114 8 0 0 21 0 18 0 855276452 10797109248 56786 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15147/statm: 2636013 56790 2214 9 0 2626747 0
[pid=15147/tid=15148] ppid=15145 vsize=10544052 CPUtime=0.67 cores=0,2,4,6
/proc/15147/task/15148/stat : 15148 (java) R 15145 15147 15115 0 -1 4202560 52735 0 1 0 60 7 0 0 18 0 18 0 855276453 10797109248 56792 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 46912505606180 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10544052
[startup+1.50127 s]
/proc/loadavg: 0.00 0.00 0.00 3/476 15165
/proc/meminfo: memFree=27934512/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=10544052 CPUtime=2.1 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 15115 0 -1 4202496 176318 0 1 0 188 22 0 0 21 0 18 0 855276452 10797109248 174158 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15147/statm: 2636013 174163 2214 9 0 2626747 0
[pid=15147/tid=15148] ppid=15145 vsize=10544052 CPUtime=1.47 cores=0,2,4,6
/proc/15147/task/15148/stat : 15148 (java) R 15145 15147 15115 0 -1 4202560 170090 0 1 0 127 20 0 0 19 0 18 0 855276453 10797109248 174165 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 46912505761605 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15147/tid=15150] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15150/stat : 15150 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 855276455 10797109248 174168 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15151] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15151/stat : 15151 (java) S 15145 15147 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 174171 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15152] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15152/stat : 15152 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 174174 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15153] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15153/stat : 15153 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 174177 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 174180 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 174183 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 174186 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 174189 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855276456 10797109248 174192 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855276457 10797109248 174195 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855276457 10797109248 174198 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276459 10797109248 174201 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134537649 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15162] ppid=15145 vsize=10544052 CPUtime=0.3 cores=0,2,4,6
/proc/15147/task/15162/stat : 15162 (java) S 15145 15147 15115 0 -1 4202560 1749 0 0 0 30 0 0 0 15 0 18 0 855276459 10797109248 174204 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15163] ppid=15145 vsize=10544052 CPUtime=0.3 cores=0,2,4,6
/proc/15147/task/15163/stat : 15163 (java) S 15145 15147 15115 0 -1 4202560 3335 0 0 0 30 0 0 0 19 0 18 0 855276459 10797109248 174206 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15164] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15164/stat : 15164 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276459 10797109248 174209 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855276459 10797109248 174212 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10544052
[startup+3.10094 s]
/proc/loadavg: 0.16 0.03 0.01 3/476 15165
/proc/meminfo: memFree=27218400/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=10544052 CPUtime=3.74 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 15115 0 -1 4202496 412123 0 1 0 323 51 0 0 21 0 18 0 855276452 10797109248 409963 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15147/statm: 2636013 409967 2214 9 0 2626747 0
[pid=15147/tid=15148] ppid=15145 vsize=10544052 CPUtime=3.06 cores=0,2,4,6
/proc/15147/task/15148/stat : 15148 (java) R 15145 15147 15115 0 -1 4202560 405889 0 1 0 257 49 0 0 23 0 18 0 855276453 10797109248 409969 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 46912505608526 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15147/tid=15150] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15150/stat : 15150 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 855276455 10797109248 409972 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15151] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15151/stat : 15151 (java) S 15145 15147 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 409975 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15152] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15152/stat : 15152 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 409978 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15153] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15153/stat : 15153 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 409980 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 409983 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 409986 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 409989 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276455 10797109248 409991 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855276456 10797109248 409994 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855276457 10797109248 409997 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855276457 10797109248 409999 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276459 10797109248 410002 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134537649 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15162] ppid=15145 vsize=10544052 CPUtime=0.34 cores=0,2,4,6
/proc/15147/task/15162/stat : 15162 (java) S 15145 15147 15115 0 -1 4202560 1750 0 0 0 34 0 0 0 15 0 18 0 855276459 10797109248 410005 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15163] ppid=15145 vsize=10544052 CPUtime=0.31 cores=0,2,4,6
/proc/15147/task/15163/stat : 15163 (java) S 15145 15147 15115 0 -1 4202560 3339 0 0 0 31 0 0 0 15 0 18 0 855276459 10797109248 410008 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15164] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15164/stat : 15164 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276459 10797109248 410010 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855276459 10797109248 410013 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 10544052
[startup+6.30135 s]
/proc/loadavg: 0.16 0.03 0.01 3/476 15165
/proc/meminfo: memFree=25353912/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=10544052 CPUtime=7.33 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 15115 0 -1 4202496 689328 0 1 0 648 85 0 0 21 0 18 0 855276452 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15147/statm: 2636013 687096 2230 9 0 2626747 0
[pid=15147/tid=15148] ppid=15145 vsize=10544052 CPUtime=6.11 cores=0,2,4,6
/proc/15147/task/15148/stat : 15148 (java) R 15145 15147 15115 0 -1 4202560 650933 0 1 0 532 79 0 0 25 0 18 0 855276453 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 46912505506500 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15147/tid=15150] ppid=15145 vsize=10544052 CPUtime=0.13 cores=0,2,4,6
/proc/15147/task/15150/stat : 15150 (java) S 15145 15147 15115 0 -1 4202560 8706 0 0 0 12 1 0 0 18 0 18 0 855276455 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15151] ppid=15145 vsize=10544052 CPUtime=0.14 cores=0,2,4,6
/proc/15147/task/15151/stat : 15151 (java) S 15145 15147 15115 0 -1 4202560 10078 0 0 0 14 0 0 0 18 0 18 0 855276455 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15152] ppid=15145 vsize=10544052 CPUtime=0.09 cores=0,2,4,6
/proc/15147/task/15152/stat : 15152 (java) S 15145 15147 15115 0 -1 4202560 6295 0 0 0 9 0 0 0 18 0 18 0 855276455 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15153] ppid=15145 vsize=10544052 CPUtime=0.04 cores=0,2,4,6
/proc/15147/task/15153/stat : 15153 (java) S 15145 15147 15115 0 -1 4202560 2626 0 0 0 4 0 0 0 18 0 18 0 855276455 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10544052 CPUtime=0.07 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 15115 0 -1 4202560 4381 0 0 0 7 0 0 0 18 0 18 0 855276455 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 15115 0 -1 4202560 66 0 0 0 0 0 0 0 18 0 18 0 855276455 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855276455 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855276455 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 15115 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855276456 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855276457 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 855276457 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276459 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134537649 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15162] ppid=15145 vsize=10544052 CPUtime=0.34 cores=0,2,4,6
/proc/15147/task/15162/stat : 15162 (java) S 15145 15147 15115 0 -1 4202560 1750 0 0 0 34 0 0 0 15 0 18 0 855276459 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15163] ppid=15145 vsize=10544052 CPUtime=0.31 cores=0,2,4,6
/proc/15147/task/15163/stat : 15163 (java) S 15145 15147 15115 0 -1 4202560 3339 0 0 0 31 0 0 0 15 0 18 0 855276459 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15164] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15164/stat : 15164 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276459 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855276459 10797109248 687096 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=16520532/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=10548728 CPUtime=1606.66 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 15115 0 -1 4202496 1005114 0 1 0 160530 136 0 0 21 0 22 0 855276452 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15147/statm: 2637182 995539 2265 9 0 2627916 0
[pid=15147/tid=15148] ppid=15145 vsize=10548728 CPUtime=6.99 cores=0,2,4,6
/proc/15147/task/15148/stat : 15148 (java) S 15145 15147 15115 0 -1 4202560 650988 0 1 0 620 79 0 0 15 0 22 0 855276453 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15150] ppid=15145 vsize=10548728 CPUtime=0.62 cores=0,2,4,6
/proc/15147/task/15150/stat : 15150 (java) S 15145 15147 15115 0 -1 4202560 19605 0 0 0 60 2 0 0 15 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15151] ppid=15145 vsize=10548728 CPUtime=0.5 cores=0,2,4,6
/proc/15147/task/15151/stat : 15151 (java) S 15145 15147 15115 0 -1 4202560 13372 0 0 0 49 1 0 0 16 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=15147/tid=15152] ppid=15145 vsize=10548728 CPUtime=0.53 cores=0,2,4,6
/proc/15147/task/15152/stat : 15152 (java) S 15145 15147 15115 0 -1 4202560 15513 0 0 0 51 2 0 0 16 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15153] ppid=15145 vsize=10548728 CPUtime=0.79 cores=0,2,4,6
/proc/15147/task/15153/stat : 15153 (java) S 15145 15147 15115 0 -1 4202560 21541 0 0 0 76 3 0 0 16 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10548728 CPUtime=0.69 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 15115 0 -1 4202560 23107 0 0 0 66 3 0 0 15 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10548728 CPUtime=0.59 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 15115 0 -1 4202560 11056 0 0 0 57 2 0 0 15 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10548728 CPUtime=0.74 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 15115 0 -1 4202560 29068 0 0 0 71 3 0 0 16 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10548728 CPUtime=0.49 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 15115 0 -1 4202560 17804 0 0 0 46 3 0 0 16 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10548728 CPUtime=35.46 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 15115 0 -1 4202560 155704 0 0 0 3528 18 0 0 15 0 22 0 855276456 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855276457 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855276457 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855276459 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134537649 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15162] ppid=15145 vsize=10548728 CPUtime=0.93 cores=0,2,4,6
/proc/15147/task/15162/stat : 15162 (java) S 15145 15147 15115 0 -1 4202560 3086 0 0 0 93 0 0 0 15 0 22 0 855276459 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=15147/tid=15163] ppid=15145 vsize=10548728 CPUtime=1.7 cores=0,2,4,6
/proc/15147/task/15163/stat : 15163 (java) S 15145 15147 15115 0 -1 4202560 10470 0 0 0 168 2 0 0 15 0 22 0 855276459 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15164] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15164/stat : 15164 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855276459 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 15115 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 855276459 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15166] ppid=15145 vsize=10548728 CPUtime=778.32 cores=0,2,4,6
/proc/15147/task/15166/stat : 15166 (java) R 15145 15147 15115 0 -1 4202560 202 0 0 0 77828 4 0 0 25 0 22 0 855277171 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 46912506031811 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15147/tid=15167] ppid=15145 vsize=10548728 CPUtime=778.18 cores=0,2,4,6
/proc/15147/task/15167/stat : 15167 (java) R 15145 15147 15115 0 -1 4202560 32391 0 0 0 77811 7 0 0 25 0 22 0 855277171 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 46912506066432 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15147/tid=15168] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15168/stat : 15168 (java) S 15145 15147 15115 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855277174 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15169] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15169/stat : 15169 (java) S 15145 15147 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855277176 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1606.66
Current children cumulated vsize (KiB) 10548728
[startup+882.301 s]
/proc/loadavg: 3.87 3.64 2.32 4/504 15232
/proc/meminfo: memFree=16520420/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=10548728 CPUtime=1726 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 15115 0 -1 4202496 1005122 0 1 0 172464 136 0 0 21 0 22 0 855276452 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15147/statm: 2637182 995539 2265 9 0 2627916 0
[pid=15147/tid=15148] ppid=15145 vsize=10548728 CPUtime=6.99 cores=0,2,4,6
/proc/15147/task/15148/stat : 15148 (java) S 15145 15147 15115 0 -1 4202560 650989 0 1 0 620 79 0 0 15 0 22 0 855276453 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15150] ppid=15145 vsize=10548728 CPUtime=0.63 cores=0,2,4,6
/proc/15147/task/15150/stat : 15150 (java) S 15145 15147 15115 0 -1 4202560 19605 0 0 0 61 2 0 0 15 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15151] ppid=15145 vsize=10548728 CPUtime=0.53 cores=0,2,4,6
/proc/15147/task/15151/stat : 15151 (java) S 15145 15147 15115 0 -1 4202560 13372 0 0 0 52 1 0 0 16 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15152] ppid=15145 vsize=10548728 CPUtime=0.54 cores=0,2,4,6
/proc/15147/task/15152/stat : 15152 (java) S 15145 15147 15115 0 -1 4202560 15513 0 0 0 52 2 0 0 16 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15153] ppid=15145 vsize=10548728 CPUtime=0.8 cores=0,2,4,6
/proc/15147/task/15153/stat : 15153 (java) S 15145 15147 15115 0 -1 4202560 21541 0 0 0 77 3 0 0 16 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10548728 CPUtime=0.7 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 15115 0 -1 4202560 23107 0 0 0 67 3 0 0 16 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10548728 CPUtime=0.61 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 15115 0 -1 4202560 11056 0 0 0 59 2 0 0 16 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10548728 CPUtime=0.74 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 15115 0 -1 4202560 29068 0 0 0 71 3 0 0 15 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10548728 CPUtime=0.51 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 15115 0 -1 4202560 17804 0 0 0 48 3 0 0 16 0 22 0 855276455 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10548728 CPUtime=36.18 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 15115 0 -1 4202560 155708 0 0 0 3600 18 0 0 15 0 22 0 855276456 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855276457 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855276457 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855276459 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134537649 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15162] ppid=15145 vsize=10548728 CPUtime=0.93 cores=0,2,4,6
/proc/15147/task/15162/stat : 15162 (java) S 15145 15147 15115 0 -1 4202560 3086 0 0 0 93 0 0 0 15 0 22 0 855276459 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=15147/tid=15163] ppid=15145 vsize=10548728 CPUtime=1.7 cores=0,2,4,6
/proc/15147/task/15163/stat : 15163 (java) S 15145 15147 15115 0 -1 4202560 10470 0 0 0 168 2 0 0 15 0 22 0 855276459 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15164] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15164/stat : 15164 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855276459 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 15115 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 855276459 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15166] ppid=15145 vsize=10548728 CPUtime=837.57 cores=0,2,4,6
/proc/15147/task/15166/stat : 15166 (java) R 15145 15147 15115 0 -1 4202560 202 0 0 0 83753 4 0 0 25 0 22 0 855277171 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 46912505953132 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15147/tid=15167] ppid=15145 vsize=10548728 CPUtime=837.43 cores=0,2,4,6
/proc/15147/task/15167/stat : 15167 (java) R 15145 15147 15115 0 -1 4202560 32392 0 0 0 83736 7 0 0 25 0 22 0 855277171 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 46912506066441 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15147/tid=15168] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15168/stat : 15168 (java) S 15145 15147 15115 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855277174 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15169] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15169/stat : 15169 (java) S 15145 15147 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855277176 10801897472 995539 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1726
Current children cumulated vsize (KiB) 10548728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+920.201 s]
/proc/loadavg: 3.87 3.66 2.38 5/504 15233
/proc/meminfo: memFree=16510504/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=10548728 CPUtime=1800.07 cores=0,2,4,6
/proc/15147/stat : 15147 (java) S 15145 15147 15115 0 -1 4202496 1007552 0 1 0 179870 137 0 0 21 0 22 0 855276452 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15147/statm: 2637182 997960 2266 9 0 2627916 0
[pid=15147/tid=15148] ppid=15145 vsize=10548728 CPUtime=6.99 cores=0,2,4,6
/proc/15147/task/15148/stat : 15148 (java) S 15145 15147 15115 0 -1 4202560 650990 0 1 0 620 79 0 0 15 0 22 0 855276453 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15150] ppid=15145 vsize=10548728 CPUtime=0.63 cores=0,2,4,6
/proc/15147/task/15150/stat : 15150 (java) S 15145 15147 15115 0 -1 4202560 19605 0 0 0 61 2 0 0 15 0 22 0 855276455 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15151] ppid=15145 vsize=10548728 CPUtime=0.53 cores=0,2,4,6
/proc/15147/task/15151/stat : 15151 (java) S 15145 15147 15115 0 -1 4202560 13372 0 0 0 52 1 0 0 16 0 22 0 855276455 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15152] ppid=15145 vsize=10548728 CPUtime=0.56 cores=0,2,4,6
/proc/15147/task/15152/stat : 15152 (java) S 15145 15147 15115 0 -1 4202560 15514 0 0 0 54 2 0 0 15 0 22 0 855276455 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15153] ppid=15145 vsize=10548728 CPUtime=0.81 cores=0,2,4,6
/proc/15147/task/15153/stat : 15153 (java) S 15145 15147 15115 0 -1 4202560 21541 0 0 0 78 3 0 0 16 0 22 0 855276455 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15154] ppid=15145 vsize=10548728 CPUtime=0.74 cores=0,2,4,6
/proc/15147/task/15154/stat : 15154 (java) S 15145 15147 15115 0 -1 4202560 23107 0 0 0 71 3 0 0 16 0 22 0 855276455 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15155] ppid=15145 vsize=10548728 CPUtime=0.61 cores=0,2,4,6
/proc/15147/task/15155/stat : 15155 (java) S 15145 15147 15115 0 -1 4202560 11056 0 0 0 59 2 0 0 15 0 22 0 855276455 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15156] ppid=15145 vsize=10548728 CPUtime=0.78 cores=0,2,4,6
/proc/15147/task/15156/stat : 15156 (java) S 15145 15147 15115 0 -1 4202560 29068 0 0 0 75 3 0 0 16 0 22 0 855276455 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15157] ppid=15145 vsize=10548728 CPUtime=0.51 cores=0,2,4,6
/proc/15147/task/15157/stat : 15157 (java) S 15145 15147 15115 0 -1 4202560 17804 0 0 0 48 3 0 0 15 0 22 0 855276455 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
[pid=15147/tid=15158] ppid=15145 vsize=10548728 CPUtime=38 cores=0,2,4,6
/proc/15147/task/15158/stat : 15158 (java) S 15145 15147 15115 0 -1 4202560 158129 0 0 0 3782 18 0 0 15 0 22 0 855276456 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 0 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=15147/tid=15159] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15159/stat : 15159 (java) S 15145 15147 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855276457 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15160] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15160/stat : 15160 (java) S 15145 15147 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855276457 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15161] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15161/stat : 15161 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855276459 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134537649 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15162] ppid=15145 vsize=10548728 CPUtime=0.93 cores=0,2,4,6
/proc/15147/task/15162/stat : 15162 (java) S 15145 15147 15115 0 -1 4202560 3086 0 0 0 93 0 0 0 15 0 22 0 855276459 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 0 0 0 0
[pid=15147/tid=15163] ppid=15145 vsize=10548728 CPUtime=1.72 cores=0,2,4,6
/proc/15147/task/15163/stat : 15163 (java) S 15145 15147 15115 0 -1 4202560 10473 0 0 0 170 2 0 0 15 0 22 0 855276459 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15164] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15164/stat : 15164 (java) S 15145 15147 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855276459 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134529945 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15165] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15165/stat : 15165 (java) S 15145 15147 15115 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 855276459 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 4 0 0 0
[pid=15147/tid=15166] ppid=15145 vsize=10548728 CPUtime=873.63 cores=0,2,4,6
/proc/15147/task/15166/stat : 15166 (java) R 15145 15147 15115 0 -1 4202560 202 0 0 0 87359 4 0 0 25 0 22 0 855277171 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 46912506040952 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15147/tid=15167] ppid=15145 vsize=10548728 CPUtime=873.49 cores=0,2,4,6
/proc/15147/task/15167/stat : 15167 (java) R 15145 15147 15115 0 -1 4202560 32392 0 0 0 87342 7 0 0 25 0 22 0 855277171 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 46912505953132 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15147/tid=15168] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15168/stat : 15168 (java) S 15145 15147 15115 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855277174 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 2 0 0 0
[pid=15147/tid=15169] ppid=15145 vsize=10548728 CPUtime=0 cores=0,2,4,6
/proc/15147/task/15169/stat : 15169 (java) S 15145 15147 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855277176 10801897472 997960 33554432000 1073741824 1073778376 140733788254816 18446744073709551615 228134530560 0 4 0 16800975 18446604448285786432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10548728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+920.401 s]
/proc/loadavg: 3.87 3.66 2.38 5/504 15233
/proc/meminfo: memFree=16510504/32951124 swapFree=41830676/67111528
[pid=15147] ppid=15145 vsize=0 CPUtime=1800.3 cores=0,2,4,6
/proc/15147/stat : 15147 (java) Z 15145 15147 15115 0 -1 4203548 1007583 0 1 0 179879 151 0 0 17 0 2 0 855276452 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15147/statm: 0 0 0 0 0 0 0
[pid=15147/tid=15167] ppid=15145 vsize=0 CPUtime=873.64 cores=0,2,4,6
/proc/15147/task/15167/stat : 15167 (java) R 15145 15147 15115 0 -1 4203588 32392 0 0 0 87343 21 0 0 25 0 2 0 855277171 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 920.408
CPU time (s): 1800.32
CPU user time (s): 1798.8
CPU system time (s): 1.51877
CPU usage (%): 195.6
Max. virtual memory (cumulated for all children) (KiB): 10553268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.51877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1007583
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23224
involuntary context switches= 17634
runsolver used 4.46432 second user time and 9.78951 second system time
The end