runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457159-1307217667/watcher-3457159-1307217667 -o /tmp/evaluation-result-3457159-1307217667/solver-3457159-1307217667 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457159-1307217667.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.01 1.70 3/544 13623
/proc/meminfo: memFree=21841752/32951124 swapFree=64303760/67111528
[pid=13623] ppid=13621 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13623/stat : 13623 (java) S 13621 13623 13318 0 -1 4202496 4506 0 1 0 0 0 0 0 22 0 2 0 814182524 10694979584 4209 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/13623/statm: 2611079 4222 917 9 0 2602235 0
[pid=13623/tid=13624] ppid=13621 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13624/stat : 13624 (java) R 13621 13623 13318 0 -1 4202560 7976 0 1 0 0 0 0 0 24 0 2 0 814182524 10694979584 8792 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.110617 s]
/proc/loadavg: 1.93 2.01 1.70 3/544 13623
/proc/meminfo: memFree=21841752/32951124 swapFree=64303760/67111528
[pid=13623] ppid=13621 vsize=10539884 CPUtime=0.12 cores=0,2,4,6
/proc/13623/stat : 13623 (java) S 13621 13623 13318 0 -1 4202496 13298 0 1 0 10 2 0 0 22 0 18 0 814182524 10792841216 12974 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13623/statm: 2634971 12974 2125 9 0 2625705 0
[pid=13623/tid=13624] ppid=13621 vsize=10539884 CPUtime=0.09 cores=0,2,4,6
/proc/13623/task/13624/stat : 13624 (java) R 13621 13623 13318 0 -1 4202560 11276 0 1 0 8 1 0 0 25 0 18 0 814182524 10792841216 12974 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522124235 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539884
[startup+0.200646 s]
/proc/loadavg: 1.93 2.01 1.70 3/544 13623
/proc/meminfo: memFree=21841752/32951124 swapFree=64303760/67111528
[pid=13623] ppid=13621 vsize=10540284 CPUtime=0.29 cores=0,2,4,6
/proc/13623/stat : 13623 (java) S 13621 13623 13318 0 -1 4202496 14313 0 1 0 27 2 0 0 22 0 18 0 814182524 10793250816 13829 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13623/statm: 2635071 13829 2184 9 0 2625805 0
[pid=13623/tid=13624] ppid=13621 vsize=10540284 CPUtime=0.18 cores=0,2,4,6
/proc/13623/task/13624/stat : 13624 (java) R 13621 13623 13318 0 -1 4202560 11917 0 1 0 17 1 0 0 25 0 18 0 814182524 10793250816 13829 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 46912505537453 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540284
[startup+0.322814 s]
/proc/loadavg: 1.93 2.01 1.70 3/544 13623
/proc/meminfo: memFree=21841752/32951124 swapFree=64303760/67111528
[pid=13623] ppid=13621 vsize=10542964 CPUtime=0.63 cores=0,2,4,6
/proc/13623/stat : 13623 (java) S 13621 13623 13318 0 -1 4202496 17815 0 1 0 60 3 0 0 22 0 19 0 814182524 10795995136 16601 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13623/statm: 2635741 16601 2216 9 0 2626475 0
[pid=13623/tid=13624] ppid=13621 vsize=10542964 CPUtime=0.3 cores=0,2,4,6
/proc/13623/task/13624/stat : 13624 (java) R 13621 13623 13318 0 -1 4202560 13776 0 1 0 28 2 0 0 19 0 19 0 814182524 10795995136 16601 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 46912505164270 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10542964
[startup+0.700535 s]
/proc/loadavg: 1.93 2.01 1.70 3/544 13623
/proc/meminfo: memFree=21841752/32951124 swapFree=64303760/67111528
[pid=13623] ppid=13621 vsize=10552292 CPUtime=1.71 cores=0,2,4,6
/proc/13623/stat : 13623 (java) S 13621 13623 13318 0 -1 4202496 32404 0 1 0 165 6 0 0 22 0 19 0 814182524 10805547008 27149 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13623/statm: 2638073 27150 2229 9 0 2628807 0
[pid=13623/tid=13624] ppid=13621 vsize=10552292 CPUtime=0.68 cores=0,2,4,6
/proc/13623/task/13624/stat : 13624 (java) R 13621 13623 13318 0 -1 4202560 19693 0 1 0 65 3 0 0 18 0 19 0 814182524 10805547008 27151 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 46912505711103 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10552292
[startup+1.50139 s]
/proc/loadavg: 1.93 2.01 1.70 5/563 13642
/proc/meminfo: memFree=21320020/32951124 swapFree=64303760/67111528
[pid=13623] ppid=13621 vsize=10552292 CPUtime=2.63 cores=0,2,4,6
/proc/13623/stat : 13623 (java) S 13621 13623 13318 0 -1 4202496 59538 0 1 0 253 10 0 0 22 0 19 0 814182524 10805547008 54076 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13623/statm: 2638073 54077 2231 9 0 2628807 0
[pid=13623/tid=13624] ppid=13621 vsize=10552292 CPUtime=1.48 cores=0,2,4,6
/proc/13623/task/13624/stat : 13624 (java) R 13621 13623 13318 0 -1 4202560 46802 0 1 0 141 7 0 0 18 0 19 0 814182524 10805547008 54079 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 46912505711089 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13623/tid=13626] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13626/stat : 13626 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 54080 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13627] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13627/stat : 13627 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 54080 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13628] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13628/stat : 13628 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 54081 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13629] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13629/stat : 13629 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 54082 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13630] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13630/stat : 13630 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 54083 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13631] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13631/stat : 13631 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 54085 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13632] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13632/stat : 13632 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 54086 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13633] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13633/stat : 13633 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 54086 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13634] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13634/stat : 13634 (java) S 13621 13623 13318 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814182527 10805547008 54087 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 0 0 16800975 18446604442208171840 0 0 -1 4 0 0 0
[pid=13623/tid=13635] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13635/stat : 13635 (java) S 13621 13623 13318 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814182527 10805547008 54088 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13636] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13636/stat : 13636 (java) S 13621 13623 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182527 10805547008 54089 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13637] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13637/stat : 13637 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182529 10805547008 54090 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522121137 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13638] ppid=13621 vsize=10552292 CPUtime=0.61 cores=0,2,4,6
/proc/13623/task/13638/stat : 13638 (java) S 13621 13623 13318 0 -1 4202560 6504 0 0 0 60 1 0 0 25 0 19 0 814182529 10805547008 54091 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 0 0 0 0
[pid=13623/tid=13639] ppid=13621 vsize=10552292 CPUtime=0.52 cores=0,2,4,6
/proc/13623/task/13639/stat : 13639 (java) S 13621 13623 13318 0 -1 4202560 5075 0 0 0 51 1 0 0 15 0 19 0 814182529 10805547008 54092 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 4 0 0 0
[pid=13623/tid=13640] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13640/stat : 13640 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182529 10805547008 54092 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13641] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13641/stat : 13641 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814182529 10805547008 54093 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 4 0 16800975 18446604442208171840 0 0 -1 0 0 0 0
[pid=13623/tid=13642] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13642/stat : 13642 (java) S 13621 13623 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182553 10805547008 54094 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 4 0 16800975 18446604442208171840 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10552292
[startup+3.10111 s]
/proc/loadavg: 1.93 2.01 1.70 5/563 13642
/proc/meminfo: memFree=20800760/32951124 swapFree=64303760/67111528
[pid=13623] ppid=13621 vsize=10552292 CPUtime=4.29 cores=0,2,4,6
/proc/13623/stat : 13623 (java) S 13621 13623 13318 0 -1 4202496 115165 0 1 0 414 15 0 0 22 0 19 0 814182524 10805547008 109702 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13623/statm: 2638073 109702 2233 9 0 2628807 0
[pid=13623/tid=13624] ppid=13621 vsize=10552292 CPUtime=3.08 cores=0,2,4,6
/proc/13623/task/13624/stat : 13624 (java) R 13621 13623 13318 0 -1 4202560 102416 0 1 0 295 13 0 0 19 0 19 0 814182524 10805547008 109703 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13623/tid=13626] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13626/stat : 13626 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 109703 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13627] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13627/stat : 13627 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 109703 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13628] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13628/stat : 13628 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 109704 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13629] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13629/stat : 13629 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 109704 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13630] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13630/stat : 13630 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 109704 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13631] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13631/stat : 13631 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 109705 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13632] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13632/stat : 13632 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 109705 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13633] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13633/stat : 13633 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 109705 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13634] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13634/stat : 13634 (java) S 13621 13623 13318 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814182527 10805547008 109707 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 0 0 16800975 18446604442208171840 0 0 -1 4 0 0 0
[pid=13623/tid=13635] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13635/stat : 13635 (java) S 13621 13623 13318 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814182527 10805547008 109711 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13636] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13636/stat : 13636 (java) S 13621 13623 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182527 10805547008 109715 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13637] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13637/stat : 13637 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182529 10805547008 109718 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522121137 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13638] ppid=13621 vsize=10552292 CPUtime=0.67 cores=0,2,4,6
/proc/13623/task/13638/stat : 13638 (java) S 13621 13623 13318 0 -1 4202560 6515 0 0 0 66 1 0 0 15 0 19 0 814182529 10805547008 109718 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 0 0 0 0
[pid=13623/tid=13639] ppid=13621 vsize=10552292 CPUtime=0.53 cores=0,2,4,6
/proc/13623/task/13639/stat : 13639 (java) S 13621 13623 13318 0 -1 4202560 5075 0 0 0 52 1 0 0 15 0 19 0 814182529 10805547008 109720 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 4 0 0 0
[pid=13623/tid=13640] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13640/stat : 13640 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182529 10805547008 109722 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13641] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13641/stat : 13641 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814182529 10805547008 109723 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13642] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13642/stat : 13642 (java) S 13621 13623 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182553 10805547008 109724 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 4 0 16800975 18446604442208171840 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 10552292
[startup+6.30153 s]
/proc/loadavg: 2.01 2.02 1.71 7/563 13642
/proc/meminfo: memFree=19293068/32951124 swapFree=64303760/67111528
[pid=13623] ppid=13621 vsize=10552292 CPUtime=7.68 cores=0,2,4,6
/proc/13623/stat : 13623 (java) S 13621 13623 13318 0 -1 4202496 247075 0 1 0 738 30 0 0 22 0 19 0 814182524 10805547008 241342 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13623/statm: 2638073 241343 2234 9 0 2628807 0
[pid=13623/tid=13624] ppid=13621 vsize=10552292 CPUtime=6.28 cores=0,2,4,6
/proc/13623/task/13624/stat : 13624 (java) R 13621 13623 13318 0 -1 4202560 234038 0 1 0 601 27 0 0 21 0 19 0 814182524 10805547008 241344 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 46912505778439 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13623/tid=13626] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13626/stat : 13626 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 241345 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13627] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13627/stat : 13627 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 241346 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13628] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13628/stat : 13628 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 241347 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13629] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13629/stat : 13629 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 241348 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13630] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13630/stat : 13630 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 241349 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13631] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13631/stat : 13631 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 241350 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13632] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13632/stat : 13632 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 241351 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13633] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13633/stat : 13633 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 241352 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13634] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13634/stat : 13634 (java) S 13621 13623 13318 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814182527 10805547008 241353 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 0 0 16800975 18446604442208171840 0 0 -1 4 0 0 0
[pid=13623/tid=13635] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13635/stat : 13635 (java) S 13621 13623 13318 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814182527 10805547008 241355 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13636] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13636/stat : 13636 (java) S 13621 13623 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182527 10805547008 241356 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13637] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13637/stat : 13637 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182529 10805547008 241357 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522121137 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13638] ppid=13621 vsize=10552292 CPUtime=0.71 cores=0,2,4,6
/proc/13623/task/13638/stat : 13638 (java) S 13621 13623 13318 0 -1 4202560 6525 0 0 0 70 1 0 0 16 0 19 0 814182529 10805547008 241358 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 0 0 0 0
[pid=13623/tid=13639] ppid=13621 vsize=10552292 CPUtime=0.68 cores=0,2,4,6
/proc/13623/task/13639/stat : 13639 (java) S 13621 13623 13318 0 -1 4202560 5353 0 0 0 67 1 0 0 15 0 19 0 814182529 10805547008 241359 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 4 0 0 0
[pid=13623/tid=13640] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13640/stat : 13640 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182529 10805547008 241360 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13641] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13641/stat : 13641 (java) S 13621 13623 13318 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 814182529 10805547008 241361 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13642] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13642/stat : 13642 (java) S 13621 13623 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182553 10805547008 241362 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 4 0 16800975 18446604442208171840 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 10552292
Solver just ended. Dumping a history of the last processes samples
[startup+6.40152 s]
/proc/loadavg: 2.01 2.02 1.71 7/563 13642
/proc/meminfo: memFree=19293068/32951124 swapFree=64303760/67111528
[pid=13623] ppid=13621 vsize=10552292 CPUtime=7.78 cores=0,2,4,6
/proc/13623/stat : 13623 (java) S 13621 13623 13318 0 -1 4202496 251597 0 1 0 748 30 0 0 22 0 19 0 814182524 10805547008 245865 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13623/statm: 2638073 245868 2234 9 0 2628807 0
[pid=13623/tid=13624] ppid=13621 vsize=10552292 CPUtime=6.38 cores=0,2,4,6
/proc/13623/task/13624/stat : 13624 (java) R 13621 13623 13318 0 -1 4202560 238564 0 1 0 611 27 0 0 21 0 19 0 814182524 10805547008 245870 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 46912505711146 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13623/tid=13626] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13626/stat : 13626 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 245871 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13627] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13627/stat : 13627 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 245872 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13628] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13628/stat : 13628 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 245873 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13629] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13629/stat : 13629 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 245875 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13630] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13630/stat : 13630 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 245875 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13631] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13631/stat : 13631 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 245877 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13632] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13632/stat : 13632 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 245878 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13633] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13633/stat : 13633 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182526 10805547008 245879 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13634] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13634/stat : 13634 (java) S 13621 13623 13318 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814182527 10805547008 245880 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 0 0 16800975 18446604442208171840 0 0 -1 4 0 0 0
[pid=13623/tid=13635] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13635/stat : 13635 (java) S 13621 13623 13318 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814182527 10805547008 245881 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13636] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13636/stat : 13636 (java) S 13621 13623 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182527 10805547008 245882 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13637] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13637/stat : 13637 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182529 10805547008 245883 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522121137 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13638] ppid=13621 vsize=10552292 CPUtime=0.71 cores=0,2,4,6
/proc/13623/task/13638/stat : 13638 (java) S 13621 13623 13318 0 -1 4202560 6525 0 0 0 70 1 0 0 16 0 19 0 814182529 10805547008 245884 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 0 0 0 0
[pid=13623/tid=13639] ppid=13621 vsize=10552292 CPUtime=0.68 cores=0,2,4,6
/proc/13623/task/13639/stat : 13639 (java) S 13621 13623 13318 0 -1 4202560 5353 0 0 0 67 1 0 0 15 0 19 0 814182529 10805547008 245885 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 4 0 0 0
[pid=13623/tid=13640] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13640/stat : 13640 (java) S 13621 13623 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182529 10805547008 245886 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522113433 0 4 0 16800975 18446604442208171840 0 0 -1 2 0 0 0
[pid=13623/tid=13641] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13641/stat : 13641 (java) S 13621 13623 13318 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 814182529 10805547008 245887 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 4 0 16800975 18446604442208171840 0 0 -1 6 0 0 0
[pid=13623/tid=13642] ppid=13621 vsize=10552292 CPUtime=0 cores=0,2,4,6
/proc/13623/task/13642/stat : 13642 (java) S 13621 13623 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182553 10805547008 245888 33554432000 1073741824 1073778376 140734749689376 18446744073709551615 233522114048 0 4 0 16800975 18446604442208171840 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 10552292
[startup+6.60146 s]
/proc/loadavg: 2.01 2.02 1.71 5/546 13643
/proc/meminfo: memFree=19611760/32951124 swapFree=64303760/67111528
[pid=13623] ppid=13621 vsize=0 CPUtime=8 cores=0,2,4,6
/proc/13623/stat : 13623 (java) Z 13621 13623 13318 0 -1 4203548 258412 0 1 0 765 35 0 0 18 0 2 0 814182524 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13623/statm: 0 0 0 0 0 0 0
[pid=13623/tid=13633] ppid=13621 vsize=0 CPUtime=0.04 cores=0,2,4,6
/proc/13623/task/13633/stat : 13633 (java) R 13621 13623 13318 0 -1 4203588 1 0 0 0 0 4 0 0 18 0 2 0 814182526 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 6.62636
CPU time (s): 8.01778
CPU user time (s): 7.65384
CPU system time (s): 0.363944
CPU usage (%): 120.998
Max. virtual memory (cumulated for all children) (KiB): 10552292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.65384
system time used= 0.363944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258412
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= 365
involuntary context switches= 31
runsolver used 0.041993 second user time and 0.094985 second system time
The end