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 /var/tmp/evaluation-result-3500417-1307994958/watcher-3500417-1307994958 -o /var/tmp/evaluation-result-3500417-1307994958/solver-3500417-1307994958 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500417-1307994958.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: 3.75 3.93 3.89 3/179 1110
/proc/meminfo: memFree=12226080/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=134740 CPUtime=0 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 3 0 891911926 137973760 363 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 33685 363 179 372 0 33310 0
[pid=1110/tid=1111] ppid=1108 vsize=134740 CPUtime=0 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 50 0 0 0 0 0 0 0 25 0 3 0 891911927 137973760 380 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=134740 CPUtime=0 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 61 0 0 0 0 0 0 0 18 0 3 0 891911927 137973760 381 33554432000 4194304 5714118 140735351914608 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.0304471 s]
/proc/loadavg: 3.75 3.93 3.89 3/179 1110
/proc/meminfo: memFree=12226080/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=134740 CPUtime=0.05 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 554 0 0 0 4 1 0 0 25 0 3 0 891911926 137973760 505 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 33685 507 179 372 0 33310 0
[pid=1110/tid=1111] ppid=1108 vsize=134740 CPUtime=0.02 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 106 0 0 0 2 0 0 0 25 0 3 0 891911927 137973760 507 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=134740 CPUtime=0.02 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 131 0 0 0 2 0 0 0 18 0 3 0 891911927 137973760 507 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 134740
[startup+0.100432 s]
/proc/loadavg: 3.75 3.93 3.89 3/179 1110
/proc/meminfo: memFree=12226080/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=134740 CPUtime=0.19 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 924 0 0 0 17 2 0 0 25 0 3 0 891911926 137973760 875 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 33685 876 179 372 0 33310 0
[pid=1110/tid=1111] ppid=1108 vsize=134740 CPUtime=0.09 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 323 0 0 0 8 1 0 0 25 0 3 0 891911927 137973760 876 33554432000 4194304 5714118 140735351914608 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=134740 CPUtime=0.09 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 283 0 0 0 8 1 0 0 18 0 3 0 891911927 137973760 876 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134740
[startup+0.300396 s]
/proc/loadavg: 3.75 3.93 3.89 3/179 1110
/proc/meminfo: memFree=12226080/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=134876 CPUtime=0.59 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 1575 0 0 0 55 4 0 0 25 0 3 0 891911926 138113024 1526 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 33719 1526 179 372 0 33344 0
[pid=1110/tid=1111] ppid=1108 vsize=134876 CPUtime=0.29 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 703 0 0 0 28 1 0 0 25 0 3 0 891911927 138113024 1526 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=134876 CPUtime=0.29 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 553 0 0 0 27 2 0 0 18 0 3 0 891911927 138113024 1526 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134876
[startup+0.700329 s]
/proc/loadavg: 3.75 3.93 3.89 3/179 1110
/proc/meminfo: memFree=12226080/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=135164 CPUtime=1.39 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 2372 0 0 0 132 7 0 0 25 0 3 0 891911926 138407936 2323 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 33791 2323 179 372 0 33416 0
[pid=1110/tid=1111] ppid=1108 vsize=135164 CPUtime=0.69 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 1315 0 0 0 67 2 0 0 25 0 3 0 891911927 138407936 2323 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=135164 CPUtime=0.68 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 738 0 0 0 64 4 0 0 18 0 3 0 891911927 138407936 2323 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135164
[startup+1.50018 s]
/proc/loadavg: 3.75 3.93 3.89 5/182 1113
/proc/meminfo: memFree=12216904/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=135152 CPUtime=2.99 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 2845 0 0 0 286 13 0 0 25 0 3 0 891911926 138395648 2770 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 33788 2770 180 372 0 33413 0
[pid=1110/tid=1111] ppid=1108 vsize=135152 CPUtime=1.49 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 1617 0 0 0 144 5 0 0 25 0 3 0 891911927 138395648 2770 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=135152 CPUtime=1.49 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 909 0 0 0 142 7 0 0 20 0 3 0 891911927 138395648 2770 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135152
[startup+3.10091 s]
/proc/loadavg: 3.75 3.93 3.89 5/182 1113
/proc/meminfo: memFree=12214920/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=135284 CPUtime=6.19 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 3732 0 0 0 599 20 0 0 25 0 3 0 891911926 138530816 3657 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 33821 3658 180 372 0 33446 0
[pid=1110/tid=1111] ppid=1108 vsize=135284 CPUtime=3.09 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 2278 0 0 0 301 8 0 0 25 0 3 0 891911927 138530816 3658 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=135284 CPUtime=3.09 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 1136 0 0 0 298 11 0 0 25 0 3 0 891911927 138530816 3658 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135284
[startup+6.30034 s]
/proc/loadavg: 3.77 3.93 3.89 5/182 1113
/proc/meminfo: memFree=12205148/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=135800 CPUtime=12.59 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 5667 0 0 0 1224 35 0 0 25 0 3 0 891911926 139059200 5592 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 33950 5592 180 372 0 33575 0
[pid=1110/tid=1111] ppid=1108 vsize=135800 CPUtime=6.29 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 4009 0 0 0 613 16 0 0 25 0 3 0 891911927 139059200 5592 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=135800 CPUtime=6.29 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 1339 0 0 0 611 18 0 0 25 0 3 0 891911927 139059200 5592 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135800
Solver just ended. Dumping a history of the last processes samples
[startup+9.50078 s]
/proc/loadavg: 3.77 3.93 3.89 5/182 1114
/proc/meminfo: memFree=12196816/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=136020 CPUtime=18.99 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 7304 0 0 0 1853 46 0 0 25 0 3 0 891911926 139284480 7229 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 34005 7229 180 372 0 33630 0
[pid=1110/tid=1111] ppid=1108 vsize=136020 CPUtime=9.48 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 5459 0 0 0 927 21 0 0 25 0 3 0 891911927 139284480 7229 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=136020 CPUtime=9.49 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 1526 0 0 0 925 24 0 0 25 0 3 0 891911927 139284480 7229 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18.99
Current children cumulated vsize (KiB) 136020
[startup+11.1005 s]
/proc/loadavg: 3.79 3.93 3.89 5/182 1114
/proc/meminfo: memFree=12192732/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=136020 CPUtime=22.19 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 8127 0 0 0 2168 51 0 0 25 0 3 0 891911926 139284480 8052 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 34005 8052 180 372 0 33630 0
[pid=1110/tid=1111] ppid=1108 vsize=136020 CPUtime=11.09 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 6194 0 0 0 1085 24 0 0 25 0 3 0 891911927 139284480 8052 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=136020 CPUtime=11.09 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 1614 0 0 0 1083 26 0 0 25 0 3 0 891911927 139284480 8052 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.19
Current children cumulated vsize (KiB) 136020
[startup+11.9004 s]
/proc/loadavg: 3.79 3.93 3.89 5/182 1114
/proc/meminfo: memFree=12192732/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=136232 CPUtime=23.79 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 8214 0 0 0 2325 54 0 0 25 0 3 0 891911926 139501568 8139 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 34058 8139 180 372 0 33683 0
[pid=1110/tid=1111] ppid=1108 vsize=136232 CPUtime=11.89 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 6238 0 0 0 1163 26 0 0 25 0 3 0 891911927 139501568 8139 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=136232 CPUtime=11.89 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 1657 0 0 0 1161 28 0 0 25 0 3 0 891911927 139501568 8139 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.79
Current children cumulated vsize (KiB) 136232
[startup+12.1063 s]
/proc/loadavg: 3.79 3.93 3.89 5/182 1114
/proc/meminfo: memFree=12190996/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=136232 CPUtime=24.21 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 8412 0 0 0 2366 55 0 0 25 0 3 0 891911926 139501568 8337 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 34058 8337 180 372 0 33683 0
[pid=1110/tid=1111] ppid=1108 vsize=136232 CPUtime=12.1 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 6436 0 0 0 1184 26 0 0 25 0 3 0 891911927 139501568 8337 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=136232 CPUtime=12.1 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 1657 0 0 0 1182 28 0 0 25 0 3 0 891911927 139501568 8337 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.21
Current children cumulated vsize (KiB) 136232
[startup+12.2003 s]
/proc/loadavg: 3.79 3.93 3.89 5/182 1114
/proc/meminfo: memFree=12190996/32951124 swapFree=67055536/67111528
[pid=1110] ppid=1108 vsize=136232 CPUtime=24.39 cores=1,3,5,7
/proc/1110/stat : 1110 (pwbo1.1) S 1108 1110 306 0 -1 4202496 8501 0 0 0 2384 55 0 0 25 0 3 0 891911926 139501568 8426 33554432000 4194304 5714118 140735351914608 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1110/statm: 34058 8426 180 372 0 33683 0
[pid=1110/tid=1111] ppid=1108 vsize=136232 CPUtime=12.19 cores=1,3,5,7
/proc/1110/task/1111/stat : 1111 (pwbo1.1) R 1108 1110 306 0 -1 4202560 6525 0 0 0 1193 26 0 0 25 0 3 0 891911927 139501568 8426 33554432000 4194304 5714118 140735351914608 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=1110/tid=1112] ppid=1108 vsize=136232 CPUtime=12.19 cores=1,3,5,7
/proc/1110/task/1112/stat : 1112 (pwbo1.1) R 1108 1110 306 0 -1 4202560 1657 0 0 0 1191 28 0 0 25 0 3 0 891911927 139501568 8426 33554432000 4194304 5714118 140735351914608 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.39
Current children cumulated vsize (KiB) 136232
Child status: 0
Real time (s): 12.2918
CPU time (s): 24.5783
CPU user time (s): 24.0173
CPU system time (s): 0.560914
CPU usage (%): 199.956
Max. virtual memory (cumulated for all children) (KiB): 136232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.0173
system time used= 0.560914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8506
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= 27
involuntary context switches= 18
runsolver used 0.023996 second user time and 0.044993 second system time
The end