Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 32.606 | 32.6053 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo |
MD5SUM | 3f56278c0c7f2898f6b9e11f0d13a6fa |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 0.358944 |
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 | 5395 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 5394 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1220 |
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-2690165-1277924800.wbo. 0.00/0.00 c Instance file HOME/instance-2690165-1277924800.wbo 0.00/0.00 c File size is 10467 bytes. 0.00/0.00 c Highest Coefficient sum: 1220 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 38 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 40 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 36 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 34 | 0.004 % | 0.00/0.03 c | 1321 | 169 101 1205 | 8052 1321 36 | 0.004 % | 0.00/0.06 c | 2080 | 169 101 1205 | 8857 2080 36 | 0.004 % | 0.06/0.10 c | 3220 | 169 101 1205 | 9743 3220 35 | 0.004 % | 0.09/0.16 c | 4929 | 169 101 1205 | 10717 4929 36 | 0.004 % | 0.19/0.28 c | 7492 | 169 101 1205 | 11789 7492 37 | 0.004 % | 0.49/0.50 c | 11337 | 169 101 1205 | 12968 11337 39 | 0.004 % | 0.79/0.86 c | 17106 | 169 101 1205 | 14265 10575 43 | 0.004 % | 1.49/1.51 c | 25758 | 169 101 1205 | 15692 12041 45 | 0.004 % | 2.40/2.44 c | 38735 | 169 101 1205 | 17261 9229 44 | 0.004 % | 3.69/3.79 c | 58199 | 124 101 1205 | 18987 2727 44 | 26.631 % | 3.99/4.00 c =============================================================================== 4.19/4.26 c core #1 4.19/4.26 c ============================[ Search Statistics ]============================== 4.19/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.26 c =============================================================================== 4.19/4.26 c | 0 | 264 198 2547 | 5000 0 nan | 0.000 % | 4.19/4.27 c | 101 | 264 198 2547 | 5500 101 37 | 0.001 % | 4.19/4.27 c | 251 | 264 198 2547 | 6050 251 35 | 0.001 % | 4.19/4.28 c | 477 | 264 198 2547 | 6655 477 33 | 0.001 % | 4.19/4.29 c | 814 | 264 198 2547 | 7320 814 31 | 0.001 % | 4.29/4.30 c | 1320 | 264 198 2547 | 8052 1320 32 | 0.001 % | 4.29/4.33 c | 2080 | 264 198 2547 | 8857 2080 31 | 0.001 % | 4.29/4.37 c | 3221 | 264 198 2547 | 9743 3221 33 | 0.001 % | 4.40/4.44 c | 4932 | 264 198 2547 | 10717 4932 34 | 0.001 % | 4.49/4.58 c | 7494 | 264 198 2547 | 11789 7494 35 | 0.001 % | 4.80/4.82 c | 11338 | 264 198 2547 | 12968 11338 38 | 0.001 % | 5.09/5.19 c | 17104 | 264 198 2547 | 14265 10576 42 | 0.001 % | 5.69/5.77 c | 25753 | 264 198 2547 | 15692 12047 43 | 0.001 % | 6.69/6.75 c | 38727 | 264 198 2547 | 17261 9244 43 | 0.001 % | 8.20/8.28 c | 58188 | 264 198 2547 | 18987 11332 47 | 0.002 % | 8.80/8.88 c =============================================================================== 9.09/9.19 c core #2 9.09/9.19 c ============================[ Search Statistics ]============================== 9.09/9.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.19 c =============================================================================== 9.09/9.19 c | 0 | 359 295 3889 | 5000 0 nan | 0.000 % | 9.09/9.19 c | 103 | 359 295 3889 | 5500 103 34 | 0.001 % | 9.19/9.20 c | 254 | 359 295 3889 | 6050 254 33 | 0.001 % | 9.19/9.20 c | 479 | 359 295 3889 | 6655 479 33 | 0.001 % | 9.19/9.21 c | 816 | 359 295 3889 | 7320 816 33 | 0.001 % | 9.19/9.23 c | 1322 | 359 295 3889 | 8052 1322 32 | 0.001 % | 9.19/9.26 c | 2082 | 359 295 3889 | 8857 2082 31 | 0.001 % | 9.29/9.30 c | 3222 | 359 295 3889 | 9743 3222 32 | 0.001 % | 9.29/9.37 c | 4932 | 359 295 3889 | 10717 4932 34 | 0.001 % | 9.49/9.50 c | 7495 | 359 295 3889 | 11789 7495 35 | 0.001 % | 9.69/9.75 c | 11341 | 359 295 3889 | 12968 11341 38 | 0.001 % | 10.10/10.16 c | 17109 | 359 295 3889 | 14265 10578 43 | 0.001 % | 10.79/10.81 c | 25759 | 359 295 3889 | 15692 12055 47 | 0.001 % | 11.80/11.85 c | 38736 | 359 295 3889 | 17261 9226 47 | 0.001 % | 13.39/13.45 c | 58199 | 359 295 3889 | 18987 11332 47 | 0.001 % | 14.49/14.56 c =============================================================================== 14.90/14.90 c core #3 14.90/14.90 c ============================[ Search Statistics ]============================== 14.90/14.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.90/14.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.90/14.90 c =============================================================================== 14.90/14.90 c | 0 | 451 390 5211 | 5000 0 nan | 0.000 % | 14.90/14.91 c | 101 | 451 390 5211 | 5500 101 40 | 0.000 % | 14.90/14.91 c | 253 | 451 390 5211 | 6050 253 42 | 0.000 % | 14.90/14.92 c | 482 | 451 390 5211 | 6655 482 37 | 0.000 % | 14.90/14.93 c | 821 | 451 390 5211 | 7320 821 34 | 0.000 % | 14.90/14.95 c | 1327 | 451 390 5211 | 8052 1327 34 | 0.000 % | 14.90/14.98 c | 2087 | 451 390 5211 | 8857 2087 35 | 0.000 % | 14.99/15.02 c | 3226 | 451 390 5211 | 9743 3226 35 | 0.000 % | 15.09/15.11 c | 4934 | 451 390 5211 | 10717 4934 37 | 0.000 % | 15.19/15.25 c | 7498 | 451 390 5211 | 11789 7498 38 | 0.000 % | 15.49/15.53 c | 11342 | 451 390 5211 | 12968 11342 39 | 0.000 % | 15.89/15.94 c | 17110 | 451 390 5211 | 14265 10570 43 | 0.000 % | 16.59/16.68 c | 25760 | 451 390 5211 | 15692 12032 46 | 0.000 % | 17.69/17.77 c | 38735 | 451 390 5211 | 17261 9207 47 | 0.000 % | 19.29/19.33 c | 58197 | 451 390 5211 | 18987 11305 44 | 0.000 % | 21.79/21.86 c | 87389 | 451 390 5211 | 20886 11866 49 | 0.011 % | 22.19/22.26 c =============================================================================== 22.69/22.72 c core #4 22.69/22.72 c ============================[ Search Statistics ]============================== 22.69/22.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.69/22.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.69/22.72 c =============================================================================== 22.69/22.72 c | 0 | 547 484 6521 | 5000 0 nan | 0.000 % | 22.69/22.73 c | 100 | 547 484 6521 | 5500 100 35 | 0.000 % | 22.69/22.73 c | 251 | 547 484 6521 | 6050 251 36 | 0.000 % | 22.69/22.74 c | 477 | 547 484 6521 | 6655 477 32 | 0.000 % | 22.69/22.75 c | 814 | 547 484 6521 | 7320 814 32 | 0.000 % | 22.69/22.77 c | 1321 | 547 484 6521 | 8052 1321 31 | 0.000 % | 22.79/22.80 c | 2082 | 547 484 6521 | 8857 2082 35 | 0.000 % | 22.79/22.85 c | 3221 | 547 484 6521 | 9743 3221 35 | 0.000 % | 22.89/22.93 c | 4930 | 547 484 6521 | 10717 4930 36 | 0.000 % | 23.00/23.08 c | 7492 | 547 484 6521 | 11789 7492 38 | 0.000 % | 23.30/23.31 c | 11337 | 547 484 6521 | 12968 11337 38 | 0.000 % | 23.69/23.72 c | 17104 | 547 484 6521 | 14265 10574 39 | 0.000 % | 24.29/24.39 c | 25755 | 547 484 6521 | 15692 12035 43 | 0.000 % | 25.39/25.41 c | 38729 | 547 484 6521 | 17261 9213 44 | 0.000 % | 26.99/27.04 c | 58191 | 547 484 6521 | 18987 11326 48 | 0.000 % | 29.29/29.33 c | 87386 | 547 484 6521 | 20886 11882 45 | 0.000 % | 32.59/32.60 c =============================================================================== 32.59/32.60 c #cores: 4 32.59/32.60 c Final Weight: 5 32.59/32.60 o 5 32.59/32.60 s OPTIMUM FOUND 32.59/32.60 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 32.59/32.60 c Total CPU time: 31.7782 s
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690165-1277924800/watcher-2690165-1277924800 -o /tmp/evaluation-result-2690165-1277924800/solver-2690165-1277924800 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690165-1277924800.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: 1.92 1.97 1.99 4/196 16330 /proc/meminfo: memFree=31076372/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=2572 CPUtime=0 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 295 0 0 0 0 0 0 0 25 0 1 0 133776799 2633728 211 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 643 211 143 303 0 338 0 [startup+0.070218 s] /proc/loadavg: 1.92 1.97 1.99 4/196 16330 /proc/meminfo: memFree=31076372/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=3232 CPUtime=0.06 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 464 0 0 0 6 0 0 0 25 0 1 0 133776799 3309568 380 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 808 380 143 303 0 503 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3232 [startup+0.1011 s] /proc/loadavg: 1.92 1.97 1.99 4/196 16330 /proc/meminfo: memFree=31076372/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=3496 CPUtime=0.09 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 535 0 0 0 9 0 0 0 25 0 1 0 133776799 3579904 451 4089446400 134512640 135751879 4293770336 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 874 451 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.301112 s] /proc/loadavg: 1.92 1.97 1.99 4/196 16330 /proc/meminfo: memFree=31076372/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=5080 CPUtime=0.29 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 912 0 0 0 28 1 0 0 25 0 1 0 133776799 5201920 828 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 1270 829 143 303 0 965 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5080 [startup+0.701045 s] /proc/loadavg: 1.92 1.97 1.99 4/196 16330 /proc/meminfo: memFree=31076372/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=7388 CPUtime=0.7 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 1477 0 0 0 67 3 0 0 25 0 1 0 133776799 7565312 1393 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 1847 1393 143 303 0 1542 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 7388 [startup+1.5009 s] /proc/loadavg: 1.92 1.97 1.99 3/197 16331 /proc/meminfo: memFree=31069788/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=11348 CPUtime=1.49 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 2486 0 0 0 144 5 0 0 25 0 1 0 133776799 11620352 2402 4089446400 134512640 135751879 4293770336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 2837 2402 143 303 0 2532 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11348 [startup+3.10062 s] /proc/loadavg: 1.92 1.97 1.99 3/197 16331 /proc/meminfo: memFree=31063836/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=19532 CPUtime=3.1 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 4520 0 0 0 301 9 0 0 25 0 1 0 133776799 20000768 4436 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 4883 4436 143 303 0 4578 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 19532 [startup+6.30112 s] /proc/loadavg: 1.93 1.97 1.99 3/197 16331 /proc/meminfo: memFree=31052008/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=27188 CPUtime=6.29 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 6435 0 0 0 611 18 0 0 21 0 1 0 133776799 27840512 6351 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 6797 6351 146 303 0 6492 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27188 [startup+12.701 s] /proc/loadavg: 1.93 1.97 1.99 3/197 16332 /proc/meminfo: memFree=31036348/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=44352 CPUtime=12.69 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 10726 0 0 0 1235 34 0 0 24 0 1 0 133776799 45416448 10642 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 11088 10642 146 303 0 10783 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44352 [startup+25.5007 s] /proc/loadavg: 1.95 1.97 1.99 3/197 16332 /proc/meminfo: memFree=31001516/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=77112 CPUtime=25.49 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 18926 0 0 0 2484 65 0 0 23 0 1 0 133776799 78962688 18842 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 19278 18842 146 303 0 18973 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77112 Solver just ended. Dumping a history of the last processes samples [startup+28.701 s] /proc/loadavg: 1.95 1.97 1.99 3/197 16332 /proc/meminfo: memFree=30993084/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=86492 CPUtime=28.69 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 21253 0 0 0 2796 73 0 0 25 0 1 0 133776799 88567808 21169 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 21623 21169 146 303 0 21318 0 Current children cumulated CPU time (s) 28.69 Current children cumulated vsize (KiB) 86492 [startup+30.3009 s] /proc/loadavg: 1.95 1.97 1.99 3/197 16332 /proc/meminfo: memFree=30988372/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=92836 CPUtime=30.29 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 22857 0 0 0 2952 77 0 0 25 0 1 0 133776799 95064064 22773 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 23209 22773 146 303 0 22904 0 Current children cumulated CPU time (s) 30.29 Current children cumulated vsize (KiB) 92836 [startup+31.9066 s] /proc/loadavg: 1.95 1.97 1.99 3/197 16332 /proc/meminfo: memFree=30979444/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=98784 CPUtime=31.9 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 24338 0 0 0 3110 80 0 0 25 0 1 0 133776799 101154816 24254 4089446400 134512640 135751879 4293770336 18446744073709551615 134602478 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 24696 24254 146 303 0 24391 0 Current children cumulated CPU time (s) 31.9 Current children cumulated vsize (KiB) 98784 [startup+32.3005 s] /proc/loadavg: 1.95 1.97 1.99 3/197 16332 /proc/meminfo: memFree=30979444/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=100896 CPUtime=32.29 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 24855 0 0 0 3148 81 0 0 25 0 1 0 133776799 103317504 24771 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 25224 24771 146 303 0 24919 0 Current children cumulated CPU time (s) 32.29 Current children cumulated vsize (KiB) 100896 [startup+32.5005 s] /proc/loadavg: 1.95 1.97 1.99 3/197 16332 /proc/meminfo: memFree=30979444/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=101820 CPUtime=32.49 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 25095 0 0 0 3167 82 0 0 25 0 1 0 133776799 104263680 25011 4089446400 134512640 135751879 4293770336 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 25455 25011 146 303 0 25150 0 Current children cumulated CPU time (s) 32.49 Current children cumulated vsize (KiB) 101820 [startup+32.6004 s] /proc/loadavg: 1.95 1.97 1.99 3/197 16332 /proc/meminfo: memFree=30979444/32950928 swapFree=67111528/67111528 [pid=16330] ppid=16328 vsize=102348 CPUtime=32.59 /proc/16330/stat : 16330 (wbo1.4a) R 16328 16330 14326 0 -1 4202496 25221 0 0 0 3177 82 0 0 25 0 1 0 133776799 104804352 25137 4089446400 134512640 135751879 4293770336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16330/statm: 25587 25137 146 303 0 25282 0 Current children cumulated CPU time (s) 32.59 Current children cumulated vsize (KiB) 102348 Child status: 0 Real time (s): 32.6053 CPU time (s): 32.606 CPU user time (s): 31.7782 CPU system time (s): 0.827874 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 102348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.7782 system time used= 0.827874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25222 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= 6 involuntary context switches= 26 runsolver used 0.045993 second user time and 0.114982 second system time The end
Begin job on node123 at 2010-06-30 21:06:40 IDJOB=2690165 IDBENCH=79251 IDSOLVER=1200 FILE ID=node123/2690165-1277924800 PBS_JOBID= 11197326 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227012--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-2690165-1277924800/watcher-2690165-1277924800 -o /tmp/evaluation-result-2690165-1277924800/solver-2690165-1277924800 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690165-1277924800.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3f56278c0c7f2898f6b9e11f0d13a6fa RANDOM SEED=582078257 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.804 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.75 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.804 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.804 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.71 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.804 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.74 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.804 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31076892 kB Buffers: 210156 kB Cached: 1108708 kB SwapCached: 0 kB Active: 925156 kB Inactive: 805856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31076892 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2844 kB Writeback: 0 kB AnonPages: 412044 kB Mapped: 20248 kB Slab: 80104 kB PageTables: 5572 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1658716 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= 74208 MiB End job on node123 at 2010-06-30 21:07:13