Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 85.676 | 85.6726 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo |
MD5SUM | 7fd7081013808377c58c0d6e2ccd3b26 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 1.51277 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 5180 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 5179 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1145 |
Number of bits of the biggest sum of numbers | 11 |
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 wbo file format. File HOME/instance-2690148-1277924517.wbo. 0.00/0.00 c Instance file HOME/instance-2690148-1277924517.wbo 0.00/0.00 c File size is 10455 bytes. 0.00/0.00 c Highest Coefficient sum: 1145 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: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 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 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 102 | 169 101 1205 | 5500 102 32 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 33 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 35 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 36 | 0.004 % | 0.00/0.03 c | 1322 | 169 101 1205 | 8052 1322 36 | 0.004 % | 0.00/0.06 c | 2082 | 169 101 1205 | 8857 2082 40 | 0.004 % | 0.09/0.10 c | 3222 | 169 101 1205 | 9743 3222 40 | 0.004 % | 0.09/0.16 c | 4930 | 169 101 1205 | 10717 4930 43 | 0.004 % | 0.19/0.29 c | 7492 | 169 101 1205 | 11789 7492 44 | 0.004 % | 0.49/0.54 c | 11336 | 169 101 1205 | 12968 11336 46 | 0.004 % | 0.89/0.95 c | 17106 | 169 101 1205 | 14265 10565 48 | 0.004 % | 1.69/1.74 c | 25757 | 169 101 1205 | 15692 12031 50 | 0.004 % | 2.69/2.79 c | 38733 | 169 101 1205 | 17261 9234 50 | 0.004 % | 4.49/4.51 c | 58196 | 169 101 1205 | 18987 11327 55 | 0.004 % | 7.49/7.52 c | 87390 | 169 101 1205 | 20886 11903 53 | 0.004 % | 9.49/9.51 c =============================================================================== 9.99/10.07 c core #1 9.99/10.07 c ============================[ Search Statistics ]============================== 9.99/10.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.07 c =============================================================================== 9.99/10.07 c | 0 | 264 200 2574 | 5000 0 nan | 0.000 % | 9.99/10.08 c | 100 | 264 200 2574 | 5500 100 32 | 0.001 % | 9.99/10.08 c | 251 | 264 200 2574 | 6050 251 34 | 0.001 % | 9.99/10.09 c | 477 | 264 200 2574 | 6655 477 38 | 0.001 % | 10.09/10.10 c | 814 | 264 200 2574 | 7320 814 39 | 0.001 % | 10.09/10.11 c | 1320 | 264 200 2574 | 8052 1320 38 | 0.001 % | 10.09/10.14 c | 2079 | 264 200 2574 | 8857 2079 39 | 0.001 % | 10.09/10.19 c | 3218 | 264 200 2574 | 9743 3218 39 | 0.001 % | 10.19/10.27 c | 4926 | 264 200 2574 | 10717 4926 39 | 0.001 % | 10.29/10.39 c | 7490 | 264 200 2574 | 11789 7490 40 | 0.001 % | 10.59/10.62 c | 11335 | 264 200 2574 | 12968 11335 42 | 0.001 % | 11.00/11.03 c | 17101 | 264 200 2574 | 14265 10563 48 | 0.001 % | 11.69/11.70 c | 25751 | 264 200 2574 | 15692 12021 49 | 0.001 % | 12.89/12.91 c | 38725 | 264 200 2574 | 17261 9183 53 | 0.001 % | 14.79/14.87 c | 58188 | 264 200 2574 | 18987 11266 53 | 0.001 % | 17.69/17.78 c | 87382 | 264 200 2574 | 20886 11805 52 | 0.001 % | 19.19/19.29 c =============================================================================== 19.79/19.88 c core #2 19.79/19.88 c ============================[ Search Statistics ]============================== 19.79/19.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.79/19.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.79/19.88 c =============================================================================== 19.79/19.88 c | 0 | 358 298 3928 | 5000 0 nan | 0.000 % | 19.79/19.89 c | 100 | 358 298 3928 | 5500 100 46 | 0.001 % | 19.89/19.90 c | 251 | 358 298 3928 | 6050 251 39 | 0.001 % | 19.89/19.91 c | 476 | 358 298 3928 | 6655 476 40 | 0.001 % | 19.89/19.92 c | 818 | 358 298 3928 | 7320 818 39 | 0.001 % | 19.89/19.93 c | 1325 | 358 298 3928 | 8052 1325 37 | 0.001 % | 19.89/19.96 c | 2084 | 358 298 3928 | 8857 2084 38 | 0.001 % | 20.00/20.01 c | 3224 | 358 298 3928 | 9743 3224 39 | 0.001 % | 20.00/20.08 c | 4932 | 358 298 3928 | 10717 4932 40 | 0.001 % | 20.20/20.23 c | 7498 | 358 298 3928 | 11789 7498 43 | 0.001 % | 20.39/20.49 c | 11345 | 358 298 3928 | 12968 11345 45 | 0.001 % | 20.90/20.97 c | 17112 | 358 298 3928 | 14265 10580 50 | 0.001 % | 21.70/21.74 c | 25761 | 358 298 3928 | 15692 12031 52 | 0.001 % | 22.90/22.97 c | 38735 | 358 298 3928 | 17261 9200 54 | 0.001 % | 25.00/25.08 c | 58196 | 358 298 3928 | 18987 11295 54 | 0.001 % | 28.29/28.39 c | 87389 | 358 298 3928 | 20886 11844 54 | 0.001 % | 30.59/30.69 c =============================================================================== 31.30/31.34 c core #3 31.30/31.34 c ============================[ Search Statistics ]============================== 31.30/31.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.30/31.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.30/31.34 c =============================================================================== 31.30/31.34 c | 0 | 453 396 5284 | 5000 0 nan | 0.000 % | 31.30/31.35 c | 100 | 453 396 5284 | 5500 100 33 | 0.000 % | 31.30/31.36 c | 252 | 453 396 5284 | 6050 252 29 | 0.000 % | 31.30/31.36 c | 479 | 453 396 5284 | 6655 479 33 | 0.000 % | 31.30/31.37 c | 818 | 453 396 5284 | 7320 818 36 | 0.000 % | 31.30/31.39 c | 1324 | 453 396 5284 | 8052 1324 37 | 0.000 % | 31.39/31.42 c | 2083 | 453 396 5284 | 8857 2083 39 | 0.000 % | 31.39/31.46 c | 3222 | 453 396 5284 | 9743 3222 41 | 0.000 % | 31.49/31.55 c | 4932 | 453 396 5284 | 10717 4932 45 | 0.000 % | 31.69/31.70 c | 7496 | 453 396 5284 | 11789 7496 45 | 0.000 % | 31.90/31.96 c | 11342 | 453 396 5284 | 12968 11342 45 | 0.000 % | 32.39/32.45 c | 17109 | 453 396 5284 | 14265 10565 46 | 0.000 % | 33.19/33.27 c | 25759 | 453 396 5284 | 15692 12018 51 | 0.000 % | 34.59/34.63 c | 38734 | 453 396 5284 | 17261 9183 54 | 0.000 % | 36.60/36.61 c | 58195 | 453 396 5284 | 18987 11275 51 | 0.000 % | 39.60/39.67 c | 87388 | 453 396 5284 | 20886 11804 55 | 0.000 % | 43.90/43.95 c =============================================================================== 44.69/44.70 c core #4 44.69/44.70 c ============================[ Search Statistics ]============================== 44.69/44.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.69/44.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.69/44.70 c =============================================================================== 44.69/44.70 c | 0 | 546 493 6634 | 5000 0 nan | 0.000 % | 44.69/44.72 c | 100 | 546 493 6634 | 5500 100 33 | 0.000 % | 44.69/44.73 c | 251 | 546 493 6634 | 6050 251 37 | 0.000 % | 44.69/44.73 c | 476 | 546 493 6634 | 6655 476 37 | 0.000 % | 44.69/44.75 c | 813 | 546 493 6634 | 7320 813 38 | 0.000 % | 44.69/44.77 c | 1319 | 546 493 6634 | 8052 1319 41 | 0.000 % | 44.79/44.80 c | 2079 | 546 493 6634 | 8857 2079 41 | 0.000 % | 44.79/44.85 c | 3218 | 546 493 6634 | 9743 3218 40 | 0.000 % | 44.89/44.93 c | 4930 | 546 493 6634 | 10717 4930 39 | 0.000 % | 45.00/45.07 c | 7492 | 546 493 6634 | 11789 7492 41 | 0.000 % | 45.29/45.36 c | 11337 | 546 493 6634 | 12968 11337 44 | 0.000 % | 45.80/45.86 c | 17104 | 546 493 6634 | 14265 10570 48 | 0.000 % | 46.59/46.67 c | 25753 | 546 493 6634 | 15692 12023 52 | 0.000 % | 48.09/48.14 c | 38732 | 546 493 6634 | 17261 9190 50 | 0.000 % | 50.19/50.26 c | 58193 | 546 493 6634 | 18987 11281 55 | 0.000 % | 53.59/53.68 c | 87385 | 546 493 6634 | 20886 11803 53 | 0.000 % | 56.70/56.76 c =============================================================================== 57.40/57.45 c core #5 57.40/57.45 c ============================[ Search Statistics ]============================== 57.40/57.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.40/57.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.40/57.45 c =============================================================================== 57.40/57.45 c | 0 | 639 588 7957 | 5000 0 nan | 0.000 % | 57.40/57.46 c | 100 | 639 588 7957 | 5500 100 37 | 0.000 % | 57.40/57.47 c | 251 | 639 588 7957 | 6050 251 40 | 0.000 % | 57.40/57.48 c | 476 | 639 588 7957 | 6655 476 38 | 0.000 % | 57.40/57.49 c | 814 | 639 588 7957 | 7320 814 38 | 0.000 % | 57.49/57.51 c | 1320 | 639 588 7957 | 8052 1320 38 | 0.000 % | 57.49/57.54 c | 2081 | 639 588 7957 | 8857 2081 38 | 0.000 % | 57.49/57.59 c | 3220 | 639 588 7957 | 9743 3220 40 | 0.000 % | 57.59/57.68 c | 4931 | 639 588 7957 | 10717 4931 41 | 0.000 % | 57.80/57.86 c | 7495 | 639 588 7957 | 11789 7495 45 | 0.000 % | 58.09/58.19 c | 11340 | 639 588 7957 | 12968 11340 46 | 0.000 % | 58.69/58.70 c | 17109 | 639 588 7957 | 14265 10563 48 | 0.000 % | 59.59/59.63 c | 25758 | 639 588 7957 | 15692 12030 51 | 0.000 % | 60.89/60.96 c | 38732 | 639 588 7957 | 17261 9207 53 | 0.000 % | 63.00/63.03 c | 58193 | 639 588 7957 | 18987 11291 55 | 0.000 % | 66.19/66.21 c | 87388 | 639 588 7957 | 20886 11837 56 | 0.000 % | 70.20/70.21 c =============================================================================== 70.89/70.97 c core #6 70.89/70.97 c ============================[ Search Statistics ]============================== 70.89/70.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.89/70.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.89/70.97 c =============================================================================== 70.89/70.97 c | 0 | 743 687 9358 | 5000 0 nan | 0.000 % | 70.89/70.99 c | 102 | 743 687 9358 | 5500 102 41 | 0.000 % | 70.89/70.99 c | 253 | 743 687 9358 | 6050 253 45 | 0.000 % | 70.99/71.00 c | 478 | 743 687 9358 | 6655 478 44 | 0.000 % | 70.99/71.02 c | 816 | 743 687 9358 | 7320 816 43 | 0.000 % | 70.99/71.04 c | 1323 | 743 687 9358 | 8052 1323 42 | 0.000 % | 70.99/71.07 c | 2085 | 743 687 9358 | 8857 2085 42 | 0.000 % | 71.10/71.14 c | 3224 | 743 687 9358 | 9743 3224 46 | 0.000 % | 71.19/71.25 c | 4934 | 743 687 9358 | 10717 4934 47 | 0.000 % | 71.40/71.46 c | 7497 | 743 687 9358 | 11789 7497 48 | 0.000 % | 71.79/71.81 c | 11341 | 743 687 9358 | 12968 11341 48 | 0.000 % | 72.29/72.30 c | 17108 | 743 687 9358 | 14265 10585 48 | 0.000 % | 73.09/73.11 c | 25759 | 743 687 9358 | 15692 12042 54 | 0.000 % | 74.39/74.43 c | 38734 | 743 687 9358 | 17261 9236 54 | 0.000 % | 76.60/76.66 c | 58195 | 743 687 9358 | 18987 11306 58 | 0.000 % | 80.09/80.19 c | 87389 | 743 687 9358 | 20886 11851 53 | 0.000 % | 84.70/84.73 c =============================================================================== 85.40/85.45 c core #7 85.40/85.45 c ============================[ Search Statistics ]============================== 85.40/85.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.40/85.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.40/85.45 c =============================================================================== 85.40/85.45 c | 0 | 846 781 10688 | 5000 0 nan | 0.000 % | 85.40/85.47 c | 103 | 846 781 10688 | 5500 103 37 | 0.000 % | 85.40/85.48 c | 253 | 846 781 10688 | 6050 253 43 | 0.000 % | 85.40/85.49 c | 479 | 846 781 10688 | 6655 479 39 | 0.000 % | 85.49/85.51 c | 816 | 846 781 10688 | 7320 816 38 | 0.000 % | 85.49/85.53 c | 1325 | 846 781 10688 | 8052 1325 39 | 0.000 % | 85.49/85.57 c | 2085 | 846 781 10688 | 8857 2085 39 | 0.000 % | 85.59/85.62 c | 3224 | 846 781 10688 | 9743 3224 39 | 0.000 % | 85.59/85.66 c =============================================================================== 85.59/85.66 c #cores: 7 85.59/85.66 c Final Weight: 9 85.59/85.66 o 9 85.59/85.66 s OPTIMUM FOUND 85.59/85.66 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 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 85.59/85.66 c Total CPU time: 84.0082 s
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690148-1277924517/watcher-2690148-1277924517 -o /tmp/evaluation-result-2690148-1277924517/solver-2690148-1277924517 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690148-1277924517.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.99 3/196 14786 /proc/meminfo: memFree=31537572/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=2572 CPUtime=0 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 289 0 0 0 0 0 0 0 18 0 1 0 133597390 2633728 204 4089446400 134512640 135751879 4294783312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 643 204 143 303 0 338 0 [startup+0.0767509 s] /proc/loadavg: 2.00 1.99 1.99 3/196 14786 /proc/meminfo: memFree=31537572/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=3364 CPUtime=0.07 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 496 0 0 0 7 0 0 0 18 0 1 0 133597390 3444736 411 4089446400 134512640 135751879 4294783312 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 841 411 143 303 0 536 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3364 [startup+0.100747 s] /proc/loadavg: 2.00 1.99 1.99 3/196 14786 /proc/meminfo: memFree=31537572/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=3628 CPUtime=0.09 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 552 0 0 0 9 0 0 0 18 0 1 0 133597390 3715072 467 4089446400 134512640 135751879 4294783312 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 907 467 143 303 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3628 [startup+0.300708 s] /proc/loadavg: 2.00 1.99 1.99 3/196 14786 /proc/meminfo: memFree=31537572/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=5212 CPUtime=0.29 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 961 0 0 0 28 1 0 0 18 0 1 0 133597390 5337088 876 4089446400 134512640 135751879 4294783312 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 1303 876 143 303 0 998 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5212 [startup+0.700632 s] /proc/loadavg: 2.00 1.99 1.99 3/196 14786 /proc/meminfo: memFree=31537572/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=7392 CPUtime=0.69 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 1497 0 0 0 67 2 0 0 18 0 1 0 133597390 7569408 1412 4089446400 134512640 135751879 4294783312 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 1848 1412 143 303 0 1543 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7392 [startup+1.50048 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14787 /proc/meminfo: memFree=31531240/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=11220 CPUtime=1.49 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 2449 0 0 0 145 4 0 0 20 0 1 0 133597390 11489280 2364 4089446400 134512640 135751879 4294783312 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 2805 2364 143 303 0 2500 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11220 [startup+3.10017 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14787 /proc/meminfo: memFree=31526528/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=18488 CPUtime=3.09 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 4284 0 0 0 300 9 0 0 25 0 1 0 133597390 18931712 4199 4089446400 134512640 135751879 4294783312 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 4622 4199 143 303 0 4317 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18488 [startup+6.30062 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14787 /proc/meminfo: memFree=31512500/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=31576 CPUtime=6.29 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 7546 0 0 0 614 15 0 0 25 0 1 0 133597390 32333824 7461 4089446400 134512640 135751879 4294783312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 7894 7461 143 303 0 7589 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31576 [startup+12.7004 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14787 /proc/meminfo: memFree=31492784/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=48076 CPUtime=12.69 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 11665 0 0 0 1240 29 0 0 25 0 1 0 133597390 49229824 11580 4089446400 134512640 135751879 4294783312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 12019 11580 146 303 0 11714 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48076 [startup+25.5009 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14787 /proc/meminfo: memFree=31465380/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=77168 CPUtime=25.5 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 18952 0 0 0 2494 56 0 0 25 0 1 0 133597390 79020032 18867 4089446400 134512640 135751879 4294783312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 19292 18867 146 303 0 18987 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 77168 [startup+51.101 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14788 /proc/meminfo: memFree=31403972/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=135428 CPUtime=51.09 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 33523 0 0 0 5007 102 0 0 25 0 1 0 133597390 138678272 33438 4089446400 134512640 135751879 4294783312 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 33857 33438 146 303 0 33552 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 135428 Solver just ended. Dumping a history of the last processes samples [startup+63.9005 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14789 /proc/meminfo: memFree=31376552/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=162356 CPUtime=63.89 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 40239 0 0 0 6262 127 0 0 25 0 1 0 133597390 166252544 40154 4089446400 134512640 135751879 4294783312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 40589 40154 146 303 0 40284 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 162356 [startup+76.7001 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14789 /proc/meminfo: memFree=31350000/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=190224 CPUtime=76.69 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 47207 0 0 0 7517 152 0 0 25 0 1 0 133597390 194789376 47122 4089446400 134512640 135751879 4294783312 18446744073709551615 134616810 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 47556 47122 146 303 0 47251 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 190224 [startup+79.9005 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14789 /proc/meminfo: memFree=31333380/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=197820 CPUtime=79.9 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 49090 0 0 0 7832 158 0 0 25 0 1 0 133597390 202567680 49005 4089446400 134512640 135751879 4294783312 18446744073709551615 135204032 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 49455 49005 146 303 0 49150 0 Current children cumulated CPU time (s) 79.9 Current children cumulated vsize (KiB) 197820 [startup+83.1009 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14789 /proc/meminfo: memFree=31323460/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=207588 CPUtime=83.09 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 51528 0 0 0 8147 162 0 0 25 0 1 0 133597390 212570112 51443 4089446400 134512640 135751879 4294783312 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 51897 51443 146 303 0 51592 0 Current children cumulated CPU time (s) 83.09 Current children cumulated vsize (KiB) 207588 [startup+84.7066 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14789 /proc/meminfo: memFree=31316016/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=213140 CPUtime=84.7 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 52942 0 0 0 8305 165 0 0 25 0 1 0 133597390 218255360 52857 4089446400 134512640 135751879 4294783312 18446744073709551615 134611192 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 53285 52857 146 303 0 52980 0 Current children cumulated CPU time (s) 84.7 Current children cumulated vsize (KiB) 213140 [startup+85.1005 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14789 /proc/meminfo: memFree=31316016/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=216836 CPUtime=85.1 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 53840 0 0 0 8345 165 0 0 25 0 1 0 133597390 222040064 53755 4089446400 134512640 135751879 4294783312 18446744073709551615 134618270 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 54209 53755 146 303 0 53904 0 Current children cumulated CPU time (s) 85.1 Current children cumulated vsize (KiB) 216836 [startup+85.5004 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14789 /proc/meminfo: memFree=31316016/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=216980 CPUtime=85.49 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 53897 0 0 0 8384 165 0 0 25 0 1 0 133597390 222187520 53812 4089446400 134512640 135751879 4294783312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 54245 53812 146 303 0 53940 0 Current children cumulated CPU time (s) 85.49 Current children cumulated vsize (KiB) 216980 [startup+85.6004 s] /proc/loadavg: 2.00 1.99 1.99 3/197 14789 /proc/meminfo: memFree=31316016/32950928 swapFree=67111528/67111528 [pid=14786] ppid=14784 vsize=216980 CPUtime=85.59 /proc/14786/stat : 14786 (wbo1.4a) R 14784 14786 12623 0 -1 4202496 53897 0 0 0 8394 165 0 0 25 0 1 0 133597390 222187520 53812 4089446400 134512640 135751879 4294783312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14786/statm: 54245 53812 146 303 0 53940 0 Current children cumulated CPU time (s) 85.59 Current children cumulated vsize (KiB) 216980 Child status: 0 Real time (s): 85.6726 CPU time (s): 85.676 CPU user time (s): 84.0082 CPU system time (s): 1.66775 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 216980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 84.0082 system time used= 1.66775 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53897 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= 5 involuntary context switches= 56 runsolver used 0.120981 second user time and 0.286956 second system time The end
Begin job on node127 at 2010-06-30 21:01:57 IDJOB=2690148 IDBENCH=79243 IDSOLVER=1200 FILE ID=node127/2690148-1277924517 PBS_JOBID= 11197272 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690148-1277924517/watcher-2690148-1277924517 -o /tmp/evaluation-result-2690148-1277924517/solver-2690148-1277924517 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690148-1277924517.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7fd7081013808377c58c0d6e2ccd3b26 RANDOM SEED=556453454 node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31538348 kB Buffers: 210332 kB Cached: 715036 kB SwapCached: 0 kB Active: 758012 kB Inactive: 511136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31538348 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2816 kB Writeback: 0 kB AnonPages: 344384 kB Mapped: 20368 kB Slab: 78376 kB PageTables: 5544 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1654736 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node127 at 2010-06-30 21:03:23