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-3500396-1307994768/watcher-3500396-1307994768 -o /tmp/evaluation-result-3500396-1307994768/solver-3500396-1307994768 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500396-1307994768.opb
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.85 3.97 3.91 3/179 25698
/proc/meminfo: memFree=15515044/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=2208 CPUtime=0 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) R 25696 25698 24477 0 -1 4202496 301 0 0 0 0 0 0 0 25 0 1 0 911074557 2260992 253 33554432000 4194304 5714118 140735333966464 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/25698/statm: 552 253 164 372 0 151 0
[startup+0.068072 s]
/proc/loadavg: 3.85 3.97 3.91 3/179 25698
/proc/meminfo: memFree=15515044/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=135312 CPUtime=0.12 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 1096 0 0 0 11 1 0 0 25 0 3 0 911074557 138559488 1022 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 33828 1022 179 372 0 33453 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 135312
[startup+0.101102 s]
/proc/loadavg: 3.85 3.97 3.91 3/179 25698
/proc/meminfo: memFree=15515044/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=135312 CPUtime=0.18 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 1323 0 0 0 17 1 0 0 25 0 3 0 911074557 138559488 1249 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 33828 1249 179 372 0 33453 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135312
[startup+0.301062 s]
/proc/loadavg: 3.85 3.97 3.91 3/179 25698
/proc/meminfo: memFree=15515044/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=135312 CPUtime=0.58 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 1955 0 0 0 56 2 0 0 25 0 3 0 911074557 138559488 1881 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 33828 1881 179 372 0 33453 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 135312
[startup+0.700984 s]
/proc/loadavg: 3.85 3.97 3.91 3/179 25698
/proc/meminfo: memFree=15515044/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=135312 CPUtime=1.38 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 2704 0 0 0 134 4 0 0 25 0 3 0 911074557 138559488 2630 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 33828 2630 179 372 0 33453 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 135312
[startup+1.50085 s]
/proc/loadavg: 3.85 3.97 3.91 5/182 25701
/proc/meminfo: memFree=15501644/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=135312 CPUtime=2.98 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 5432 0 0 0 287 11 0 0 25 0 3 0 911074557 138559488 5358 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 33828 5358 179 372 0 33453 0
[pid=25698/tid=25700] ppid=25696 vsize=135312 CPUtime=1.48 cores=0,2,4,6
/proc/25698/task/25700/stat : 25700 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 2568 0 0 0 146 2 0 0 20 0 3 0 911074558 138559488 5358 33554432000 4194304 5714118 140735333966464 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25698/tid=25701] ppid=25696 vsize=135312 CPUtime=1.48 cores=0,2,4,6
/proc/25698/task/25701/stat : 25701 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 2462 0 0 0 140 8 0 0 18 0 3 0 911074558 138559488 5358 33554432000 4194304 5714118 140735333966464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135312
[startup+3.10056 s]
/proc/loadavg: 3.85 3.97 3.91 5/182 25701
/proc/meminfo: memFree=15487384/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=135456 CPUtime=6.18 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 10378 0 0 0 597 21 0 0 25 0 3 0 911074557 138706944 10304 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 33864 10304 179 372 0 33489 0
[pid=25698/tid=25700] ppid=25696 vsize=135456 CPUtime=3.08 cores=0,2,4,6
/proc/25698/task/25700/stat : 25700 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 5426 0 0 0 303 5 0 0 25 0 3 0 911074558 138706944 10304 33554432000 4194304 5714118 140735333966464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25698/tid=25701] ppid=25696 vsize=135456 CPUtime=3.07 cores=0,2,4,6
/proc/25698/task/25701/stat : 25701 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 4550 0 0 0 292 15 0 0 18 0 3 0 911074558 138706944 10304 33554432000 4194304 5714118 140735333966464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135456
[startup+6.30098 s]
/proc/loadavg: 3.86 3.97 3.91 5/182 25701
/proc/meminfo: memFree=15459348/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=135732 CPUtime=12.58 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 14884 0 0 0 1223 35 0 0 25 0 3 0 911074557 138989568 14810 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 33933 14810 179 372 0 33558 0
[pid=25698/tid=25700] ppid=25696 vsize=135732 CPUtime=6.28 cores=0,2,4,6
/proc/25698/task/25700/stat : 25700 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 6760 0 0 0 620 8 0 0 25 0 3 0 911074558 138989568 14810 33554432000 4194304 5714118 140735333966464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25698/tid=25701] ppid=25696 vsize=135732 CPUtime=6.28 cores=0,2,4,6
/proc/25698/task/25701/stat : 25701 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 7722 0 0 0 602 26 0 0 19 0 3 0 911074558 138989568 14810 33554432000 4194304 5714118 140735333966464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 135732
[startup+12.7008 s]
/proc/loadavg: 3.87 3.97 3.91 5/182 25702
/proc/meminfo: memFree=15437476/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=136024 CPUtime=25.38 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 20754 0 0 0 2487 51 0 0 25 0 3 0 911074557 139288576 20680 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 34006 20680 180 372 0 33631 0
[pid=25698/tid=25700] ppid=25696 vsize=136024 CPUtime=12.68 cores=0,2,4,6
/proc/25698/task/25700/stat : 25700 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 8994 0 0 0 1255 13 0 0 25 0 3 0 911074558 139288576 20680 33554432000 4194304 5714118 140735333966464 18446744073709551615 4311863 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25698/tid=25701] ppid=25696 vsize=136024 CPUtime=12.68 cores=0,2,4,6
/proc/25698/task/25701/stat : 25701 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 11358 0 0 0 1231 37 0 0 25 0 3 0 911074558 139288576 20680 33554432000 4194304 5714118 140735333966464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 136024
[startup+25.5005 s]
/proc/loadavg: 3.90 3.97 3.91 5/182 25702
/proc/meminfo: memFree=15405096/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=136308 CPUtime=50.98 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 27592 0 0 0 5027 71 0 0 25 0 3 0 911074557 139579392 27518 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 34077 27518 180 372 0 33702 0
[pid=25698/tid=25700] ppid=25696 vsize=136308 CPUtime=25.48 cores=0,2,4,6
/proc/25698/task/25700/stat : 25700 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 12556 0 0 0 2526 22 0 0 25 0 3 0 911074558 139579392 27518 33554432000 4194304 5714118 140735333966464 18446744073709551615 4311863 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25698/tid=25701] ppid=25696 vsize=136308 CPUtime=25.48 cores=0,2,4,6
/proc/25698/task/25701/stat : 25701 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 14634 0 0 0 2499 49 0 0 25 0 3 0 911074558 139579392 27518 33554432000 4194304 5714118 140735333966464 18446744073709551615 4319266 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 136308
Solver just ended. Dumping a history of the last processes samples
[startup+28.7009 s]
/proc/loadavg: 3.90 3.97 3.91 5/182 25702
/proc/meminfo: memFree=15404600/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=136308 CPUtime=57.38 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 27778 0 0 0 5664 74 0 0 25 0 3 0 911074557 139579392 27704 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 34077 27704 180 372 0 33702 0
[pid=25698/tid=25700] ppid=25696 vsize=136308 CPUtime=28.68 cores=0,2,4,6
/proc/25698/task/25700/stat : 25700 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 12738 0 0 0 2844 24 0 0 25 0 3 0 911074558 139579392 27704 33554432000 4194304 5714118 140735333966464 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25698/tid=25701] ppid=25696 vsize=136308 CPUtime=28.68 cores=0,2,4,6
/proc/25698/task/25701/stat : 25701 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 14638 0 0 0 2818 50 0 0 25 0 3 0 911074558 139579392 27704 33554432000 4194304 5714118 140735333966464 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 57.38
Current children cumulated vsize (KiB) 136308
[startup+30.3006 s]
/proc/loadavg: 3.90 3.97 3.91 5/182 25702
/proc/meminfo: memFree=15400132/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=136308 CPUtime=60.58 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 29598 0 0 0 5982 76 0 0 25 0 3 0 911074557 139579392 29524 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 34077 29524 180 372 0 33702 0
[pid=25698/tid=25700] ppid=25696 vsize=136308 CPUtime=30.28 cores=0,2,4,6
/proc/25698/task/25700/stat : 25700 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 14547 0 0 0 3003 25 0 0 25 0 3 0 911074558 139579392 29524 33554432000 4194304 5714118 140735333966464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25698/tid=25701] ppid=25696 vsize=136308 CPUtime=30.28 cores=0,2,4,6
/proc/25698/task/25701/stat : 25701 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 14649 0 0 0 2978 50 0 0 25 0 3 0 911074558 139579392 29524 33554432000 4194304 5714118 140735333966464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 60.58
Current children cumulated vsize (KiB) 136308
[startup+31.1005 s]
/proc/loadavg: 3.91 3.97 3.91 5/182 25702
/proc/meminfo: memFree=15395668/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=136308 CPUtime=62.18 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 29927 0 0 0 6141 77 0 0 25 0 3 0 911074557 139579392 29853 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 34077 29853 180 372 0 33702 0
[pid=25698/tid=25700] ppid=25696 vsize=136308 CPUtime=31.08 cores=0,2,4,6
/proc/25698/task/25700/stat : 25700 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 14874 0 0 0 3082 26 0 0 25 0 3 0 911074558 139579392 29853 33554432000 4194304 5714118 140735333966464 18446744073709551615 4324904 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25698/tid=25701] ppid=25696 vsize=136308 CPUtime=31.08 cores=0,2,4,6
/proc/25698/task/25701/stat : 25701 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 14651 0 0 0 3058 50 0 0 25 0 3 0 911074558 139579392 29853 33554432000 4194304 5714118 140735333966464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 62.18
Current children cumulated vsize (KiB) 136308
[startup+31.5004 s]
/proc/loadavg: 3.91 3.97 3.91 5/182 25702
/proc/meminfo: memFree=15395668/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=136092 CPUtime=62.98 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 29967 0 0 0 6221 77 0 0 25 0 3 0 911074557 139358208 29851 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 34023 29851 180 372 0 33648 0
[pid=25698/tid=25700] ppid=25696 vsize=136092 CPUtime=31.48 cores=0,2,4,6
/proc/25698/task/25700/stat : 25700 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 14914 0 0 0 3122 26 0 0 25 0 3 0 911074558 139358208 29851 33554432000 4194304 5714118 140735333966464 18446744073709551615 4968412 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25698/tid=25701] ppid=25696 vsize=136092 CPUtime=31.48 cores=0,2,4,6
/proc/25698/task/25701/stat : 25701 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 14651 0 0 0 3098 50 0 0 25 0 3 0 911074558 139358208 29851 33554432000 4194304 5714118 140735333966464 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 62.98
Current children cumulated vsize (KiB) 136092
[startup+31.9063 s]
/proc/loadavg: 3.91 3.97 3.91 5/182 25702
/proc/meminfo: memFree=15395544/32951124 swapFree=67053176/67111528
[pid=25698] ppid=25696 vsize=136092 CPUtime=63.79 cores=0,2,4,6
/proc/25698/stat : 25698 (pwbo1.1) S 25696 25698 24477 0 -1 4202496 29967 0 0 0 6302 77 0 0 25 0 3 0 911074557 139358208 29851 33554432000 4194304 5714118 140735333966464 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25698/statm: 34023 29851 180 372 0 33648 0
[pid=25698/tid=25700] ppid=25696 vsize=136092 CPUtime=31.89 cores=0,2,4,6
/proc/25698/task/25700/stat : 25700 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 14914 0 0 0 3163 26 0 0 25 0 3 0 911074558 139358208 29851 33554432000 4194304 5714118 140735333966464 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25698/tid=25701] ppid=25696 vsize=136092 CPUtime=31.89 cores=0,2,4,6
/proc/25698/task/25701/stat : 25701 (pwbo1.1) R 25696 25698 24477 0 -1 4202560 14651 0 0 0 3138 51 0 0 25 0 3 0 911074558 139358208 29851 33554432000 4194304 5714118 140735333966464 18446744073709551615 4288520 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 63.79
Current children cumulated vsize (KiB) 136092
Child status: 0
Real time (s): 31.9701
CPU time (s): 63.9223
CPU user time (s): 63.1374
CPU system time (s): 0.78488
CPU usage (%): 199.944
Max. virtual memory (cumulated for all children) (KiB): 136308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.1374
system time used= 0.78488
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29972
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= 92
involuntary context switches= 112
runsolver used 0.055991 second user time and 0.119981 second system time
The end