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-3728573-1338672048/watcher-3728573-1338672048 -o /tmp/evaluation-result-3728573-1338672048/solver-3728573-1338672048 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728573-1338672048.wbo
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: 3.68 3.93 3.83 4/179 19889
/proc/meminfo: memFree=28534220/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=162624 CPUtime=0 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 1008 0 0 0 0 0 0 0 20 0 3 0 333329283 166526976 958 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 40656 958 198 433 0 40220 0
[pid=19889/tid=19890] ppid=19887 vsize=162624 CPUtime=0 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 3 0 333329284 166526976 962 33554432000 4194304 5964478 140736592749984 139852926130216 4390964 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=162624 CPUtime=0 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 178 0 0 0 0 0 0 0 20 0 3 0 333329284 166526976 965 33554432000 4194304 5964478 140736592749984 139852915640424 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.014691 s]
/proc/loadavg: 3.68 3.93 3.83 4/179 19889
/proc/meminfo: memFree=28534220/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=165044 CPUtime=0.01 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 1983 0 0 0 1 0 0 0 20 0 3 0 333329283 169005056 1918 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 41261 1920 205 433 0 40825 0
[pid=19889/tid=19890] ppid=19887 vsize=165044 CPUtime=0 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 3 0 333329284 169005056 1923 33554432000 4194304 5964478 140736592749984 139852926130104 4403451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=165044 CPUtime=0 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 1115 0 0 0 0 0 0 0 20 0 3 0 333329284 169005056 1925 33554432000 4194304 5964478 140736592749984 139852915639912 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 165044
[startup+0.100285 s]
/proc/loadavg: 3.68 3.93 3.83 4/179 19889
/proc/meminfo: memFree=28534220/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=189648 CPUtime=0.18 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 11283 0 0 0 16 2 0 0 20 0 3 0 333329283 194199552 11183 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 47412 11187 205 433 0 46976 0
[pid=19889/tid=19890] ppid=19887 vsize=189648 CPUtime=0.08 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 342 0 0 0 8 0 0 0 20 0 3 0 333329284 194199552 11187 33554432000 4194304 5964478 140736592749984 139852926129976 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=189648 CPUtime=0.08 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 10165 0 0 0 6 2 0 0 20 0 3 0 333329284 194199552 11188 33554432000 4194304 5964478 140736592749984 139852915639688 5244295 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 189648
[startup+0.300308 s]
/proc/loadavg: 3.68 3.93 3.83 4/179 19889
/proc/meminfo: memFree=28534220/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=190688 CPUtime=0.57 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 14152 0 0 0 54 3 0 0 20 0 3 0 333329283 195264512 14052 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 47672 14052 206 433 0 47236 0
[pid=19889/tid=19890] ppid=19887 vsize=190688 CPUtime=0.28 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 686 0 0 0 26 2 0 0 20 0 3 0 333329284 195264512 14052 33554432000 4194304 5964478 140736592749984 139852926130168 4400435 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=190688 CPUtime=0.28 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 12685 0 0 0 25 3 0 0 20 0 3 0 333329284 195264512 14052 33554432000 4194304 5964478 140736592749984 139852915640680 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 190688
[startup+0.700319 s]
/proc/loadavg: 3.68 3.93 3.83 4/179 19889
/proc/meminfo: memFree=28534220/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=190688 CPUtime=1.38 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 14773 0 0 0 133 5 0 0 20 0 3 0 333329283 195264512 14673 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 47672 14673 206 433 0 47236 0
[pid=19889/tid=19890] ppid=19887 vsize=190688 CPUtime=0.68 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 1134 0 0 0 65 3 0 0 20 0 3 0 333329284 195264512 14673 33554432000 4194304 5964478 140736592749984 139852926130168 4390289 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=190688 CPUtime=0.68 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 12858 0 0 0 65 3 0 0 20 0 3 0 333329284 195264512 14674 33554432000 4194304 5964478 140736592749984 139852915640680 4388605 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 190688
[startup+1.50036 s]
/proc/loadavg: 3.68 3.93 3.83 5/182 19892
/proc/meminfo: memFree=28467668/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=190832 CPUtime=2.97 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 15410 0 0 0 292 5 0 0 20 0 3 0 333329283 195411968 15310 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 47708 15310 206 433 0 47272 0
[pid=19889/tid=19890] ppid=19887 vsize=190832 CPUtime=1.48 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 1508 0 0 0 145 3 0 0 20 0 3 0 333329284 195411968 15310 33554432000 4194304 5964478 140736592749984 139852926130168 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=190832 CPUtime=1.48 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 13121 0 0 0 145 3 0 0 20 0 3 0 333329284 195411968 15310 33554432000 4194304 5964478 140736592749984 139852915640624 4399865 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 190832
[startup+3.10035 s]
/proc/loadavg: 3.68 3.93 3.83 5/182 19892
/proc/meminfo: memFree=28460848/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=190976 CPUtime=6.17 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 16682 0 0 0 611 6 0 0 20 0 3 0 333329283 195559424 16582 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 47744 16582 206 433 0 47308 0
[pid=19889/tid=19890] ppid=19887 vsize=190976 CPUtime=3.08 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 2350 0 0 0 304 4 0 0 20 0 3 0 333329284 195559424 16582 33554432000 4194304 5964478 140736592749984 139852926129832 4400097 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=190976 CPUtime=3.08 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 13551 0 0 0 305 3 0 0 20 0 3 0 333329284 195559424 16582 33554432000 4194304 5964478 140736592749984 139852915640440 5130892 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 190976
[startup+6.30037 s]
/proc/loadavg: 3.70 3.93 3.83 5/182 19892
/proc/meminfo: memFree=28440932/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=191012 CPUtime=12.57 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 19003 0 0 0 1250 7 0 0 20 0 3 0 333329283 195596288 18855 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 47753 18855 208 433 0 47317 0
[pid=19889/tid=19890] ppid=19887 vsize=191012 CPUtime=6.26 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 3719 0 0 0 622 4 0 0 20 0 3 0 333329284 195596288 18855 33554432000 4194304 5964478 140736592749984 139852926130160 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=191012 CPUtime=6.26 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 14503 0 0 0 623 3 0 0 20 0 3 0 333329284 195596288 18855 33554432000 4194304 5964478 140736592749984 139852915640440 4399969 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 191012
Solver just ended. Dumping a history of the last processes samples
[startup+7.10039 s]
/proc/loadavg: 3.70 3.93 3.83 5/182 19892
/proc/meminfo: memFree=28436476/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=191012 CPUtime=14.17 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 19234 0 0 0 1410 7 0 0 20 0 3 0 333329283 195596288 19086 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 47753 19086 208 433 0 47317 0
[pid=19889/tid=19890] ppid=19887 vsize=191012 CPUtime=7.06 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 3719 0 0 0 702 4 0 0 20 0 3 0 333329284 195596288 19086 33554432000 4194304 5964478 140736592749984 139852926130160 4389160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=191012 CPUtime=7.06 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 14735 0 0 0 703 3 0 0 20 0 3 0 333329284 195596288 19087 33554432000 4194304 5964478 140736592749984 139852915640632 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 14.17
Current children cumulated vsize (KiB) 191012
[startup+7.50036 s]
/proc/loadavg: 3.70 3.93 3.83 5/182 19892
/proc/meminfo: memFree=28436476/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=191144 CPUtime=14.96 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 19388 0 0 0 1489 7 0 0 20 0 3 0 333329283 195731456 19240 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 47786 19240 208 433 0 47350 0
[pid=19889/tid=19890] ppid=19887 vsize=191144 CPUtime=7.46 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 3723 0 0 0 742 4 0 0 20 0 3 0 333329284 195731456 19240 33554432000 4194304 5964478 140736592749984 139852926130160 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=191144 CPUtime=7.46 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 14884 0 0 0 743 3 0 0 20 0 3 0 333329284 195731456 19240 33554432000 4194304 5964478 140736592749984 139852915640632 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 14.96
Current children cumulated vsize (KiB) 191144
[startup+7.90038 s]
/proc/loadavg: 3.70 3.93 3.83 5/182 19892
/proc/meminfo: memFree=28434492/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=191144 CPUtime=15.77 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 19539 0 0 0 1569 8 0 0 20 0 3 0 333329283 195731456 19391 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 47786 19391 208 433 0 47350 0
[pid=19889/tid=19890] ppid=19887 vsize=191144 CPUtime=7.86 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 3724 0 0 0 782 4 0 0 20 0 3 0 333329284 195731456 19391 33554432000 4194304 5964478 140736592749984 139852926130080 4392680 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=191144 CPUtime=7.86 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 15034 0 0 0 783 3 0 0 20 0 3 0 333329284 195731456 19391 33554432000 4194304 5964478 140736592749984 139852915640440 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 15.77
Current children cumulated vsize (KiB) 191144
[startup+8.00037 s]
/proc/loadavg: 3.70 3.93 3.83 5/182 19892
/proc/meminfo: memFree=28434492/32873648 swapFree=7388/7388
[pid=19889] ppid=19887 vsize=191144 CPUtime=15.97 cores=1,3,5,7
/proc/19889/stat : 19889 (pwbo2.02) S 19887 19889 19426 0 -1 4202496 19589 0 0 0 1589 8 0 0 20 0 3 0 333329283 195731456 19441 33554432000 4194304 5964478 140736592749984 140736592749504 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19889/statm: 47786 19441 208 433 0 47350 0
[pid=19889/tid=19890] ppid=19887 vsize=191144 CPUtime=7.96 cores=1,3,5,7
/proc/19889/task/19890/stat : 19890 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 3724 0 0 0 792 4 0 0 20 0 3 0 333329284 195731456 19441 33554432000 4194304 5964478 140736592749984 139852926130080 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19889/tid=19891] ppid=19887 vsize=191144 CPUtime=7.96 cores=1,3,5,7
/proc/19889/task/19891/stat : 19891 (pwbo2.02) R 19887 19889 19426 0 -1 4202560 15084 0 0 0 793 3 0 0 20 0 3 0 333329284 195731456 19441 33554432000 4194304 5964478 140736592749984 139852915640440 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 15.97
Current children cumulated vsize (KiB) 191144
Child status: 255
Real time (s): 8.05177
CPU time (s): 16.0496
CPU user time (s): 15.9486
CPU system time (s): 0.100984
CPU usage (%): 199.33
Max. virtual memory (cumulated for all children) (KiB): 191144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9486
system time used= 0.100984
maximum resident set size= 77816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19602
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= 272
involuntary context switches= 17
runsolver used 0.038994 second user time and 0.078987 second system time
The end