Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 923.683 | 923.648 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo |
MD5SUM | 105b60f6fd410ca15d025f7b690efafc |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 13 |
Best CPU time to get the best result obtained on this benchmark | 308.96 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 927 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 45360 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45359 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 721 |
Number of bits of the biggest sum of numbers | 10 |
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 PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 15/8 clauses 1765/919 units 0 0.00/0.01 c vars 231 0.04/0.05 c 0.053991 13.2578 9 2046 0.04/0.05 o 416 0.04/0.06 c 0.053991 13.3945 9 2612 0.04/0.06 o 374 0.04/0.06 c 0.054991 13.3945 18 2873 0.04/0.06 o 369 0.04/0.06 c 0.054991 13.3945 22 3099 0.04/0.06 o 352 0.04/0.09 c 0.072988 13.3945 352 4127 0.04/0.09 o 328 0.09/0.12 c 0.084987 13.5195 573 5049 0.09/0.12 o 295 0.09/0.15 c 0.100984 13.5195 825 5605 0.09/0.15 o 294 0.09/0.17 c 0.109983 13.5195 977 6113 0.09/0.17 o 275 0.09/0.17 c 0.112982 13.5195 998 6323 0.09/0.17 o 263 0.09/0.18 c 0.115982 13.6406 1054 6872 0.09/0.18 o 221 0.19/0.25 c 0.152976 13.6406 899 7998 0.19/0.25 o 196 0.29/0.34 c 0.202969 13.6406 806 9164 0.29/0.34 o 180 0.39/0.42 c 0.234964 13.6406 749 10331 0.39/0.42 o 176 0.39/0.49 c 0.274958 13.6406 1292 11700 0.39/0.49 o 132 0.69/0.70 c 0.373943 13.6406 1353 14019 0.69/0.70 o 126 1.39/1.46 c 0.664898 13.6406 1100 21507 1.39/1.46 o 105 1.49/1.50 c 0.677896 13.6406 733 21995 1.49/1.50 o 104 2.29/2.32 c 0.968852 13.6406 935 29446 2.29/2.32 o 92 2.39/2.48 c 1.04984 13.6406 662 31198 2.39/2.48 o 81 4.09/4.15 c 1.70974 13.8867 1253 47178 4.09/4.15 o 74 4.40/4.41 c 1.81572 13.8867 1323 49515 4.40/4.41 o 62 4.40/4.48 c 1.84772 13.8867 1085 50313 4.40/4.48 o 59 5.70/5.80 c 2.43563 13.8867 1401 64133 5.70/5.80 o 58 5.79/5.86 c 2.47262 13.8867 1060 64905 5.79/5.86 o 57 5.89/5.91 c 2.49362 13.8867 1416 65541 5.89/5.91 o 55 6.09/6.12 c 2.5986 13.8867 1204 67688 6.09/6.12 o 54 6.49/6.59 c 2.86256 13.8867 939 74242 6.49/6.59 o 35 8.99/9.04 c 4.46632 14.6172 1711 108722 8.99/9.04 o 21 49.09/49.16 c 31.8392 15 2388 707837 49.09/49.16 o 17 70.40/70.43 c 46.6069 15 1744 1036162 70.40/70.43 o 14 88.09/88.10 c 58.8061 15 1451 1324916 88.09/88.10 o 13 923.62/923.63 c 647.01 15.707 2261 15078535 923.62/923.63 s OPTIMUM FOUND 923.62/923.63 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 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231
OK 13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699347-1278460402/watcher-2699347-1278460402 -o /tmp/evaluation-result-2699347-1278460402/solver-2699347-1278460402 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699347-1278460402.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.04 2.01 1.88 3/178 12780 /proc/meminfo: memFree=30383256/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=2136 CPUtime=0 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 251 0 0 0 0 0 0 0 22 0 1 0 14252437 2187264 170 4089446400 134512640 136422188 4286881040 18446744073709551615 135152347 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12780/statm: 534 170 144 467 0 65 0 [startup+0.046587 s] /proc/loadavg: 2.04 2.01 1.88 3/178 12780 /proc/meminfo: memFree=30383256/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=12592 CPUtime=0.04 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 2812 0 0 0 4 0 0 0 23 0 1 0 14252437 12894208 2731 4089446400 134512640 136422188 4286881040 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3148 2738 194 467 0 2679 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12592 [startup+0.100573 s] /proc/loadavg: 2.04 2.01 1.88 3/178 12780 /proc/meminfo: memFree=30383256/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=13712 CPUtime=0.09 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3112 0 0 0 7 2 0 0 23 0 1 0 14252437 14041088 3026 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3428 3026 236 467 0 2959 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13712 [startup+0.300536 s] /proc/loadavg: 2.04 2.01 1.88 3/178 12780 /proc/meminfo: memFree=30383256/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=13964 CPUtime=0.29 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3168 0 0 0 17 12 0 0 23 0 1 0 14252437 14299136 3076 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3491 3076 236 467 0 3022 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13964 [startup+0.700458 s] /proc/loadavg: 2.04 2.01 1.88 3/178 12780 /proc/meminfo: memFree=30383256/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=13964 CPUtime=0.69 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3179 0 0 0 37 32 0 0 25 0 1 0 14252437 14299136 3084 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3491 3084 236 467 0 3022 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13964 [startup+1.50031 s] /proc/loadavg: 2.04 2.01 1.88 3/179 12782 /proc/meminfo: memFree=30371840/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=13964 CPUtime=1.49 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3196 0 0 0 67 82 0 0 25 0 1 0 14252437 14299136 3099 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3491 3099 236 467 0 3022 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13964 [startup+3.101 s] /proc/loadavg: 2.04 2.01 1.88 3/179 12782 /proc/meminfo: memFree=30371592/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=13964 CPUtime=3.09 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3199 0 0 0 130 179 0 0 25 0 1 0 14252437 14299136 3099 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3491 3099 236 467 0 3022 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13964 [startup+6.3004 s] /proc/loadavg: 2.04 2.01 1.88 3/179 12782 /proc/meminfo: memFree=30372140/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=14216 CPUtime=6.3 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3260 0 0 0 269 361 0 0 25 0 1 0 14252437 14557184 3153 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3554 3153 236 467 0 3085 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 14216 [startup+12.7002 s] /proc/loadavg: 2.04 2.01 1.88 3/179 12782 /proc/meminfo: memFree=30372256/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=14960 CPUtime=12.69 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3447 0 0 0 691 578 0 0 25 0 1 0 14252437 15319040 3338 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3740 3338 236 467 0 3271 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14960 [startup+25.5008 s] /proc/loadavg: 2.03 2.01 1.88 3/179 12782 /proc/meminfo: memFree=30373140/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15224 CPUtime=25.49 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3521 0 0 0 1577 972 0 0 25 0 1 0 14252437 15589376 3412 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3806 3412 236 467 0 3337 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15224 [startup+51.1009 s] /proc/loadavg: 2.02 2.01 1.88 3/179 12782 /proc/meminfo: memFree=30372852/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15356 CPUtime=51.09 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3539 0 0 0 3317 1792 0 0 25 0 1 0 14252437 15724544 3429 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3839 3429 236 467 0 3370 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 15356 [startup+102.306 s] /proc/loadavg: 2.01 2.00 1.89 3/179 12784 /proc/meminfo: memFree=30372444/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15356 CPUtime=102.3 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3541 0 0 0 6882 3348 0 0 25 0 1 0 14252437 15724544 3429 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3839 3429 236 467 0 3370 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 15356 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.89 3/179 12786 /proc/meminfo: memFree=30354176/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15356 CPUtime=162.3 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3541 0 0 0 11035 5195 0 0 25 0 1 0 14252437 15724544 3429 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3839 3429 236 467 0 3370 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 15356 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.90 3/179 12787 /proc/meminfo: memFree=30355752/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15356 CPUtime=222.3 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3541 0 0 0 15229 7001 0 0 25 0 1 0 14252437 15724544 3429 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3839 3429 236 467 0 3370 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 15356 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12788 /proc/meminfo: memFree=30355576/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15356 CPUtime=282.3 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3554 0 0 0 19445 8785 0 0 25 0 1 0 14252437 15724544 3442 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3839 3442 236 467 0 3370 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 15356 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12790 /proc/meminfo: memFree=30355520/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15492 CPUtime=342.3 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3579 0 0 0 23666 10564 0 0 25 0 1 0 14252437 15863808 3467 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3873 3467 236 467 0 3404 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 15492 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12792 /proc/meminfo: memFree=30355596/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15492 CPUtime=402.31 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3593 0 0 0 27877 12354 0 0 25 0 1 0 14252437 15863808 3481 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3873 3481 236 467 0 3404 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 15492 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12803 /proc/meminfo: memFree=30354680/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15624 CPUtime=462.31 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3618 0 0 0 32074 14157 0 0 25 0 1 0 14252437 15998976 3506 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3906 3506 236 467 0 3437 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 15624 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12804 /proc/meminfo: memFree=30354668/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15816 CPUtime=522.31 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3655 0 0 0 36354 15877 0 0 25 0 1 0 14252437 16195584 3543 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3954 3543 236 467 0 3485 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 15816 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12805 /proc/meminfo: memFree=30354752/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15816 CPUtime=582.32 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3664 0 0 0 40555 17677 0 0 25 0 1 0 14252437 16195584 3552 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3954 3552 236 467 0 3485 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 15816 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12807 /proc/meminfo: memFree=30354328/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15952 CPUtime=642.32 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3680 0 0 0 44806 19426 0 0 25 0 1 0 14252437 16334848 3568 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3988 3568 236 467 0 3519 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 15952 [startup+702.301 s] /proc/loadavg: 1.96 1.98 1.91 3/179 12837 /proc/meminfo: memFree=30493452/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15952 CPUtime=702.32 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3689 0 0 0 49028 21204 0 0 25 0 1 0 14252437 16334848 3577 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3988 3577 236 467 0 3519 0 Current children cumulated CPU time (s) 702.32 Current children cumulated vsize (KiB) 15952 [startup+762.306 s] /proc/loadavg: 1.98 1.98 1.91 3/179 12839 /proc/meminfo: memFree=30493044/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=15952 CPUtime=762.32 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3702 0 0 0 53304 22928 0 0 25 0 1 0 14252437 16334848 3590 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 3988 3590 236 467 0 3519 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 15952 [startup+822.301 s] /proc/loadavg: 1.99 1.98 1.91 3/179 12840 /proc/meminfo: memFree=30492752/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=16080 CPUtime=822.32 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3715 0 0 0 57572 24660 0 0 25 0 1 0 14252437 16465920 3603 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 4020 3603 236 467 0 3551 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 16080 [startup+882.3 s] /proc/loadavg: 1.99 1.98 1.91 3/179 12841 /proc/meminfo: memFree=30492588/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=16080 CPUtime=882.32 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3721 0 0 0 61819 26413 0 0 25 0 1 0 14252437 16465920 3609 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 4020 3609 236 467 0 3551 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 16080 Solver just ended. Dumping a history of the last processes samples [startup+895.901 s] /proc/loadavg: 1.99 1.98 1.91 3/179 12842 /proc/meminfo: memFree=30492580/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=16080 CPUtime=895.92 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3721 0 0 0 62769 26823 0 0 25 0 1 0 14252437 16465920 3609 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 4020 3609 236 467 0 3551 0 Current children cumulated CPU time (s) 895.92 Current children cumulated vsize (KiB) 16080 [startup+908.7 s] /proc/loadavg: 1.99 1.98 1.91 3/179 12843 /proc/meminfo: memFree=30492568/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=16080 CPUtime=908.72 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3721 0 0 0 63655 27217 0 0 25 0 1 0 14252437 16465920 3609 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 4020 3609 236 467 0 3551 0 Current children cumulated CPU time (s) 908.72 Current children cumulated vsize (KiB) 16080 [startup+915.1 s] /proc/loadavg: 1.99 1.98 1.91 3/179 12843 /proc/meminfo: memFree=30492448/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=16080 CPUtime=915.13 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3721 0 0 0 64102 27411 0 0 25 0 1 0 14252437 16465920 3609 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 4020 3609 236 467 0 3551 0 Current children cumulated CPU time (s) 915.13 Current children cumulated vsize (KiB) 16080 [startup+918.301 s] /proc/loadavg: 1.99 1.98 1.91 3/179 12843 /proc/meminfo: memFree=30492448/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=16080 CPUtime=918.33 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3721 0 0 0 64324 27509 0 0 25 0 1 0 14252437 16465920 3609 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 4020 3609 236 467 0 3551 0 Current children cumulated CPU time (s) 918.33 Current children cumulated vsize (KiB) 16080 [startup+921.501 s] /proc/loadavg: 1.99 1.98 1.91 3/179 12843 /proc/meminfo: memFree=30492440/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=16080 CPUtime=921.52 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3721 0 0 0 64549 27603 0 0 25 0 1 0 14252437 16465920 3609 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 4020 3609 236 467 0 3551 0 Current children cumulated CPU time (s) 921.52 Current children cumulated vsize (KiB) 16080 [startup+922.301 s] /proc/loadavg: 1.99 1.98 1.91 3/179 12843 /proc/meminfo: memFree=30492440/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=16080 CPUtime=922.32 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3726 0 0 0 64607 27625 0 0 25 0 1 0 14252437 16465920 3614 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 4020 3614 236 467 0 3551 0 Current children cumulated CPU time (s) 922.32 Current children cumulated vsize (KiB) 16080 [startup+923.101 s] /proc/loadavg: 1.99 1.98 1.91 3/179 12843 /proc/meminfo: memFree=30492440/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=16080 CPUtime=923.13 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3726 0 0 0 64665 27648 0 0 25 0 1 0 14252437 16465920 3614 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 4020 3614 236 467 0 3551 0 Current children cumulated CPU time (s) 923.13 Current children cumulated vsize (KiB) 16080 [startup+923.501 s] /proc/loadavg: 1.99 1.98 1.91 3/179 12843 /proc/meminfo: memFree=30492440/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=16080 CPUtime=923.53 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3726 0 0 0 64693 27660 0 0 25 0 1 0 14252437 16465920 3614 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 4020 3614 236 467 0 3551 0 Current children cumulated CPU time (s) 923.53 Current children cumulated vsize (KiB) 16080 [startup+923.601 s] /proc/loadavg: 1.99 1.98 1.91 3/179 12843 /proc/meminfo: memFree=30492440/32951124 swapFree=67111528/67111528 [pid=12780] ppid=12778 vsize=16080 CPUtime=923.62 /proc/12780/stat : 12780 (pbct) R 12778 12780 12563 0 -1 4202496 3726 0 0 0 64699 27663 0 0 25 0 1 0 14252437 16465920 3614 4089446400 134512640 136422188 4286881040 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12780/statm: 4020 3614 236 467 0 3551 0 Current children cumulated CPU time (s) 923.62 Current children cumulated vsize (KiB) 16080 Child status: 0 Real time (s): 923.648 CPU time (s): 923.683 CPU user time (s): 647.022 CPU system time (s): 276.661 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 16080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 647.022 system time used= 276.661 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3731 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= 2368 runsolver used 1.3348 second user time and 2.86956 second system time The end
Begin job on node141 at 2010-07-07 01:53:22 IDJOB=2699347 IDBENCH=78920 IDSOLVER=1212 FILE ID=node141/2699347-1278460402 PBS_JOBID= 11233710 Free space on /tmp= 73772 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699347-1278460402/watcher-2699347-1278460402 -o /tmp/evaluation-result-2699347-1278460402/solver-2699347-1278460402 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699347-1278460402.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 105b60f6fd410ca15d025f7b690efafc RANDOM SEED=923086636 node141.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.839 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.67 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.839 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 : 5265.34 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.839 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.82 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.839 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.74 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.839 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.76 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.839 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.839 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.839 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30384024 kB Buffers: 107908 kB Cached: 2123496 kB SwapCached: 0 kB Active: 962524 kB Inactive: 1465580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30384024 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2008 kB Writeback: 0 kB AnonPages: 196968 kB Mapped: 15612 kB Slab: 72980 kB PageTables: 5480 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 340508 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= 73772 MiB End job on node141 at 2010-07-07 02:08:46