runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259755-1501996756/watcher-4259755-1501996756 -o /tmp/evaluation-result-4259755-1501996756/solver-4259755-1501996756 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501995163-16059 --watchdog 300 bin/concrete HOME/instance-4259755-1501996756.xml
pid=17233
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.06 1.77 1.68 2/201 17236
/proc/meminfo: memFree=30621448/32770624 swapFree=0/298008
[pid=17236] ppid=17233 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17236/stat : 17236 (runsolver) D 17233 17236 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 47490877 24240128 108 18446744073709551615 4194304 4338465 140723208114288 140723208111928 140217514169047 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 36999168 140723208118486 140723208118860 140723208118860 140723208122314 0
/proc/17236/statm: 5918 108 54 36 0 2156 0
[startup+0.100327 s]
/proc/loadavg: 2.06 1.77 1.68 2/201 17236
/proc/meminfo: memFree=30621448/32770624 swapFree=0/298008
[pid=17236] ppid=17233 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/17236/stat : 17236 (bash) R 17233 17236 30500 0 -1 4202496 881 6480 0 0 0 0 0 1 20 0 1 0 47490877 9867264 377 18446744073709551615 4194304 5098028 140721766291408 140721766285144 139922862249154 0 0 5 65536 0 0 0 17 2 0 0 8 0 0 7196144 7232144 32169984 140721766298135 140721766298220 140721766298220 140721766301674 0
/proc/17236/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200555 s]
/proc/loadavg: 2.06 1.77 1.68 2/201 17236
/proc/meminfo: memFree=30621448/32770624 swapFree=0/298008
[pid=17236] ppid=17233 vsize=9636 CPUtime=0.08 cores=0,2,4,6
/proc/17236/stat : 17236 (bash) S 17233 17236 30500 0 -1 4202496 936 11728 0 0 0 0 5 3 20 0 1 0 47490877 9867264 377 18446744073709551615 4194304 5098028 140721766291408 140721766287240 139922862689280 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 32169984 140721766298135 140721766298220 140721766298220 140721766301674 0
/proc/17236/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9636
[startup+0.300281 s]
/proc/loadavg: 2.06 1.77 1.68 2/201 17236
/proc/meminfo: memFree=30621448/32770624 swapFree=0/298008
[pid=17236] ppid=17233 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/17236/stat : 17236 (java) S 17233 17236 30500 0 -1 1077944320 5803 12406 0 0 5 1 5 3 20 0 14 0 47490877 14241083392 5492 18446744073709551615 4194304 4196468 140730665039680 140730665022224 140244610875127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
/proc/17236/statm: 3476827 5492 2566 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.700901 s]
/proc/loadavg: 2.06 1.77 1.68 2/201 17236
/proc/meminfo: memFree=30621448/32770624 swapFree=0/298008
[pid=17236] ppid=17233 vsize=13974784 CPUtime=0.69 cores=0,2,4,6
/proc/17236/stat : 17236 (java) S 17233 17236 30500 0 -1 1077944320 13884 12406 0 0 57 4 5 3 20 0 15 0 47490877 14310178816 14338 18446744073709551615 4194304 4196468 140730665039680 140730665022224 140244610875127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
/proc/17236/statm: 3493696 14338 3115 1 0 3482965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784
[startup+1.50067 s]
/proc/loadavg: 2.06 1.77 1.68 3/216 17299
/proc/meminfo: memFree=30379476/32770624 swapFree=0/297964
[pid=17236] ppid=17233 vsize=13985408 CPUtime=1.89 cores=0,2,4,6
/proc/17236/stat : 17236 (java) S 17233 17236 30500 0 -1 1077944320 26727 12406 0 0 171 10 5 3 20 0 15 0 47490877 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140730665022224 140244610875127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
/proc/17236/statm: 3496352 40663 3364 1 0 3485525 0
[pid=17236/tid=17286] ppid=17233 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/17236/task/17286/stat : 17286 (java) S 17233 17236 30500 0 -1 1077944384 20580 12406 0 0 115 6 5 3 20 0 15 0 47490897 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140244615092432 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17287] ppid=17233 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17287/stat : 17287 (java) R 17233 17236 30500 0 -1 4202560 178 12406 0 0 0 0 5 3 20 0 15 0 47490898 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140244211284624 140244595873213 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17288] ppid=17233 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17288/stat : 17288 (java) R 17233 17236 30500 0 -1 4202560 37 12406 0 0 0 0 5 3 20 0 15 0 47490898 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140244210231824 140244595332559 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17289] ppid=17233 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17289/stat : 17289 (java) R 17233 17236 30500 0 -1 4202560 43 12406 0 0 0 0 5 3 20 0 15 0 47490898 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140244209179024 140244603979820 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17290] ppid=17233 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17290/stat : 17290 (java) R 17233 17236 30500 0 -1 1077944384 44 12406 0 0 0 0 5 3 20 0 15 0 47490898 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140244208126224 140244610885333 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17291] ppid=17233 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/17236/task/17291/stat : 17291 (java) S 17233 17236 30500 0 -1 1077944384 649 12406 0 0 1 0 5 3 20 0 15 0 47490899 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140243527468448 140244610885333 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17292] ppid=17233 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17292/stat : 17292 (java) S 17233 17236 30500 0 -1 1077944384 33 12406 0 0 0 0 5 3 20 0 15 0 47490900 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140243526415904 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17293] ppid=17233 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17293/stat : 17293 (java) S 17233 17236 30500 0 -1 1077944384 21 12406 0 0 0 0 5 3 20 0 15 0 47490900 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140243525363056 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17294] ppid=17233 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17294/stat : 17294 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140243524311376 140244610893723 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17295] ppid=17233 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/17236/task/17295/stat : 17295 (java) S 17233 17236 30500 0 -1 1077944384 912 12406 0 0 12 0 5 3 20 0 15 0 47490903 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140243523258736 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17296] ppid=17233 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/17236/task/17296/stat : 17296 (java) S 17233 17236 30500 0 -1 1077944384 862 12406 0 0 17 0 5 3 20 0 15 0 47490903 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140243522205936 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17297] ppid=17233 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/17236/task/17297/stat : 17297 (java) S 17233 17236 30500 0 -1 1077944384 1207 12406 0 0 22 0 5 3 20 0 15 0 47490903 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140243521148512 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17298] ppid=17233 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17298/stat : 17298 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140243520100576 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17299] ppid=17233 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17299/stat : 17299 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490907 14321057792 40663 18446744073709551615 4194304 4196468 140730665039680 140243519048880 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408
[startup+3.10089 s]
/proc/loadavg: 1.97 1.76 1.68 4/216 17299
/proc/meminfo: memFree=30298240/32770624 swapFree=0/297964
[pid=17236] ppid=17233 vsize=13999932 CPUtime=5.42 cores=0,2,4,6
/proc/17236/stat : 17236 (java) S 17233 17236 30500 0 -1 1077944320 39427 12406 0 0 519 15 5 3 20 0 15 0 47490877 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140730665022224 140244610875127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
/proc/17236/statm: 3499983 55091 3440 1 0 3488597 0
[pid=17236/tid=17286] ppid=17233 vsize=13999932 CPUtime=2.88 cores=0,2,4,6
/proc/17236/task/17286/stat : 17286 (java) R 17233 17236 30500 0 -1 4202560 29185 12406 0 0 272 8 5 3 20 0 15 0 47490897 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140244615104512 140244252915457 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17287] ppid=17233 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17287/stat : 17287 (java) S 17233 17236 30500 0 -1 1077944384 183 12406 0 0 0 0 5 3 20 0 15 0 47490898 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140244211284624 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17288] ppid=17233 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/17236/task/17288/stat : 17288 (java) S 17233 17236 30500 0 -1 1077944384 37 12406 0 0 1 0 5 3 20 0 15 0 47490898 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140244210231824 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17289] ppid=17233 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/17236/task/17289/stat : 17289 (java) S 17233 17236 30500 0 -1 1077944384 43 12406 0 0 1 0 5 3 20 0 15 0 47490898 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140244209179024 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17290] ppid=17233 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17290/stat : 17290 (java) S 17233 17236 30500 0 -1 1077944384 45 12406 0 0 0 0 5 3 20 0 15 0 47490898 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140244208126224 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17291] ppid=17233 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/17236/task/17291/stat : 17291 (java) S 17233 17236 30500 0 -1 1077944384 655 12406 0 0 1 0 5 3 20 0 15 0 47490899 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140243527469936 140244610886274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17292] ppid=17233 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17292/stat : 17292 (java) S 17233 17236 30500 0 -1 1077944384 54 12406 0 0 0 0 5 3 20 0 15 0 47490900 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140243526415904 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17293] ppid=17233 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17293/stat : 17293 (java) S 17233 17236 30500 0 -1 1077944384 44 12406 0 0 0 0 5 3 20 0 15 0 47490900 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140243525363072 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17294] ppid=17233 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17294/stat : 17294 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140243524311376 140244610893723 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17295] ppid=17233 vsize=13999932 CPUtime=0.94 cores=0,2,4,6
/proc/17236/task/17295/stat : 17295 (java) R 17233 17236 30500 0 -1 4202560 2639 12406 0 0 86 0 5 3 20 0 15 0 47490903 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140243523244960 140244603980844 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17296] ppid=17233 vsize=13999932 CPUtime=0.71 cores=0,2,4,6
/proc/17236/task/17296/stat : 17296 (java) S 17233 17236 30500 0 -1 1077944384 1413 12406 0 0 62 1 5 3 20 0 15 0 47490903 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140243522205936 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17297] ppid=17233 vsize=13999932 CPUtime=1.01 cores=0,2,4,6
/proc/17236/task/17297/stat : 17297 (java) R 17233 17236 30500 0 -1 1077944384 2966 12406 0 0 92 1 5 3 20 0 15 0 47490903 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140243521153136 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17298] ppid=17233 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17298/stat : 17298 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140243520100576 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17299] ppid=17233 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17299/stat : 17299 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490907 14335930368 55091 18446744073709551615 4194304 4196468 140730665039680 140243519048880 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 13999932
[startup+6.30089 s]
/proc/loadavg: 1.97 1.76 1.68 6/216 17299
/proc/meminfo: memFree=29957244/32770624 swapFree=0/297952
[pid=17236] ppid=17233 vsize=14069564 CPUtime=13.96 cores=0,2,4,6
/proc/17236/stat : 17236 (java) S 17233 17236 30500 0 -1 1077944320 84757 12406 0 0 1364 24 5 3 20 0 15 0 47490877 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140730665022224 140244610875127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
/proc/17236/statm: 3517391 92606 3475 1 0 3506005 0
[pid=17236/tid=17286] ppid=17233 vsize=14069564 CPUtime=5.42 cores=0,2,4,6
/proc/17236/task/17286/stat : 17286 (java) R 17233 17236 30500 0 -1 4202560 52089 12406 0 0 521 13 5 3 20 0 15 0 47490897 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140244615106200 140244266783732 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17287] ppid=17233 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/17236/task/17287/stat : 17287 (java) S 17233 17236 30500 0 -1 1077944384 253 12406 0 0 9 0 5 3 20 0 15 0 47490898 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140244211284624 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17288] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17288/stat : 17288 (java) S 17233 17236 30500 0 -1 1077944384 127 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140244210231824 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17289] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17289/stat : 17289 (java) S 17233 17236 30500 0 -1 1077944384 62 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140244209179024 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17290] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17290/stat : 17290 (java) S 17233 17236 30500 0 -1 1077944384 1043 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140244208126224 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17291] ppid=17233 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/17236/task/17291/stat : 17291 (java) S 17233 17236 30500 0 -1 1077944384 2296 12406 0 0 11 0 5 3 20 0 15 0 47490899 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140243527469936 140244610886274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17292] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17292/stat : 17292 (java) S 17233 17236 30500 0 -1 1077944384 58 12406 0 0 0 0 5 3 20 0 15 0 47490900 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140243526415968 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17293] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17293/stat : 17293 (java) S 17233 17236 30500 0 -1 1077944384 46 12406 0 0 0 0 5 3 20 0 15 0 47490900 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140243525363072 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17294] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17294/stat : 17294 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140243524311376 140244610893723 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17295] ppid=17233 vsize=14069564 CPUtime=3.11 cores=0,2,4,6
/proc/17236/task/17295/stat : 17295 (java) S 17233 17236 30500 0 -1 1077944384 7805 12406 0 0 302 1 5 3 20 0 15 0 47490903 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140243523258736 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17296] ppid=17233 vsize=14069564 CPUtime=3.34 cores=0,2,4,6
/proc/17236/task/17296/stat : 17296 (java) S 17233 17236 30500 0 -1 1077944384 10956 12406 0 0 324 2 5 3 20 0 15 0 47490903 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140243522205936 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17297] ppid=17233 vsize=14069564 CPUtime=1.71 cores=0,2,4,6
/proc/17236/task/17297/stat : 17297 (java) S 17233 17236 30500 0 -1 1077944384 7489 12406 0 0 161 2 5 3 20 0 15 0 47490903 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140243521153136 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17298] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17298/stat : 17298 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140243520100576 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17299] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17299/stat : 17299 (java) S 17233 17236 30500 0 -1 1077944384 373 12406 0 0 0 0 5 3 20 0 15 0 47490907 14407233536 92606 18446744073709551615 4194304 4196468 140730665039680 140243519048880 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
Current children cumulated CPU time (s) 13.96
Current children cumulated vsize (KiB) 14069564
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17236 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4009 s]
/proc/loadavg: 1.97 1.76 1.68 6/216 17299
/proc/meminfo: memFree=29957244/32770624 swapFree=0/297952
[pid=17236] ppid=17233 vsize=14069564 CPUtime=14.19 cores=0,2,4,6
/proc/17236/stat : 17236 (java) S 17233 17236 30500 0 -1 1077944320 85236 12406 0 0 1386 25 5 3 20 0 15 0 47490877 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140730665022224 140244610875127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
/proc/17236/statm: 3517391 92620 3475 1 0 3506005 0
[pid=17236/tid=17286] ppid=17233 vsize=14069564 CPUtime=5.52 cores=0,2,4,6
/proc/17236/task/17286/stat : 17286 (java) R 17233 17236 30500 0 -1 4202560 52125 12406 0 0 531 13 5 3 20 0 15 0 47490897 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140244615106280 140244267179212 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17287] ppid=17233 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/17236/task/17287/stat : 17287 (java) S 17233 17236 30500 0 -1 1077944384 253 12406 0 0 9 0 5 3 20 0 15 0 47490898 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140244211284624 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17288] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17288/stat : 17288 (java) S 17233 17236 30500 0 -1 1077944384 127 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140244210231824 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17289] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17289/stat : 17289 (java) S 17233 17236 30500 0 -1 1077944384 62 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140244209179024 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17290] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17290/stat : 17290 (java) S 17233 17236 30500 0 -1 1077944384 1043 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140244208126224 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17291] ppid=17233 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/17236/task/17291/stat : 17291 (java) S 17233 17236 30500 0 -1 1077944384 2296 12406 0 0 11 0 5 3 20 0 15 0 47490899 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140243527469936 140244610886274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17292] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17292/stat : 17292 (java) S 17233 17236 30500 0 -1 1077944384 58 12406 0 0 0 0 5 3 20 0 15 0 47490900 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140243526415968 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17293] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17293/stat : 17293 (java) S 17233 17236 30500 0 -1 1077944384 46 12406 0 0 0 0 5 3 20 0 15 0 47490900 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140243525363072 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17294] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17294/stat : 17294 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140243524311376 140244610893723 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17295] ppid=17233 vsize=14069564 CPUtime=3.16 cores=0,2,4,6
/proc/17236/task/17295/stat : 17295 (java) S 17233 17236 30500 0 -1 1077944384 7903 12406 0 0 307 1 5 3 20 0 15 0 47490903 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140243523258736 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17296] ppid=17233 vsize=14069564 CPUtime=3.4 cores=0,2,4,6
/proc/17236/task/17296/stat : 17296 (java) S 17233 17236 30500 0 -1 1077944384 11116 12406 0 0 330 2 5 3 20 0 15 0 47490903 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140243522205936 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17297] ppid=17233 vsize=14069564 CPUtime=1.73 cores=0,2,4,6
/proc/17236/task/17297/stat : 17297 (java) S 17233 17236 30500 0 -1 1077944384 7674 12406 0 0 163 2 5 3 20 0 15 0 47490903 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140243521153136 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17298] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17298/stat : 17298 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140243520100576 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17299] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17299/stat : 17299 (java) S 17233 17236 30500 0 -1 1077944384 373 12406 0 0 0 0 5 3 20 0 15 0 47490907 14407233536 92620 18446744073709551615 4194304 4196468 140730665039680 140243519048880 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
Current children cumulated CPU time (s) 14.19
Current children cumulated vsize (KiB) 14069564
[startup+7.20069 s]
/proc/loadavg: 1.81 1.73 1.67 6/216 17299
/proc/meminfo: memFree=29946464/32770624 swapFree=0/297952
[pid=17236] ppid=17233 vsize=14069564 CPUtime=15.43 cores=0,2,4,6
/proc/17236/stat : 17236 (java) S 17233 17236 30500 0 -1 1077944320 86477 12406 0 0 1509 26 5 3 20 0 15 0 47490877 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140730665022224 140244610875127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
/proc/17236/statm: 3517391 104011 3482 1 0 3506005 0
[pid=17236/tid=17286] ppid=17233 vsize=14069564 CPUtime=6.31 cores=0,2,4,6
/proc/17236/task/17286/stat : 17286 (java) R 17233 17236 30500 0 -1 4202560 52266 12406 0 0 609 14 5 3 20 0 15 0 47490897 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140244615108176 140244268395570 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17287] ppid=17233 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/17236/task/17287/stat : 17287 (java) S 17233 17236 30500 0 -1 1077944384 314 12406 0 0 9 0 5 3 20 0 15 0 47490898 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140244211284624 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17288] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17288/stat : 17288 (java) S 17233 17236 30500 0 -1 1077944384 131 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140244210231824 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17289] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17289/stat : 17289 (java) S 17233 17236 30500 0 -1 1077944384 101 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140244209179024 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17290] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17290/stat : 17290 (java) S 17233 17236 30500 0 -1 1077944384 1390 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140244208126224 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17291] ppid=17233 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/17236/task/17291/stat : 17291 (java) S 17233 17236 30500 0 -1 1077944384 2479 12406 0 0 12 0 5 3 20 0 15 0 47490899 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140243527469936 140244610886274 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17292] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17292/stat : 17292 (java) S 17233 17236 30500 0 -1 1077944384 58 12406 0 0 0 0 5 3 20 0 15 0 47490900 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140243526415968 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17293] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17293/stat : 17293 (java) S 17233 17236 30500 0 -1 1077944384 46 12406 0 0 0 0 5 3 20 0 15 0 47490900 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140243525363072 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17294] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17294/stat : 17294 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140243524311376 140244610893723 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17295] ppid=17233 vsize=14069564 CPUtime=3.43 cores=0,2,4,6
/proc/17236/task/17295/stat : 17295 (java) S 17233 17236 30500 0 -1 1077944384 8038 12406 0 0 334 1 5 3 20 0 15 0 47490903 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140243523258736 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17296] ppid=17233 vsize=14069564 CPUtime=3.55 cores=0,2,4,6
/proc/17236/task/17296/stat : 17296 (java) R 17233 17236 30500 0 -1 4202560 11346 12406 0 0 345 2 5 3 20 0 15 0 47490903 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140243522205936 140244594259861 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17297] ppid=17233 vsize=14069564 CPUtime=1.75 cores=0,2,4,6
/proc/17236/task/17297/stat : 17297 (java) S 17233 17236 30500 0 -1 1077944384 7775 12406 0 0 165 2 5 3 20 0 15 0 47490903 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140243521153136 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17298] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17298/stat : 17298 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140243520100576 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17299] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17299/stat : 17299 (java) S 17233 17236 30500 0 -1 1077944384 373 12406 0 0 0 0 5 3 20 0 15 0 47490907 14407233536 104011 18446744073709551615 4194304 4196468 140730665039680 140243519048880 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
Current children cumulated CPU time (s) 15.43
Current children cumulated vsize (KiB) 14069564
[startup+8.00071 s]
/proc/loadavg: 1.81 1.73 1.67 5/216 17299
/proc/meminfo: memFree=29900788/32770624 swapFree=0/297952
[pid=17236] ppid=17233 vsize=14069564 CPUtime=16.29 cores=0,2,4,6
/proc/17236/stat : 17236 (java) S 17233 17236 30500 0 -1 1077944320 86582 12406 0 0 1594 27 5 3 20 0 15 0 47490877 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140730665022224 140244610875127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
/proc/17236/statm: 3517391 116844 3482 1 0 3506005 0
[pid=17236/tid=17286] ppid=17233 vsize=14069564 CPUtime=7.12 cores=0,2,4,6
/proc/17236/task/17286/stat : 17286 (java) R 17233 17236 30500 0 -1 4202560 52309 12406 0 0 689 15 5 3 20 0 15 0 47490897 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140244615106248 140244268271964 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17287] ppid=17233 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/17236/task/17287/stat : 17287 (java) S 17233 17236 30500 0 -1 1077944384 315 12406 0 0 9 0 5 3 20 0 15 0 47490898 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140244211284624 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17288] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17288/stat : 17288 (java) S 17233 17236 30500 0 -1 1077944384 132 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140244210231824 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17289] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17289/stat : 17289 (java) S 17233 17236 30500 0 -1 1077944384 102 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140244209179024 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17290] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17290/stat : 17290 (java) S 17233 17236 30500 0 -1 1077944384 1392 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140244208126224 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17291] ppid=17233 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/17236/task/17291/stat : 17291 (java) S 17233 17236 30500 0 -1 1077944384 2506 12406 0 0 12 0 5 3 20 0 15 0 47490899 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243527469936 140244610886274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17292] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17292/stat : 17292 (java) S 17233 17236 30500 0 -1 1077944384 58 12406 0 0 0 0 5 3 20 0 15 0 47490900 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243526415968 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17293] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17293/stat : 17293 (java) S 17233 17236 30500 0 -1 1077944384 46 12406 0 0 0 0 5 3 20 0 15 0 47490900 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243525363072 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17294] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17294/stat : 17294 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243524311376 140244610893723 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17295] ppid=17233 vsize=14069564 CPUtime=3.45 cores=0,2,4,6
/proc/17236/task/17295/stat : 17295 (java) S 17233 17236 30500 0 -1 1077944384 8047 12406 0 0 336 1 5 3 20 0 15 0 47490903 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243523258736 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17296] ppid=17233 vsize=14069564 CPUtime=3.57 cores=0,2,4,6
/proc/17236/task/17296/stat : 17296 (java) S 17233 17236 30500 0 -1 1077944384 11365 12406 0 0 347 2 5 3 20 0 15 0 47490903 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243522205936 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17297] ppid=17233 vsize=14069564 CPUtime=1.75 cores=0,2,4,6
/proc/17236/task/17297/stat : 17297 (java) S 17233 17236 30500 0 -1 1077944384 7777 12406 0 0 165 2 5 3 20 0 15 0 47490903 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243521153136 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17298] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17298/stat : 17298 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243520100576 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17299] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17299/stat : 17299 (java) S 17233 17236 30500 0 -1 1077944384 373 12406 0 0 0 0 5 3 20 0 15 0 47490907 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243519048880 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
Current children cumulated CPU time (s) 16.29
Current children cumulated vsize (KiB) 14069564
[startup+8.20073 s]
/proc/loadavg: 1.81 1.73 1.67 5/216 17299
/proc/meminfo: memFree=29900788/32770624 swapFree=0/297952
[pid=17236] ppid=17233 vsize=14069564 CPUtime=16.5 cores=0,2,4,6
/proc/17236/stat : 17236 (java) S 17233 17236 30500 0 -1 1077944320 86585 12406 0 0 1615 27 5 3 20 0 15 0 47490877 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140730665022224 140244610875127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
/proc/17236/statm: 3517391 116844 3482 1 0 3506005 0
[pid=17236/tid=17286] ppid=17233 vsize=14069564 CPUtime=7.32 cores=0,2,4,6
/proc/17236/task/17286/stat : 17286 (java) R 17233 17236 30500 0 -1 4202560 52309 12406 0 0 709 15 5 3 20 0 15 0 47490897 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140244615106248 140244267179241 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17287] ppid=17233 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/17236/task/17287/stat : 17287 (java) S 17233 17236 30500 0 -1 1077944384 315 12406 0 0 9 0 5 3 20 0 15 0 47490898 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140244211284624 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17288] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17288/stat : 17288 (java) S 17233 17236 30500 0 -1 1077944384 132 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140244210231824 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17289] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17289/stat : 17289 (java) S 17233 17236 30500 0 -1 1077944384 102 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140244209179024 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17290] ppid=17233 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/17236/task/17290/stat : 17290 (java) S 17233 17236 30500 0 -1 1077944384 1392 12406 0 0 10 0 5 3 20 0 15 0 47490898 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140244208126224 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17291] ppid=17233 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/17236/task/17291/stat : 17291 (java) S 17233 17236 30500 0 -1 1077944384 2506 12406 0 0 12 0 5 3 20 0 15 0 47490899 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243527469936 140244610886274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17292] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17292/stat : 17292 (java) S 17233 17236 30500 0 -1 1077944384 58 12406 0 0 0 0 5 3 20 0 15 0 47490900 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243526415968 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17293] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17293/stat : 17293 (java) S 17233 17236 30500 0 -1 1077944384 46 12406 0 0 0 0 5 3 20 0 15 0 47490900 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243525363072 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17294] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17294/stat : 17294 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243524311376 140244610893723 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17295] ppid=17233 vsize=14069564 CPUtime=3.45 cores=0,2,4,6
/proc/17236/task/17295/stat : 17295 (java) S 17233 17236 30500 0 -1 1077944384 8047 12406 0 0 336 1 5 3 20 0 15 0 47490903 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243523258736 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17296] ppid=17233 vsize=14069564 CPUtime=3.58 cores=0,2,4,6
/proc/17236/task/17296/stat : 17296 (java) S 17233 17236 30500 0 -1 1077944384 11368 12406 0 0 348 2 5 3 20 0 15 0 47490903 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243522205936 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17297] ppid=17233 vsize=14069564 CPUtime=1.75 cores=0,2,4,6
/proc/17236/task/17297/stat : 17297 (java) S 17233 17236 30500 0 -1 1077944384 7777 12406 0 0 165 2 5 3 20 0 15 0 47490903 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243521153136 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17298] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17298/stat : 17298 (java) S 17233 17236 30500 0 -1 1077944384 3 12406 0 0 0 0 5 3 20 0 15 0 47490903 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243520100576 140244610885333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
[pid=17236/tid=17299] ppid=17233 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/17236/task/17299/stat : 17299 (java) S 17233 17236 30500 0 -1 1077944384 373 12406 0 0 0 0 5 3 20 0 15 0 47490907 14407233536 116844 18446744073709551615 4194304 4196468 140730665039680 140243519048880 140244610886274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 24854528 140730665048019 140730665050804 140730665050804 140730665054159 0
Current children cumulated CPU time (s) 16.5
Current children cumulated vsize (KiB) 14069564
Child status: 0
Real time (s): 8.29352
CPU time (s): 16.61
CPU user time (s): 16.2931
CPU system time (s): 0.31686
CPU usage (%): 200.277
Max. virtual memory (cumulated for all children) (KiB): 14071664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.2931
system time used= 0.31686
maximum resident set size= 468008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100055
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7666
involuntary context switches= 759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042369 second user time and 0.05912 second system time
The end