runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3500169-1307992163/watcher-3500169-1307992163 -o /tmp/evaluation-result-3500169-1307992163/solver-3500169-1307992163 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500169-1307992163.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 4.00 3.67 1/172 13597
/proc/meminfo: memFree=32200300/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=136668 CPUtime=0 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 917 0 0 0 0 0 0 0 25 0 3 0 910818689 139948032 849 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 34167 856 178 372 0 33792 0
[pid=13597/tid=13598] ppid=13595 vsize=136668 CPUtime=0 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 126 0 0 0 0 0 0 0 18 0 3 0 910818689 139948032 908 33554432000 4194304 5714118 140733630628736 18446744073709551615 5013131 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=136668 CPUtime=0 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 460 0 0 0 0 0 0 0 25 0 3 0 910818689 139948032 915 33554432000 4194304 5714118 140733630628736 18446744073709551615 4315361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.0954581 s]
/proc/loadavg: 4.00 4.00 3.67 1/172 13597
/proc/meminfo: memFree=32200300/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=144068 CPUtime=0.18 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 4970 0 0 0 16 2 0 0 25 0 3 0 910818689 147525632 4893 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 36017 4893 179 372 0 35642 0
[pid=13597/tid=13598] ppid=13595 vsize=144068 CPUtime=0.08 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 309 0 0 0 8 0 0 0 18 0 3 0 910818689 147525632 4893 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=144068 CPUtime=0.08 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 4264 0 0 0 7 1 0 0 18 0 3 0 910818689 147525632 4893 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 144068
[startup+0.100473 s]
/proc/loadavg: 4.00 4.00 3.67 1/172 13597
/proc/meminfo: memFree=32200300/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=144068 CPUtime=0.19 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 4996 0 0 0 17 2 0 0 25 0 3 0 910818689 147525632 4919 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 36017 4919 179 372 0 35642 0
[pid=13597/tid=13598] ppid=13595 vsize=144068 CPUtime=0.09 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 334 0 0 0 9 0 0 0 18 0 3 0 910818689 147525632 4919 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=144068 CPUtime=0.09 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 4265 0 0 0 8 1 0 0 18 0 3 0 910818689 147525632 4919 33554432000 4194304 5714118 140733630628736 18446744073709551615 4305716 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 144068
[startup+0.30042 s]
/proc/loadavg: 4.00 4.00 3.67 1/172 13597
/proc/meminfo: memFree=32200300/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=144068 CPUtime=0.58 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 5447 0 0 0 54 4 0 0 25 0 3 0 910818689 147525632 5370 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 36017 5370 179 372 0 35642 0
[pid=13597/tid=13598] ppid=13595 vsize=144068 CPUtime=0.28 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 591 0 0 0 26 2 0 0 18 0 3 0 910818689 147525632 5370 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=144068 CPUtime=0.28 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 4459 0 0 0 27 1 0 0 18 0 3 0 910818689 147525632 5370 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 144068
[startup+0.700342 s]
/proc/loadavg: 4.00 4.00 3.67 1/172 13597
/proc/meminfo: memFree=32200300/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=144200 CPUtime=1.38 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 6129 0 0 0 130 8 0 0 25 0 3 0 910818689 147660800 6052 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 36050 6052 179 372 0 35675 0
[pid=13597/tid=13598] ppid=13595 vsize=144200 CPUtime=0.69 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 847 0 0 0 63 6 0 0 18 0 3 0 910818689 147660800 6052 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=144200 CPUtime=0.69 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 4885 0 0 0 67 2 0 0 18 0 3 0 910818689 147660800 6052 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 144200
[startup+1.5012 s]
/proc/loadavg: 4.00 4.00 3.67 5/182 13658
/proc/meminfo: memFree=32107220/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=144608 CPUtime=2.98 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 7986 0 0 0 285 13 0 0 25 0 3 0 910818689 148078592 7909 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 36152 7909 179 372 0 35777 0
[pid=13597/tid=13598] ppid=13595 vsize=144608 CPUtime=1.49 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 1688 0 0 0 140 9 0 0 19 0 3 0 910818689 148078592 7909 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=144608 CPUtime=1.49 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 5901 0 0 0 145 4 0 0 20 0 3 0 910818689 148078592 7909 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 144608
[startup+3.10089 s]
/proc/loadavg: 4.00 4.00 3.67 5/182 13698
/proc/meminfo: memFree=32024692/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=144596 CPUtime=6.18 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 8567 0 0 0 594 24 0 0 25 0 3 0 910818689 148066304 8461 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 36149 8461 179 372 0 35774 0
[pid=13597/tid=13598] ppid=13595 vsize=144596 CPUtime=3.08 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 2221 0 0 0 291 17 0 0 25 0 3 0 910818689 148066304 8461 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=144596 CPUtime=3.09 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 5949 0 0 0 302 7 0 0 25 0 3 0 910818689 148066304 8461 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 144596
[startup+6.30028 s]
/proc/loadavg: 4.00 4.00 3.67 5/182 13698
/proc/meminfo: memFree=32006588/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=145356 CPUtime=12.58 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 11368 0 0 0 1219 39 0 0 25 0 3 0 910818689 148844544 11262 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 36339 11262 180 372 0 35964 0
[pid=13597/tid=13598] ppid=13595 vsize=145356 CPUtime=6.29 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 3430 0 0 0 602 27 0 0 25 0 3 0 910818689 148844544 11262 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=145356 CPUtime=6.28 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 7542 0 0 0 617 11 0 0 25 0 3 0 910818689 148844544 11263 33554432000 4194304 5714118 140733630628736 18446744073709551615 4977292 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 145356
[startup+12.7011 s]
/proc/loadavg: 4.00 4.00 3.67 5/182 13698
/proc/meminfo: memFree=31973944/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=145768 CPUtime=25.38 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 14153 0 0 0 2475 63 0 0 25 0 3 0 910818689 149266432 14008 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 36442 14008 180 372 0 36067 0
[pid=13597/tid=13598] ppid=13595 vsize=145768 CPUtime=12.69 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 6087 0 0 0 1223 46 0 0 25 0 3 0 910818689 149266432 14008 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=145768 CPUtime=12.69 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 7669 0 0 0 1252 17 0 0 25 0 3 0 910818689 149266432 14008 33554432000 4194304 5714118 140733630628736 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 145768
[startup+25.5007 s]
/proc/loadavg: 4.00 4.00 3.68 5/182 13699
/proc/meminfo: memFree=31940224/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=146612 CPUtime=50.98 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 18228 0 0 0 4994 104 0 0 25 0 3 0 910818689 150130688 18083 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 36653 18083 180 372 0 36278 0
[pid=13597/tid=13598] ppid=13595 vsize=146612 CPUtime=25.48 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 6333 0 0 0 2472 76 0 0 25 0 3 0 910818689 150130688 18083 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=146612 CPUtime=25.49 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 11498 0 0 0 2522 27 0 0 25 0 3 0 910818689 150130688 18083 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319826 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 146612
[startup+51.1008 s]
/proc/loadavg: 4.00 4.00 3.69 5/182 13699
/proc/meminfo: memFree=31859044/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=148080 CPUtime=102.18 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 30749 0 0 0 10062 156 0 0 25 0 3 0 910818689 151633920 30604 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 37020 30604 180 372 0 36645 0
[pid=13597/tid=13598] ppid=13595 vsize=148080 CPUtime=51.08 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 13999 0 0 0 4992 116 0 0 25 0 3 0 910818689 151633920 30604 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=148080 CPUtime=51.09 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 16353 0 0 0 5069 40 0 0 25 0 3 0 910818689 151633920 30604 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 148080
[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.70 5/182 13701
/proc/meminfo: memFree=31726800/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=214652 CPUtime=204.59 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 44897 0 0 0 20226 233 0 0 25 0 3 0 910818689 219803648 44752 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 53663 44752 180 372 0 53288 0
[pid=13597/tid=13598] ppid=13595 vsize=214652 CPUtime=102.29 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 26777 0 0 0 10055 174 0 0 25 0 3 0 910818689 219803648 44752 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=214652 CPUtime=102.29 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 17723 0 0 0 10170 59 0 0 25 0 3 0 910818689 219803648 44752 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 214652
[startup+162.301 s]
/proc/loadavg: 4.00 4.00 3.72 5/182 13702
/proc/meminfo: memFree=31553276/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=347832 CPUtime=324.59 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 64302 0 0 0 32137 322 0 0 25 0 3 0 910818689 356179968 64157 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 86958 64157 180 372 0 86583 0
[pid=13597/tid=13598] ppid=13595 vsize=347832 CPUtime=162.28 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 40663 0 0 0 15982 246 0 0 25 0 3 0 910818689 356179968 64157 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=347832 CPUtime=162.29 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 23242 0 0 0 16154 75 0 0 25 0 3 0 910818689 356179968 64157 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 347832
[startup+222.3 s]
/proc/loadavg: 4.07 4.02 3.74 5/182 13704
/proc/meminfo: memFree=31367220/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=415296 CPUtime=444.58 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 83589 0 0 0 44061 397 0 0 25 0 3 0 910818689 425263104 83443 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 103824 83443 180 372 0 103449 0
[pid=13597/tid=13598] ppid=13595 vsize=415296 CPUtime=222.28 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 52279 0 0 0 21922 306 0 0 25 0 3 0 910818689 425263104 83443 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=415296 CPUtime=222.29 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 30913 0 0 0 22139 90 0 0 25 0 3 0 910818689 425263104 83443 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 415296
[startup+282.301 s]
/proc/loadavg: 4.02 4.01 3.75 5/182 13706
/proc/meminfo: memFree=31194924/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=481772 CPUtime=564.59 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 99429 0 0 0 55986 473 0 0 25 0 3 0 910818689 493334528 99283 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 120443 99283 180 372 0 120068 0
[pid=13597/tid=13598] ppid=13595 vsize=481772 CPUtime=282.29 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 66036 0 0 0 27858 371 0 0 25 0 3 0 910818689 493334528 99283 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=481772 CPUtime=282.3 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 32996 0 0 0 28128 102 0 0 25 0 3 0 910818689 493334528 99283 33554432000 4194304 5714118 140733630628736 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 481772
[startup+342.301 s]
/proc/loadavg: 4.01 4.00 3.76 5/182 13707
/proc/meminfo: memFree=31102232/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=482972 CPUtime=684.59 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 108786 0 0 0 67928 531 0 0 25 0 3 0 910818689 494563328 108639 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 120743 108639 180 372 0 120368 0
[pid=13597/tid=13598] ppid=13595 vsize=482972 CPUtime=342.28 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 75117 0 0 0 33810 418 0 0 25 0 3 0 910818689 494563328 108639 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=482972 CPUtime=342.29 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 33272 0 0 0 34117 112 0 0 25 0 3 0 910818689 494563328 108639 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 482972
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.77 5/182 13709
/proc/meminfo: memFree=31007188/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=549220 CPUtime=804.6 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 119565 0 0 0 79874 586 0 0 25 0 3 0 910818689 562401280 119418 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 137305 119418 180 372 0 136930 0
[pid=13597/tid=13598] ppid=13595 vsize=549220 CPUtime=402.29 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 85732 0 0 0 39763 466 0 0 25 0 3 0 910818689 562401280 119418 33554432000 4194304 5714118 140733630628736 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=549220 CPUtime=402.29 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 33436 0 0 0 40110 119 0 0 25 0 3 0 910818689 562401280 119418 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 549220
[startup+462.301 s]
/proc/loadavg: 4.05 4.01 3.79 5/182 13710
/proc/meminfo: memFree=30894304/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=617448 CPUtime=924.61 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 132875 0 0 0 91815 646 0 0 25 0 3 0 910818689 632266752 132728 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 154362 132728 180 372 0 153987 0
[pid=13597/tid=13598] ppid=13595 vsize=617448 CPUtime=462.3 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 94218 0 0 0 45716 514 0 0 25 0 3 0 910818689 632266752 132728 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=617448 CPUtime=462.3 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 38260 0 0 0 46098 132 0 0 25 0 3 0 910818689 632266752 132728 33554432000 4194304 5714118 140733630628736 18446744073709551615 4347147 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 617448
[startup+522.301 s]
/proc/loadavg: 4.02 4.01 3.80 5/182 13712
/proc/meminfo: memFree=30827548/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=683424 CPUtime=1044.61 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 142863 0 0 0 103754 707 0 0 25 0 3 0 910818689 699826176 142716 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 170856 142716 180 372 0 170481 0
[pid=13597/tid=13598] ppid=13595 vsize=683424 CPUtime=522.29 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 104105 0 0 0 51664 565 0 0 25 0 3 0 910818689 699826176 142716 33554432000 4194304 5714118 140733630628736 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=683424 CPUtime=522.31 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 38361 0 0 0 52090 141 0 0 25 0 3 0 910818689 699826176 142716 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 683424
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.81 5/182 13714
/proc/meminfo: memFree=30767456/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=749416 CPUtime=1164.62 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 152263 0 0 0 115697 765 0 0 25 0 3 0 910818689 767401984 152116 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 187354 152116 180 372 0 186979 0
[pid=13597/tid=13598] ppid=13595 vsize=749416 CPUtime=582.3 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 113398 0 0 0 57614 616 0 0 25 0 3 0 910818689 767401984 152116 33554432000 4194304 5714118 140733630628736 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=749416 CPUtime=582.31 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 38468 0 0 0 58082 149 0 0 25 0 3 0 910818689 767401984 152116 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319192 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 749416
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.82 5/182 13715
/proc/meminfo: memFree=30696480/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=750396 CPUtime=1284.63 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 163786 0 0 0 127631 832 0 0 25 0 3 0 910818689 768405504 163639 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 187599 163639 180 372 0 187224 0
[pid=13597/tid=13598] ppid=13595 vsize=750396 CPUtime=642.3 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 124708 0 0 0 63554 676 0 0 25 0 3 0 910818689 768405504 163639 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=750396 CPUtime=642.31 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 38681 0 0 0 64076 155 0 0 25 0 3 0 910818689 768405504 163639 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 750396
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.83 5/182 13717
/proc/meminfo: memFree=30643088/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=817736 CPUtime=1404.62 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 171701 0 0 0 139580 882 0 0 25 0 3 0 910818689 837361664 171552 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 204434 171552 180 372 0 204059 0
[pid=13597/tid=13598] ppid=13595 vsize=817736 CPUtime=702.3 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 132280 0 0 0 69508 722 0 0 25 0 3 0 910818689 837361664 171552 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=817736 CPUtime=702.31 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 39024 0 0 0 70071 160 0 0 25 0 3 0 910818689 837361664 171552 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 817736
[startup+762.306 s]
/proc/loadavg: 4.04 4.01 3.84 5/182 13718
/proc/meminfo: memFree=30562308/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=818328 CPUtime=1524.64 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 185288 0 0 0 151514 950 0 0 25 0 3 0 910818689 837967872 185139 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 204582 185139 180 372 0 204207 0
[pid=13597/tid=13598] ppid=13595 vsize=818328 CPUtime=762.3 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 142584 0 0 0 75450 780 0 0 25 0 3 0 910818689 837967872 185139 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=818328 CPUtime=762.32 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 42307 0 0 0 76063 169 0 0 25 0 3 0 910818689 837967872 185139 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 818328
[startup+822.301 s]
/proc/loadavg: 4.01 4.01 3.85 5/182 13720
/proc/meminfo: memFree=30435032/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=884376 CPUtime=1644.64 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 195403 0 0 0 163459 1005 0 0 25 0 3 0 910818689 905601024 195254 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 221094 195254 180 372 0 220719 0
[pid=13597/tid=13598] ppid=13595 vsize=884376 CPUtime=822.3 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 152659 0 0 0 81404 826 0 0 25 0 3 0 910818689 905601024 195254 33554432000 4194304 5714118 140733630628736 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=884376 CPUtime=822.32 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 42347 0 0 0 82054 178 0 0 25 0 3 0 910818689 905601024 195254 33554432000 4194304 5714118 140733630628736 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.64
Current children cumulated vsize (KiB) 884376
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.85 5/182 13722
/proc/meminfo: memFree=30404332/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=884900 CPUtime=1764.64 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 202760 0 0 0 175412 1052 0 0 25 0 3 0 910818689 906137600 202610 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 221225 202610 180 372 0 220850 0
[pid=13597/tid=13598] ppid=13595 vsize=884900 CPUtime=882.3 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 159890 0 0 0 87365 865 0 0 25 0 3 0 910818689 906137600 202610 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=884900 CPUtime=882.32 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 42473 0 0 0 88046 186 0 0 25 0 3 0 910818689 906137600 202610 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 884900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 4.00 3.85 5/182 13722
/proc/meminfo: memFree=30398104/32951124 swapFree=67050540/67111528
[pid=13597] ppid=13595 vsize=884900 CPUtime=1800.05 cores=1,3,5,7
/proc/13597/stat : 13597 (pwbo1.1) S 13595 13597 13000 0 -1 4202496 204243 0 0 0 178939 1066 0 0 25 0 3 0 910818689 906137600 204093 33554432000 4194304 5714118 140733630628736 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/13597/statm: 221225 204093 180 372 0 220850 0
[pid=13597/tid=13598] ppid=13595 vsize=884900 CPUtime=900.02 cores=1,3,5,7
/proc/13597/task/13598/stat : 13598 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 161372 0 0 0 89125 877 0 0 25 0 3 0 910818689 906137600 204093 33554432000 4194304 5714118 140733630628736 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=13597/tid=13599] ppid=13595 vsize=884900 CPUtime=900.03 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (pwbo1.1) R 13595 13597 13000 0 -1 4202560 42474 0 0 0 89814 189 0 0 25 0 3 0 910818689 906137600 204093 33554432000 4194304 5714118 140733630628736 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 884900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.043
CPU time (s): 1800.1
CPU user time (s): 1789.41
CPU system time (s): 10.6924
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 884900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.41
system time used= 10.6924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 249
involuntary context switches= 11964
runsolver used 1.46978 second user time and 3.45147 second system time
The end