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-3712768-1338202586/watcher-3712768-1338202586 -o /tmp/evaluation-result-3712768-1338202586/solver-3712768-1338202586 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712768-1338202586.wbo
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: 3.93 3.95 3.95 4/178 21962
/proc/meminfo: memFree=30199124/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 893 0 0 0 0 0 0 0 20 0 3 0 286383126 166387712 842 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40622 842 195 433 0 40186 0
[pid=21962/tid=21963] ppid=21960 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 3 0 286383126 166387712 843 33554432000 4194304 5964478 140734381064384 140326520650840 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 3 0 286383126 166387712 843 33554432000 4194304 5964478 140734381064384 140326510160944 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.0462089 s]
/proc/loadavg: 3.93 3.95 3.95 4/178 21962
/proc/meminfo: memFree=30199124/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 1172 0 0 0 7 1 0 0 20 0 3 0 286383126 166387712 1121 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40622 1121 198 433 0 40186 0
[pid=21962/tid=21963] ppid=21960 vsize=162488 CPUtime=0.03 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 235 0 0 0 3 0 0 0 20 0 3 0 286383126 166387712 1121 33554432000 4194304 5964478 140734381064384 140326520649768 4400090 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162488 CPUtime=0.03 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 152 0 0 0 3 0 0 0 20 0 3 0 286383126 166387712 1121 33554432000 4194304 5964478 140734381064384 140326510160184 4389144 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 162488
[startup+0.100272 s]
/proc/loadavg: 3.93 3.95 3.95 4/178 21962
/proc/meminfo: memFree=30199124/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162488 CPUtime=0.19 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 1456 0 0 0 18 1 0 0 20 0 3 0 286383126 166387712 1405 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40622 1405 198 433 0 40186 0
[pid=21962/tid=21963] ppid=21960 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 401 0 0 0 8 0 0 0 20 0 3 0 286383126 166387712 1405 33554432000 4194304 5964478 140734381064384 140326520649528 4400454 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 270 0 0 0 8 0 0 0 20 0 3 0 286383126 166387712 1406 33554432000 4194304 5964478 140734381064384 140326510159992 4389863 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162488
[startup+0.300233 s]
/proc/loadavg: 3.93 3.95 3.95 4/178 21962
/proc/meminfo: memFree=30199124/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162488 CPUtime=0.59 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 2050 0 0 0 58 1 0 0 20 0 3 0 286383126 166387712 1999 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40622 1999 198 433 0 40186 0
[pid=21962/tid=21963] ppid=21960 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 816 0 0 0 27 1 0 0 20 0 3 0 286383126 166387712 1999 33554432000 4194304 5964478 140734381064384 140326520649712 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 449 0 0 0 28 0 0 0 20 0 3 0 286383126 166387712 1999 33554432000 4194304 5964478 140734381064384 140326510160328 4389464 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 162488
[startup+0.700231 s]
/proc/loadavg: 3.93 3.95 3.95 4/178 21962
/proc/meminfo: memFree=30199124/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162488 CPUtime=1.38 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 2780 0 0 0 137 1 0 0 20 0 3 0 286383126 166387712 2729 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40622 2729 198 433 0 40186 0
[pid=21962/tid=21963] ppid=21960 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 1339 0 0 0 67 1 0 0 20 0 3 0 286383126 166387712 2729 33554432000 4194304 5964478 140734381064384 140326520649720 4392412 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 656 0 0 0 68 0 0 0 20 0 3 0 286383126 166387712 2729 33554432000 4194304 5964478 140734381064384 140326510160176 4378776 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162488
[startup+1.50024 s]
/proc/loadavg: 3.93 3.95 3.95 5/181 21965
/proc/meminfo: memFree=30186940/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162632 CPUtime=2.99 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 3525 0 0 0 297 2 0 0 20 0 3 0 286383126 166535168 3474 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40658 3474 198 433 0 40222 0
[pid=21962/tid=21963] ppid=21960 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 1835 0 0 0 146 2 0 0 20 0 3 0 286383126 166535168 3474 33554432000 4194304 5964478 140734381064384 140326520649528 5179243 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 905 0 0 0 148 0 0 0 20 0 3 0 286383126 166535168 3474 33554432000 4194304 5964478 140734381064384 140326510160232 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 162632
[startup+3.10025 s]
/proc/loadavg: 3.93 3.95 3.95 5/181 21965
/proc/meminfo: memFree=30183452/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162908 CPUtime=6.19 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 4653 0 0 0 616 3 0 0 20 0 3 0 286383126 166817792 4602 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40727 4602 198 433 0 40291 0
[pid=21962/tid=21963] ppid=21960 vsize=162908 CPUtime=3.07 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 2646 0 0 0 305 2 0 0 20 0 3 0 286383126 166817792 4602 33554432000 4194304 5964478 140734381064384 140326520649528 4399959 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162908 CPUtime=3.07 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 1222 0 0 0 307 0 0 0 20 0 3 0 286383126 166817792 4602 33554432000 4194304 5964478 140734381064384 140326510160232 4399884 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 162908
[startup+6.30027 s]
/proc/loadavg: 3.93 3.95 3.95 5/180 21965
/proc/meminfo: memFree=30175276/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162980 CPUtime=12.58 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 6823 0 0 0 1255 3 0 0 20 0 3 0 286383126 166891520 6772 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40745 6772 198 433 0 40309 0
[pid=21962/tid=21963] ppid=21960 vsize=162980 CPUtime=6.26 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 4511 0 0 0 624 2 0 0 20 0 3 0 286383126 166891520 6772 33554432000 4194304 5964478 140734381064384 140326520649720 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162980 CPUtime=6.26 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 1527 0 0 0 626 0 0 0 20 0 3 0 286383126 166891520 6772 33554432000 4194304 5964478 140734381064384 140326510160176 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 162980
Solver just ended. Dumping a history of the last processes samples
[startup+7.90026 s]
/proc/loadavg: 3.94 3.95 3.95 5/180 21965
/proc/meminfo: memFree=30171680/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162764 CPUtime=15.78 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 6902 0 0 0 1575 3 0 0 20 0 3 0 286383126 166670336 6799 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40691 6799 200 433 0 40255 0
[pid=21962/tid=21963] ppid=21960 vsize=162764 CPUtime=7.86 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 4586 0 0 0 784 2 0 0 20 0 3 0 286383126 166670336 6799 33554432000 4194304 5964478 140734381064384 140326520649824 4392847 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162764 CPUtime=7.86 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 1531 0 0 0 786 0 0 0 20 0 3 0 286383126 166670336 6799 33554432000 4194304 5964478 140734381064384 140326510160288 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.78
Current children cumulated vsize (KiB) 162764
[startup+8.30024 s]
/proc/loadavg: 3.94 3.95 3.95 5/180 21965
/proc/meminfo: memFree=30171680/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162764 CPUtime=16.58 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 6903 0 0 0 1655 3 0 0 20 0 3 0 286383126 166670336 6800 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40691 6800 200 433 0 40255 0
[pid=21962/tid=21963] ppid=21960 vsize=162764 CPUtime=8.26 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 4586 0 0 0 824 2 0 0 20 0 3 0 286383126 166670336 6800 33554432000 4194304 5964478 140734381064384 140326520649824 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162764 CPUtime=8.26 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 1532 0 0 0 826 0 0 0 20 0 3 0 286383126 166670336 6800 33554432000 4194304 5964478 140734381064384 140326510160288 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 16.58
Current children cumulated vsize (KiB) 162764
[startup+8.50025 s]
/proc/loadavg: 3.94 3.95 3.95 5/180 21965
/proc/meminfo: memFree=30171680/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162764 CPUtime=16.98 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 6903 0 0 0 1695 3 0 0 20 0 3 0 286383126 166670336 6800 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40691 6800 200 433 0 40255 0
[pid=21962/tid=21963] ppid=21960 vsize=162764 CPUtime=8.46 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 4586 0 0 0 844 2 0 0 20 0 3 0 286383126 166670336 6800 33554432000 4194304 5964478 140734381064384 140326520649632 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162764 CPUtime=8.46 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 1532 0 0 0 846 0 0 0 20 0 3 0 286383126 166670336 6800 33554432000 4194304 5964478 140734381064384 140326510160288 4400081 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 16.98
Current children cumulated vsize (KiB) 162764
[startup+8.60026 s]
/proc/loadavg: 3.94 3.95 3.95 5/180 21965
/proc/meminfo: memFree=30171680/32873844 swapFree=6080/6080
[pid=21962] ppid=21960 vsize=162764 CPUtime=17.18 cores=0,2,4,6
/proc/21962/stat : 21962 (pwbo2.01) S 21960 21962 20249 0 -1 4202496 6915 0 0 0 1715 3 0 0 20 0 3 0 286383126 166670336 6812 33554432000 4194304 5964478 140734381064384 140734381063904 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21962/statm: 40691 6812 200 433 0 40255 0
[pid=21962/tid=21963] ppid=21960 vsize=162764 CPUtime=8.56 cores=0,2,4,6
/proc/21962/task/21963/stat : 21963 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 4586 0 0 0 854 2 0 0 20 0 3 0 286383126 166670336 6812 33554432000 4194304 5964478 140734381064384 140326520649632 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21962/tid=21964] ppid=21960 vsize=162764 CPUtime=8.56 cores=0,2,4,6
/proc/21962/task/21964/stat : 21964 (pwbo2.01) R 21960 21962 20249 0 -1 4202560 1544 0 0 0 856 0 0 0 20 0 3 0 286383126 166670336 6812 33554432000 4194304 5964478 140734381064384 140326510160288 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 17.18
Current children cumulated vsize (KiB) 162764
Child status: 255
Real time (s): 8.68318
CPU time (s): 17.3204
CPU user time (s): 17.2784
CPU system time (s): 0.041993
CPU usage (%): 199.47
Max. virtual memory (cumulated for all children) (KiB): 162980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2784
system time used= 0.041993
maximum resident set size= 27388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6921
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= 44
involuntary context switches= 31
runsolver used 0.012998 second user time and 0.047992 second system time
The end