Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 958.613 | 958.585 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo |
MD5SUM | f1c7b8b76066043f2c00dac441c2cac6 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 190.536 |
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 | 906 |
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 | 44555 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44554 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 761 |
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.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 15/8 clauses 1786/898 units 0 0.00/0.01 c vars 231 0.00/0.06 c 0.057991 13.2461 26 3495 0.00/0.06 o 867 0.05/0.06 c 0.06199 13.3828 63 5866 0.05/0.06 o 515 0.05/0.07 c 0.065989 13.3828 110 6639 0.05/0.07 o 444 0.05/0.07 c 0.067989 13.3828 118 6909 0.05/0.07 o 425 0.05/0.08 c 0.076988 13.3828 203 7250 0.05/0.08 o 407 0.05/0.08 c 0.078987 13.3828 206 7338 0.05/0.08 o 405 0.05/0.08 c 0.079987 13.3828 207 7805 0.05/0.08 o 361 0.05/0.09 c 0.084987 13.3828 257 7967 0.05/0.09 o 357 0.09/0.11 c 0.098984 13.3828 428 9078 0.09/0.11 o 336 0.09/0.12 c 0.103984 13.3828 492 9473 0.09/0.12 o 306 0.09/0.13 c 0.110983 13.3828 573 10511 0.09/0.13 o 192 0.09/0.17 c 0.139978 13.5078 878 11258 0.09/0.17 o 167 0.39/0.41 c 0.314952 13.5078 1191 14590 0.39/0.41 o 143 0.69/0.70 c 0.512922 13.6289 1106 17857 0.69/0.70 o 134 0.79/0.81 c 0.594909 13.6289 1122 19305 0.79/0.81 o 106 1.29/1.30 c 0.961853 13.6289 1287 24801 1.29/1.30 o 102 1.79/1.84 c 1.34979 13.6289 1279 29725 1.79/1.84 o 99 1.99/2.01 c 1.47877 13.6289 1097 31720 1.99/2.01 o 97 2.89/2.94 c 2.13967 13.6289 1393 41614 2.89/2.94 o 79 3.59/3.66 c 2.67559 13.6289 654 48270 3.59/3.66 o 68 3.69/3.72 c 2.71659 13.6289 1117 49077 3.69/3.72 o 62 3.99/4.06 c 2.98255 13.6289 1521 53742 3.99/4.06 o 48 4.89/4.96 c 3.75043 13.8789 1076 67902 4.89/4.96 o 46 5.89/5.95 c 4.5963 13.8789 1736 84026 5.89/5.95 o 39 6.09/6.18 c 4.80627 13.8789 1543 87806 6.09/6.18 o 32 8.59/8.62 c 6.95394 13.8789 1623 125784 8.59/8.62 o 29 8.99/9.00 c 7.2679 13.8789 1455 131585 8.99/9.00 o 9 10.39/10.46 c 8.58669 14.2578 1161 153045 10.39/10.46 o 4 12.39/12.49 c 10.4094 14.2578 2099 184041 12.39/12.49 o 2 17.99/18.09 c 15.4017 14.2578 1568 278143 17.99/18.09 o 1 958.52/958.57 c 813.881 15.8516 2320 15545911 958.52/958.57 s OPTIMUM FOUND 958.52/958.57 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 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694987-1277912533/watcher-2694987-1277912533 -o /tmp/evaluation-result-2694987-1277912533/solver-2694987-1277912533 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694987-1277912533.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 4/182 14469 /proc/meminfo: memFree=31437752/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=2136 CPUtime=0 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 251 0 0 0 0 0 0 0 25 0 1 0 132549450 2187264 171 4089446400 134512640 136421960 4288643200 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14469/statm: 534 171 144 467 0 65 0 [startup+0.0631601 s] /proc/loadavg: 2.00 2.01 2.00 4/182 14469 /proc/meminfo: memFree=31437752/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=13700 CPUtime=0.05 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3075 0 0 0 5 0 0 0 25 0 1 0 132549450 14028800 2994 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3425 2994 236 467 0 2956 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13700 [startup+0.101154 s] /proc/loadavg: 2.00 2.01 2.00 4/182 14469 /proc/meminfo: memFree=31437752/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=13700 CPUtime=0.09 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3089 0 0 0 8 1 0 0 25 0 1 0 132549450 14028800 3001 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3425 3001 236 467 0 2956 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13700 [startup+0.301117 s] /proc/loadavg: 2.00 2.01 2.00 4/182 14469 /proc/meminfo: memFree=31437752/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=13828 CPUtime=0.29 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3151 0 0 0 22 7 0 0 25 0 1 0 132549450 14159872 3059 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3457 3059 236 467 0 2988 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13828 [startup+0.701043 s] /proc/loadavg: 2.00 2.01 2.00 4/182 14469 /proc/meminfo: memFree=31437752/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=13952 CPUtime=0.69 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3162 0 0 0 51 18 0 0 25 0 1 0 132549450 14286848 3069 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3488 3069 236 467 0 3019 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13952 [startup+1.5009 s] /proc/loadavg: 2.00 2.01 2.00 3/183 14470 /proc/meminfo: memFree=31426212/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=13952 CPUtime=1.49 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3165 0 0 0 110 39 0 0 25 0 1 0 132549450 14286848 3069 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3488 3069 236 467 0 3019 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13952 [startup+3.10061 s] /proc/loadavg: 2.00 2.01 2.00 3/183 14470 /proc/meminfo: memFree=31426212/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=13952 CPUtime=3.09 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3181 0 0 0 226 83 0 0 25 0 1 0 132549450 14286848 3082 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3488 3082 236 467 0 3019 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13952 [startup+6.30102 s] /proc/loadavg: 2.00 2.01 2.00 3/183 14470 /proc/meminfo: memFree=31425692/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=14208 CPUtime=6.29 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3245 0 0 0 491 138 0 0 25 0 1 0 132549450 14548992 3140 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3552 3140 236 467 0 3083 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14208 [startup+12.7009 s] /proc/loadavg: 2.00 2.01 2.00 3/183 14470 /proc/meminfo: memFree=31425260/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=14596 CPUtime=12.69 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3347 0 0 0 1059 210 0 0 25 0 1 0 132549450 14946304 3238 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3649 3238 236 467 0 3180 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14596 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/183 14471 /proc/meminfo: memFree=31425484/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=14596 CPUtime=25.49 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3348 0 0 0 2211 338 0 0 25 0 1 0 132549450 14946304 3238 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3649 3238 236 467 0 3180 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14596 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/183 14471 /proc/meminfo: memFree=31425424/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=14724 CPUtime=51.09 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3375 0 0 0 4509 600 0 0 25 0 1 0 132549450 15077376 3265 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3681 3265 236 467 0 3212 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 14724 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/183 14473 /proc/meminfo: memFree=31424904/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=14944 CPUtime=102.3 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3438 0 0 0 9110 1120 0 0 25 0 1 0 132549450 15302656 3328 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3736 3328 236 467 0 3267 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 14944 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 14474 /proc/meminfo: memFree=31424752/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=15200 CPUtime=162.29 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3489 0 0 0 14505 1724 0 0 25 0 1 0 132549450 15564800 3379 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3800 3379 236 467 0 3331 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 15200 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 14476 /proc/meminfo: memFree=31424232/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=15448 CPUtime=222.3 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3549 0 0 0 19909 2321 0 0 25 0 1 0 132549450 15818752 3439 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3862 3439 236 467 0 3393 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 15448 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 14477 /proc/meminfo: memFree=31423944/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=15440 CPUtime=282.3 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3564 0 0 0 25320 2910 0 0 25 0 1 0 132549450 15810560 3454 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3860 3454 236 467 0 3391 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 15440 [startup+342.301 s] /proc/loadavg: 2.07 2.02 2.00 3/183 14479 /proc/meminfo: memFree=31423912/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=15568 CPUtime=342.31 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3586 0 0 0 30723 3508 0 0 25 0 1 0 132549450 15941632 3476 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3892 3476 236 467 0 3423 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 15568 [startup+402.301 s] /proc/loadavg: 2.02 2.01 2.00 3/183 14481 /proc/meminfo: memFree=31423760/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=15568 CPUtime=402.31 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3611 0 0 0 36111 4120 0 0 25 0 1 0 132549450 15941632 3501 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3892 3501 236 467 0 3423 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 15568 [startup+462.301 s] /proc/loadavg: 2.04 2.02 2.00 3/183 14482 /proc/meminfo: memFree=31423480/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=15848 CPUtime=462.3 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3641 0 0 0 41513 4717 0 0 25 0 1 0 132549450 16228352 3531 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3962 3531 236 467 0 3493 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 15848 [startup+522.301 s] /proc/loadavg: 2.01 2.01 2.00 3/183 14484 /proc/meminfo: memFree=31423212/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=15976 CPUtime=522.31 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3683 0 0 0 46919 5312 0 0 25 0 1 0 132549450 16359424 3573 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3994 3573 236 467 0 3525 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 15976 [startup+582.301 s] /proc/loadavg: 2.06 2.03 2.00 3/183 14485 /proc/meminfo: memFree=31423188/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=15976 CPUtime=582.3 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3702 0 0 0 52336 5894 0 0 25 0 1 0 132549450 16359424 3592 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 3994 3592 236 467 0 3525 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 15976 [startup+642.3 s] /proc/loadavg: 2.09 2.04 2.00 3/183 14487 /proc/meminfo: memFree=31423284/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16092 CPUtime=642.31 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3723 0 0 0 57775 6456 0 0 25 0 1 0 132549450 16478208 3613 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14469/statm: 4023 3613 236 467 0 3554 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 16092 [startup+702.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 14543 /proc/meminfo: memFree=31325884/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16092 CPUtime=702.31 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3737 0 0 0 62725 7506 0 0 25 0 1 0 132549450 16478208 3627 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14469/statm: 4023 3627 236 467 0 3554 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 16092 [startup+762.306 s] /proc/loadavg: 2.01 2.02 2.00 3/183 14544 /proc/meminfo: memFree=31306408/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16228 CPUtime=762.31 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3751 0 0 0 67238 8993 0 0 25 0 1 0 132549450 16617472 3641 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14469/statm: 4057 3641 236 467 0 3588 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 16228 [startup+822.3 s] /proc/loadavg: 2.10 2.04 2.01 3/183 14573 /proc/meminfo: memFree=31214728/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16228 CPUtime=822.31 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3771 0 0 0 71683 10548 0 0 25 0 1 0 132549450 16617472 3661 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14469/statm: 4057 3661 236 467 0 3588 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 16228 [startup+882.3 s] /proc/loadavg: 2.04 2.03 2.00 3/183 14574 /proc/meminfo: memFree=31208008/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16228 CPUtime=882.32 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3771 0 0 0 75999 12233 0 0 25 0 1 0 132549450 16617472 3661 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14469/statm: 4057 3661 236 467 0 3588 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 16228 [startup+942.301 s] /proc/loadavg: 2.05 2.04 2.00 3/183 14576 /proc/meminfo: memFree=31191620/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16228 CPUtime=942.32 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3772 0 0 0 80239 13993 0 0 25 0 1 0 132549450 16617472 3662 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14469/statm: 4057 3662 236 467 0 3588 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 16228 Solver just ended. Dumping a history of the last processes samples [startup+947.107 s] /proc/loadavg: 2.05 2.04 2.00 3/183 14576 /proc/meminfo: memFree=31191372/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16228 CPUtime=947.12 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3772 0 0 0 80575 14137 0 0 25 0 1 0 132549450 16617472 3662 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14469/statm: 4057 3662 236 467 0 3588 0 Current children cumulated CPU time (s) 947.12 Current children cumulated vsize (KiB) 16228 [startup+953.501 s] /proc/loadavg: 2.04 2.04 2.00 3/183 14576 /proc/meminfo: memFree=31187520/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16228 CPUtime=953.52 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3772 0 0 0 81030 14322 0 0 25 0 1 0 132549450 16617472 3662 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14469/statm: 4057 3662 236 467 0 3588 0 Current children cumulated CPU time (s) 953.52 Current children cumulated vsize (KiB) 16228 [startup+956.701 s] /proc/loadavg: 2.04 2.03 2.00 3/183 14576 /proc/meminfo: memFree=31187520/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16228 CPUtime=956.72 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3772 0 0 0 81252 14420 0 0 25 0 1 0 132549450 16617472 3662 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14469/statm: 4057 3662 236 467 0 3588 0 Current children cumulated CPU time (s) 956.72 Current children cumulated vsize (KiB) 16228 [startup+957.501 s] /proc/loadavg: 2.04 2.03 2.00 3/183 14576 /proc/meminfo: memFree=31187892/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16228 CPUtime=957.52 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3772 0 0 0 81310 14442 0 0 25 0 1 0 132549450 16617472 3662 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14469/statm: 4057 3662 236 467 0 3588 0 Current children cumulated CPU time (s) 957.52 Current children cumulated vsize (KiB) 16228 [startup+958.301 s] /proc/loadavg: 2.04 2.03 2.00 3/183 14576 /proc/meminfo: memFree=31186652/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16228 CPUtime=958.32 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3772 0 0 0 81370 14462 0 0 25 0 1 0 132549450 16617472 3662 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14469/statm: 4057 3662 236 467 0 3588 0 Current children cumulated CPU time (s) 958.32 Current children cumulated vsize (KiB) 16228 [startup+958.501 s] /proc/loadavg: 2.04 2.03 2.00 3/183 14576 /proc/meminfo: memFree=31186652/32951124 swapFree=67111528/67111528 [pid=14469] ppid=14467 vsize=16228 CPUtime=958.52 /proc/14469/stat : 14469 (pbct) R 14467 14469 14355 0 -1 4202496 3772 0 0 0 81383 14469 0 0 25 0 1 0 132549450 16617472 3662 4089446400 134512640 136421960 4288643200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14469/statm: 4057 3662 236 467 0 3588 0 Current children cumulated CPU time (s) 958.52 Current children cumulated vsize (KiB) 16228 Child status: 0 Real time (s): 958.585 CPU time (s): 958.613 CPU user time (s): 813.894 CPU system time (s): 144.719 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 16228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 813.894 system time used= 144.719 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3777 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= 4338 runsolver used 1.42378 second user time and 3.11553 second system time The end
Begin job on node134 at 2010-06-30 17:42:13 IDJOB=2694987 IDBENCH=78997 IDSOLVER=1208 FILE ID=node134/2694987-1277912533 PBS_JOBID= 11197284 Free space on /tmp= 74208 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694987-1277912533/watcher-2694987-1277912533 -o /tmp/evaluation-result-2694987-1277912533/solver-2694987-1277912533 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694987-1277912533.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f1c7b8b76066043f2c00dac441c2cac6 RANDOM SEED=601339702 node134.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.818 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.63 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.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 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.818 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 : 7397.66 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.818 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.67 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.818 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.84 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.818 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.818 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: 32951124 kB MemFree: 31438272 kB Buffers: 198748 kB Cached: 1091420 kB SwapCached: 0 kB Active: 675748 kB Inactive: 696076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31438272 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2016 kB Writeback: 0 kB AnonPages: 82116 kB Mapped: 15816 kB Slab: 79356 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 228092 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node134 at 2010-06-30 17:58:11