PB'11 competition: satisfaction and optimization track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
pwbo 1.1	SAT (TO)	1800.22	900.142

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-3500761-1307997886/watcher-3500761-1307997886 -o /var/tmp/evaluation-result-3500761-1307997886/solver-3500761-1307997886 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500761-1307997886.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: 4.07 3.99 3.92 3/179 1647
/proc/meminfo: memFree=11362088/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=2816 CPUtime=0 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) R 1645 1647 306 0 -1 4202496 336 0 0 0 0 0 0 0 25 0 1 0 892204742 2883584 288 33554432000 4194304 5714118 140733494022928 18446744073709551615 4228608 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1647/statm: 704 288 159 372 0 184 0

[startup+0.087316 s]
/proc/loadavg: 4.07 3.99 3.92 3/179 1647
/proc/meminfo: memFree=11362088/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=142648 CPUtime=0.12 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 3992 0 0 0 10 2 0 0 25 0 3 0 892204742 146071552 3769 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 35662 3769 178 372 0 35287 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 142648

[startup+0.100281 s]
/proc/loadavg: 4.07 3.99 3.92 3/179 1647
/proc/meminfo: memFree=11362088/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=142648 CPUtime=0.15 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 4013 0 0 0 13 2 0 0 25 0 3 0 892204742 146071552 3790 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 35662 3790 179 372 0 35287 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 142648

[startup+0.300278 s]
/proc/loadavg: 4.07 3.99 3.92 3/179 1647
/proc/meminfo: memFree=11362088/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=142648 CPUtime=0.54 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 4476 0 0 0 52 2 0 0 25 0 3 0 892204742 146071552 4253 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 35662 4253 179 372 0 35287 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 142648

[startup+0.700205 s]
/proc/loadavg: 4.07 3.99 3.92 3/179 1647
/proc/meminfo: memFree=11362088/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=142648 CPUtime=1.34 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 5249 0 0 0 131 3 0 0 25 0 3 0 892204742 146071552 5026 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 35662 5026 179 372 0 35287 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 142648

[startup+1.50105 s]
/proc/loadavg: 4.07 3.99 3.92 5/182 1650
/proc/meminfo: memFree=11338264/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=142792 CPUtime=2.95 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 5828 0 0 0 289 6 0 0 25 0 3 0 892204742 146219008 5605 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 35698 5605 179 372 0 35323 0
[pid=1647/tid=1649] ppid=1645 vsize=142792 CPUtime=1.45 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 1792 0 0 0 143 2 0 0 20 0 3 0 892204746 146219008 5605 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=142792 CPUtime=1.44 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 3107 0 0 0 141 3 0 0 19 0 3 0 892204746 146219008 5605 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 142792

[startup+3.10079 s]
/proc/loadavg: 4.06 3.99 3.92 5/182 1650
/proc/meminfo: memFree=11327604/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=142936 CPUtime=6.14 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 7346 0 0 0 605 9 0 0 25 0 3 0 892204742 146366464 7123 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 35734 7123 179 372 0 35359 0
[pid=1647/tid=1649] ppid=1645 vsize=142936 CPUtime=3.05 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 2805 0 0 0 301 4 0 0 25 0 3 0 892204746 146366464 7123 33554432000 4194304 5714118 140733494022928 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=142936 CPUtime=3.05 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 3612 0 0 0 300 5 0 0 19 0 3 0 892204746 146366464 7123 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 142936

[startup+6.30123 s]
/proc/loadavg: 4.06 3.99 3.92 5/182 1651
/proc/meminfo: memFree=11301260/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=143008 CPUtime=12.54 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 9607 0 0 0 1239 15 0 0 25 0 3 0 892204742 146440192 9384 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 35752 9384 180 372 0 35377 0
[pid=1647/tid=1649] ppid=1645 vsize=143008 CPUtime=6.25 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 4253 0 0 0 618 7 0 0 25 0 3 0 892204746 146440192 9384 33554432000 4194304 5714118 140733494022928 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=143008 CPUtime=6.25 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 4425 0 0 0 617 8 0 0 20 0 3 0 892204746 146440192 9384 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 143008

[startup+12.7011 s]
/proc/loadavg: 4.05 3.99 3.92 5/182 1651
/proc/meminfo: memFree=11253028/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=143160 CPUtime=25.35 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 11661 0 0 0 2509 26 0 0 25 0 3 0 892204742 146595840 11403 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 35790 11403 180 372 0 35415 0
[pid=1647/tid=1649] ppid=1645 vsize=143160 CPUtime=12.65 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 5006 0 0 0 1253 12 0 0 25 0 3 0 892204746 146595840 11403 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=143160 CPUtime=12.64 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 5726 0 0 0 1251 13 0 0 25 0 3 0 892204746 146595840 11403 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 143160

[startup+25.5008 s]
/proc/loadavg: 4.04 3.99 3.92 5/182 1651
/proc/meminfo: memFree=11158912/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=144172 CPUtime=50.94 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 18545 0 0 0 5047 47 0 0 25 0 3 0 892204742 147632128 18287 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 36043 18287 180 372 0 35668 0
[pid=1647/tid=1649] ppid=1645 vsize=144172 CPUtime=25.45 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 9314 0 0 0 2522 23 0 0 25 0 3 0 892204746 147632128 18287 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=144172 CPUtime=25.45 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 8302 0 0 0 2521 24 0 0 25 0 3 0 892204746 147632128 18287 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 144172

[startup+51.1003 s]
/proc/loadavg: 4.03 3.99 3.92 5/182 1652
/proc/meminfo: memFree=11056156/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=145108 CPUtime=102.14 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 23678 0 0 0 10132 82 0 0 25 0 3 0 892204742 148590592 23420 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 36277 23420 180 372 0 35902 0
[pid=1647/tid=1649] ppid=1645 vsize=145108 CPUtime=51.05 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 9673 0 0 0 5067 38 0 0 25 0 3 0 892204746 148590592 23420 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=145108 CPUtime=51.04 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 13076 0 0 0 5061 43 0 0 25 0 3 0 892204746 148590592 23420 33554432000 4194304 5714118 140733494022928 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 145108

[startup+102.306 s]
/proc/loadavg: 4.01 3.99 3.92 5/182 1653
/proc/meminfo: memFree=11004288/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=211792 CPUtime=204.56 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 35183 0 0 0 20340 116 0 0 25 0 3 0 892204742 216875008 34925 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 52948 34925 180 372 0 52573 0
[pid=1647/tid=1649] ppid=1645 vsize=211792 CPUtime=102.26 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 19994 0 0 0 10164 62 0 0 25 0 3 0 892204746 216875008 34925 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=211792 CPUtime=102.25 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 14260 0 0 0 10171 54 0 0 25 0 3 0 892204746 216875008 34925 33554432000 4194304 5714118 140733494022928 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 211792

[startup+162.301 s]
/proc/loadavg: 4.05 4.01 3.93 5/182 1655
/proc/meminfo: memFree=10899116/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=279132 CPUtime=324.55 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 50054 0 0 0 32286 169 0 0 25 0 3 0 892204742 285831168 49796 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 69783 49796 180 372 0 69408 0
[pid=1647/tid=1649] ppid=1645 vsize=279132 CPUtime=162.25 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 30483 0 0 0 16134 91 0 0 25 0 3 0 892204746 285831168 49796 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=279132 CPUtime=162.24 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 18642 0 0 0 16147 77 0 0 25 0 3 0 892204746 285831168 49796 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.55
Current children cumulated vsize (KiB) 279132

[startup+222.301 s]
/proc/loadavg: 4.02 4.00 3.93 5/182 1656
/proc/meminfo: memFree=10542968/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=344992 CPUtime=444.54 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 63424 0 0 0 44246 208 0 0 25 0 3 0 892204742 353271808 63166 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 86248 63166 180 372 0 85873 0
[pid=1647/tid=1649] ppid=1645 vsize=344992 CPUtime=222.25 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 42793 0 0 0 22105 120 0 0 25 0 3 0 892204746 353271808 63166 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=344992 CPUtime=222.24 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 19702 0 0 0 22137 87 0 0 25 0 3 0 892204746 353271808 63166 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.54
Current children cumulated vsize (KiB) 344992

[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 1658
/proc/meminfo: memFree=10212480/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=414200 CPUtime=564.55 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 74265 0 0 0 56210 245 0 0 25 0 3 0 892204742 424140800 73987 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 103550 73987 180 372 0 103175 0
[pid=1647/tid=1649] ppid=1645 vsize=414200 CPUtime=282.25 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 51953 0 0 0 28084 141 0 0 25 0 3 0 892204746 424140800 73987 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=414200 CPUtime=282.24 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 21383 0 0 0 28121 103 0 0 25 0 3 0 892204746 424140800 73987 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.55
Current children cumulated vsize (KiB) 414200

[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 1659
/proc/meminfo: memFree=9843180/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=416900 CPUtime=684.55 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 88291 0 0 0 68163 292 0 0 25 0 3 0 892204742 426905600 88009 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 104225 88009 180 372 0 103850 0
[pid=1647/tid=1649] ppid=1645 vsize=416900 CPUtime=342.25 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 60587 0 0 0 34063 162 0 0 25 0 3 0 892204746 426905600 88009 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=416900 CPUtime=342.24 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 26775 0 0 0 34095 129 0 0 25 0 3 0 892204746 426905600 88009 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.55
Current children cumulated vsize (KiB) 416900

[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 1661
/proc/meminfo: memFree=9535136/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=485980 CPUtime=804.56 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 98788 0 0 0 80125 331 0 0 25 0 3 0 892204742 497643520 98503 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 121495 98503 180 372 0 121120 0
[pid=1647/tid=1649] ppid=1645 vsize=485980 CPUtime=402.26 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 67816 0 0 0 40043 183 0 0 25 0 3 0 892204746 497643520 98503 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=485980 CPUtime=402.24 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 30043 0 0 0 40077 147 0 0 25 0 3 0 892204746 497643520 98503 33554432000 4194304 5714118 140733494022928 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.56
Current children cumulated vsize (KiB) 485980

[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 1663
/proc/meminfo: memFree=9182832/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=486952 CPUtime=924.56 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 106034 0 0 0 92094 362 0 0 25 0 3 0 892204742 498638848 105746 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 121738 105746 180 372 0 121363 0
[pid=1647/tid=1649] ppid=1645 vsize=486952 CPUtime=462.26 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 74910 0 0 0 46018 208 0 0 25 0 3 0 892204746 498638848 105746 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=486952 CPUtime=462.24 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 30195 0 0 0 46071 153 0 0 25 0 3 0 892204746 498638848 105746 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.56
Current children cumulated vsize (KiB) 486952

[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 1664
/proc/meminfo: memFree=8960104/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=489472 CPUtime=1044.56 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 113589 0 0 0 104061 395 0 0 25 0 3 0 892204742 501219328 113297 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 122368 113297 180 372 0 121993 0
[pid=1647/tid=1649] ppid=1645 vsize=489472 CPUtime=522.25 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 82072 0 0 0 51993 232 0 0 25 0 3 0 892204746 501219328 113297 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=489472 CPUtime=522.24 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 30588 0 0 0 52062 162 0 0 25 0 3 0 892204746 501219328 113297 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.56
Current children cumulated vsize (KiB) 489472

[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 1666
/proc/meminfo: memFree=8764160/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=557420 CPUtime=1164.57 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 123049 0 0 0 116023 434 0 0 25 0 3 0 892204742 570798080 122757 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 139355 122757 180 372 0 138980 0
[pid=1647/tid=1649] ppid=1645 vsize=557420 CPUtime=582.26 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 91046 0 0 0 57964 262 0 0 25 0 3 0 892204746 570798080 122757 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=557420 CPUtime=582.25 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 31074 0 0 0 58054 171 0 0 25 0 3 0 892204746 570798080 122757 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 557420

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 1667
/proc/meminfo: memFree=8540696/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=558608 CPUtime=1284.57 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 131002 0 0 0 127986 471 0 0 25 0 3 0 892204742 572014592 130544 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 139652 130544 180 372 0 139277 0
[pid=1647/tid=1649] ppid=1645 vsize=558608 CPUtime=642.26 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 98821 0 0 0 63937 289 0 0 25 0 3 0 892204746 572014592 130544 33554432000 4194304 5714118 140733494022928 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=558608 CPUtime=642.26 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 31252 0 0 0 64045 181 0 0 25 0 3 0 892204746 572014592 130544 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.57
Current children cumulated vsize (KiB) 558608

[startup+702.301 s]
/proc/loadavg: 4.07 4.02 3.93 5/182 1669
/proc/meminfo: memFree=8345608/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=627460 CPUtime=1404.57 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 139253 0 0 0 139954 503 0 0 25 0 3 0 892204742 642519040 138781 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 156865 138781 180 372 0 156490 0
[pid=1647/tid=1649] ppid=1645 vsize=627460 CPUtime=702.27 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 106876 0 0 0 69912 315 0 0 25 0 3 0 892204746 642519040 138781 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=627460 CPUtime=702.25 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 31448 0 0 0 70038 187 0 0 25 0 3 0 892204746 642519040 138781 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.57
Current children cumulated vsize (KiB) 627460

[startup+762.306 s]
/proc/loadavg: 2.93 3.72 3.84 3/174 1696
/proc/meminfo: memFree=12548680/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=628104 CPUtime=1524.58 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 147849 0 0 0 151921 537 0 0 25 0 3 0 892204742 643178496 147377 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 157026 147377 180 372 0 156651 0
[pid=1647/tid=1649] ppid=1645 vsize=628104 CPUtime=762.27 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 115353 0 0 0 75886 341 0 0 25 0 3 0 892204746 643178496 147377 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=628104 CPUtime=762.25 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 31567 0 0 0 76030 195 0 0 25 0 3 0 892204746 643178496 147377 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.58
Current children cumulated vsize (KiB) 628104

[startup+822.301 s]
/proc/loadavg: 2.34 3.40 3.72 3/174 1697
/proc/meminfo: memFree=12513696/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=694644 CPUtime=1644.57 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 156756 0 0 0 163884 573 0 0 25 0 3 0 892204742 711315456 156284 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 173661 156284 180 372 0 173286 0
[pid=1647/tid=1649] ppid=1645 vsize=694644 CPUtime=822.26 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 124068 0 0 0 81860 366 0 0 25 0 3 0 892204746 711315456 156284 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=694644 CPUtime=822.25 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 31759 0 0 0 82019 206 0 0 25 0 3 0 892204746 711315456 156284 33554432000 4194304 5714118 140733494022928 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.57
Current children cumulated vsize (KiB) 694644

[startup+882.3 s]
/proc/loadavg: 2.12 3.14 3.61 3/174 1699
/proc/meminfo: memFree=12484772/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=696100 CPUtime=1764.56 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 163837 0 0 0 175849 607 0 0 25 0 3 0 892204742 712806400 163362 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 174025 163362 180 372 0 173650 0
[pid=1647/tid=1649] ppid=1645 vsize=696100 CPUtime=882.27 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 130954 0 0 0 87835 392 0 0 25 0 3 0 892204746 712806400 163362 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=696100 CPUtime=882.24 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 31954 0 0 0 88009 215 0 0 25 0 3 0 892204746 712806400 163362 33554432000 4194304 5714118 140733494022928 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.56
Current children cumulated vsize (KiB) 696100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.101 s]
/proc/loadavg: 2.10 3.09 3.58 3/174 1699
/proc/meminfo: memFree=12471744/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=762176 CPUtime=1800.16 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 167025 0 0 0 179398 618 0 0 25 0 3 0 892204742 780468224 166550 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 190544 166550 180 372 0 190169 0
[pid=1647/tid=1649] ppid=1645 vsize=762176 CPUtime=900.08 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 134070 0 0 0 89608 400 0 0 25 0 3 0 892204746 780468224 166550 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=762176 CPUtime=900.05 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 32026 0 0 0 89787 218 0 0 25 0 3 0 892204746 780468224 166550 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 762176

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+900.101 s]
/proc/loadavg: 2.10 3.09 3.58 3/174 1699
/proc/meminfo: memFree=12471744/32951124 swapFree=67055536/67111528
[pid=1647] ppid=1645 vsize=762176 CPUtime=1800.16 cores=0,2,4,6
/proc/1647/stat : 1647 (pwbo1.1) S 1645 1647 306 0 -1 4202496 167025 0 0 0 179398 618 0 0 25 0 3 0 892204742 780468224 166550 33554432000 4194304 5714118 140733494022928 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1647/statm: 190544 166550 180 372 0 190169 0
[pid=1647/tid=1649] ppid=1645 vsize=762176 CPUtime=900.08 cores=0,2,4,6
/proc/1647/task/1649/stat : 1649 (pwbo1.1) R 1645 1647 306 0 -1 4202560 134070 0 0 0 89608 400 0 0 25 0 3 0 892204746 780468224 166550 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1647/tid=1650] ppid=1645 vsize=762176 CPUtime=900.05 cores=0,2,4,6
/proc/1647/task/1650/stat : 1650 (pwbo1.1) R 1645 1647 306 0 -1 4202560 32026 0 0 0 89787 218 0 0 25 0 3 0 892204746 780468224 166550 33554432000 4194304 5714118 140733494022928 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 762176

Child status: 0
Real time (s): 900.142
CPU time (s): 1800.22
CPU user time (s): 1794.01
CPU system time (s): 6.21606
CPU usage (%): 199.993
Max. virtual memory (cumulated for all children) (KiB): 762176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.01
system time used= 6.21605
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167030
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= 213
involuntary context switches= 13005

runsolver used 1.61075 second user time and 3.00454 second system time

The end

Begin job on node144 at 2011-06-13 22:44:46
IDJOB=3500761
IDBENCH=89859
IDSOLVER=1954
FILE ID=node144/3500761-1307997886
RUNJOBID= node144-1307991315-574
PBS_JOBID= 13559745
Free space on /var/tmp= 2892 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-iis-pima-cov.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500761-1307997886/watcher-3500761-1307997886 -o /var/tmp/evaluation-result-3500761-1307997886/solver-3500761-1307997886 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500761-1307997886.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 19a2dfea334d8fb7f32d77f6785ba1fe
RANDOM SEED=1908165737

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11362896 kB
Buffers:        118080 kB
Cached:       19030712 kB
SwapCached:       9140 kB
Active:        5395572 kB
Inactive:     15524628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11362896 kB
SwapTotal:    67111528 kB
SwapFree:     67055536 kB
Dirty:            4684 kB
Writeback:           0 kB
AnonPages:     1768952 kB
Mapped:          13944 kB
Slab:           600336 kB
PageTables:       8140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1968352 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2908 MiB
End job on node144 at 2011-06-13 22:59:48

Name	/OPT-SMALLINT-LIN/heinz/ normalized-iis-pima-cov.opb
MD5SUM	19a2dfea334d8fb7f32d77f6785ba1fe
Bench Category	OPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	33
Best CPU time to get the best result obtained on this benchmark	856.643
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	736
Total number of constraints	7201
Number of constraints which are clauses	7201
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	8
Maximum length of a constraint	10
Number of terms in the objective function	736
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	736
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	736
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 3500761

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data