runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3311958-1304186359/watcher-3311958-1304186359 -o /tmp/evaluation-result-3311958-1304186359/solver-3311958-1304186359 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311958-1304186359.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.42 7.93 7.96 1/175 13183
/proc/meminfo: memFree=30446812/32951124 swapFree=67105204/67111528
[pid=13183] ppid=13181 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/13183/stat : 13183 (java) R 13181 13183 13038 0 -1 4202496 1153 0 0 0 0 0 0 0 25 0 1 0 511051762 23580672 640 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220811274005 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13183/statm: 5757 653 484 9 0 124 0
[startup+0.11015 s]
/proc/loadavg: 7.42 7.93 7.96 1/175 13183
/proc/meminfo: memFree=30446812/32951124 swapFree=67105204/67111528
[pid=13183] ppid=13181 vsize=15676308 CPUtime=0.1 cores=0,2,4,6
/proc/13183/stat : 13183 (java) S 13181 13183 13038 0 -1 4202496 5522 0 1 0 9 1 0 0 25 0 18 0 511051762 16052539392 4962 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13183/statm: 3919077 4962 2117 9 0 3909796 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676308
[startup+0.207969 s]
/proc/loadavg: 7.42 7.93 7.96 1/175 13183
/proc/meminfo: memFree=30446812/32951124 swapFree=67105204/67111528
[pid=13183] ppid=13181 vsize=15677244 CPUtime=0.27 cores=0,2,4,6
/proc/13183/stat : 13183 (java) S 13181 13183 13038 0 -1 4202496 7178 0 1 0 26 1 0 0 25 0 18 0 511051762 16053497856 6539 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13183/statm: 3919311 6539 2182 9 0 3910030 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 15677244
[startup+0.307172 s]
/proc/loadavg: 7.42 7.93 7.96 1/175 13183
/proc/meminfo: memFree=30446812/32951124 swapFree=67105204/67111528
[pid=13183] ppid=13181 vsize=15683924 CPUtime=0.46 cores=0,2,4,6
/proc/13183/stat : 13183 (java) S 13181 13183 13038 0 -1 4202496 11727 0 1 0 44 2 0 0 25 0 22 0 511051762 16060338176 10211 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13183/statm: 3920981 10211 2211 9 0 3911700 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 15683924
[startup+1.06679 s]
/proc/loadavg: 7.42 7.93 7.96 1/175 13183
/proc/meminfo: memFree=30446812/32951124 swapFree=67105204/67111528
[pid=13183] ppid=13181 vsize=15709960 CPUtime=3.21 cores=0,2,4,6
/proc/13183/stat : 13183 (java) S 13181 13183 13038 0 -1 4202496 39249 0 1 0 315 6 0 0 25 0 22 0 511051762 16086999040 35075 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13183/statm: 3927490 35075 2247 9 0 3918209 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 15709960
[startup+1.50068 s]
/proc/loadavg: 7.42 7.93 7.96 7/194 13224
/proc/meminfo: memFree=30260256/32951124 swapFree=67105204/67111528
[pid=13183] ppid=13181 vsize=15709960 CPUtime=4.96 cores=0,2,4,6
/proc/13183/stat : 13183 (java) S 13181 13183 13038 0 -1 4202496 54079 0 1 0 488 8 0 0 25 0 22 0 511051762 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13183/statm: 3927490 49627 2275 9 0 3918209 0
[pid=13183/tid=13185] ppid=13181 vsize=15709960 CPUtime=0.27 cores=0,2,4,6
/proc/13183/task/13185/stat : 13185 (java) S 13181 13183 13038 0 -1 4202560 5244 0 1 0 26 1 0 0 18 0 22 0 511051763 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13186] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13186/stat : 13186 (java) S 13181 13183 13038 0 -1 4202560 369 0 0 0 0 0 0 0 17 0 22 0 511051764 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13187] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13187/stat : 13187 (java) S 13181 13183 13038 0 -1 4202560 153 0 0 0 0 0 0 0 17 0 22 0 511051764 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13188] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13188/stat : 13188 (java) S 13181 13183 13038 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 511051764 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13189] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13189/stat : 13189 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 511051764 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13190] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13190/stat : 13190 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 511051764 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13191] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13191/stat : 13191 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 511051764 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13192] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13192/stat : 13192 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 511051764 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13193] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13193/stat : 13193 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511051764 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13194] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13194/stat : 13194 (java) S 13181 13183 13038 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 511051765 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13195] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13195/stat : 13195 (java) S 13181 13183 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 511051765 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13196] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13196/stat : 13196 (java) S 13181 13183 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511051765 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13197] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13197/stat : 13197 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511051768 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13198] ppid=13181 vsize=15709960 CPUtime=1.07 cores=0,2,4,6
/proc/13183/task/13198/stat : 13198 (java) R 13181 13183 13038 0 -1 4202560 6107 0 0 0 106 1 0 0 17 0 22 0 511051768 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 47751883952893 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13183/tid=13199] ppid=13181 vsize=15709960 CPUtime=0.38 cores=0,2,4,6
/proc/13183/task/13199/stat : 13199 (java) R 13181 13183 13038 0 -1 4202560 11541 0 0 0 37 1 0 0 25 0 22 0 511051768 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 47751881251908 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13183/tid=13200] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13200/stat : 13200 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511051768 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13201] ppid=13181 vsize=15709960 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13201/stat : 13201 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 511051768 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052992 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13202] ppid=13181 vsize=15709960 CPUtime=0.72 cores=0,2,4,6
/proc/13183/task/13202/stat : 13202 (java) R 13181 13183 13038 0 -1 4202560 3912 0 0 0 72 0 0 0 18 0 22 0 511051785 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505917993 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13183/tid=13203] ppid=13181 vsize=15709960 CPUtime=0.71 cores=0,2,4,6
/proc/13183/task/13203/stat : 13203 (java) R 13181 13183 13038 0 -1 4202560 8393 0 0 0 70 1 0 0 18 0 22 0 511051785 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505606328 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13183/tid=13204] ppid=13181 vsize=15709960 CPUtime=0.89 cores=0,2,4,6
/proc/13183/task/13204/stat : 13204 (java) R 13181 13183 13038 0 -1 4202560 8389 0 0 0 89 0 0 0 19 0 22 0 511051786 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505847056 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13183/tid=13205] ppid=13181 vsize=15709960 CPUtime=0.85 cores=0,2,4,6
/proc/13183/task/13205/stat : 13205 (java) R 13181 13183 13038 0 -1 4202560 8562 0 0 0 84 1 0 0 17 0 22 0 511051786 16086999040 49627 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505634795 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 15709960
[startup+3.10136 s]
/proc/loadavg: 7.42 7.93 7.96 12/220 13253
/proc/meminfo: memFree=30085456/32951124 swapFree=67105204/67111528
[pid=13183] ppid=13181 vsize=15720076 CPUtime=11.29 cores=0,2,4,6
/proc/13183/stat : 13183 (java) S 13181 13183 13038 0 -1 4202496 88033 0 1 0 1117 12 0 0 25 0 22 0 511051762 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13183/statm: 3930019 77693 2288 9 0 3920738 0
[pid=13183/tid=13185] ppid=13181 vsize=15720076 CPUtime=0.27 cores=0,2,4,6
/proc/13183/task/13185/stat : 13185 (java) S 13181 13183 13038 0 -1 4202560 5244 0 1 0 26 1 0 0 18 0 22 0 511051763 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13186] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13186/stat : 13186 (java) S 13181 13183 13038 0 -1 4202560 464 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13187] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13187/stat : 13187 (java) S 13181 13183 13038 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13188] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13188/stat : 13188 (java) S 13181 13183 13038 0 -1 4202560 455 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13189] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13189/stat : 13189 (java) S 13181 13183 13038 0 -1 4202560 654 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13190] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13190/stat : 13190 (java) S 13181 13183 13038 0 -1 4202560 531 0 0 0 0 0 0 0 16 0 22 0 511051764 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13191] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13191/stat : 13191 (java) S 13181 13183 13038 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13192] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13192/stat : 13192 (java) S 13181 13183 13038 0 -1 4202560 235 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13193] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13193/stat : 13193 (java) S 13181 13183 13038 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13194] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13194/stat : 13194 (java) S 13181 13183 13038 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 511051765 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13195] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13195/stat : 13195 (java) S 13181 13183 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 511051765 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13196] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13196/stat : 13196 (java) S 13181 13183 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511051765 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13197] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13197/stat : 13197 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511051768 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13198] ppid=13181 vsize=15720076 CPUtime=1.5 cores=0,2,4,6
/proc/13183/task/13198/stat : 13198 (java) S 13181 13183 13038 0 -1 4202560 9516 0 0 0 148 2 0 0 16 0 22 0 511051768 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13199] ppid=13181 vsize=15720076 CPUtime=0.84 cores=0,2,4,6
/proc/13183/task/13199/stat : 13199 (java) S 13181 13183 13038 0 -1 4202560 17019 0 0 0 83 1 0 0 20 0 22 0 511051768 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13200] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13200/stat : 13200 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511051768 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13201] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13201/stat : 13201 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 511051768 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052992 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13202] ppid=13181 vsize=15720076 CPUtime=2.07 cores=0,2,4,6
/proc/13183/task/13202/stat : 13202 (java) R 13181 13183 13038 0 -1 4202560 10408 0 0 0 207 0 0 0 20 0 22 0 511051785 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 47751884223673 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13183/tid=13203] ppid=13181 vsize=15720076 CPUtime=1.95 cores=0,2,4,6
/proc/13183/task/13203/stat : 13203 (java) R 13181 13183 13038 0 -1 4202560 13465 0 0 0 194 1 0 0 20 0 22 0 511051785 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505633846 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13183/tid=13204] ppid=13181 vsize=15720076 CPUtime=2.12 cores=0,2,4,6
/proc/13183/task/13204/stat : 13204 (java) R 13181 13183 13038 0 -1 4202560 14044 0 0 0 211 1 0 0 21 0 22 0 511051786 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505578706 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13183/tid=13205] ppid=13181 vsize=15720076 CPUtime=2.4 cores=0,2,4,6
/proc/13183/task/13205/stat : 13205 (java) R 13181 13183 13038 0 -1 4202560 14158 0 0 0 239 1 0 0 20 0 22 0 511051786 16097357824 77693 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912506460128 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.29
Current children cumulated vsize (KiB) 15720076
[startup+6.30077 s]
/proc/loadavg: 7.46 7.93 7.96 9/220 13253
/proc/meminfo: memFree=29924432/32951124 swapFree=67105204/67111528
[pid=13183] ppid=13181 vsize=15720076 CPUtime=24 cores=0,2,4,6
/proc/13183/stat : 13183 (java) S 13181 13183 13038 0 -1 4202496 89333 0 1 0 2387 13 0 0 25 0 22 0 511051762 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13183/statm: 3930019 76472 2288 9 0 3920738 0
[pid=13183/tid=13185] ppid=13181 vsize=15720076 CPUtime=0.27 cores=0,2,4,6
/proc/13183/task/13185/stat : 13185 (java) S 13181 13183 13038 0 -1 4202560 5244 0 1 0 26 1 0 0 18 0 22 0 511051763 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13186] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13186/stat : 13186 (java) S 13181 13183 13038 0 -1 4202560 587 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13187] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13187/stat : 13187 (java) S 13181 13183 13038 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13188] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13188/stat : 13188 (java) S 13181 13183 13038 0 -1 4202560 627 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13189] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13189/stat : 13189 (java) S 13181 13183 13038 0 -1 4202560 908 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13190] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13190/stat : 13190 (java) S 13181 13183 13038 0 -1 4202560 667 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13191] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13191/stat : 13191 (java) S 13181 13183 13038 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13192] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13192/stat : 13192 (java) S 13181 13183 13038 0 -1 4202560 363 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13193] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13193/stat : 13193 (java) S 13181 13183 13038 0 -1 4202560 333 0 0 0 0 0 0 0 15 0 22 0 511051764 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13194] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13194/stat : 13194 (java) S 13181 13183 13038 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 511051765 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13195] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13195/stat : 13195 (java) S 13181 13183 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 511051765 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13196] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13196/stat : 13196 (java) S 13181 13183 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511051765 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13197] ppid=13181 vsize=15720076 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13197/stat : 13197 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511051768 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13198] ppid=13181 vsize=15720076 CPUtime=1.5 cores=0,2,4,6
/proc/13183/task/13198/stat : 13198 (java) S 13181 13183 13038 0 -1 4202560 9516 0 0 0 148 2 0 0 16 0 22 0 511051768 16097357824 76472 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=13183/tid=13203] ppid=13181 vsize=15711604 CPUtime=1107.45 cores=0,2,4,6
/proc/13183/task/13203/stat : 13203 (java) R 13181 13183 13038 0 -1 4202560 69109 0 0 0 110709 36 0 0 25 0 22 0 511051785 16088682496 92480 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912506205068 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13183/tid=13204] ppid=13181 vsize=15711604 CPUtime=1107.9 cores=0,2,4,6
/proc/13183/task/13204/stat : 13204 (java) R 13181 13183 13038 0 -1 4202560 71048 0 0 0 110751 39 0 0 25 0 22 0 511051786 16088682496 92480 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13183/tid=13205] ppid=13181 vsize=15711604 CPUtime=1108.97 cores=0,2,4,6
/proc/13183/task/13205/stat : 13205 (java) R 13181 13183 13038 0 -1 4202560 70481 0 0 0 110862 35 0 0 22 0 22 0 511051786 16088682496 92480 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 47751884223447 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4461.98
Current children cumulated vsize (KiB) 15711604
[startup+1182.3 s]
/proc/loadavg: 8.08 8.05 8.00 9/220 13293
/proc/meminfo: memFree=29685640/32951124 swapFree=67105204/67111528
[pid=13183] ppid=13181 vsize=15711604 CPUtime=4700.48 cores=0,2,4,6
/proc/13183/stat : 13183 (java) S 13181 13183 13038 0 -1 4202496 600008 0 1 0 469739 309 0 0 25 0 22 0 511051762 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13183/statm: 3927901 103265 2296 9 0 3918620 0
[pid=13183/tid=13185] ppid=13181 vsize=15711604 CPUtime=0.27 cores=0,2,4,6
/proc/13183/task/13185/stat : 13185 (java) S 13181 13183 13038 0 -1 4202560 5244 0 1 0 26 1 0 0 18 0 22 0 511051763 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13186] ppid=13181 vsize=15711604 CPUtime=3.31 cores=0,2,4,6
/proc/13183/task/13186/stat : 13186 (java) S 13181 13183 13038 0 -1 4202560 32113 0 0 0 318 13 0 0 15 0 22 0 511051764 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13187] ppid=13181 vsize=15711604 CPUtime=3.31 cores=0,2,4,6
/proc/13183/task/13187/stat : 13187 (java) S 13181 13183 13038 0 -1 4202560 32742 0 0 0 319 12 0 0 16 0 22 0 511051764 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13188] ppid=13181 vsize=15711604 CPUtime=3.26 cores=0,2,4,6
/proc/13183/task/13188/stat : 13188 (java) S 13181 13183 13038 0 -1 4202560 32752 0 0 0 313 13 0 0 16 0 22 0 511051764 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13189] ppid=13181 vsize=15711604 CPUtime=3.27 cores=0,2,4,6
/proc/13183/task/13189/stat : 13189 (java) S 13181 13183 13038 0 -1 4202560 32933 0 0 0 316 11 0 0 16 0 22 0 511051764 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13190] ppid=13181 vsize=15711604 CPUtime=3.28 cores=0,2,4,6
/proc/13183/task/13190/stat : 13190 (java) S 13181 13183 13038 0 -1 4202560 33742 0 0 0 316 12 0 0 15 0 22 0 511051764 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13191] ppid=13181 vsize=15711604 CPUtime=3.28 cores=0,2,4,6
/proc/13183/task/13191/stat : 13191 (java) S 13181 13183 13038 0 -1 4202560 31266 0 0 0 318 10 0 0 15 0 22 0 511051764 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13192] ppid=13181 vsize=15711604 CPUtime=3.25 cores=0,2,4,6
/proc/13183/task/13192/stat : 13192 (java) S 13181 13183 13038 0 -1 4202560 31652 0 0 0 313 12 0 0 16 0 22 0 511051764 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13193] ppid=13181 vsize=15711604 CPUtime=3.35 cores=0,2,4,6
/proc/13183/task/13193/stat : 13193 (java) S 13181 13183 13038 0 -1 4202560 33752 0 0 0 324 11 0 0 16 0 22 0 511051764 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13194] ppid=13181 vsize=15711604 CPUtime=1.88 cores=0,2,4,6
/proc/13183/task/13194/stat : 13194 (java) S 13181 13183 13038 0 -1 4202560 1369 0 0 0 144 44 0 0 15 0 22 0 511051765 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13195] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13195/stat : 13195 (java) S 13181 13183 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 511051765 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13196] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13196/stat : 13196 (java) S 13181 13183 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511051765 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13197] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13197/stat : 13197 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511051768 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13198] ppid=13181 vsize=15711604 CPUtime=1.5 cores=0,2,4,6
/proc/13183/task/13198/stat : 13198 (java) S 13181 13183 13038 0 -1 4202560 9516 0 0 0 148 2 0 0 16 0 22 0 511051768 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13199] ppid=13181 vsize=15711604 CPUtime=0.92 cores=0,2,4,6
/proc/13183/task/13199/stat : 13199 (java) S 13181 13183 13038 0 -1 4202560 17022 0 0 0 91 1 0 0 18 0 22 0 511051768 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13200] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13200/stat : 13200 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511051768 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13201] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13201/stat : 13201 (java) S 13181 13183 13038 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 511051768 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052992 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13202] ppid=13181 vsize=15711604 CPUtime=1167.3 cores=0,2,4,6
/proc/13183/task/13202/stat : 13202 (java) R 13181 13183 13038 0 -1 4202560 73669 0 0 0 116688 42 0 0 25 0 22 0 511051785 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505680941 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13183/tid=13203] ppid=13181 vsize=15711604 CPUtime=1166.76 cores=0,2,4,6
/proc/13183/task/13203/stat : 13203 (java) R 13181 13183 13038 0 -1 4202560 75930 0 0 0 116637 39 0 0 25 0 22 0 511051785 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505861343 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13183/tid=13204] ppid=13181 vsize=15711604 CPUtime=1167.26 cores=0,2,4,6
/proc/13183/task/13204/stat : 13204 (java) R 13181 13183 13038 0 -1 4202560 77832 0 0 0 116684 42 0 0 25 0 22 0 511051786 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505860850 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13183/tid=13205] ppid=13181 vsize=15711604 CPUtime=1168.13 cores=0,2,4,6
/proc/13183/task/13205/stat : 13205 (java) R 13181 13183 13038 0 -1 4202560 77025 0 0 0 116776 37 0 0 18 0 22 0 511051786 16088682496 103265 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505982138 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4700.48
Current children cumulated vsize (KiB) 15711604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1207.4 s]
/proc/loadavg: 8.11 8.06 8.01 9/220 13294
/proc/meminfo: memFree=29562872/32951124 swapFree=67105204/67111528
[pid=13183] ppid=13181 vsize=15711604 CPUtime=4800.27 cores=0,2,4,6
/proc/13183/stat : 13183 (java) S 13181 13183 13038 0 -1 4202496 617975 0 1 0 479711 316 0 0 25 0 22 0 511051762 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13183/statm: 3927901 111490 2296 9 0 3918620 0
[pid=13183/tid=13185] ppid=13181 vsize=15711604 CPUtime=0.27 cores=0,2,4,6
/proc/13183/task/13185/stat : 13185 (java) S 13181 13183 13038 0 -1 4202560 5244 0 1 0 26 1 0 0 18 0 22 0 511051763 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13186] ppid=13181 vsize=15711604 CPUtime=3.37 cores=0,2,4,6
/proc/13183/task/13186/stat : 13186 (java) S 13181 13183 13038 0 -1 4202560 33029 0 0 0 324 13 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13187] ppid=13181 vsize=15711604 CPUtime=3.37 cores=0,2,4,6
/proc/13183/task/13187/stat : 13187 (java) S 13181 13183 13038 0 -1 4202560 34064 0 0 0 325 12 0 0 16 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13188] ppid=13181 vsize=15711604 CPUtime=3.33 cores=0,2,4,6
/proc/13183/task/13188/stat : 13188 (java) S 13181 13183 13038 0 -1 4202560 34253 0 0 0 320 13 0 0 16 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13189] ppid=13181 vsize=15711604 CPUtime=3.33 cores=0,2,4,6
/proc/13183/task/13189/stat : 13189 (java) S 13181 13183 13038 0 -1 4202560 34131 0 0 0 322 11 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13190] ppid=13181 vsize=15711604 CPUtime=3.35 cores=0,2,4,6
/proc/13183/task/13190/stat : 13190 (java) S 13181 13183 13038 0 -1 4202560 35153 0 0 0 323 12 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13191] ppid=13181 vsize=15711604 CPUtime=3.32 cores=0,2,4,6
/proc/13183/task/13191/stat : 13191 (java) S 13181 13183 13038 0 -1 4202560 32152 0 0 0 322 10 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13192] ppid=13181 vsize=15711604 CPUtime=3.31 cores=0,2,4,6
/proc/13183/task/13192/stat : 13192 (java) S 13181 13183 13038 0 -1 4202560 32676 0 0 0 319 12 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13193] ppid=13181 vsize=15711604 CPUtime=3.41 cores=0,2,4,6
/proc/13183/task/13193/stat : 13193 (java) S 13181 13183 13038 0 -1 4202560 34989 0 0 0 330 11 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13194] ppid=13181 vsize=15711604 CPUtime=1.92 cores=0,2,4,6
/proc/13183/task/13194/stat : 13194 (java) S 13181 13183 13038 0 -1 4202560 1409 0 0 0 147 45 0 0 15 0 22 0 511051765 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13195] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13195/stat : 13195 (java) S 13181 13183 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 511051765 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13196] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13196/stat : 13196 (java) S 13181 13183 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511051765 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13197] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13197/stat : 13197 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511051768 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13198] ppid=13181 vsize=15711604 CPUtime=1.5 cores=0,2,4,6
/proc/13183/task/13198/stat : 13198 (java) S 13181 13183 13038 0 -1 4202560 9516 0 0 0 148 2 0 0 16 0 22 0 511051768 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13199] ppid=13181 vsize=15711604 CPUtime=0.92 cores=0,2,4,6
/proc/13183/task/13199/stat : 13199 (java) S 13181 13183 13038 0 -1 4202560 17022 0 0 0 91 1 0 0 18 0 22 0 511051768 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13200] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13200/stat : 13200 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511051768 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13201] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13201/stat : 13201 (java) S 13181 13183 13038 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 511051768 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052992 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13202] ppid=13181 vsize=15711604 CPUtime=1192.12 cores=0,2,4,6
/proc/13183/task/13202/stat : 13202 (java) R 13181 13183 13038 0 -1 4202560 76031 0 0 0 119169 43 0 0 25 0 22 0 511051785 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505679098 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13183/tid=13203] ppid=13181 vsize=15711604 CPUtime=1191.55 cores=0,2,4,6
/proc/13183/task/13203/stat : 13203 (java) R 13181 13183 13038 0 -1 4202560 77767 0 0 0 119116 39 0 0 25 0 22 0 511051785 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505862354 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13183/tid=13204] ppid=13181 vsize=15711604 CPUtime=1192.06 cores=0,2,4,6
/proc/13183/task/13204/stat : 13204 (java) R 13181 13183 13038 0 -1 4202560 79967 0 0 0 119163 43 0 0 25 0 22 0 511051786 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505861020 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13183/tid=13205] ppid=13181 vsize=15711604 CPUtime=1192.95 cores=0,2,4,6
/proc/13183/task/13205/stat : 13205 (java) R 13181 13183 13038 0 -1 4202560 79123 0 0 0 119257 38 0 0 25 0 22 0 511051786 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912506115375 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 15711604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1207.4 s]
/proc/loadavg: 8.11 8.06 8.01 9/220 13294
/proc/meminfo: memFree=29562872/32951124 swapFree=67105204/67111528
[pid=13183] ppid=13181 vsize=15711604 CPUtime=4800.27 cores=0,2,4,6
/proc/13183/stat : 13183 (java) S 13181 13183 13038 0 -1 4202496 617975 0 1 0 479711 316 0 0 25 0 22 0 511051762 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13183/statm: 3927901 111490 2296 9 0 3918620 0
[pid=13183/tid=13185] ppid=13181 vsize=15711604 CPUtime=0.27 cores=0,2,4,6
/proc/13183/task/13185/stat : 13185 (java) S 13181 13183 13038 0 -1 4202560 5244 0 1 0 26 1 0 0 18 0 22 0 511051763 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13186] ppid=13181 vsize=15711604 CPUtime=3.37 cores=0,2,4,6
/proc/13183/task/13186/stat : 13186 (java) S 13181 13183 13038 0 -1 4202560 33029 0 0 0 324 13 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13187] ppid=13181 vsize=15711604 CPUtime=3.37 cores=0,2,4,6
/proc/13183/task/13187/stat : 13187 (java) S 13181 13183 13038 0 -1 4202560 34064 0 0 0 325 12 0 0 16 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13188] ppid=13181 vsize=15711604 CPUtime=3.33 cores=0,2,4,6
/proc/13183/task/13188/stat : 13188 (java) S 13181 13183 13038 0 -1 4202560 34253 0 0 0 320 13 0 0 16 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13189] ppid=13181 vsize=15711604 CPUtime=3.33 cores=0,2,4,6
/proc/13183/task/13189/stat : 13189 (java) S 13181 13183 13038 0 -1 4202560 34131 0 0 0 322 11 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13190] ppid=13181 vsize=15711604 CPUtime=3.35 cores=0,2,4,6
/proc/13183/task/13190/stat : 13190 (java) S 13181 13183 13038 0 -1 4202560 35153 0 0 0 323 12 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13191] ppid=13181 vsize=15711604 CPUtime=3.32 cores=0,2,4,6
/proc/13183/task/13191/stat : 13191 (java) S 13181 13183 13038 0 -1 4202560 32152 0 0 0 322 10 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13192] ppid=13181 vsize=15711604 CPUtime=3.31 cores=0,2,4,6
/proc/13183/task/13192/stat : 13192 (java) S 13181 13183 13038 0 -1 4202560 32676 0 0 0 319 12 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 0 0 0 0
[pid=13183/tid=13193] ppid=13181 vsize=15711604 CPUtime=3.41 cores=0,2,4,6
/proc/13183/task/13193/stat : 13193 (java) S 13181 13183 13038 0 -1 4202560 34989 0 0 0 330 11 0 0 15 0 22 0 511051764 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13194] ppid=13181 vsize=15711604 CPUtime=1.92 cores=0,2,4,6
/proc/13183/task/13194/stat : 13194 (java) S 13181 13183 13038 0 -1 4202560 1409 0 0 0 147 45 0 0 15 0 22 0 511051765 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052992 0 0 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13195] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13195/stat : 13195 (java) S 13181 13183 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 511051765 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13196] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13196/stat : 13196 (java) S 13181 13183 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511051765 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13197] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13197/stat : 13197 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511051768 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828060081 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13198] ppid=13181 vsize=15711604 CPUtime=1.5 cores=0,2,4,6
/proc/13183/task/13198/stat : 13198 (java) S 13181 13183 13038 0 -1 4202560 9516 0 0 0 148 2 0 0 16 0 22 0 511051768 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13199] ppid=13181 vsize=15711604 CPUtime=0.92 cores=0,2,4,6
/proc/13183/task/13199/stat : 13199 (java) S 13181 13183 13038 0 -1 4202560 17022 0 0 0 91 1 0 0 18 0 22 0 511051768 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 2 0 0 0
[pid=13183/tid=13200] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13200/stat : 13200 (java) S 13181 13183 13038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511051768 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052377 0 4 0 16800975 18446604453951146176 0 0 -1 6 0 0 0
[pid=13183/tid=13201] ppid=13181 vsize=15711604 CPUtime=0 cores=0,2,4,6
/proc/13183/task/13201/stat : 13201 (java) S 13181 13183 13038 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 511051768 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 220828052992 0 4 0 16800975 18446604453951146176 0 0 -1 4 0 0 0
[pid=13183/tid=13202] ppid=13181 vsize=15711604 CPUtime=1192.12 cores=0,2,4,6
/proc/13183/task/13202/stat : 13202 (java) R 13181 13183 13038 0 -1 4202560 76031 0 0 0 119169 43 0 0 25 0 22 0 511051785 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505679098 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13183/tid=13203] ppid=13181 vsize=15711604 CPUtime=1191.55 cores=0,2,4,6
/proc/13183/task/13203/stat : 13203 (java) R 13181 13183 13038 0 -1 4202560 77767 0 0 0 119116 39 0 0 25 0 22 0 511051785 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505862354 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13183/tid=13204] ppid=13181 vsize=15711604 CPUtime=1192.06 cores=0,2,4,6
/proc/13183/task/13204/stat : 13204 (java) R 13181 13183 13038 0 -1 4202560 79967 0 0 0 119163 43 0 0 25 0 22 0 511051786 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912505861020 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13183/tid=13205] ppid=13181 vsize=15711604 CPUtime=1192.95 cores=0,2,4,6
/proc/13183/task/13205/stat : 13205 (java) R 13181 13183 13038 0 -1 4202560 79123 0 0 0 119257 38 0 0 25 0 22 0 511051786 16088682496 111490 33554432000 1073741824 1073778376 140734142838640 18446744073709551615 46912506115375 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 15711604
Child status: 143
Real time (s): 1207.44
CPU time (s): 4800.33
CPU user time (s): 4797.14
CPU system time (s): 3.18152
CPU usage (%): 397.563
Max. virtual memory (cumulated for all children) (KiB): 15724260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.14
system time used= 3.18152
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618002
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= 414613
involuntary context switches= 177392
runsolver used 1.88871 second user time and 4.73228 second system time
The end