Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 935.427 | 935.397 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo |
MD5SUM | aabd2abc5a32dbb90eb5074319abd403 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 387.19 |
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 | 930 |
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 | 46532 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46531 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 727 |
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 1762/922 units 0 0.00/0.01 c vars 231 0.00/0.05 c 0.049992 13.2578 11 2110 0.00/0.05 o 347 0.00/0.06 c 0.051992 13.3945 11 2584 0.00/0.06 o 318 0.00/0.06 c 0.053991 13.3945 16 3028 0.00/0.06 o 296 0.00/0.06 c 0.056991 13.3945 52 3862 0.00/0.06 o 218 0.06/0.07 c 0.06399 13.3945 110 4242 0.06/0.07 o 191 0.06/0.08 c 0.070989 13.3945 208 4494 0.06/0.08 o 188 0.09/0.12 c 0.098984 13.3945 452 5192 0.09/0.12 o 165 0.09/0.18 c 0.140978 13.5234 768 6134 0.09/0.18 o 139 0.29/0.32 c 0.238963 13.5234 977 7576 0.29/0.32 o 117 0.29/0.33 c 0.251961 13.6445 1049 8011 0.29/0.33 o 85 0.69/0.70 c 0.526919 13.6445 774 11895 0.69/0.70 o 81 0.99/1.03 c 0.766883 13.6445 1576 14391 0.99/1.03 o 77 1.49/1.54 c 1.13983 13.6445 908 19208 1.49/1.54 o 74 1.49/1.57 c 1.16582 13.6445 1101 19651 1.49/1.57 o 67 1.89/1.91 c 1.41678 13.6445 1428 24098 1.89/1.91 o 41 1.89/1.94 c 1.44078 13.6445 952 24687 1.89/1.94 o 21 2.49/2.53 c 1.9577 14.1562 1877 33199 2.49/2.53 o 11 3.09/3.15 c 2.51562 14.1562 1591 43031 3.09/3.15 o 10 17.79/17.83 c 15.1187 14.2852 2140 281637 17.79/17.83 o 6 196.40/196.49 c 170.008 15.0469 2313 3008030 196.40/196.49 o 4 211.60/211.60 c 183.305 15.0469 2014 3238440 211.60/211.60 o 3 212.10/212.17 c 183.82 15.0469 1299 3246294 212.10/212.17 o 2 935.32/935.38 c 770.937 15.3438 1341 15056966 935.32/935.38 s OPTIMUM FOUND 935.32/935.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 -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 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695681-1277910567/watcher-2695681-1277910567 -o /tmp/evaluation-result-2695681-1277910567/solver-2695681-1277910567 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695681-1277910567.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.46 2.24 2.42 4/196 12549 /proc/meminfo: memFree=31337392/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=2136 CPUtime=0 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 250 0 0 0 0 0 0 0 25 0 1 0 132202350 2187264 170 4089446400 134512640 136421960 4292561552 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12549/statm: 534 170 144 467 0 65 0 [startup+0.0729209 s] /proc/loadavg: 2.46 2.24 2.42 4/196 12549 /proc/meminfo: memFree=31337392/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=13712 CPUtime=0.06 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3107 0 0 0 6 0 0 0 25 0 1 0 132202350 14041088 3023 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3428 3023 236 467 0 2959 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13712 [startup+0.100915 s] /proc/loadavg: 2.46 2.24 2.42 4/196 12549 /proc/meminfo: memFree=31337392/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=13712 CPUtime=0.09 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3109 0 0 0 8 1 0 0 25 0 1 0 132202350 14041088 3023 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3428 3023 236 467 0 2959 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13712 [startup+0.300877 s] /proc/loadavg: 2.46 2.24 2.42 4/196 12549 /proc/meminfo: memFree=31337392/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=13844 CPUtime=0.29 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3151 0 0 0 22 7 0 0 25 0 1 0 132202350 14176256 3063 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3461 3063 236 467 0 2992 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13844 [startup+0.700862 s] /proc/loadavg: 2.46 2.24 2.42 4/196 12549 /proc/meminfo: memFree=31337392/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=13968 CPUtime=0.69 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3168 0 0 0 51 18 0 0 25 0 1 0 132202350 14303232 3078 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3492 3078 236 467 0 3023 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13968 [startup+1.50065 s] /proc/loadavg: 2.46 2.24 2.42 3/197 12550 /proc/meminfo: memFree=31325728/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=13968 CPUtime=1.49 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3190 0 0 0 111 38 0 0 18 0 1 0 132202350 14303232 3098 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3492 3098 236 467 0 3023 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13968 [startup+3.10034 s] /proc/loadavg: 2.46 2.24 2.42 3/197 12550 /proc/meminfo: memFree=31325664/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=14492 CPUtime=3.09 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3316 0 0 0 246 63 0 0 20 0 1 0 132202350 14839808 3219 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3623 3219 236 467 0 3154 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14492 [startup+6.30073 s] /proc/loadavg: 2.99 2.35 2.46 3/197 12550 /proc/meminfo: memFree=31324796/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=14492 CPUtime=6.29 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3317 0 0 0 508 121 0 0 25 0 1 0 132202350 14839808 3219 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3623 3219 236 467 0 3154 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14492 [startup+12.7005 s] /proc/loadavg: 2.91 2.35 2.45 3/197 12550 /proc/meminfo: memFree=31324404/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=14624 CPUtime=12.69 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3335 0 0 0 1058 211 0 0 25 0 1 0 132202350 14974976 3237 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3656 3237 236 467 0 3187 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14624 [startup+25.5011 s] /proc/loadavg: 2.71 2.33 2.45 3/197 12550 /proc/meminfo: memFree=31323816/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=14752 CPUtime=25.5 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3390 0 0 0 2181 369 0 0 25 0 1 0 132202350 15106048 3291 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3688 3291 236 467 0 3219 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 14752 [startup+51.1002 s] /proc/loadavg: 2.46 2.30 2.43 3/197 12551 /proc/meminfo: memFree=31319448/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15008 CPUtime=51.09 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3444 0 0 0 4386 723 0 0 25 0 1 0 132202350 15368192 3345 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3752 3345 236 467 0 3283 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 15008 [startup+102.306 s] /proc/loadavg: 2.20 2.25 2.41 3/197 12552 /proc/meminfo: memFree=31313196/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15136 CPUtime=102.3 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3480 0 0 0 8812 1418 0 0 25 0 1 0 132202350 15499264 3381 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3784 3381 236 467 0 3315 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 15136 [startup+162.301 s] /proc/loadavg: 2.07 2.20 2.38 3/197 12554 /proc/meminfo: memFree=31306924/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15352 CPUtime=162.3 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3531 0 0 0 14032 2198 0 0 25 0 1 0 132202350 15720448 3432 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3838 3432 236 467 0 3369 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 15352 [startup+222.3 s] /proc/loadavg: 2.02 2.16 2.35 3/197 12556 /proc/meminfo: memFree=31301792/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15404 CPUtime=222.3 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3557 0 0 0 19267 2963 0 0 25 0 1 0 132202350 15773696 3455 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3851 3455 236 467 0 3382 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 15404 [startup+282.301 s] /proc/loadavg: 2.01 2.13 2.33 3/197 12557 /proc/meminfo: memFree=31301136/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15404 CPUtime=282.3 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3557 0 0 0 24504 3726 0 0 25 0 1 0 132202350 15773696 3455 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3851 3455 236 467 0 3382 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 15404 [startup+342.301 s] /proc/loadavg: 2.21 2.19 2.34 3/197 12559 /proc/meminfo: memFree=31301228/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15404 CPUtime=342.3 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3557 0 0 0 29732 4498 0 0 25 0 1 0 132202350 15773696 3455 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3851 3455 236 467 0 3382 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 15404 [startup+402.301 s] /proc/loadavg: 2.08 2.15 2.31 3/197 12560 /proc/meminfo: memFree=31301072/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15404 CPUtime=402.31 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3557 0 0 0 34980 5251 0 0 25 0 1 0 132202350 15773696 3455 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3851 3455 236 467 0 3382 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 15404 [startup+462.301 s] /proc/loadavg: 2.03 2.12 2.29 3/197 12562 /proc/meminfo: memFree=31300920/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15572 CPUtime=462.31 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3563 0 0 0 40222 6009 0 0 25 0 1 0 132202350 15945728 3461 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12549/statm: 3893 3461 236 467 0 3424 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 15572 [startup+522.301 s] /proc/loadavg: 2.01 2.10 2.27 3/179 12594 /proc/meminfo: memFree=31724980/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15572 CPUtime=522.31 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3578 0 0 0 45202 7029 0 0 25 0 1 0 132202350 15945728 3476 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12549/statm: 3893 3476 236 467 0 3424 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 15572 [startup+582.3 s] /proc/loadavg: 2.00 2.08 2.25 3/179 12595 /proc/meminfo: memFree=31567620/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15572 CPUtime=582.31 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3583 0 0 0 49944 8287 0 0 25 0 1 0 132202350 15945728 3481 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12549/statm: 3893 3481 236 467 0 3424 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 15572 [startup+642.301 s] /proc/loadavg: 2.00 2.06 2.23 3/179 12597 /proc/meminfo: memFree=31427596/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15572 CPUtime=642.32 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3594 0 0 0 54712 9520 0 0 25 0 1 0 132202350 15945728 3492 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12549/statm: 3893 3492 236 467 0 3424 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 15572 [startup+702.301 s] /proc/loadavg: 2.00 2.05 2.22 3/179 12598 /proc/meminfo: memFree=31356248/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=702.31 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3602 0 0 0 59439 10792 0 0 25 0 1 0 132202350 16084992 3500 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3500 236 467 0 3458 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 15708 [startup+762.306 s] /proc/loadavg: 2.00 2.04 2.20 3/179 12600 /proc/meminfo: memFree=31356088/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=762.32 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3603 0 0 0 64204 12028 0 0 25 0 1 0 132202350 16084992 3501 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3501 236 467 0 3458 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 15708 [startup+822.301 s] /proc/loadavg: 2.30 2.09 2.20 4/200 12691 /proc/meminfo: memFree=31607496/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=822.32 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3609 0 0 0 68695 13537 0 0 25 0 1 0 132202350 16084992 3507 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3507 236 467 0 3458 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 15708 [startup+882.301 s] /proc/loadavg: 2.74 2.25 2.25 4/200 12692 /proc/meminfo: memFree=31587344/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=882.32 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3611 0 0 0 73161 15071 0 0 25 0 1 0 132202350 16084992 3509 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3509 236 467 0 3458 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 15708 Solver just ended. Dumping a history of the last processes samples [startup+895.901 s] /proc/loadavg: 2.80 2.29 2.26 3/200 12693 /proc/meminfo: memFree=31585452/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=895.93 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3611 0 0 0 74148 15445 0 0 25 0 1 0 132202350 16084992 3509 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3509 236 467 0 3458 0 Current children cumulated CPU time (s) 895.93 Current children cumulated vsize (KiB) 15708 [startup+921.501 s] /proc/loadavg: 2.74 2.31 2.27 4/200 12693 /proc/meminfo: memFree=31580956/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=921.52 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3612 0 0 0 76097 16055 0 0 25 0 1 0 132202350 16084992 3510 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3510 236 467 0 3458 0 Current children cumulated CPU time (s) 921.52 Current children cumulated vsize (KiB) 15708 [startup+927.9 s] /proc/loadavg: 2.76 2.32 2.27 4/200 12693 /proc/meminfo: memFree=31579584/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=927.92 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3612 0 0 0 76550 16242 0 0 25 0 1 0 132202350 16084992 3510 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3510 236 467 0 3458 0 Current children cumulated CPU time (s) 927.92 Current children cumulated vsize (KiB) 15708 [startup+931.101 s] /proc/loadavg: 2.78 2.34 2.28 4/200 12693 /proc/meminfo: memFree=31579700/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=931.13 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3612 0 0 0 76780 16333 0 0 25 0 1 0 132202350 16084992 3510 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3510 236 467 0 3458 0 Current children cumulated CPU time (s) 931.13 Current children cumulated vsize (KiB) 15708 [startup+932.7 s] /proc/loadavg: 2.78 2.34 2.28 3/200 12694 /proc/meminfo: memFree=31579576/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=932.73 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3612 0 0 0 76900 16373 0 0 25 0 1 0 132202350 16084992 3510 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3510 236 467 0 3458 0 Current children cumulated CPU time (s) 932.73 Current children cumulated vsize (KiB) 15708 [startup+934.301 s] /proc/loadavg: 2.79 2.35 2.28 4/200 12694 /proc/meminfo: memFree=31579696/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=934.32 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3612 0 0 0 77012 16420 0 0 25 0 1 0 132202350 16084992 3510 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3510 236 467 0 3458 0 Current children cumulated CPU time (s) 934.32 Current children cumulated vsize (KiB) 15708 [startup+935.101 s] /proc/loadavg: 2.79 2.35 2.28 4/200 12694 /proc/meminfo: memFree=31579572/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=935.12 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3612 0 0 0 77073 16439 0 0 25 0 1 0 132202350 16084992 3510 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3510 236 467 0 3458 0 Current children cumulated CPU time (s) 935.12 Current children cumulated vsize (KiB) 15708 [startup+935.301 s] /proc/loadavg: 2.79 2.35 2.28 4/200 12694 /proc/meminfo: memFree=31579572/32950928 swapFree=67111528/67111528 [pid=12549] ppid=12547 vsize=15708 CPUtime=935.32 /proc/12549/stat : 12549 (pbct) R 12547 12549 10826 0 -1 4202496 3612 0 0 0 77088 16444 0 0 25 0 1 0 132202350 16084992 3510 4089446400 134512640 136421960 4292561552 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12549/statm: 3927 3510 236 467 0 3458 0 Current children cumulated CPU time (s) 935.32 Current children cumulated vsize (KiB) 15708 Child status: 0 Real time (s): 935.397 CPU time (s): 935.427 CPU user time (s): 770.951 CPU system time (s): 164.476 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 15708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 770.951 system time used= 164.476 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3617 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= 3 involuntary context switches= 2063 runsolver used 1.41878 second user time and 2.89956 second system time The end
Begin job on node127 at 2010-06-30 17:09:27 IDJOB=2695681 IDBENCH=78978 IDSOLVER=1208 FILE ID=node127/2695681-1277910567 PBS_JOBID= 11197189 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.1900552288--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695681-1277910567/watcher-2695681-1277910567 -o /tmp/evaluation-result-2695681-1277910567/solver-2695681-1277910567 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695681-1277910567.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aabd2abc5a32dbb90eb5074319abd403 RANDOM SEED=1277297856 node127.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.828 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.65 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.828 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.828 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.828 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.72 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.828 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.74 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.828 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.828 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.828 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31337912 kB Buffers: 197636 kB Cached: 710856 kB SwapCached: 0 kB Active: 975456 kB Inactive: 497312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31337912 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2000 kB Writeback: 0 kB AnonPages: 564204 kB Mapped: 20496 kB Slab: 76940 kB PageTables: 6148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1653992 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= 74204 MiB End job on node127 at 2010-06-30 17:25:02