Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 965.335 | 965.303 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo |
MD5SUM | e5d1aa875e736e237b742aec181b44f0 |
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 | 21.8457 |
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 | 937 |
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 | 46894 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46893 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 667 |
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 14/9 clauses 1756/928 units 0 0.00/0.01 c vars 231 0.00/0.06 c 0.05999 13.3906 36 3932 0.00/0.06 o 738 0.00/0.06 c 0.06099 13.5273 43 4339 0.00/0.06 o 702 0.00/0.06 c 0.06299 13.5273 51 5349 0.00/0.06 o 409 0.00/0.07 c 0.067989 13.5273 74 5443 0.00/0.07 o 408 0.00/0.07 c 0.068989 13.5273 86 6022 0.00/0.07 o 357 0.00/0.08 c 0.075988 13.5273 148 6580 0.00/0.08 o 311 0.00/0.09 c 0.079987 13.5273 189 7243 0.00/0.09 o 251 0.00/0.09 c 0.082987 13.5273 238 7366 0.00/0.09 o 250 0.09/0.10 c 0.085986 13.5273 243 7603 0.09/0.10 o 234 0.09/0.11 c 0.093985 13.5273 322 7838 0.09/0.11 o 226 0.09/0.16 c 0.12998 13.5273 729 8892 0.09/0.16 o 214 0.09/0.18 c 0.147977 13.5273 881 9337 0.09/0.18 o 206 0.09/0.18 c 0.150977 13.6484 892 9619 0.09/0.18 o 183 0.29/0.33 c 0.250961 13.6484 1250 11352 0.29/0.33 o 169 0.49/0.54 c 0.409937 13.6484 710 13990 0.49/0.54 o 141 0.49/0.59 c 0.448931 13.6484 1022 14795 0.49/0.59 o 134 0.59/0.64 c 0.477927 13.6484 637 15598 0.59/0.64 o 99 0.69/0.70 c 0.512922 13.6484 876 16121 0.69/0.70 o 93 0.69/0.71 c 0.52292 13.6484 903 16386 0.69/0.71 o 78 0.69/0.77 c 0.570913 13.6484 669 17193 0.69/0.77 o 72 0.69/0.78 c 0.575912 13.6484 723 17484 0.69/0.78 o 53 0.79/0.82 c 0.612906 13.6484 1017 18074 0.79/0.82 o 50 0.79/0.83 c 0.620905 13.6484 1080 18237 0.79/0.83 o 45 0.79/0.87 c 0.6519 13.7734 1331 18658 0.79/0.87 o 39 0.89/0.91 c 0.687895 13.7734 1669 19358 0.89/0.91 o 27 0.99/1.01 c 0.774882 13.7734 1830 21052 0.99/1.01 o 24 0.99/1.09 c 0.846871 13.7734 1724 22412 0.99/1.09 o 21 1.20/1.25 c 0.992849 13.7734 1405 25162 1.20/1.25 o 17 2.99/3.08 c 2.6046 14.1484 2395 54406 2.99/3.08 o 16 4.19/4.23 c 3.60145 14.1484 1562 72165 4.19/4.23 o 15 12.99/13.05 c 11.3553 14.1484 2024 199221 12.99/13.05 o 12 13.59/13.68 c 11.8992 14.1484 1572 210066 13.59/13.68 o 10 19.99/20.07 c 17.6093 14.3984 2161 314168 19.99/20.07 o 8 25.40/25.41 c 22.3816 14.3984 1161 402910 25.40/25.41 o 4 26.99/27.00 c 23.7764 14.5234 1166 429536 26.99/27.00 o 1 965.22/965.29 c 874.62 16.3008 2754 15228014 965.22/965.29 s OPTIMUM FOUND 965.22/965.29 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-2699447-1278461058/watcher-2699447-1278461058 -o /tmp/evaluation-result-2699447-1278461058/solver-2699447-1278461058 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699447-1278461058.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.85 1.98 1.93 4/182 13968 /proc/meminfo: memFree=29460452/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=2136 CPUtime=0 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 14318517 2187264 171 4089446400 134512640 136422188 4289874240 18446744073709551615 135372784 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13968/statm: 534 171 144 467 0 65 0 [startup+0.101449 s] /proc/loadavg: 1.85 1.98 1.93 4/182 13968 /proc/meminfo: memFree=29460452/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=13848 CPUtime=0.09 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3118 0 0 0 8 1 0 0 25 0 1 0 14318517 14180352 3029 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3462 3029 236 467 0 2993 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13848 [startup+0.200415 s] /proc/loadavg: 1.85 1.98 1.93 4/182 13968 /proc/meminfo: memFree=29460452/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=13972 CPUtime=0.19 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3156 0 0 0 15 4 0 0 25 0 1 0 14318517 14307328 3062 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3493 3062 236 467 0 3024 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13972 [startup+0.300398 s] /proc/loadavg: 1.85 1.98 1.93 4/182 13968 /proc/meminfo: memFree=29460452/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=13972 CPUtime=0.29 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3171 0 0 0 22 7 0 0 25 0 1 0 14318517 14307328 3077 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3493 3077 236 467 0 3024 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13972 [startup+0.700325 s] /proc/loadavg: 1.85 1.98 1.93 4/182 13968 /proc/meminfo: memFree=29460452/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=13972 CPUtime=0.69 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3187 0 0 0 51 18 0 0 18 0 1 0 14318517 14307328 3089 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3493 3089 236 467 0 3024 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13972 [startup+1.50017 s] /proc/loadavg: 1.85 1.98 1.93 3/183 13969 /proc/meminfo: memFree=29448672/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=14228 CPUtime=1.49 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3247 0 0 0 119 30 0 0 18 0 1 0 14318517 14569472 3138 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3557 3138 236 467 0 3088 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14228 [startup+3.10088 s] /proc/loadavg: 1.85 1.98 1.93 3/183 13969 /proc/meminfo: memFree=29448424/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=14484 CPUtime=3.09 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3300 0 0 0 262 47 0 0 21 0 1 0 14318517 14831616 3190 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3621 3190 236 467 0 3152 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14484 [startup+6.30029 s] /proc/loadavg: 1.86 1.98 1.93 3/183 13969 /proc/meminfo: memFree=29448548/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=14484 CPUtime=6.29 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3301 0 0 0 542 87 0 0 25 0 1 0 14318517 14831616 3190 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3621 3190 236 467 0 3152 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14484 [startup+12.7011 s] /proc/loadavg: 1.87 1.98 1.93 3/183 13969 /proc/meminfo: memFree=29448808/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=14484 CPUtime=12.69 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3321 0 0 0 1105 164 0 0 25 0 1 0 14318517 14831616 3210 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3621 3210 236 467 0 3152 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14484 [startup+25.5007 s] /proc/loadavg: 1.90 1.98 1.93 3/183 13970 /proc/meminfo: memFree=29448312/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=14740 CPUtime=25.49 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3380 0 0 0 2245 304 0 0 25 0 1 0 14318517 15093760 3265 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3685 3265 236 467 0 3216 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14740 [startup+51.101 s] /proc/loadavg: 1.93 1.98 1.93 3/183 13970 /proc/meminfo: memFree=29448016/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=14996 CPUtime=51.1 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3461 0 0 0 4554 556 0 0 25 0 1 0 14318517 15355904 3345 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3749 3345 236 467 0 3280 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 14996 [startup+102.301 s] /proc/loadavg: 1.97 1.98 1.93 3/183 13972 /proc/meminfo: memFree=29446492/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=15384 CPUtime=102.3 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3539 0 0 0 9184 1046 0 0 25 0 1 0 14318517 15753216 3423 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3846 3423 236 467 0 3377 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 15384 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.93 3/183 13973 /proc/meminfo: memFree=29446092/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=15516 CPUtime=162.29 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3578 0 0 0 14599 1630 0 0 25 0 1 0 14318517 15888384 3462 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3879 3462 236 467 0 3410 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 15516 [startup+222.305 s] /proc/loadavg: 1.99 1.98 1.93 3/183 13975 /proc/meminfo: memFree=29445940/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=15608 CPUtime=222.3 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3616 0 0 0 20024 2206 0 0 25 0 1 0 14318517 15982592 3500 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3902 3500 236 467 0 3433 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 15608 [startup+282.3 s] /proc/loadavg: 1.99 1.98 1.93 3/183 13977 /proc/meminfo: memFree=29445428/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=15864 CPUtime=282.3 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3667 0 0 0 25463 2767 0 0 25 0 1 0 14318517 16244736 3551 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3966 3551 236 467 0 3497 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 15864 [startup+342.3 s] /proc/loadavg: 2.06 2.00 1.94 3/183 13978 /proc/meminfo: memFree=29445392/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=15996 CPUtime=342.3 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3707 0 0 0 30904 3326 0 0 25 0 1 0 14318517 16379904 3591 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3999 3591 236 467 0 3530 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 15996 [startup+402.3 s] /proc/loadavg: 2.02 2.00 1.94 3/183 13980 /proc/meminfo: memFree=29445108/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16128 CPUtime=402.3 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3731 0 0 0 36339 3891 0 0 25 0 1 0 14318517 16515072 3615 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4032 3615 236 467 0 3563 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 16128 [startup+462.301 s] /proc/loadavg: 2.01 2.00 1.94 3/183 13981 /proc/meminfo: memFree=29444828/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16264 CPUtime=462.31 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3771 0 0 0 41765 4466 0 0 25 0 1 0 14318517 16654336 3655 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4066 3655 236 467 0 3597 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 16264 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.94 3/183 13983 /proc/meminfo: memFree=29444912/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16364 CPUtime=522.3 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3781 0 0 0 47226 5004 0 0 25 0 1 0 14318517 16756736 3665 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4091 3665 236 467 0 3622 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 16364 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.94 3/183 13985 /proc/meminfo: memFree=29444628/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16464 CPUtime=582.31 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3801 0 0 0 52673 5558 0 0 25 0 1 0 14318517 16859136 3685 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4116 3685 236 467 0 3647 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 16464 [startup+642.301 s] /proc/loadavg: 2.06 2.01 1.94 3/183 13986 /proc/meminfo: memFree=29444096/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16464 CPUtime=642.31 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3826 0 0 0 58132 6099 0 0 25 0 1 0 14318517 16859136 3710 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4116 3710 236 467 0 3647 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 16464 [startup+702.301 s] /proc/loadavg: 2.02 2.01 1.94 3/183 13988 /proc/meminfo: memFree=29444308/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16464 CPUtime=702.32 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3826 0 0 0 63576 6656 0 0 25 0 1 0 14318517 16859136 3710 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4116 3710 236 467 0 3647 0 Current children cumulated CPU time (s) 702.32 Current children cumulated vsize (KiB) 16464 [startup+762.301 s] /proc/loadavg: 2.04 2.02 1.95 3/183 13989 /proc/meminfo: memFree=29443532/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16592 CPUtime=762.32 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3838 0 0 0 69040 7192 0 0 25 0 1 0 14318517 16990208 3722 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4148 3722 236 467 0 3679 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 16592 [startup+822.3 s] /proc/loadavg: 2.10 2.04 1.96 3/183 13991 /proc/meminfo: memFree=29443360/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16720 CPUtime=822.32 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3865 0 0 0 74499 7733 0 0 25 0 1 0 14318517 17121280 3749 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4180 3749 236 467 0 3711 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 16720 [startup+882.306 s] /proc/loadavg: 2.17 2.06 1.97 3/183 13996 /proc/meminfo: memFree=29442068/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16688 CPUtime=882.33 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3874 0 0 0 79950 8283 0 0 25 0 1 0 14318517 17088512 3758 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4172 3758 236 467 0 3703 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 16688 [startup+942.3 s] /proc/loadavg: 2.13 2.07 1.97 3/183 13997 /proc/meminfo: memFree=29442692/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16688 CPUtime=942.32 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3874 0 0 0 85379 8853 0 0 25 0 1 0 14318517 17088512 3758 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4172 3758 236 467 0 3703 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 16688 Solver just ended. Dumping a history of the last processes samples [startup+947.206 s] /proc/loadavg: 2.12 2.07 1.97 3/183 13997 /proc/meminfo: memFree=29442688/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16688 CPUtime=947.23 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3874 0 0 0 85823 8900 0 0 25 0 1 0 14318517 17088512 3758 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4172 3758 236 467 0 3703 0 Current children cumulated CPU time (s) 947.23 Current children cumulated vsize (KiB) 16688 [startup+953.6 s] /proc/loadavg: 2.11 2.06 1.97 3/183 13997 /proc/meminfo: memFree=29442676/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16688 CPUtime=953.62 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3874 0 0 0 86405 8957 0 0 25 0 1 0 14318517 17088512 3758 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4172 3758 236 467 0 3703 0 Current children cumulated CPU time (s) 953.62 Current children cumulated vsize (KiB) 16688 [startup+960.001 s] /proc/loadavg: 2.10 2.06 1.97 3/183 13998 /proc/meminfo: memFree=29442800/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16688 CPUtime=960.02 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3874 0 0 0 86982 9020 0 0 25 0 1 0 14318517 17088512 3758 4089446400 134512640 136422188 4289874240 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4172 3758 236 467 0 3703 0 Current children cumulated CPU time (s) 960.02 Current children cumulated vsize (KiB) 16688 [startup+963.2 s] /proc/loadavg: 2.10 2.06 1.97 3/183 13998 /proc/meminfo: memFree=29442800/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16688 CPUtime=963.22 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3874 0 0 0 87272 9050 0 0 25 0 1 0 14318517 17088512 3758 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4172 3758 236 467 0 3703 0 Current children cumulated CPU time (s) 963.22 Current children cumulated vsize (KiB) 16688 [startup+964 s] /proc/loadavg: 2.09 2.06 1.97 3/183 13998 /proc/meminfo: memFree=29442800/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16688 CPUtime=964.02 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3874 0 0 0 87345 9057 0 0 25 0 1 0 14318517 17088512 3758 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4172 3758 236 467 0 3703 0 Current children cumulated CPU time (s) 964.02 Current children cumulated vsize (KiB) 16688 [startup+964.806 s] /proc/loadavg: 2.09 2.06 1.97 3/183 13998 /proc/meminfo: memFree=29442800/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16688 CPUtime=964.83 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3874 0 0 0 87417 9066 0 0 25 0 1 0 14318517 17088512 3758 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4172 3758 236 467 0 3703 0 Current children cumulated CPU time (s) 964.83 Current children cumulated vsize (KiB) 16688 [startup+965.201 s] /proc/loadavg: 2.09 2.06 1.97 3/183 13998 /proc/meminfo: memFree=29442800/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=16688 CPUtime=965.22 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3874 0 0 0 87453 9069 0 0 25 0 1 0 14318517 17088512 3758 4089446400 134512640 136422188 4289874240 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 4172 3758 236 467 0 3703 0 Current children cumulated CPU time (s) 965.22 Current children cumulated vsize (KiB) 16688 [startup+965.301 s] /proc/loadavg: 2.09 2.06 1.97 3/183 13998 /proc/meminfo: memFree=29442800/32951124 swapFree=67111528/67111528 [pid=13968] ppid=13966 vsize=13588 CPUtime=965.33 /proc/13968/stat : 13968 (pbct) R 13966 13968 13630 0 -1 4202496 3878 0 0 0 87463 9070 0 0 25 0 1 0 14318517 13914112 3068 4089446400 134512640 136422188 4289874240 18446744073709551615 135818357 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13968/statm: 3397 3068 239 467 0 2928 0 Current children cumulated CPU time (s) 965.33 Current children cumulated vsize (KiB) 13588 Child status: 0 Real time (s): 965.303 CPU time (s): 965.335 CPU user time (s): 874.631 CPU system time (s): 90.7042 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 16720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 874.631 system time used= 90.7042 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3879 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= 5 involuntary context switches= 1433 runsolver used 1.40479 second user time and 2.98955 second system time The end
Begin job on node135 at 2010-07-07 02:04:18 IDJOB=2699447 IDBENCH=78970 IDSOLVER=1212 FILE ID=node135/2699447-1278461058 PBS_JOBID= 11233723 Free space on /tmp= 73856 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699447-1278461058/watcher-2699447-1278461058 -o /tmp/evaluation-result-2699447-1278461058/solver-2699447-1278461058 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699447-1278461058.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e5d1aa875e736e237b742aec181b44f0 RANDOM SEED=497687041 node135.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 : 5332.76 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 : 7358.10 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.80 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.83 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.73 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: 29460980 kB Buffers: 99752 kB Cached: 3173288 kB SwapCached: 0 kB Active: 744816 kB Inactive: 2607860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29460980 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4124 kB Writeback: 0 kB AnonPages: 79968 kB Mapped: 15456 kB Slab: 74460 kB PageTables: 4544 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 222196 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= 73852 MiB End job on node135 at 2010-07-07 02:20:23