Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 20 | 185.99 | 186.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x9.opb |
MD5SUM | 4b56e6775cc4a081c8696ef0fa81b784 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 0.149976 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | YES |
Number of variables | 81 |
Total number of constraints | 81 |
Number of constraints which are clauses | 81 |
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 | 3 |
Maximum length of a constraint | 5 |
Number of terms in the objective function | 81 |
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 | 81 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 81 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680858-1277454905.opb. 0.00/0.00 c Instance file HOME/instance-2680858-1277454905.opb 0.00/0.00 c File size is 3874 bytes. 0.00/0.00 c Highest Coefficient sum: 6 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 81 | 0.00/0.00 c | Number Clauses: 81 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 81 81 369 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 27 0.00/0.00 o 27 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 81 82 450 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 26 0.00/0.00 o 26 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 2 | 81 83 531 | 5000 2 32 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 25 0.00/0.00 o 25 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 10 | 81 84 612 | 5000 10 29 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 23 0.00/0.00 o 23 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 10 | 81 85 693 | 5000 10 29 | 0.000 % | 0.00/0.00 c | 110 | 81 85 693 | 5500 110 26 | 0.015 % | 0.00/0.00 c | 260 | 81 85 693 | 6050 260 27 | 0.015 % | 0.00/0.01 c | 485 | 81 85 693 | 6655 485 27 | 0.015 % | 0.00/0.02 c | 822 | 81 85 693 | 7320 822 27 | 0.015 % | 0.00/0.04 c | 1329 | 81 85 693 | 8052 1329 27 | 0.015 % | 0.05/0.06 c | 2090 | 81 85 693 | 8857 2090 28 | 0.015 % | 0.09/0.11 c | 3229 | 81 85 693 | 9743 3229 28 | 0.015 % | 0.09/0.20 c | 4937 | 81 85 693 | 10717 4937 28 | 0.015 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 22 0.19/0.21 o 22 0.19/0.21 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 5263 | 81 86 774 | 5000 5263 28 | 0.015 % | 0.19/0.22 c | 5364 | 81 86 774 | 5500 2733 28 | 0.015 % | 0.19/0.22 c | 5514 | 81 86 774 | 6050 2883 28 | 0.015 % | 0.19/0.23 c | 5739 | 81 86 774 | 6655 3108 28 | 0.015 % | 0.19/0.25 c | 6077 | 81 86 774 | 7320 3446 28 | 0.015 % | 0.19/0.27 c | 6583 | 81 86 774 | 8052 3952 27 | 0.015 % | 0.29/0.30 c | 7342 | 81 86 774 | 8857 4711 27 | 0.015 % | 0.29/0.35 c | 8481 | 81 86 774 | 9743 5850 27 | 0.015 % | 0.39/0.43 c | 10190 | 81 86 774 | 10717 7559 27 | 0.015 % | 0.49/0.59 c | 12752 | 81 86 774 | 11789 10121 27 | 0.015 % | 0.79/0.83 c | 16596 | 81 86 774 | 12968 8043 27 | 0.015 % | 1.19/1.23 c | 22363 | 81 86 774 | 14265 7298 27 | 0.015 % | 1.89/1.96 c | 31013 | 81 86 774 | 15692 8788 29 | 0.015 % | 2.99/3.05 c | 43988 | 81 86 774 | 17261 13894 27 | 0.015 % | 4.89/4.90 c | 63449 | 81 86 774 | 18987 16041 28 | 0.015 % | 8.98/9.04 c | 92643 | 81 86 774 | 20886 16664 28 | 0.015 % | 13.88/13.90 c | 136433 | 81 86 774 | 22974 18572 28 | 0.015 % | 24.68/24.71 c | 202117 | 81 86 774 | 25272 13543 29 | 0.015 % | 39.49/39.58 c | 300644 | 81 86 774 | 27799 14767 28 | 0.015 % | 67.17/67.27 c | 448434 | 81 86 774 | 30579 15086 28 | 0.015 % | 70.07/70.15 c =============================================================================== 70.07/70.15 c New solution: 21 70.07/70.15 o 21 70.07/70.15 c Elapsed CPU time: 68.8385 s Remaining CPU time: 111.161 s 70.07/70.15 c =============================================================================== 70.07/70.15 c | 470029 | 81 87 855 | 5000 17254 26 | 0.015 % | 70.17/70.25 c | 470130 | 81 87 855 | 5500 4415 26 | 0.015 % | 70.17/70.25 c | 470281 | 81 87 855 | 6050 4566 26 | 0.015 % | 70.17/70.26 c | 470507 | 81 87 855 | 6655 4792 26 | 0.015 % | 70.17/70.28 c | 470846 | 81 87 855 | 7320 5131 26 | 0.015 % | 70.27/70.31 c | 471354 | 81 87 855 | 8052 5639 26 | 0.015 % | 70.27/70.35 c | 472113 | 81 87 855 | 8857 6398 26 | 0.015 % | 70.37/70.41 c | 473252 | 81 87 855 | 9743 7537 26 | 0.015 % | 70.47/70.50 c | 474961 | 81 87 855 | 10717 9246 25 | 0.015 % | 70.57/70.66 c | 477524 | 81 87 855 | 11789 6421 25 | 0.015 % | 70.77/70.89 c | 481368 | 81 87 855 | 12968 10265 25 | 0.015 % | 71.17/71.26 c | 487137 | 81 87 855 | 14265 9524 25 | 0.015 % | 72.07/72.11 c | 495787 | 81 87 855 | 15692 11014 26 | 0.015 % | 73.37/73.44 c | 508761 | 81 87 855 | 17261 8239 29 | 0.015 % | 75.78/75.80 c | 528223 | 81 87 855 | 18987 10390 28 | 0.015 % | 79.46/79.52 c | 557415 | 81 87 855 | 20886 11025 27 | 0.015 % | 85.67/85.78 c | 601206 | 81 87 855 | 22974 12951 28 | 0.015 % | 94.47/94.50 c | 666890 | 81 87 855 | 25272 19129 26 | 0.015 % | 112.76/112.80 c | 765416 | 81 87 855 | 27799 19979 27 | 0.015 % | 136.55/136.63 c | 913206 | 81 87 855 | 30579 19646 27 | 0.015 % | 183.23/183.32 c There are 0 assigned variables. 0 in cost function. 184.34/184.46 c core #1 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 4 Core Weight: 1 Total Weight: 1 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #2 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 5 Core Weight: 1 Total Weight: 2 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #3 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 5 Core Weight: 1 Total Weight: 3 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #4 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 5 Core Weight: 1 Total Weight: 4 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #5 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 6 Core Weight: 1 Total Weight: 5 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #6 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 6 Core Weight: 1 Total Weight: 6 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #7 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 6 Core Weight: 1 Total Weight: 7 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #8 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 5 Core Weight: 1 Total Weight: 8 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #9 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 6 Core Weight: 1 Total Weight: 9 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #10 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 5 Core Weight: 1 Total Weight: 10 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #11 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 6 Core Weight: 1 Total Weight: 11 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #12 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 6 Core Weight: 1 Total Weight: 12 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #13 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 6 Core Weight: 1 Total Weight: 13 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #14 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 6 Core Weight: 1 Total Weight: 14 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #15 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 4 Core Weight: 1 Total Weight: 15 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #16 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 5 Core Weight: 1 Total Weight: 16 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c core #17 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 4 Core Weight: 1 Total Weight: 17 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c ============================[ Search Statistics ]============================== 184.34/184.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.46 c =============================================================================== 184.34/184.46 c | 0 | 146 185 1074 | 5000 0 nan | 0.000 % | 184.34/184.46 c =============================================================================== 184.34/184.46 c core #18 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c Core size: 56 Core Weight: 1 Total Weight: 18 184.34/184.46 c 184.34/184.46 c 184.34/184.46 c ============================[ Search Statistics ]============================== 184.34/184.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.46 c =============================================================================== 184.34/184.46 c | 0 | 202 186 1180 | 5000 0 nan | 0.000 % | 184.34/184.47 c | 100 | 202 186 1180 | 5500 100 27 | 0.983 % | 184.34/184.48 c | 250 | 200 186 1180 | 6050 249 25 | 1.980 % | 184.34/184.48 c =============================================================================== 184.34/184.48 c core #19 184.34/184.48 c 184.34/184.48 c 184.34/184.48 c Core size: 59 Core Weight: 1 Total Weight: 19 184.34/184.48 c 184.34/184.48 c 184.34/184.48 c ============================[ Search Statistics ]============================== 184.34/184.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.48 c =============================================================================== 184.34/184.48 c | 0 | 262 187 1298 | 5000 0 nan | 0.000 % | 184.34/184.49 c | 100 | 262 187 1298 | 5500 100 29 | 0.001 % | 184.44/184.50 c | 250 | 262 187 1298 | 6050 250 32 | 0.001 % | 184.44/184.51 c | 479 | 262 187 1298 | 6655 479 37 | 0.001 % | 184.44/184.55 c | 817 | 262 187 1298 | 7320 817 40 | 0.001 % | 184.53/184.60 c | 1326 | 262 187 1298 | 8052 1326 39 | 0.001 % | 184.53/184.68 c | 2085 | 262 187 1298 | 8857 2085 35 | 0.001 % | 184.74/184.81 c | 3227 | 262 187 1298 | 9743 3227 34 | 0.001 % | 184.83/184.96 c =============================================================================== 184.94/185.00 c core #20 184.94/185.00 c 184.94/185.00 c 184.94/185.00 c Core size: 87 Core Weight: 1 Total Weight: 20 184.94/185.00 c 184.94/185.00 c 184.94/185.00 c ============================[ Search Statistics ]============================== 184.94/185.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.00 c =============================================================================== 184.94/185.00 c | 0 | 343 188 1460 | 5000 0 nan | 0.000 % | 184.94/185.01 c | 102 | 343 188 1460 | 5500 102 48 | 0.001 % | 184.94/185.02 c | 253 | 343 188 1460 | 6050 253 53 | 0.001 % | 184.94/185.04 c | 479 | 343 188 1460 | 6655 479 62 | 0.001 % | 184.94/185.08 c | 820 | 343 188 1460 | 7320 820 66 | 0.001 % | 185.03/185.15 c | 1326 | 343 188 1460 | 8052 1326 73 | 0.001 % | 185.13/185.27 c | 2085 | 343 188 1460 | 8857 2085 84 | 0.001 % | 185.44/185.50 c | 3224 | 343 188 1460 | 9743 3224 87 | 0.001 % | 185.74/185.90 c | 4934 | 343 188 1460 | 10717 4934 91 | 0.001 % | 185.93/186.02 c =============================================================================== 185.93/186.02 c #cores: 20 185.93/186.02 c Final Weight: 20 185.93/186.02 o 20 185.93/186.02 s OPTIMUM FOUND 185.93/186.02 v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 x9 x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 x26 -x27 x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 x72 -x73 -x74 x75 -x76 -x77 x78 -x79 -x80 -x81 185.93/186.02 c Total CPU time: 182.664 s
OK 20
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680858-1277454905/watcher-2680858-1277454905 -o /tmp/evaluation-result-2680858-1277454905/solver-2680858-1277454905 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680858-1277454905.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.00 0.91 3/106 26694 /proc/meminfo: memFree=1810760/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=2572 CPUtime=0 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 86778569 2633728 196 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 643 196 145 303 0 338 0 [startup+0.0614039 s] /proc/loadavg: 1.01 1.00 0.91 3/106 26694 /proc/meminfo: memFree=1810760/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=2964 CPUtime=0.05 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 374 0 0 0 5 0 0 0 20 0 1 0 86778569 3035136 292 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 741 292 145 303 0 436 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2964 [startup+0.101411 s] /proc/loadavg: 1.01 1.00 0.91 3/106 26694 /proc/meminfo: memFree=1810760/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=3096 CPUtime=0.09 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 436 0 0 0 9 0 0 0 20 0 1 0 86778569 3170304 354 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 774 354 145 303 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3096 [startup+0.301439 s] /proc/loadavg: 1.01 1.00 0.91 3/106 26694 /proc/meminfo: memFree=1810760/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=4128 CPUtime=0.29 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 676 0 0 0 28 1 0 0 20 0 1 0 86778569 4227072 594 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 1032 594 145 303 0 727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4128 [startup+0.700496 s] /proc/loadavg: 1.01 1.00 0.91 3/106 26694 /proc/meminfo: memFree=1810760/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=5696 CPUtime=0.69 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 1064 0 0 0 67 2 0 0 20 0 1 0 86778569 5832704 982 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 1424 982 145 303 0 1119 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5696 [startup+1.50061 s] /proc/loadavg: 1.01 1.00 0.91 2/107 26695 /proc/meminfo: memFree=1806288/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=8312 CPUtime=1.49 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 1731 0 0 0 144 5 0 0 22 0 1 0 86778569 8511488 1649 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 2078 1649 145 303 0 1773 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8312 [startup+3.10084 s] /proc/loadavg: 1.01 1.00 0.91 2/107 26695 /proc/meminfo: memFree=1802816/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=12256 CPUtime=3.09 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 2719 0 0 0 300 9 0 0 25 0 1 0 86778569 12550144 2637 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 3064 2637 145 303 0 2759 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12256 [startup+6.30129 s] /proc/loadavg: 1.01 1.00 0.91 2/107 26695 /proc/meminfo: memFree=1795500/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=18528 CPUtime=6.29 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 4261 0 0 0 613 16 0 0 25 0 1 0 86778569 18972672 4179 1992294400 134512640 135752675 4289913728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 4632 4179 145 303 0 4327 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18528 [startup+12.7012 s] /proc/loadavg: 1.01 1.00 0.91 2/107 26695 /proc/meminfo: memFree=1783720/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=30168 CPUtime=12.68 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 7159 0 0 0 1237 31 0 0 25 0 1 0 86778569 30892032 7077 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 7542 7077 145 303 0 7237 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30168 [startup+25.501 s] /proc/loadavg: 1.01 1.00 0.91 2/107 26695 /proc/meminfo: memFree=1764996/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=48312 CPUtime=25.48 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 11688 0 0 0 2495 53 0 0 25 0 1 0 86778569 49471488 11606 1992294400 134512640 135752675 4289913728 18446744073709551615 134611609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 12078 11606 145 303 0 11773 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48312 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26695 /proc/meminfo: memFree=1733128/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=80300 CPUtime=51.08 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 19685 0 0 0 5011 97 0 0 25 0 1 0 86778569 82227200 19603 1992294400 134512640 135752675 4289913728 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 20075 19603 145 303 0 19770 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 80300 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26697 /proc/meminfo: memFree=1661084/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=151488 CPUtime=102.27 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 37439 0 0 0 10025 202 0 0 25 0 1 0 86778569 155123712 37357 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 37872 37357 145 303 0 37567 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 151488 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26699 /proc/meminfo: memFree=1594992/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=217968 CPUtime=162.24 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 54038 0 0 0 15927 297 0 0 25 0 1 0 86778569 223199232 53956 1992294400 134512640 135752675 4289913728 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 54492 53956 145 303 0 54187 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 217968 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26699 /proc/meminfo: memFree=1591272/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=221340 CPUtime=166.24 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 54895 0 0 0 16323 301 0 0 25 0 1 0 86778569 226652160 54813 1992294400 134512640 135752675 4289913728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 55335 54813 145 303 0 55030 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 221340 [startup+179.102 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26699 /proc/meminfo: memFree=1579988/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=234180 CPUtime=179.03 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 58090 0 0 0 17584 319 0 0 25 0 1 0 86778569 239800320 58008 1992294400 134512640 135752675 4289913728 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 58545 58008 145 303 0 58240 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 234180 [startup+182.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26699 /proc/meminfo: memFree=1575648/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=237568 CPUtime=182.23 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 58947 0 0 0 17899 324 0 0 25 0 1 0 86778569 243269632 58865 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 59392 58865 145 303 0 59087 0 Current children cumulated CPU time (s) 182.23 Current children cumulated vsize (KiB) 237568 [startup+183.901 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26699 /proc/meminfo: memFree=1573664/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=238608 CPUtime=183.84 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 59192 0 0 0 18057 327 0 0 25 0 1 0 86778569 244334592 59110 1992294400 134512640 135752675 4289913728 18446744073709551615 135200964 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 59652 59110 145 303 0 59347 0 Current children cumulated CPU time (s) 183.84 Current children cumulated vsize (KiB) 238608 [startup+184.702 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26699 /proc/meminfo: memFree=1573664/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=238444 CPUtime=184.64 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 59196 0 0 0 18137 327 0 0 25 0 1 0 86778569 244166656 59084 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 59611 59084 146 303 0 59306 0 Current children cumulated CPU time (s) 184.64 Current children cumulated vsize (KiB) 238444 [startup+185.502 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26699 /proc/meminfo: memFree=1573664/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=238444 CPUtime=185.44 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 59203 0 0 0 18215 329 0 0 25 0 1 0 86778569 244166656 59091 1992294400 134512640 135752675 4289913728 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 59611 59091 146 303 0 59306 0 Current children cumulated CPU time (s) 185.44 Current children cumulated vsize (KiB) 238444 [startup+185.909 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26699 /proc/meminfo: memFree=1573664/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=238444 CPUtime=185.84 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 59215 0 0 0 18255 329 0 0 25 0 1 0 86778569 244166656 59103 1992294400 134512640 135752675 4289913728 18446744073709551615 134611724 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 59611 59103 146 303 0 59306 0 Current children cumulated CPU time (s) 185.84 Current children cumulated vsize (KiB) 238444 [startup+186.002 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26699 /proc/meminfo: memFree=1573664/2059040 swapFree=4140632/4192956 [pid=26694] ppid=26692 vsize=238444 CPUtime=185.93 /proc/26694/stat : 26694 (wbo1.4b) R 26692 26694 26433 0 -1 4202496 59219 0 0 0 18264 329 0 0 25 0 1 0 86778569 244166656 59107 1992294400 134512640 135752675 4289913728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26694/statm: 59611 59107 146 303 0 59306 0 Current children cumulated CPU time (s) 185.93 Current children cumulated vsize (KiB) 238444 Child status: 0 Real time (s): 186.05 CPU time (s): 185.99 CPU user time (s): 182.664 CPU system time (s): 3.32549 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 238608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 182.664 system time used= 3.32549 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59220 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= 3 involuntary context switches= 170 runsolver used 0.282956 second user time and 0.92086 second system time The end
Begin job on node049 at 2010-06-25 10:35:05 IDJOB=2680858 IDBENCH=2213 IDSOLVER=1190 FILE ID=node049/2680858-1277454905 PBS_JOBID= 11188119 Free space on /tmp= 62456 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x9.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680858-1277454905/watcher-2680858-1277454905 -o /tmp/evaluation-result-2680858-1277454905/solver-2680858-1277454905 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680858-1277454905.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4b56e6775cc4a081c8696ef0fa81b784 RANDOM SEED=1283673919 node049.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1811288 kB Buffers: 51928 kB Cached: 93772 kB SwapCached: 5700 kB Active: 25484 kB Inactive: 133836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1811288 kB SwapTotal: 4192956 kB SwapFree: 4140632 kB Dirty: 2640 kB Writeback: 0 kB AnonPages: 12260 kB Mapped: 12012 kB Slab: 66304 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183532 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62452 MiB End job on node049 at 2010-06-25 10:38:11