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-3500378-1307994573/watcher-3500378-1307994573 -o /tmp/evaluation-result-3500378-1307994573/solver-3500378-1307994573 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500378-1307994573.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.91 3/180 1578
/proc/meminfo: memFree=10576792/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=134916 CPUtime=0 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 493 0 0 0 0 0 0 0 25 0 3 0 911055458 138153984 444 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 33729 444 178 372 0 33354 0
[pid=1578/tid=1579] ppid=1576 vsize=134916 CPUtime=0 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 52 0 0 0 0 0 0 0 18 0 3 0 911055458 138153984 460 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1578/tid=1580] ppid=1576 vsize=134916 CPUtime=0 cores=1,3,5,7
/proc/1578/task/1580/stat : 1580 (pwbo1.1) R 1576 1578 768 0 -1 4202560 141 0 0 0 0 0 0 0 25 0 3 0 911055458 138153984 461 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.092023 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1578
/proc/meminfo: memFree=10576792/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=134916 CPUtime=0.17 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 952 0 0 0 16 1 0 0 25 0 3 0 911055458 138153984 903 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 33729 903 179 372 0 33354 0
[pid=1578/tid=1579] ppid=1576 vsize=134916 CPUtime=0.08 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 305 0 0 0 8 0 0 0 18 0 3 0 911055458 138153984 904 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1578/tid=1580] ppid=1576 vsize=134916 CPUtime=0.08 cores=1,3,5,7
/proc/1578/task/1580/stat : 1580 (pwbo1.1) R 1576 1578 768 0 -1 4202560 331 0 0 0 8 0 0 0 25 0 3 0 911055458 138153984 904 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 134916
[startup+0.101015 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1578
/proc/meminfo: memFree=10576792/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=134916 CPUtime=0.19 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 989 0 0 0 18 1 0 0 25 0 3 0 911055458 138153984 940 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 33729 940 179 372 0 33354 0
[pid=1578/tid=1579] ppid=1576 vsize=134916 CPUtime=0.09 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 323 0 0 0 9 0 0 0 18 0 3 0 911055458 138153984 940 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1578/tid=1580] ppid=1576 vsize=134916 CPUtime=0.09 cores=1,3,5,7
/proc/1578/task/1580/stat : 1580 (pwbo1.1) R 1576 1578 768 0 -1 4202560 349 0 0 0 9 0 0 0 25 0 3 0 911055458 138153984 940 33554432000 4194304 5714118 140734928134496 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) 134916
[startup+0.300983 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1578
/proc/meminfo: memFree=10576792/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=134916 CPUtime=0.59 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 1550 0 0 0 56 3 0 0 25 0 3 0 911055458 138153984 1501 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 33729 1501 179 372 0 33354 0
[pid=1578/tid=1579] ppid=1576 vsize=134916 CPUtime=0.29 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 729 0 0 0 28 1 0 0 18 0 3 0 911055458 138153984 1501 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1578/tid=1580] ppid=1576 vsize=134916 CPUtime=0.29 cores=1,3,5,7
/proc/1578/task/1580/stat : 1580 (pwbo1.1) R 1576 1578 768 0 -1 4202560 504 0 0 0 28 1 0 0 25 0 3 0 911055458 138153984 1501 33554432000 4194304 5714118 140734928134496 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) 134916
[startup+0.70091 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1578
/proc/meminfo: memFree=10576792/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=135048 CPUtime=1.38 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 2000 0 0 0 133 5 0 0 25 0 3 0 911055458 138289152 1951 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 33762 1951 179 372 0 33387 0
[pid=1578/tid=1579] ppid=1576 vsize=135048 CPUtime=0.69 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 898 0 0 0 66 3 0 0 18 0 3 0 911055458 138289152 1951 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1578/tid=1580] ppid=1576 vsize=135048 CPUtime=0.69 cores=1,3,5,7
/proc/1578/task/1580/stat : 1580 (pwbo1.1) R 1576 1578 768 0 -1 4202560 785 0 0 0 67 2 0 0 25 0 3 0 911055458 138289152 1951 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 135048
[startup+1.50077 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1581
/proc/meminfo: memFree=10566388/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=135476 CPUtime=2.99 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 3443 0 0 0 290 9 0 0 25 0 3 0 911055458 138727424 3394 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 33869 3394 179 372 0 33494 0
[pid=1578/tid=1579] ppid=1576 vsize=135476 CPUtime=1.49 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 1885 0 0 0 145 4 0 0 20 0 3 0 911055458 138727424 3394 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1578/tid=1580] ppid=1576 vsize=135476 CPUtime=1.49 cores=1,3,5,7
/proc/1578/task/1580/stat : 1580 (pwbo1.1) R 1576 1578 768 0 -1 4202560 1241 0 0 0 145 4 0 0 25 0 3 0 911055458 138727424 3394 33554432000 4194304 5714118 140734928134496 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) 135476
[startup+3.10048 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1581
/proc/meminfo: memFree=10559940/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=135616 CPUtime=6.19 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 4542 0 0 0 605 14 0 0 25 0 3 0 911055458 138870784 4493 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 33904 4493 179 372 0 33529 0
[pid=1578/tid=1579] ppid=1576 vsize=135616 CPUtime=3.09 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 2937 0 0 0 302 7 0 0 25 0 3 0 911055458 138870784 4493 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1578/tid=1580] ppid=1576 vsize=135616 CPUtime=3.09 cores=1,3,5,7
/proc/1578/task/1580/stat : 1580 (pwbo1.1) R 1576 1578 768 0 -1 4202560 1288 0 0 0 302 7 0 0 25 0 3 0 911055458 138870784 4493 33554432000 4194304 5714118 140734928134496 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) 135616
[startup+6.30091 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1581
/proc/meminfo: memFree=10548232/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=135904 CPUtime=12.58 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 6674 0 0 0 1234 24 0 0 25 0 3 0 911055458 139165696 6625 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 33976 6625 180 372 0 33601 0
[pid=1578/tid=1579] ppid=1576 vsize=135904 CPUtime=6.29 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 4722 0 0 0 617 12 0 0 25 0 3 0 911055458 139165696 6625 33554432000 4194304 5714118 140734928134496 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1578/tid=1580] ppid=1576 vsize=135904 CPUtime=6.29 cores=1,3,5,7
/proc/1578/task/1580/stat : 1580 (pwbo1.1) R 1576 1578 768 0 -1 4202560 1635 0 0 0 617 12 0 0 25 0 3 0 911055458 139165696 6625 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 135904
[startup+12.7008 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1581
/proc/meminfo: memFree=10531528/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=136264 CPUtime=25.39 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 9087 0 0 0 2500 39 0 0 25 0 3 0 911055458 139534336 9038 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 34066 9038 180 372 0 33691 0
[pid=1578/tid=1579] ppid=1576 vsize=136264 CPUtime=12.69 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 6921 0 0 0 1251 18 0 0 25 0 3 0 911055458 139534336 9038 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1578/tid=1580] ppid=1576 vsize=136264 CPUtime=12.69 cores=1,3,5,7
/proc/1578/task/1580/stat : 1580 (pwbo1.1) R 1576 1578 768 0 -1 4202560 1849 0 0 0 1249 20 0 0 25 0 3 0 911055458 139534336 9038 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 136264
[startup+25.5005 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1582
/proc/meminfo: memFree=10505980/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=137384 CPUtime=50.99 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 13254 0 0 0 5026 73 0 0 25 0 3 0 911055458 140681216 13205 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 34346 13205 180 372 0 33971 0
[pid=1578/tid=1579] ppid=1576 vsize=137384 CPUtime=25.49 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 10787 0 0 0 2513 36 0 0 25 0 3 0 911055458 140681216 13205 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1578/tid=1580] ppid=1576 vsize=137384 CPUtime=25.49 cores=1,3,5,7
/proc/1578/task/1580/stat : 1580 (pwbo1.1) R 1576 1578 768 0 -1 4202560 2150 0 0 0 2512 37 0 0 25 0 3 0 911055458 140681216 13205 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 137384
Solver just ended. Dumping a history of the last processes samples
[startup+25.9004 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1582
/proc/meminfo: memFree=10505980/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=137384 CPUtime=51.78 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 13256 0 0 0 5104 74 0 0 25 0 3 0 911055458 140681216 13207 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 34346 13207 180 372 0 33971 0
[pid=1578/tid=1579] ppid=1576 vsize=137384 CPUtime=25.88 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 10789 0 0 0 2552 36 0 0 25 0 3 0 911055458 140681216 13207 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1578/tid=1580] ppid=1576 vsize=137384 CPUtime=25.89 cores=1,3,5,7
/proc/1578/task/1580/stat : 1580 (pwbo1.1) R 1576 1578 768 0 -1 4202560 2150 0 0 0 2552 37 0 0 25 0 3 0 911055458 140681216 13207 33554432000 4194304 5714118 140734928134496 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.78
Current children cumulated vsize (KiB) 137384
[startup+26.1004 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1582
/proc/meminfo: memFree=10505980/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=137384 CPUtime=52.14 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 13511 0 0 0 5139 75 0 0 25 0 2 0 911055458 140681216 13462 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 34346 13462 181 372 0 33971 0
[pid=1578/tid=1579] ppid=1576 vsize=137384 CPUtime=26.09 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 11043 0 0 0 2572 37 0 0 25 0 2 0 911055458 140681216 13462 33554432000 4194304 5714118 140734928134496 18446744073709551615 4197696 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 52.14
Current children cumulated vsize (KiB) 137384
[startup+26.2004 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1582
/proc/meminfo: memFree=10505980/32951124 swapFree=67063272/67111528
[pid=1578] ppid=1576 vsize=137384 CPUtime=52.24 cores=1,3,5,7
/proc/1578/stat : 1578 (pwbo1.1) S 1576 1578 768 0 -1 4202496 13793 0 0 0 5149 75 0 0 25 0 2 0 911055458 140681216 13744 33554432000 4194304 5714118 140734928134496 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/1578/statm: 34346 13744 181 372 0 33971 0
[pid=1578/tid=1579] ppid=1576 vsize=137384 CPUtime=26.19 cores=1,3,5,7
/proc/1578/task/1579/stat : 1579 (pwbo1.1) R 1576 1578 768 0 -1 4202560 11325 0 0 0 2582 37 0 0 25 0 2 0 911055458 140681216 13744 33554432000 4194304 5714118 140734928134496 18446744073709551615 4324383 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 52.24
Current children cumulated vsize (KiB) 137384
Child status: 0
Real time (s): 26.288
CPU time (s): 52.338
CPU user time (s): 51.5812
CPU system time (s): 0.756884
CPU usage (%): 199.095
Max. virtual memory (cumulated for all children) (KiB): 137384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.5812
system time used= 0.756884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13797
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= 33
involuntary context switches= 105
runsolver used 0.053991 second user time and 0.096985 second system time
The end