Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 38.3862 | 38.3862 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo |
MD5SUM | 4e22340b84333f0476155fff0e8b142d |
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 | 4 |
Best CPU time to get the best result obtained on this benchmark | 0.290954 |
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 | 4944 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4943 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1228 |
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-2690140-1277924414.wbo. 0.00/0.00 c Instance file HOME/instance-2690140-1277924414.wbo 0.00/0.00 c File size is 10456 bytes. 0.00/0.00 c Highest Coefficient sum: 1228 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 43 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 39 | 0.004 % | 0.00/0.01 c | 477 | 169 101 1205 | 6655 477 36 | 0.004 % | 0.00/0.02 c | 814 | 169 101 1205 | 7320 814 38 | 0.004 % | 0.00/0.03 c | 1320 | 169 101 1205 | 8052 1320 39 | 0.004 % | 0.00/0.06 c | 2080 | 169 101 1205 | 8857 2080 37 | 0.004 % | 0.09/0.10 c | 3222 | 169 101 1205 | 9743 3222 37 | 0.004 % | 0.09/0.16 c | 4933 | 169 101 1205 | 10717 4933 38 | 0.004 % | 0.19/0.29 c | 7495 | 169 101 1205 | 11789 7495 40 | 0.004 % | 0.49/0.53 c | 11341 | 169 101 1205 | 12968 11341 39 | 0.004 % | 0.89/0.91 c | 17110 | 169 101 1205 | 14265 10578 41 | 0.004 % | 1.49/1.51 c | 25762 | 169 101 1205 | 15692 12040 43 | 0.004 % | 2.39/2.41 c | 38738 | 169 101 1205 | 17261 9221 43 | 0.004 % | 3.39/3.41 c =============================================================================== 3.59/3.64 c core #1 3.59/3.64 c ============================[ Search Statistics ]============================== 3.59/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.64 c =============================================================================== 3.59/3.64 c | 0 | 264 200 2566 | 5000 0 nan | 0.000 % | 3.59/3.65 c | 100 | 264 200 2566 | 5500 100 53 | 0.001 % | 3.59/3.65 c | 250 | 264 200 2566 | 6050 250 47 | 0.001 % | 3.59/3.66 c | 475 | 264 200 2566 | 6655 475 41 | 0.001 % | 3.59/3.67 c | 812 | 264 200 2566 | 7320 812 38 | 0.001 % | 3.59/3.69 c | 1320 | 264 200 2566 | 8052 1320 36 | 0.001 % | 3.69/3.71 c | 2080 | 264 200 2566 | 8857 2080 35 | 0.001 % | 3.69/3.75 c | 3220 | 264 200 2566 | 9743 3220 35 | 0.001 % | 3.80/3.83 c | 4928 | 264 200 2566 | 10717 4928 36 | 0.001 % | 3.90/3.96 c | 7492 | 264 200 2566 | 11789 7492 37 | 0.001 % | 4.09/4.17 c | 11336 | 264 200 2566 | 12968 11336 38 | 0.001 % | 4.50/4.56 c | 17105 | 264 200 2566 | 14265 10580 42 | 0.001 % | 5.09/5.18 c | 25754 | 264 200 2566 | 15692 12043 47 | 0.001 % | 6.09/6.14 c | 38728 | 264 200 2566 | 17261 9215 46 | 0.001 % | 7.69/7.72 c | 58192 | 264 200 2566 | 18987 11316 46 | 0.001 % | 9.69/9.80 c =============================================================================== 10.19/10.21 c core #2 10.19/10.21 c ============================[ Search Statistics ]============================== 10.19/10.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.19/10.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.19/10.21 c =============================================================================== 10.19/10.21 c | 0 | 358 298 3915 | 5000 0 nan | 0.000 % | 10.19/10.22 c | 102 | 358 298 3915 | 5500 102 35 | 0.001 % | 10.19/10.22 c | 253 | 358 298 3915 | 6050 253 32 | 0.001 % | 10.19/10.23 c | 478 | 358 298 3915 | 6655 478 34 | 0.001 % | 10.19/10.24 c | 815 | 358 298 3915 | 7320 815 33 | 0.001 % | 10.19/10.26 c | 1322 | 358 298 3915 | 8052 1322 31 | 0.001 % | 10.19/10.29 c | 2082 | 358 298 3915 | 8857 2082 33 | 0.001 % | 10.29/10.33 c | 3223 | 358 298 3915 | 9743 3223 34 | 0.001 % | 10.39/10.41 c | 4932 | 358 298 3915 | 10717 4932 35 | 0.001 % | 10.49/10.55 c | 7494 | 358 298 3915 | 11789 7494 39 | 0.001 % | 10.69/10.79 c | 11338 | 358 298 3915 | 12968 11338 38 | 0.001 % | 11.09/11.19 c | 17105 | 358 298 3915 | 14265 10574 42 | 0.001 % | 11.79/11.85 c | 25755 | 358 298 3915 | 15692 12043 45 | 0.001 % | 12.79/12.86 c | 38729 | 358 298 3915 | 17261 9213 48 | 0.001 % | 14.39/14.43 c | 58192 | 358 298 3915 | 18987 11294 48 | 0.001 % | 16.79/16.81 c | 87384 | 322 298 3915 | 20886 2103 38 | 10.057 % | 17.29/17.38 c =============================================================================== 17.79/17.86 c core #3 17.79/17.86 c ============================[ Search Statistics ]============================== 17.79/17.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.79/17.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.79/17.86 c =============================================================================== 17.79/17.86 c | 0 | 453 395 5254 | 5000 0 nan | 0.000 % | 17.79/17.87 c | 102 | 453 395 5254 | 5500 102 41 | 0.000 % | 17.79/17.87 c | 253 | 453 395 5254 | 6050 253 34 | 0.000 % | 17.79/17.88 c | 479 | 453 395 5254 | 6655 479 35 | 0.000 % | 17.79/17.89 c | 817 | 453 395 5254 | 7320 817 36 | 0.000 % | 17.89/17.91 c | 1327 | 453 395 5254 | 8052 1327 39 | 0.000 % | 17.89/17.94 c | 2086 | 453 395 5254 | 8857 2086 40 | 0.000 % | 17.89/17.99 c | 3227 | 453 395 5254 | 9743 3227 38 | 0.000 % | 17.99/18.07 c | 4935 | 453 395 5254 | 10717 4935 39 | 0.000 % | 18.19/18.21 c | 7498 | 453 395 5254 | 11789 7498 38 | 0.000 % | 18.39/18.47 c | 11342 | 453 395 5254 | 12968 11342 39 | 0.000 % | 18.79/18.87 c | 17108 | 453 395 5254 | 14265 10584 43 | 0.000 % | 19.49/19.55 c | 25758 | 453 395 5254 | 15692 12048 41 | 0.000 % | 20.39/20.49 c | 38733 | 453 395 5254 | 17261 9221 41 | 0.000 % | 22.09/22.12 c | 58195 | 453 395 5254 | 18987 11319 49 | 0.000 % | 24.49/24.57 c | 87387 | 453 395 5254 | 20886 11815 45 | 0.000 % | 27.89/27.91 c =============================================================================== 28.49/28.56 c core #4 28.49/28.56 c ============================[ Search Statistics ]============================== 28.49/28.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.49/28.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.49/28.56 c =============================================================================== 28.49/28.56 c | 0 | 551 489 6569 | 5000 0 nan | 0.000 % | 28.49/28.58 c | 100 | 551 489 6569 | 5500 100 57 | 0.000 % | 28.49/28.58 c | 251 | 551 489 6569 | 6050 251 46 | 0.000 % | 28.49/28.59 c | 476 | 551 489 6569 | 6655 476 42 | 0.000 % | 28.59/28.60 c | 814 | 551 489 6569 | 7320 814 37 | 0.000 % | 28.59/28.62 c | 1321 | 551 489 6569 | 8052 1321 36 | 0.000 % | 28.59/28.65 c | 2080 | 551 489 6569 | 8857 2080 35 | 0.000 % | 28.69/28.70 c | 3222 | 551 489 6569 | 9743 3222 36 | 0.000 % | 28.69/28.78 c | 4930 | 551 489 6569 | 10717 4930 36 | 0.000 % | 28.89/28.91 c | 7493 | 551 489 6569 | 11789 7493 37 | 0.000 % | 29.09/29.14 c | 11337 | 551 489 6569 | 12968 11337 38 | 0.000 % | 29.49/29.53 c | 17105 | 551 489 6569 | 14265 10574 42 | 0.000 % | 30.09/30.12 c | 25754 | 551 489 6569 | 15692 12036 45 | 0.000 % | 30.99/31.08 c | 38731 | 551 489 6569 | 17261 9235 44 | 0.000 % | 32.49/32.58 c | 58192 | 551 489 6569 | 18987 11314 44 | 0.000 % | 34.79/34.82 c | 87386 | 551 489 6569 | 20886 11881 46 | 0.000 % | 38.09/38.16 c | 131177 | 529 489 6569 | 22974 12430 47 | 3.993 % | 38.29/38.38 c =============================================================================== 38.29/38.38 c #cores: 4 38.29/38.38 c Final Weight: 4 38.29/38.38 o 4 38.29/38.38 s OPTIMUM FOUND 38.29/38.38 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 38.29/38.38 c Total CPU time: 37.8842 s
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690140-1277924414/watcher-2690140-1277924414 -o /tmp/evaluation-result-2690140-1277924414/solver-2690140-1277924414 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690140-1277924414.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.47 2.13 2.03 4/196 17308 /proc/meminfo: memFree=31013152/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=2572 CPUtime=0 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 292 0 0 0 0 0 0 0 25 0 1 0 133736002 2633728 207 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 643 207 143 303 0 338 0 [startup+0.0697121 s] /proc/loadavg: 2.47 2.13 2.03 4/196 17308 /proc/meminfo: memFree=31013152/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=3232 CPUtime=0.06 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 463 0 0 0 6 0 0 0 25 0 1 0 133736002 3309568 378 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 808 378 143 303 0 503 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3232 [startup+0.100705 s] /proc/loadavg: 2.47 2.13 2.03 4/196 17308 /proc/meminfo: memFree=31013152/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=3496 CPUtime=0.09 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 533 0 0 0 9 0 0 0 25 0 1 0 133736002 3579904 448 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 874 448 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300672 s] /proc/loadavg: 2.47 2.13 2.03 4/196 17308 /proc/meminfo: memFree=31013152/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=5084 CPUtime=0.29 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 920 0 0 0 29 0 0 0 25 0 1 0 133736002 5206016 835 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 1271 835 143 303 0 966 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5084 [startup+0.700602 s] /proc/loadavg: 2.47 2.13 2.03 4/196 17308 /proc/meminfo: memFree=31013152/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=7204 CPUtime=0.69 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 1430 0 0 0 68 1 0 0 25 0 1 0 133736002 7376896 1345 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 1801 1345 143 303 0 1496 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7204 [startup+1.50046 s] /proc/loadavg: 2.43 2.13 2.03 3/197 17309 /proc/meminfo: memFree=31006448/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=11300 CPUtime=1.49 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 2477 0 0 0 147 2 0 0 25 0 1 0 133736002 11571200 2392 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 2825 2392 143 303 0 2520 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11300 [startup+3.10018 s] /proc/loadavg: 2.43 2.13 2.03 3/197 17309 /proc/meminfo: memFree=31000496/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=19484 CPUtime=3.09 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 4517 0 0 0 304 5 0 0 25 0 1 0 133736002 19951616 4432 4089446400 134512640 135751879 4294665888 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 4871 4432 143 303 0 4566 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19484 [startup+6.30062 s] /proc/loadavg: 2.43 2.13 2.03 3/197 17309 /proc/meminfo: memFree=30990956/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=27544 CPUtime=6.29 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 6535 0 0 0 620 9 0 0 22 0 1 0 133736002 28205056 6450 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 6886 6450 146 303 0 6581 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27544 [startup+12.7005 s] /proc/loadavg: 2.37 2.12 2.03 3/197 17310 /proc/meminfo: memFree=30969448/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=45676 CPUtime=12.69 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 11064 0 0 0 1251 18 0 0 25 0 1 0 133736002 46772224 10979 4089446400 134512640 135751879 4294665888 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 11419 10979 146 303 0 11114 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45676 [startup+25.5002 s] /proc/loadavg: 2.31 2.12 2.03 3/197 17310 /proc/meminfo: memFree=30931940/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=84748 CPUtime=25.49 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 20828 0 0 0 2516 33 0 0 25 0 1 0 133736002 86781952 20743 4089446400 134512640 135751879 4294665888 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 21187 20743 146 303 0 20882 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 84748 Solver just ended. Dumping a history of the last processes samples [startup+31.9061 s] /proc/loadavg: 2.26 2.11 2.03 3/197 17310 /proc/meminfo: memFree=30915692/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=99532 CPUtime=31.9 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 24522 0 0 0 3149 41 0 0 25 0 1 0 133736002 101920768 24437 4089446400 134512640 135751879 4294665888 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 24883 24437 146 303 0 24578 0 Current children cumulated CPU time (s) 31.9 Current children cumulated vsize (KiB) 99532 [startup+35.1006 s] /proc/loadavg: 2.26 2.11 2.03 3/197 17310 /proc/meminfo: memFree=30907116/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=108128 CPUtime=35.1 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 26675 0 0 0 3465 45 0 0 25 0 1 0 133736002 110723072 26590 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 27032 26590 146 303 0 26727 0 Current children cumulated CPU time (s) 35.1 Current children cumulated vsize (KiB) 108128 [startup+36.7003 s] /proc/loadavg: 2.24 2.11 2.03 3/197 17310 /proc/meminfo: memFree=30902396/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=114860 CPUtime=36.69 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 28356 0 0 0 3623 46 0 0 25 0 1 0 133736002 117616640 28271 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 28715 28271 146 303 0 28410 0 Current children cumulated CPU time (s) 36.69 Current children cumulated vsize (KiB) 114860 [startup+37.5002 s] /proc/loadavg: 2.24 2.11 2.03 3/197 17310 /proc/meminfo: memFree=30897932/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=118292 CPUtime=37.49 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 29208 0 0 0 3702 47 0 0 25 0 1 0 133736002 121131008 29123 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 29573 29123 146 303 0 29268 0 Current children cumulated CPU time (s) 37.49 Current children cumulated vsize (KiB) 118292 [startup+37.9011 s] /proc/loadavg: 2.24 2.11 2.03 3/197 17310 /proc/meminfo: memFree=30897932/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=120536 CPUtime=37.89 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 29765 0 0 0 3741 48 0 0 25 0 1 0 133736002 123428864 29680 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 30134 29680 146 303 0 29829 0 Current children cumulated CPU time (s) 37.89 Current children cumulated vsize (KiB) 120536 [startup+38.301 s] /proc/loadavg: 2.24 2.11 2.03 3/197 17310 /proc/meminfo: memFree=30897932/32951124 swapFree=67111528/67111528 [pid=17308] ppid=17306 vsize=122516 CPUtime=38.29 /proc/17308/stat : 17308 (wbo1.4a) R 17306 17308 14947 0 -1 4202496 30283 0 0 0 3780 49 0 0 25 0 1 0 133736002 125456384 30198 4089446400 134512640 135751879 4294665888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17308/statm: 30629 30198 146 303 0 30324 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 122516 Child status: 0 Real time (s): 38.3862 CPU time (s): 38.3862 CPU user time (s): 37.8842 CPU system time (s): 0.501923 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 122516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.8842 system time used= 0.501923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30367 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= 2 involuntary context switches= 48 runsolver used 0.057991 second user time and 0.12798 second system time The end
Begin job on node144 at 2010-06-30 21:00:14 IDJOB=2690140 IDBENCH=79239 IDSOLVER=1200 FILE ID=node144/2690140-1277924414 PBS_JOBID= 11197267 Free space on /tmp= 74180 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971363--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-2690140-1277924414/watcher-2690140-1277924414 -o /tmp/evaluation-result-2690140-1277924414/solver-2690140-1277924414 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690140-1277924414.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4e22340b84333f0476155fff0e8b142d RANDOM SEED=218578701 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: 31013672 kB Buffers: 210112 kB Cached: 1256116 kB SwapCached: 0 kB Active: 840324 kB Inactive: 952140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31013672 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2792 kB Writeback: 0 kB AnonPages: 326516 kB Mapped: 20236 kB Slab: 81872 kB PageTables: 5304 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655972 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 21:00:52