Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 20 | 185.64 | 185.801 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656215-1276474785.opb. 0.00/0.00 c Instance file HOME/instance-2656215-1276474785.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.001999 s Remaining CPU time: 179.998 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.002999 s Remaining CPU time: 179.997 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.002999 s Remaining CPU time: 179.997 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.19 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.197969 s Remaining CPU time: 179.802 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.23 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.84 c | 16596 | 81 86 774 | 12968 8043 27 | 0.015 % | 1.19/1.25 c | 22363 | 81 86 774 | 14265 7298 27 | 0.015 % | 1.89/1.99 c | 31013 | 81 86 774 | 15692 8788 29 | 0.015 % | 2.99/3.09 c | 43988 | 81 86 774 | 17261 13894 27 | 0.015 % | 4.99/5.00 c | 63449 | 81 86 774 | 18987 16041 28 | 0.015 % | 9.19/9.27 c | 92643 | 81 86 774 | 20886 16664 28 | 0.015 % | 14.30/14.39 c | 136433 | 81 86 774 | 22974 18572 28 | 0.015 % | 25.58/25.65 c | 202117 | 81 86 774 | 25272 13543 29 | 0.015 % | 40.97/41.04 c | 300644 | 81 86 774 | 27799 14767 28 | 0.015 % | 69.57/69.67 c | 448434 | 81 86 774 | 30579 15086 28 | 0.015 % | 72.58/72.67 c =============================================================================== 72.58/72.67 c New solution: 21 72.58/72.67 o 21 72.58/72.67 c Elapsed CPU time: 71.3781 s Remaining CPU time: 108.622 s 72.58/72.67 c =============================================================================== 72.58/72.67 c | 470029 | 81 87 855 | 5000 17254 26 | 0.015 % | 72.77/72.82 c | 470130 | 81 87 855 | 5500 4415 26 | 0.015 % | 72.77/72.82 c | 470281 | 81 87 855 | 6050 4566 26 | 0.015 % | 72.77/72.84 c | 470507 | 81 87 855 | 6655 4792 26 | 0.015 % | 72.77/72.85 c | 470846 | 81 87 855 | 7320 5131 26 | 0.015 % | 72.77/72.88 c | 471354 | 81 87 855 | 8052 5639 26 | 0.015 % | 72.87/72.92 c | 472113 | 81 87 855 | 8857 6398 26 | 0.015 % | 72.87/72.98 c | 473252 | 81 87 855 | 9743 7537 26 | 0.015 % | 72.97/73.07 c | 474961 | 81 87 855 | 10717 9246 25 | 0.015 % | 73.17/73.24 c | 477524 | 81 87 855 | 11789 6421 25 | 0.015 % | 73.37/73.46 c | 481368 | 81 87 855 | 12968 10265 25 | 0.015 % | 73.77/73.84 c | 487137 | 81 87 855 | 14265 9524 25 | 0.015 % | 74.67/74.70 c | 495787 | 81 87 855 | 15692 11014 26 | 0.015 % | 75.97/76.05 c | 508761 | 81 87 855 | 17261 8239 29 | 0.015 % | 78.36/78.46 c | 528223 | 81 87 855 | 18987 10390 28 | 0.015 % | 82.17/82.27 c | 557415 | 81 87 855 | 20886 11025 27 | 0.015 % | 88.77/88.82 c | 601206 | 81 87 855 | 22974 12951 28 | 0.015 % | 97.97/98.00 c | 666890 | 81 87 855 | 25272 19129 26 | 0.015 % | 116.76/116.82 c | 765416 | 81 87 855 | 27799 19979 27 | 0.015 % | 141.55/141.64 c | 913206 | 81 87 855 | 30579 19646 27 | 0.015 % | 183.04/183.10 c There are 0 assigned variables. 0 in cost function. 184.14/184.20 c core #1 184.14/184.20 c core #2 184.14/184.20 c core #3 184.14/184.20 c core #4 184.14/184.20 c core #5 184.14/184.20 c core #6 184.14/184.20 c core #7 184.14/184.20 c core #8 184.14/184.20 c core #9 184.14/184.20 c core #10 184.14/184.20 c core #11 184.14/184.20 c core #12 184.14/184.20 c core #13 184.14/184.20 c core #14 184.14/184.20 c core #15 184.14/184.20 c core #16 184.14/184.20 c core #17 184.14/184.20 c ============================[ Search Statistics ]============================== 184.14/184.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.20 c =============================================================================== 184.14/184.20 c | 0 | 146 186 1155 | 5000 0 nan | 0.000 % | 184.14/184.20 c =============================================================================== 184.14/184.20 c core #18 184.14/184.20 c ============================[ Search Statistics ]============================== 184.14/184.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.20 c =============================================================================== 184.14/184.20 c | 0 | 202 187 1261 | 5000 0 nan | 0.000 % | 184.14/184.21 c | 100 | 202 187 1261 | 5500 100 27 | 0.983 % | 184.14/184.22 c | 250 | 200 187 1261 | 6050 249 25 | 1.980 % | 184.14/184.22 c =============================================================================== 184.14/184.22 c core #19 184.14/184.22 c ============================[ Search Statistics ]============================== 184.14/184.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.22 c =============================================================================== 184.14/184.22 c | 0 | 262 188 1379 | 5000 0 nan | 0.000 % | 184.14/184.23 c | 100 | 262 188 1379 | 5500 100 29 | 0.001 % | 184.14/184.24 c | 250 | 262 188 1379 | 6050 250 32 | 0.001 % | 184.14/184.25 c | 479 | 262 188 1379 | 6655 479 37 | 0.001 % | 184.14/184.29 c | 817 | 262 188 1379 | 7320 817 40 | 0.001 % | 184.24/184.34 c | 1326 | 262 188 1379 | 8052 1326 39 | 0.001 % | 184.34/184.42 c | 2085 | 262 188 1379 | 8857 2085 35 | 0.001 % | 184.44/184.55 c | 3227 | 262 188 1379 | 9743 3227 34 | 0.001 % | 184.65/184.70 c =============================================================================== 184.65/184.75 c core #20 184.65/184.75 c ============================[ Search Statistics ]============================== 184.65/184.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.75 c =============================================================================== 184.65/184.75 c | 0 | 343 189 1541 | 5000 0 nan | 0.000 % | 184.65/184.76 c | 102 | 343 189 1541 | 5500 102 48 | 0.001 % | 184.65/184.77 c | 253 | 343 189 1541 | 6050 253 53 | 0.001 % | 184.65/184.79 c | 479 | 343 189 1541 | 6655 479 62 | 0.001 % | 184.75/184.82 c | 820 | 343 189 1541 | 7320 820 66 | 0.001 % | 184.75/184.89 c | 1326 | 343 189 1541 | 8052 1326 73 | 0.001 % | 184.94/185.02 c | 2085 | 343 189 1541 | 8857 2085 84 | 0.001 % | 185.14/185.25 c | 3224 | 343 189 1541 | 9743 3224 87 | 0.001 % | 185.54/185.65 c | 4934 | 343 189 1541 | 10717 4934 91 | 0.001 % | 185.64/185.77 c =============================================================================== 185.64/185.77 c #cores: 20 185.64/185.77 c Final Weight: 20 185.64/185.77 o 20 185.64/185.77 s OPTIMUM FOUND 185.64/185.77 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.64/185.77 c Total CPU time: 182.632 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-2656215-1276474785/watcher-2656215-1276474785 -o /tmp/evaluation-result-2656215-1276474785/solver-2656215-1276474785 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656215-1276474785.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.08 1.01 1.00 3/107 25622 /proc/meminfo: memFree=1769988/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=2576 CPUtime=0 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 21134223 2637824 197 1992294400 134512640 135751879 4292011920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 644 197 147 303 0 339 0 [startup+0.064723 s] /proc/loadavg: 1.08 1.01 1.00 3/107 25622 /proc/meminfo: memFree=1769988/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=2968 CPUtime=0.05 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 381 0 0 0 5 0 0 0 20 0 1 0 21134223 3039232 298 1992294400 134512640 135751879 4292011920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 742 298 147 303 0 437 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2968 [startup+0.100726 s] /proc/loadavg: 1.08 1.01 1.00 3/107 25622 /proc/meminfo: memFree=1769988/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=3100 CPUtime=0.09 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 437 0 0 0 9 0 0 0 20 0 1 0 21134223 3174400 354 1992294400 134512640 135751879 4292011920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 775 354 147 303 0 470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3100 [startup+0.300744 s] /proc/loadavg: 1.08 1.01 1.00 3/107 25622 /proc/meminfo: memFree=1769988/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=4132 CPUtime=0.29 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 675 0 0 0 28 1 0 0 20 0 1 0 21134223 4231168 592 1992294400 134512640 135751879 4292011920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 1033 592 148 303 0 728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4132 [startup+0.70078 s] /proc/loadavg: 1.08 1.01 1.00 3/107 25622 /proc/meminfo: memFree=1769988/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=5700 CPUtime=0.69 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 1063 0 0 0 66 3 0 0 20 0 1 0 21134223 5836800 980 1992294400 134512640 135751879 4292011920 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 1425 981 148 303 0 1120 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5700 [startup+1.50085 s] /proc/loadavg: 1.08 1.01 1.00 2/108 25623 /proc/meminfo: memFree=1765640/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=8316 CPUtime=1.49 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 1717 0 0 0 143 6 0 0 22 0 1 0 21134223 8515584 1634 1992294400 134512640 135751879 4292011920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 2079 1634 148 303 0 1774 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8316 [startup+3.10099 s] /proc/loadavg: 1.08 1.01 1.00 2/108 25623 /proc/meminfo: memFree=1762292/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=12260 CPUtime=3.09 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 2696 0 0 0 299 10 0 0 25 0 1 0 21134223 12554240 2613 1992294400 134512640 135751879 4292011920 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 3065 2613 148 303 0 2760 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12260 [startup+6.30028 s] /proc/loadavg: 1.08 1.01 1.00 2/108 25623 /proc/meminfo: memFree=1755100/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=18272 CPUtime=6.29 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 4194 0 0 0 613 16 0 0 25 0 1 0 21134223 18710528 4111 1992294400 134512640 135751879 4292011920 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 4568 4111 148 303 0 4263 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18272 [startup+12.7019 s] /proc/loadavg: 1.06 1.01 1.00 2/108 25623 /proc/meminfo: memFree=1743576/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=29364 CPUtime=12.69 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 6985 0 0 0 1241 28 0 0 25 0 1 0 21134223 30068736 6902 1992294400 134512640 135751879 4292011920 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 7341 6902 148 303 0 7036 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29364 [startup+25.501 s] /proc/loadavg: 1.05 1.01 1.00 2/108 25625 /proc/meminfo: memFree=1725968/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=46228 CPUtime=25.49 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 11181 0 0 0 2499 50 0 0 25 0 1 0 21134223 47337472 11098 1992294400 134512640 135751879 4292011920 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 11557 11098 148 303 0 11252 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46228 [startup+51.1013 s] /proc/loadavg: 1.03 1.01 1.00 2/108 25625 /proc/meminfo: memFree=1694596/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=78060 CPUtime=51.08 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 19104 0 0 0 5015 93 0 0 25 0 1 0 21134223 79933440 19021 1992294400 134512640 135751879 4292011920 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 19515 19021 148 303 0 19210 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 78060 [startup+102.308 s] /proc/loadavg: 1.01 1.00 1.00 2/108 25627 /proc/meminfo: memFree=1624412/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=147444 CPUtime=102.27 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 36458 0 0 0 10041 186 0 0 25 0 1 0 21134223 150982656 36375 1992294400 134512640 135751879 4292011920 18446744073709551615 134603091 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 36861 36375 148 303 0 36556 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 147444 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25627 /proc/meminfo: memFree=1559932/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=212916 CPUtime=162.25 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 52769 0 0 0 15945 280 0 0 25 0 1 0 21134223 218025984 52686 1992294400 134512640 135751879 4292011920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 53229 52686 148 303 0 52924 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 212916 ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (185.64 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (185.64 s) to the 'lost time'. [startup+185.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25629 /proc/meminfo: memFree=1541084/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=230496 CPUtime=185.64 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 57237 0 0 0 18255 309 0 0 25 0 1 0 21134223 236027904 57124 1992294400 134512640 135751879 4292011920 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 57624 57124 151 303 0 57319 0 Current children cumulated CPU time (s) 185.64 Current children cumulated vsize (KiB) 230496 [startup+185.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25629 /proc/meminfo: memFree=1759944/2059040 swapFree=4140108/4192956 [pid=25622] ppid=-1 vsize=0 CPUtime=0 /proc/25622/stat : -- couldn't open stat file --/proc/25622/statm: 64238 956 540 1 0 3321 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25629 /proc/meminfo: memFree=1555964/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=216032 CPUtime=166.25 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 53556 0 0 0 16340 285 0 0 25 0 1 0 21134223 221216768 53473 1992294400 134512640 135751879 4292011920 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 54008 53473 148 303 0 53703 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 216032 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25629 /proc/meminfo: memFree=1545548/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=226900 CPUtime=179.04 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 56288 0 0 0 17604 300 0 0 25 0 1 0 21134223 232345600 56205 1992294400 134512640 135751879 4292011920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 56725 56205 148 303 0 56420 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 226900 [startup+182.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25629 /proc/meminfo: memFree=1542696/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=230016 CPUtime=182.24 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 57052 0 0 0 17920 304 0 0 25 0 1 0 21134223 235536384 56969 1992294400 134512640 135751879 4292011920 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 57504 56969 148 303 0 57199 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 230016 [startup+183.901 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25629 /proc/meminfo: memFree=1541084/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=230660 CPUtime=183.84 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 57216 0 0 0 18079 305 0 0 25 0 1 0 21134223 236195840 57133 1992294400 134512640 135751879 4292011920 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 57665 57133 149 303 0 57360 0 Current children cumulated CPU time (s) 183.84 Current children cumulated vsize (KiB) 230660 [startup+184.701 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25629 /proc/meminfo: memFree=1541084/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=230496 CPUtime=184.65 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 57219 0 0 0 18158 307 0 0 25 0 1 0 21134223 236027904 57106 1992294400 134512640 135751879 4292011920 18446744073709551615 134516345 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 57624 57106 151 303 0 57319 0 Current children cumulated CPU time (s) 184.65 Current children cumulated vsize (KiB) 230496 [startup+185.501 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25629 /proc/meminfo: memFree=1541084/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=230496 CPUtime=185.44 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 57232 0 0 0 18236 308 0 0 25 0 1 0 21134223 236027904 57119 1992294400 134512640 135751879 4292011920 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 57624 57119 151 303 0 57319 0 Current children cumulated CPU time (s) 185.44 Current children cumulated vsize (KiB) 230496 [startup+185.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25629 /proc/meminfo: memFree=1541084/2059040 swapFree=4140108/4192956 [pid=25622] ppid=25620 vsize=230496 CPUtime=185.64 /proc/25622/stat : 25622 (wbo1.4b) R 25620 25622 24810 0 -1 4202496 57237 0 0 0 18255 309 0 0 25 0 1 0 21134223 236027904 57124 1992294400 134512640 135751879 4292011920 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25622/statm: 57624 57124 151 303 0 57319 0 Current children cumulated CPU time (s) 185.64 Current children cumulated vsize (KiB) 230496 [startup+185.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 25629 /proc/meminfo: memFree=1759944/2059040 swapFree=4140108/4192956 [pid=25622] ppid=-1 vsize=0 CPUtime=0 /proc/25622/stat : -- couldn't open stat file --/proc/25622/statm: 64238 956 540 1 0 3321 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25622 and gives # childrusage.ru_utime.tv_sec=182 # childrusage.ru_utime.tv_usec=632235 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=117526 # CPU time returned by wait4() is 185.75 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 185.64 # lost CPU user time (s): 182.55 # lost CPU system time (s): 3.09 Real time (s): 185.801 CPU time (s): 185.64 CPU user time (s): 182.55 CPU system time (s): 3.09 CPU usage (%): 99.9132 Max. virtual memory (cumulated for all children) (KiB): 230660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 182.632 system time used= 3.11753 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57240 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= 4 involuntary context switches= 420 runsolver used 0.293955 second user time and 0.907861 second system time The end
Begin job on node025 at 2010-06-14 02:19:45 IDJOB=2656215 IDBENCH=2213 IDSOLVER=1161 FILE ID=node025/2656215-1276474785 PBS_JOBID= 11173365 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4b 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-2656215-1276474785/watcher-2656215-1276474785 -o /tmp/evaluation-result-2656215-1276474785/solver-2656215-1276474785 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656215-1276474785.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4b56e6775cc4a081c8696ef0fa81b784 RANDOM SEED=334021476 node025.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.242 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1770516 kB Buffers: 68548 kB Cached: 128404 kB SwapCached: 6844 kB Active: 95552 kB Inactive: 115032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1770516 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 3080 kB Writeback: 20 kB AnonPages: 11320 kB Mapped: 12844 kB Slab: 56124 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182168 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node025 at 2010-06-14 02:22:51