Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 53.7068 | 53.7056 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-0-100-0.wbo |
MD5SUM | 5f93bdccbf9c1cc8d25b014cd19ec634 |
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 | 8 |
Best CPU time to get the best result obtained on this benchmark | 0.19097 |
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 | 5034 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 5033 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1264 |
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-2690104-1277923958.wbo. 0.00/0.00 c Instance file HOME/instance-2690104-1277923958.wbo 0.00/0.00 c File size is 10464 bytes. 0.00/0.00 c Highest Coefficient sum: 1264 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 | 101 | 169 101 1205 | 5500 101 40 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 38 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 35 | 0.004 % | 0.00/0.02 c | 815 | 169 101 1205 | 7320 815 35 | 0.004 % | 0.00/0.03 c | 1321 | 169 101 1205 | 8052 1321 33 | 0.004 % | 0.05/0.06 c | 2082 | 169 101 1205 | 8857 2082 33 | 0.004 % | 0.05/0.09 c | 3221 | 169 101 1205 | 9743 3221 34 | 0.004 % | 0.09/0.16 c | 4929 | 169 101 1205 | 10717 4929 37 | 0.004 % | 0.19/0.29 c | 7494 | 169 101 1205 | 11789 7494 37 | 0.004 % | 0.49/0.50 c | 11338 | 169 101 1205 | 12968 11338 38 | 0.004 % | 0.79/0.87 c | 17104 | 169 101 1205 | 14265 10577 40 | 0.004 % | 1.39/1.44 c | 25754 | 169 101 1205 | 15692 12036 43 | 0.004 % | 2.39/2.44 c | 38730 | 169 101 1205 | 17261 9232 45 | 0.004 % | 3.79/3.88 c | 58194 | 132 101 1205 | 18987 4209 46 | 21.897 % | 3.99/4.08 c =============================================================================== 4.30/4.36 c core #1 4.30/4.36 c ============================[ Search Statistics ]============================== 4.30/4.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.30/4.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.30/4.36 c =============================================================================== 4.30/4.36 c | 0 | 264 200 2568 | 5000 0 nan | 0.000 % | 4.30/4.36 c | 101 | 264 200 2568 | 5500 101 39 | 0.001 % | 4.30/4.37 c | 252 | 264 200 2568 | 6050 252 37 | 0.001 % | 4.30/4.37 c | 477 | 264 200 2568 | 6655 477 37 | 0.001 % | 4.30/4.38 c | 814 | 264 200 2568 | 7320 814 34 | 0.001 % | 4.30/4.40 c | 1321 | 264 200 2568 | 8052 1321 33 | 0.001 % | 4.40/4.43 c | 2080 | 264 200 2568 | 8857 2080 33 | 0.001 % | 4.40/4.48 c | 3220 | 264 200 2568 | 9743 3220 34 | 0.001 % | 4.49/4.56 c | 4929 | 264 200 2568 | 10717 4929 35 | 0.001 % | 4.69/4.71 c | 7492 | 264 200 2568 | 11789 7492 36 | 0.001 % | 4.89/4.94 c | 11336 | 264 200 2568 | 12968 11336 39 | 0.001 % | 5.29/5.34 c | 17102 | 264 200 2568 | 14265 10566 43 | 0.001 % | 5.90/5.93 c | 25752 | 264 200 2568 | 15692 12019 44 | 0.001 % | 6.89/6.91 c | 38726 | 264 200 2568 | 17261 9194 46 | 0.001 % | 8.29/8.31 c | 58187 | 264 200 2568 | 18987 11271 48 | 0.002 % | 8.99/9.04 c =============================================================================== 9.29/9.37 c core #2 9.29/9.37 c ============================[ Search Statistics ]============================== 9.29/9.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.37 c =============================================================================== 9.29/9.37 c | 0 | 358 295 3884 | 5000 0 nan | 0.000 % | 9.29/9.37 c | 100 | 358 295 3884 | 5500 100 32 | 0.001 % | 9.29/9.38 c | 251 | 358 295 3884 | 6050 251 30 | 0.001 % | 9.29/9.39 c | 477 | 358 295 3884 | 6655 477 30 | 0.001 % | 9.39/9.40 c | 814 | 358 295 3884 | 7320 814 29 | 0.001 % | 9.39/9.41 c | 1320 | 358 295 3884 | 8052 1320 32 | 0.001 % | 9.39/9.44 c | 2079 | 358 295 3884 | 8857 2079 32 | 0.001 % | 9.39/9.48 c | 3218 | 358 295 3884 | 9743 3218 31 | 0.001 % | 9.49/9.56 c | 4930 | 358 295 3884 | 10717 4930 33 | 0.001 % | 9.59/9.67 c | 7492 | 358 295 3884 | 11789 7492 34 | 0.001 % | 9.90/9.91 c | 11336 | 358 295 3884 | 12968 11336 38 | 0.001 % | 10.19/10.27 c | 17103 | 358 295 3884 | 14265 10571 39 | 0.001 % | 10.79/10.88 c | 25753 | 358 295 3884 | 15692 12032 42 | 0.001 % | 11.79/11.85 c | 38727 | 358 295 3884 | 17261 9207 44 | 0.001 % | 13.30/13.31 c | 58189 | 358 295 3884 | 18987 11312 45 | 0.001 % | 15.59/15.60 c | 87381 | 358 295 3884 | 20886 11858 48 | 0.020 % | 16.29/16.33 c =============================================================================== 16.69/16.78 c core #3 16.69/16.78 c ============================[ Search Statistics ]============================== 16.69/16.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.69/16.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.69/16.78 c =============================================================================== 16.69/16.78 c | 0 | 457 390 5210 | 5000 0 nan | 0.000 % | 16.69/16.79 c | 100 | 457 390 5210 | 5500 100 45 | 0.000 % | 16.69/16.79 c | 251 | 457 390 5210 | 6050 251 40 | 0.000 % | 16.79/16.80 c | 476 | 457 390 5210 | 6655 476 35 | 0.000 % | 16.79/16.81 c | 813 | 457 390 5210 | 7320 813 38 | 0.000 % | 16.79/16.83 c | 1319 | 457 390 5210 | 8052 1319 35 | 0.000 % | 16.79/16.85 c | 2078 | 457 390 5210 | 8857 2078 37 | 0.000 % | 16.89/16.90 c | 3218 | 457 390 5210 | 9743 3218 37 | 0.000 % | 16.89/16.98 c | 4927 | 457 390 5210 | 10717 4927 39 | 0.000 % | 17.09/17.11 c | 7489 | 457 390 5210 | 11789 7489 39 | 0.000 % | 17.29/17.38 c | 11333 | 457 390 5210 | 12968 11333 39 | 0.000 % | 17.69/17.79 c | 17101 | 457 390 5210 | 14265 10579 41 | 0.000 % | 18.39/18.47 c | 25751 | 457 390 5210 | 15692 12050 44 | 0.000 % | 19.39/19.47 c | 38727 | 457 390 5210 | 17261 9233 43 | 0.000 % | 20.89/20.93 c | 58188 | 457 390 5210 | 18987 11329 43 | 0.000 % | 22.79/22.86 c =============================================================================== 23.19/23.26 c core #4 23.19/23.26 c ============================[ Search Statistics ]============================== 23.19/23.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.19/23.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.19/23.26 c =============================================================================== 23.19/23.26 c | 0 | 547 482 6479 | 5000 0 nan | 0.000 % | 23.19/23.27 c | 100 | 547 482 6479 | 5500 100 40 | 0.000 % | 23.19/23.28 c | 250 | 547 482 6479 | 6050 250 39 | 0.000 % | 23.19/23.28 c | 475 | 547 482 6479 | 6655 475 35 | 0.000 % | 23.19/23.29 c | 812 | 547 482 6479 | 7320 812 33 | 0.000 % | 23.29/23.31 c | 1318 | 547 482 6479 | 8052 1318 35 | 0.000 % | 23.29/23.34 c | 2079 | 547 482 6479 | 8857 2079 33 | 0.000 % | 23.29/23.39 c | 3219 | 547 482 6479 | 9743 3219 32 | 0.000 % | 23.40/23.46 c | 4928 | 547 482 6479 | 10717 4928 34 | 0.000 % | 23.59/23.61 c | 7492 | 547 482 6479 | 11789 7492 35 | 0.000 % | 23.79/23.85 c | 11339 | 547 482 6479 | 12968 11339 36 | 0.000 % | 24.20/24.26 c | 17108 | 547 482 6479 | 14265 10578 39 | 0.000 % | 24.90/24.91 c | 25758 | 547 482 6479 | 15692 12040 43 | 0.000 % | 26.00/26.07 c | 38734 | 547 482 6479 | 17261 9222 43 | 0.000 % | 27.50/27.59 c | 58196 | 547 482 6479 | 18987 11304 43 | 0.000 % | 29.79/29.86 c | 87389 | 522 482 6479 | 20886 8374 39 | 4.571 % | 30.99/31.04 c =============================================================================== 31.49/31.54 c core #5 31.49/31.54 c ============================[ Search Statistics ]============================== 31.49/31.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.49/31.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.49/31.54 c =============================================================================== 31.49/31.54 c | 0 | 655 577 7826 | 5000 0 nan | 0.000 % | 31.49/31.56 c | 101 | 655 577 7826 | 5500 101 46 | 0.000 % | 31.49/31.56 c | 251 | 655 577 7826 | 6050 251 44 | 0.000 % | 31.49/31.57 c | 478 | 655 577 7826 | 6655 478 41 | 0.000 % | 31.49/31.58 c | 815 | 655 577 7826 | 7320 815 38 | 0.000 % | 31.59/31.60 c | 1321 | 655 577 7826 | 8052 1321 36 | 0.000 % | 31.59/31.63 c | 2080 | 655 577 7826 | 8857 2080 36 | 0.000 % | 31.59/31.68 c | 3220 | 655 577 7826 | 9743 3220 37 | 0.000 % | 31.69/31.76 c | 4928 | 655 577 7826 | 10717 4928 37 | 0.000 % | 31.90/31.91 c | 7493 | 655 577 7826 | 11789 7493 38 | 0.000 % | 32.09/32.16 c | 11338 | 655 577 7826 | 12968 11338 38 | 0.000 % | 32.50/32.56 c | 17104 | 655 577 7826 | 14265 10567 40 | 0.000 % | 33.10/33.15 c | 25755 | 655 577 7826 | 15692 12038 43 | 0.000 % | 34.19/34.21 c | 38730 | 655 577 7826 | 17261 9206 44 | 0.000 % | 35.89/35.93 c | 58191 | 655 577 7826 | 18987 11309 45 | 0.000 % | 38.50/38.58 c | 87385 | 630 577 7826 | 20886 3318 37 | 3.817 % | 39.50/39.56 c =============================================================================== 39.99/40.06 c core #6 39.99/40.06 c ============================[ Search Statistics ]============================== 39.99/40.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.99/40.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.99/40.06 c =============================================================================== 39.99/40.06 c | 0 | 749 667 9077 | 5000 0 nan | 0.000 % | 39.99/40.08 c | 101 | 749 667 9077 | 5500 101 50 | 0.000 % | 39.99/40.09 c | 253 | 749 667 9077 | 6050 253 41 | 0.000 % | 39.99/40.09 c | 480 | 749 667 9077 | 6655 480 42 | 0.000 % | 40.09/40.10 c | 819 | 749 667 9077 | 7320 819 36 | 0.000 % | 40.09/40.12 c | 1326 | 749 667 9077 | 8052 1326 33 | 0.000 % | 40.09/40.15 c | 2086 | 749 667 9077 | 8857 2086 34 | 0.000 % | 40.19/40.21 c | 3227 | 749 667 9077 | 9743 3227 34 | 0.000 % | 40.29/40.30 c | 4935 | 749 667 9077 | 10717 4935 36 | 0.000 % | 40.39/40.46 c | 7497 | 749 667 9077 | 11789 7497 36 | 0.000 % | 40.70/40.71 c | 11341 | 749 667 9077 | 12968 11341 37 | 0.000 % | 41.09/41.16 c | 17109 | 749 667 9077 | 14265 10578 38 | 0.000 % | 41.80/41.81 c | 25758 | 749 667 9077 | 15692 12045 40 | 0.000 % | 42.89/42.97 c | 38735 | 749 667 9077 | 17261 9240 42 | 0.000 % | 44.59/44.64 c | 58196 | 749 667 9077 | 18987 11338 43 | 0.000 % | 47.09/47.13 c | 87393 | 749 667 9077 | 20886 11892 47 | 0.014 % | 48.09/48.18 c =============================================================================== 48.69/48.74 c core #7 48.69/48.74 c ============================[ Search Statistics ]============================== 48.69/48.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.69/48.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.69/48.74 c =============================================================================== 48.69/48.74 c | 0 | 867 757 10378 | 5000 0 nan | 0.000 % | 48.69/48.76 c | 102 | 867 757 10378 | 5500 102 51 | 0.000 % | 48.69/48.76 c | 254 | 867 757 10378 | 6050 254 43 | 0.000 % | 48.69/48.77 c | 480 | 867 757 10378 | 6655 480 39 | 0.000 % | 48.69/48.79 c | 817 | 867 757 10378 | 7320 817 35 | 0.000 % | 48.79/48.81 c | 1323 | 867 757 10378 | 8052 1323 34 | 0.000 % | 48.79/48.84 c | 2084 | 867 757 10378 | 8857 2084 34 | 0.000 % | 48.89/48.90 c | 3225 | 867 757 10378 | 9743 3225 33 | 0.000 % | 48.99/49.00 c | 4933 | 867 757 10378 | 10717 4933 34 | 0.000 % | 49.09/49.17 c | 7496 | 867 757 10378 | 11789 7496 35 | 0.000 % | 49.40/49.46 c | 11340 | 867 757 10378 | 12968 11340 37 | 0.000 % | 49.89/49.91 c | 17108 | 867 757 10378 | 14265 10572 42 | 0.000 % | 50.60/50.62 c | 25758 | 867 757 10378 | 15692 12031 43 | 0.000 % | 51.80/51.81 c | 38734 | 867 757 10378 | 17261 9211 42 | 0.000 % | 53.59/53.64 c | 58195 | 867 757 10378 | 18987 11262 41 | 0.000 % | 53.59/53.69 c =============================================================================== 53.59/53.69 c #cores: 7 53.59/53.69 c Final Weight: 8 53.59/53.69 o 8 53.59/53.69 s OPTIMUM FOUND 53.59/53.69 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 53.59/53.69 c Total CPU time: 52.9989 s
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690104-1277923958/watcher-2690104-1277923958 -o /tmp/evaluation-result-2690104-1277923958/solver-2690104-1277923958 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690104-1277923958.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.08 2.03 2.00 4/178 16607 /proc/meminfo: memFree=29827744/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=2576 CPUtime=0 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 293 0 0 0 0 0 0 0 25 0 1 0 133690360 2637824 209 4089446400 134512640 135751879 4287925664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16607/statm: 644 209 143 303 0 339 0 [startup+0.05853 s] /proc/loadavg: 2.08 2.03 2.00 4/178 16607 /proc/meminfo: memFree=29827744/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=3104 CPUtime=0.05 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 433 0 0 0 5 0 0 0 25 0 1 0 133690360 3178496 349 4089446400 134512640 135751879 4287925664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16607/statm: 776 349 143 303 0 471 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3104 [startup+0.100515 s] /proc/loadavg: 2.08 2.03 2.00 4/178 16607 /proc/meminfo: memFree=29827744/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=3500 CPUtime=0.09 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 535 0 0 0 9 0 0 0 25 0 1 0 133690360 3584000 451 4089446400 134512640 135751879 4287925664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16607/statm: 875 451 143 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.300476 s] /proc/loadavg: 2.08 2.03 2.00 4/178 16607 /proc/meminfo: memFree=29827744/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=5084 CPUtime=0.29 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 906 0 0 0 29 0 0 0 25 0 1 0 133690360 5206016 822 4089446400 134512640 135751879 4287925664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16607/statm: 1271 822 143 303 0 966 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5084 [startup+0.700405 s] /proc/loadavg: 2.08 2.03 2.00 4/178 16607 /proc/meminfo: memFree=29827744/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=7220 CPUtime=0.69 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 1455 0 0 0 68 1 0 0 25 0 1 0 133690360 7393280 1371 4089446400 134512640 135751879 4287925664 18446744073709551615 134607738 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16607/statm: 1805 1371 143 303 0 1500 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7220 [startup+1.50027 s] /proc/loadavg: 2.08 2.03 2.00 3/179 16608 /proc/meminfo: memFree=29820540/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=11576 CPUtime=1.49 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 2523 0 0 0 147 2 0 0 25 0 1 0 133690360 11853824 2439 4089446400 134512640 135751879 4287925664 18446744073709551615 134616427 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16607/statm: 2894 2439 143 303 0 2589 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11576 [startup+3.10098 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16608 /proc/meminfo: memFree=29813968/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=18704 CPUtime=3.09 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 4318 0 0 0 305 4 0 0 25 0 1 0 133690360 19152896 4234 4089446400 134512640 135751879 4287925664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16607/statm: 4676 4234 143 303 0 4371 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18704 [startup+6.30042 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16608 /proc/meminfo: memFree=29798044/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=26104 CPUtime=6.29 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 6170 0 0 0 622 7 0 0 25 0 1 0 133690360 26730496 6086 4089446400 134512640 135751879 4287925664 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16607/statm: 6526 6086 146 303 0 6221 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26104 [startup+12.7003 s] /proc/loadavg: 2.06 2.02 2.00 3/179 16608 /proc/meminfo: memFree=29773740/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=45656 CPUtime=12.69 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 11050 0 0 0 1253 16 0 0 25 0 1 0 133690360 46751744 10966 4089446400 134512640 135751879 4287925664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16607/statm: 11414 10966 146 303 0 11109 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45656 [startup+25.5011 s] /proc/loadavg: 2.05 2.02 2.00 3/179 16609 /proc/meminfo: memFree=29726564/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=77436 CPUtime=25.49 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 19018 0 0 0 2515 34 0 0 25 0 1 0 133690360 79294464 18934 4089446400 134512640 135751879 4287925664 18446744073709551615 134616722 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16607/statm: 19359 18934 146 303 0 19054 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77436 [startup+51.1006 s] /proc/loadavg: 2.03 2.02 2.00 3/179 16637 /proc/meminfo: memFree=31132120/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=139060 CPUtime=51.09 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 34413 0 0 0 5044 65 0 0 25 0 1 0 133690360 142397440 34329 4089446400 134512640 135751879 4287925664 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16607/statm: 34765 34329 146 303 0 34460 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 139060 Solver just ended. Dumping a history of the last processes samples [startup+52.7003 s] /proc/loadavg: 2.03 2.02 2.00 3/179 16637 /proc/meminfo: memFree=31132360/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=139060 CPUtime=52.7 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 34413 0 0 0 5202 68 0 0 25 0 1 0 133690360 142397440 34329 4089446400 134512640 135751879 4287925664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16607/statm: 34765 34329 146 303 0 34460 0 Current children cumulated CPU time (s) 52.7 Current children cumulated vsize (KiB) 139060 [startup+53.5002 s] /proc/loadavg: 2.03 2.02 2.00 3/179 16637 /proc/meminfo: memFree=31132360/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=139060 CPUtime=53.49 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202496 34413 0 0 0 5280 69 0 0 25 0 1 0 133690360 142397440 34329 4089446400 134512640 135751879 4287925664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/16607/statm: 34765 34329 146 303 0 34460 0 Current children cumulated CPU time (s) 53.49 Current children cumulated vsize (KiB) 139060 [startup+53.7001 s] /proc/loadavg: 2.03 2.02 2.00 3/179 16637 /proc/meminfo: memFree=31132360/32951124 swapFree=67111528/67111528 [pid=16607] ppid=16605 vsize=0 CPUtime=53.69 /proc/16607/stat : 16607 (wbo1.4a) R 16605 16607 15312 0 -1 4202500 34527 0 0 0 5299 70 0 0 25 0 1 0 133690360 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/16607/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 53.69 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 53.7056 CPU time (s): 53.7068 CPU user time (s): 52.9989 CPU system time (s): 0.707892 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 139324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 52.9989 system time used= 0.707892 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34527 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= 1 involuntary context switches= 154 runsolver used 0.075988 second user time and 0.19397 second system time The end
Begin job on node144 at 2010-06-30 20:52:38 IDJOB=2690104 IDBENCH=79221 IDSOLVER=1200 FILE ID=node144/2690104-1277923958 PBS_JOBID= 11197339 Free space on /tmp= 74176 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224929--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-2690104-1277923958/watcher-2690104-1277923958 -o /tmp/evaluation-result-2690104-1277923958/solver-2690104-1277923958 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690104-1277923958.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5f93bdccbf9c1cc8d25b014cd19ec634 RANDOM SEED=39291819 node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.69 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.848 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.83 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.848 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.848 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.82 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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 : 5230.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29828280 kB Buffers: 208832 kB Cached: 1258768 kB SwapCached: 0 kB Active: 2024984 kB Inactive: 951036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29828280 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2768 kB Writeback: 0 kB AnonPages: 1508744 kB Mapped: 16032 kB Slab: 81284 kB PageTables: 7392 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1715948 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= 74176 MiB End job on node144 at 2010-06-30 20:53:31