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

Solver Name	Answer	objective function	CPU time	Wall clock time
wbo 1.7	OPT	6	1050.12	1050.17

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-3705699-1338091492/watcher-3705699-1338091492 -o /tmp/evaluation-result-3705699-1338091492/solver-3705699-1338091492 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705699-1338091492.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: 2.00 2.00 1.94 3/177 18729
/proc/meminfo: memFree=26911564/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=83920 CPUtime=0 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 945 0 0 0 0 0 0 0 20 0 2 0 275277788 85934080 886 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 20980 886 190 432 0 20545 0
[pid=18729/tid=18730] ppid=18727 vsize=83920 CPUtime=0 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 2 0 275277789 85934080 888 33554432000 4194304 5963574 140734078965136 140735165361784 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0

[startup+0.0587711 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 18729
/proc/meminfo: memFree=26911564/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=83920 CPUtime=0.05 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 1080 0 0 0 5 0 0 0 20 0 2 0 275277788 85934080 1021 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 20980 1021 194 432 0 20545 0
[pid=18729/tid=18730] ppid=18727 vsize=83920 CPUtime=0.04 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 279 0 0 0 4 0 0 0 20 0 2 0 275277789 85934080 1021 33554432000 4194304 5963574 140734078965136 140735165361784 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83920

[startup+0.10029 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 18729
/proc/meminfo: memFree=26911564/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=83920 CPUtime=0.09 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 1200 0 0 0 9 0 0 0 20 0 2 0 275277788 85934080 1141 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 20980 1141 194 432 0 20545 0
[pid=18729/tid=18730] ppid=18727 vsize=83920 CPUtime=0.08 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 399 0 0 0 8 0 0 0 20 0 2 0 275277789 85934080 1141 33554432000 4194304 5963574 140734078965136 140735165361784 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83920

[startup+0.300254 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 18729
/proc/meminfo: memFree=26911564/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=83920 CPUtime=0.29 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 1493 0 0 0 29 0 0 0 20 0 2 0 275277788 85934080 1434 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 20980 1434 194 432 0 20545 0
[pid=18729/tid=18730] ppid=18727 vsize=83920 CPUtime=0.28 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 692 0 0 0 28 0 0 0 20 0 2 0 275277789 85934080 1434 33554432000 4194304 5963574 140734078965136 140735165361784 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83920

[startup+0.700247 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 18729
/proc/meminfo: memFree=26911564/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=83920 CPUtime=0.69 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 2056 0 0 0 69 0 0 0 20 0 2 0 275277788 85934080 1997 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 20980 1998 194 432 0 20545 0
[pid=18729/tid=18730] ppid=18727 vsize=83920 CPUtime=0.68 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 1256 0 0 0 68 0 0 0 20 0 2 0 275277789 85934080 1998 33554432000 4194304 5963574 140734078965136 140735165361784 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83920

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18731
/proc/meminfo: memFree=26903116/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=83920 CPUtime=1.49 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 2962 0 0 0 149 0 0 0 20 0 2 0 275277788 85934080 2903 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 20980 2903 194 432 0 20545 0
[pid=18729/tid=18730] ppid=18727 vsize=83920 CPUtime=1.48 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 2161 0 0 0 148 0 0 0 20 0 2 0 275277789 85934080 2903 33554432000 4194304 5963574 140734078965136 140378311354168 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83920

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18731
/proc/meminfo: memFree=26898900/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=84064 CPUtime=3.09 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 3821 0 0 0 309 0 0 0 20 0 2 0 275277788 86081536 3762 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 21016 3762 194 432 0 20581 0
[pid=18729/tid=18730] ppid=18727 vsize=84064 CPUtime=3.08 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 3020 0 0 0 308 0 0 0 20 0 2 0 275277789 86081536 3762 33554432000 4194304 5963574 140734078965136 140378311354360 4400074 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84064

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18731
/proc/meminfo: memFree=26893320/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=84136 CPUtime=6.29 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 5138 0 0 0 629 0 0 0 20 0 2 0 275277788 86155264 5079 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 21034 5079 194 432 0 20599 0
[pid=18729/tid=18730] ppid=18727 vsize=84136 CPUtime=6.28 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 4337 0 0 0 628 0 0 0 20 0 2 0 275277789 86155264 5079 33554432000 4194304 5963574 140734078965136 140378311354360 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84136

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18731
/proc/meminfo: memFree=26887012/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=83920 CPUtime=12.69 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 6331 0 0 0 1268 1 0 0 20 0 2 0 275277788 85934080 6229 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 20980 6229 194 432 0 20545 0
[pid=18729/tid=18730] ppid=18727 vsize=83920 CPUtime=12.69 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 5530 0 0 0 1267 2 0 0 20 0 2 0 275277789 85934080 6229 33554432000 4194304 5963574 140734078965136 140378311355320 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83920

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18731
/proc/meminfo: memFree=26877968/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=83920 CPUtime=25.48 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 8687 0 0 0 2547 1 0 0 20 0 2 0 275277788 85934080 8585 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 20980 8585 194 432 0 20545 0
[pid=18729/tid=18730] ppid=18727 vsize=83920 CPUtime=25.48 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 7886 0 0 0 2546 2 0 0 20 0 2 0 275277789 85934080 8585 33554432000 4194304 5963574 140734078965136 140378311354168 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83920

[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 1.94 3/179 18731
/proc/meminfo: memFree=26853912/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=84404 CPUtime=51.08 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 14779 0 0 0 5104 4 0 0 20 0 2 0 275277788 86429696 14677 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 21101 14677 194 432 0 20666 0
[pid=18729/tid=18730] ppid=18727 vsize=84404 CPUtime=51.08 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 13978 0 0 0 5103 5 0 0 20 0 2 0 275277789 86429696 14677 33554432000 4194304 5963574 140734078965136 140378311354168 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84404

[startup+102.307 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 18732
/proc/meminfo: memFree=26830964/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=149940 CPUtime=102.29 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 20224 0 0 0 10222 7 0 0 20 0 2 0 275277788 153538560 20122 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 37485 20122 194 432 0 37050 0
[pid=18729/tid=18730] ppid=18727 vsize=149940 CPUtime=102.29 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 19423 0 0 0 10221 8 0 0 20 0 2 0 275277789 153538560 20122 33554432000 4194304 5963574 140734078965136 140378311354168 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 149940

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 18732
/proc/meminfo: memFree=26809388/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=150180 CPUtime=162.26 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 25490 0 0 0 16216 10 0 0 20 0 2 0 275277788 153784320 25385 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 37545 25385 194 432 0 37110 0
[pid=18729/tid=18730] ppid=18727 vsize=150180 CPUtime=162.29 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 24689 0 0 0 16216 13 0 0 20 0 2 0 275277789 153784320 25385 33554432000 4194304 5963574 140734078965136 140378311354168 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 150180

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18732
/proc/meminfo: memFree=26787688/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=153096 CPUtime=222.26 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 31024 0 0 0 22212 14 0 0 20 0 2 0 275277788 156770304 30868 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 38274 30868 194 432 0 37839 0
[pid=18729/tid=18730] ppid=18727 vsize=153096 CPUtime=222.29 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 30223 0 0 0 22212 17 0 0 20 0 2 0 275277789 156770304 30868 33554432000 4194304 5963574 140734078965136 140378311354232 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 153096

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18732
/proc/meminfo: memFree=26763912/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=221544 CPUtime=282.2 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 36347 0 0 0 28203 17 0 0 20 0 2 0 275277788 226861056 36751 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 55386 36751 194 432 0 54951 0
[pid=18729/tid=18730] ppid=18727 vsize=221544 CPUtime=282.25 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 35546 0 0 0 28203 22 0 0 20 0 2 0 275277789 226861056 36751 33554432000 4194304 5963574 140734078965136 140378311354168 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 221544

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 18735
/proc/meminfo: memFree=26685496/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=229156 CPUtime=342.17 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 39887 0 0 0 34198 19 0 0 20 0 2 0 275277788 234655744 40498 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 57289 40498 194 432 0 56854 0
[pid=18729/tid=18730] ppid=18727 vsize=229156 CPUtime=342.23 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 39086 0 0 0 34198 25 0 0 20 0 2 0 275277789 234655744 40498 33554432000 4194304 5963574 140734078965136 140378311354360 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 229156

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18736
/proc/meminfo: memFree=26664996/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=233040 CPUtime=402.17 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 42878 0 0 0 40195 22 0 0 20 0 2 0 275277788 238632960 43467 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0

################
# More data... #
################

/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 50720 0 0 0 58187 37 0 0 20 0 2 0 275277789 252895232 52043 33554432000 4194304 5963574 140734078965136 140378311354168 4399952 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 246968

[startup+642.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 18736
/proc/meminfo: memFree=26492044/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=251888 CPUtime=642.13 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 53092 0 0 0 64183 30 0 0 20 0 2 0 275277788 257933312 53602 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 62972 53602 194 432 0 62537 0
[pid=18729/tid=18730] ppid=18727 vsize=251888 CPUtime=642.25 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 52291 0 0 0 64185 40 0 0 20 0 2 0 275277789 257933312 53602 33554432000 4194304 5963574 140734078965136 140378311354168 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 251888

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18737
/proc/meminfo: memFree=26463916/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=322244 CPUtime=702.09 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 59885 0 0 0 70172 37 0 0 20 0 2 0 275277788 329977856 60548 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 80561 60548 194 432 0 80126 0
[pid=18729/tid=18730] ppid=18727 vsize=322244 CPUtime=702.22 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 59084 0 0 0 70174 48 0 0 20 0 2 0 275277789 329977856 60548 33554432000 4194304 5963574 140734078965136 140378311354360 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 322244

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18737
/proc/meminfo: memFree=26453308/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=322244 CPUtime=762.09 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 60453 0 0 0 76171 38 0 0 20 0 2 0 275277788 329977856 61613 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 80561 61613 194 432 0 80126 0
[pid=18729/tid=18730] ppid=18727 vsize=322244 CPUtime=762.23 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 59652 0 0 0 76173 50 0 0 20 0 2 0 275277789 329977856 61613 33554432000 4194304 5963574 140734078965136 140378311354168 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 322244

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18737
/proc/meminfo: memFree=26394396/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=326444 CPUtime=822.07 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 64644 0 0 0 82165 42 0 0 20 0 2 0 275277788 334278656 65780 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 81611 65780 194 432 0 81176 0
[pid=18729/tid=18730] ppid=18727 vsize=326444 CPUtime=822.23 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 63843 0 0 0 82168 55 0 0 20 0 2 0 275277789 334278656 65780 33554432000 4194304 5963574 140734078965136 140378311354360 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 326444

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18737
/proc/meminfo: memFree=26321724/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=329264 CPUtime=882.07 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 68157 0 0 0 88160 47 0 0 20 0 2 0 275277788 337166336 69293 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 82316 69293 194 432 0 81881 0
[pid=18729/tid=18730] ppid=18727 vsize=329264 CPUtime=882.23 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 67356 0 0 0 88163 60 0 0 20 0 2 0 275277789 337166336 69293 33554432000 4194304 5963574 140734078965136 140378311354408 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 329264

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 18740
/proc/meminfo: memFree=26267332/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=329424 CPUtime=942.06 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 68260 0 0 0 94159 47 0 0 20 0 2 0 275277788 337330176 69396 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 82356 69396 194 432 0 81921 0
[pid=18729/tid=18730] ppid=18727 vsize=329424 CPUtime=942.23 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 67459 0 0 0 94162 61 0 0 20 0 2 0 275277789 337330176 69396 33554432000 4194304 5963574 140734078965136 140378311354168 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 329424

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18741
/proc/meminfo: memFree=26204348/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=330308 CPUtime=1002.04 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 70037 0 0 0 100156 48 0 0 20 0 2 0 275277788 338235392 71172 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 82577 71172 194 432 0 82142 0
[pid=18729/tid=18730] ppid=18727 vsize=330308 CPUtime=1002.24 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 69236 0 0 0 100160 64 0 0 20 0 2 0 275277789 338235392 71172 33554432000 4194304 5963574 140734078965136 140378311354168 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 330308

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

[startup+1023.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18741
/proc/meminfo: memFree=26189096/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=330792 CPUtime=1023.64 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 70175 0 0 0 102316 48 0 0 20 0 2 0 275277788 338731008 71310 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 82698 71310 194 432 0 82263 0
[pid=18729/tid=18730] ppid=18727 vsize=330792 CPUtime=1023.84 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 69374 0 0 0 102320 64 0 0 20 0 2 0 275277789 338731008 71310 33554432000 4194304 5963574 140734078965136 140378311354408 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1023.64
Current children cumulated vsize (KiB) 330792

[startup+1036.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18741
/proc/meminfo: memFree=26176944/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=330952 CPUtime=1036.44 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 70969 0 0 0 103594 50 0 0 20 0 2 0 275277788 338894848 72104 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 82738 72104 194 432 0 82303 0
[pid=18729/tid=18730] ppid=18727 vsize=330952 CPUtime=1036.64 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 70168 0 0 0 103598 66 0 0 20 0 2 0 275277789 338894848 72104 33554432000 4194304 5963574 140734078965136 140378311353960 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1036.44
Current children cumulated vsize (KiB) 330952

[startup+1043.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18741
/proc/meminfo: memFree=26133668/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=396488 CPUtime=1042.84 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 80922 0 0 0 104231 53 0 0 20 0 2 0 275277788 406003712 82057 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 99122 82057 194 432 0 98687 0
[pid=18729/tid=18730] ppid=18727 vsize=396488 CPUtime=1043.04 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 80122 0 0 0 104235 69 0 0 20 0 2 0 275277789 406003712 82058 33554432000 4194304 5963574 140734078965136 140378311354552 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1042.84
Current children cumulated vsize (KiB) 396488

[startup+1046.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18741
/proc/meminfo: memFree=26119780/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=396488 CPUtime=1046.04 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 83037 0 0 0 104550 54 0 0 20 0 2 0 275277788 406003712 84172 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 99122 84172 194 432 0 98687 0
[pid=18729/tid=18730] ppid=18727 vsize=396488 CPUtime=1046.24 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 82236 0 0 0 104554 70 0 0 20 0 2 0 275277789 406003712 84172 33554432000 4194304 5963574 140734078965136 140378311354712 4397928 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1046.04
Current children cumulated vsize (KiB) 396488

[startup+1047.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18741
/proc/meminfo: memFree=26119036/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=396488 CPUtime=1047.64 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 83037 0 0 0 104710 54 0 0 20 0 2 0 275277788 406003712 84172 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 99122 84172 194 432 0 98687 0
[pid=18729/tid=18730] ppid=18727 vsize=396488 CPUtime=1047.84 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 82236 0 0 0 104714 70 0 0 20 0 2 0 275277789 406003712 84172 33554432000 4194304 5963574 140734078965136 140378311354712 4398020 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1047.64
Current children cumulated vsize (KiB) 396488

[startup+1049.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18741
/proc/meminfo: memFree=26117052/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=396488 CPUtime=1049.24 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 83080 0 0 0 104870 54 0 0 20 0 2 0 275277788 406003712 84215 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 99122 84215 194 432 0 98687 0
[pid=18729/tid=18730] ppid=18727 vsize=396488 CPUtime=1049.44 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 82279 0 0 0 104874 70 0 0 20 0 2 0 275277789 406003712 84215 33554432000 4194304 5963574 140734078965136 140378311354712 5141661 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1049.24
Current children cumulated vsize (KiB) 396488

[startup+1049.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18741
/proc/meminfo: memFree=26117052/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=396488 CPUtime=1049.64 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 83080 0 0 0 104910 54 0 0 20 0 2 0 275277788 406003712 84215 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 99122 84215 194 432 0 98687 0
[pid=18729/tid=18730] ppid=18727 vsize=396488 CPUtime=1049.84 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 82279 0 0 0 104914 70 0 0 20 0 2 0 275277789 406003712 84215 33554432000 4194304 5963574 140734078965136 140378311354824 5121619 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1049.64
Current children cumulated vsize (KiB) 396488

[startup+1050.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18741
/proc/meminfo: memFree=26117052/32873844 swapFree=6088/6088
[pid=18729] ppid=18727 vsize=346064 CPUtime=1049.84 cores=1,3,5,7
/proc/18729/stat : 18729 (wbo1.7) S 18727 18729 16852 0 -1 4202496 83080 0 0 0 104930 54 0 0 20 0 2 0 275277788 354369536 74068 33554432000 4194304 5963574 140734078965136 140734078964656 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18729/statm: 86516 74068 194 432 0 86081 0
[pid=18729/tid=18730] ppid=18727 vsize=346064 CPUtime=1050.04 cores=1,3,5,7
/proc/18729/task/18730/stat : 18730 (wbo1.7) R 18727 18729 16852 0 -1 4202560 82279 0 0 0 104934 70 0 0 20 0 2 0 275277789 354369536 74068 33554432000 4194304 5963574 140734078965136 140378311354824 4399610 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1049.84
Current children cumulated vsize (KiB) 346064

Child status: 255
Real time (s): 1050.17
CPU time (s): 1050.12
CPU user time (s): 1049.4
CPU system time (s): 0.71889
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 396488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1049.4
system time used= 0.71889
maximum resident set size= 336860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83081
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= 93
involuntary context switches= 1126

runsolver used 2.05269 second user time and 5.63014 second system time

The end

Begin job on node108 at 2012-05-27 06:04:52
IDJOB=3705699
IDBENCH=48135
IDSOLVER=2284
FILE ID=node108/3705699-1338091492
RUNJOBID= node108-1338087358-16869
PBS_JOBID= 14624441
Free space on /tmp= 71736 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_10_4.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705699-1338091492/watcher-3705699-1338091492 -o /tmp/evaluation-result-3705699-1338091492/solver-3705699-1338091492 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705699-1338091492.opb

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

MD5SUM BENCH= 7b38b4ead930b62d925cf473e2cdd798
RANDOM SEED=1410397924

node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26912084 kB
Buffers:          295816 kB
Cached:          4529804 kB
SwapCached:            0 kB
Active:           935728 kB
Inactive:        4232700 kB
Active(anon):     342208 kB
Inactive(anon):        0 kB
Active(file):     593520 kB
Inactive(file):  4232700 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5440 kB
Writeback:             0 kB
AnonPages:        345772 kB
Mapped:            15076 kB
Shmem:               200 kB
Slab:             655228 kB
SReclaimable:      97268 kB
SUnreclaim:       557960 kB
KernelStack:        1472 kB
PageTables:         4708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     160464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    311296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3705699-1338091492.opb

Free space on /tmp at the end= 71728 MiB
End job on node108 at 2012-05-27 06:22:22

Name	normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_4.opb
MD5SUM	7b38b4ead930b62d925cf473e2cdd798
Bench Category	OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	0.32295
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6
Optimality of the best value was proved	YES
Number of variables	50
Total number of constraints	50
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	50
Minimum length of a constraint	11
Maximum length of a constraint	17
Number of terms in the objective function	50
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	50
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	50
Number of bits of the biggest sum of numbers	6
Number of products (including duplicates)	614
Sum of products size (including duplicates)	1228
Number of different products	614
Sum of products size	1228

Trace number 3705699

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data