Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 460.547 | 460.53 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo |
MD5SUM | 8222df718f0c39737e94bfab6b6fa003 |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 29.2616 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 927 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 45360 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45359 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 719 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 15/8 clauses 1765/919 units 0 0.00/0.01 c vars 231 0.02/0.05 c 0.054991 13.2578 9 2039 0.02/0.05 o 374 0.02/0.06 c 0.054991 13.3945 10 2442 0.02/0.06 o 350 0.02/0.06 c 0.056991 13.3945 32 3552 0.02/0.06 o 199 0.02/0.09 c 0.077988 13.3945 210 4043 0.02/0.09 o 188 0.09/0.10 c 0.087986 13.3945 280 4340 0.09/0.10 o 175 0.19/0.24 c 0.186971 13.5195 1278 6099 0.19/0.24 o 169 0.19/0.25 c 0.189971 13.5195 688 6460 0.19/0.25 o 147 0.19/0.26 c 0.202969 13.5195 760 6611 0.19/0.26 o 146 0.79/0.88 c 0.6519 13.6445 924 13346 0.79/0.88 o 138 1.10/1.18 c 0.870867 13.6445 979 17250 1.10/1.18 o 120 1.19/1.27 c 0.932858 13.6445 741 18132 1.19/1.27 o 113 1.29/1.31 c 0.957854 13.6445 985 18631 1.29/1.31 o 109 1.79/1.89 c 1.3318 13.6445 1172 23327 1.79/1.89 o 100 1.99/2.02 c 1.43578 13.6445 1154 24310 1.99/2.02 o 93 2.59/2.64 c 1.88871 13.7695 998 30218 2.59/2.64 o 89 2.59/2.65 c 1.89571 13.7695 1036 30428 2.59/2.65 o 78 6.09/6.14 c 4.49832 13.8945 1716 63817 6.09/6.14 o 63 7.40/7.40 c 5.46117 14.0234 818 77240 7.40/7.40 o 55 13.39/13.42 c 10.1415 14.1523 1210 136120 13.39/13.42 o 53 13.59/13.67 c 10.3414 14.1523 867 139641 13.59/13.67 o 52 13.69/13.76 c 10.4094 14.1523 792 141019 13.69/13.76 o 42 14.30/14.36 c 10.9043 14.1523 1652 149035 14.30/14.36 o 41 14.59/14.61 c 11.1093 14.1523 1190 152576 14.59/14.61 o 17 16.79/16.86 c 13.108 14.9258 1241 185510 16.79/16.86 o 13 20.29/20.36 c 16.2175 14.9258 1385 243819 20.29/20.36 o 10 23.70/23.77 c 19.1901 14.9258 1601 305298 23.70/23.77 o 5 460.51/460.51 c 409.884 15.7383 2682 7550249 460.51/460.51 s OPTIMUM FOUND 460.51/460.51 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 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699468-1278461061/watcher-2699468-1278461061 -o /tmp/evaluation-result-2699468-1278461061/solver-2699468-1278461061 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699468-1278461061.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.92 1.98 1.91 4/177 11061 /proc/meminfo: memFree=30857212/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=2136 CPUtime=0 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 251 0 0 0 0 0 0 0 22 0 1 0 14253310 2187264 171 4089446400 134512640 136422188 4294412352 18446744073709551615 135643005 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/11061/statm: 534 171 144 467 0 65 0 [startup+0.029877 s] /proc/loadavg: 1.92 1.98 1.91 4/177 11061 /proc/meminfo: memFree=30857212/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=6128 CPUtime=0.02 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 1231 0 0 0 2 0 0 0 22 0 1 0 14253310 6275072 1151 4089446400 134512640 136422188 4294412352 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 1532 1157 193 467 0 1063 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6128 [startup+0.100864 s] /proc/loadavg: 1.92 1.98 1.91 4/177 11061 /proc/meminfo: memFree=30857212/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=13712 CPUtime=0.09 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3104 0 0 0 8 1 0 0 18 0 1 0 14253310 14041088 3020 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3428 3020 236 467 0 2959 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13712 [startup+0.30083 s] /proc/loadavg: 1.92 1.98 1.91 4/177 11061 /proc/meminfo: memFree=30857212/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=13840 CPUtime=0.29 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3157 0 0 0 22 7 0 0 18 0 1 0 14253310 14172160 3069 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3460 3069 236 467 0 2991 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13840 [startup+0.700751 s] /proc/loadavg: 1.92 1.98 1.91 4/177 11061 /proc/meminfo: memFree=30857212/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=13968 CPUtime=0.69 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3179 0 0 0 51 18 0 0 18 0 1 0 14253310 14303232 3091 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3492 3091 236 467 0 3023 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13968 [startup+1.5006 s] /proc/loadavg: 1.92 1.98 1.91 3/178 11062 /proc/meminfo: memFree=30845556/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=13968 CPUtime=1.49 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3188 0 0 0 107 42 0 0 18 0 1 0 14253310 14303232 3096 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3492 3096 236 467 0 3023 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13968 [startup+3.10029 s] /proc/loadavg: 1.92 1.98 1.91 3/178 11062 /proc/meminfo: memFree=30845556/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=14096 CPUtime=3.09 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3212 0 0 0 222 87 0 0 20 0 1 0 14253310 14434304 3116 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3524 3116 236 467 0 3055 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14096 [startup+6.30067 s] /proc/loadavg: 1.93 1.98 1.91 3/178 11062 /proc/meminfo: memFree=30845424/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=14224 CPUtime=6.29 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3260 0 0 0 461 168 0 0 25 0 1 0 14253310 14565376 3163 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3556 3163 236 467 0 3087 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14224 [startup+12.7004 s] /proc/loadavg: 1.93 1.98 1.91 3/178 11063 /proc/meminfo: memFree=30845220/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=14488 CPUtime=12.69 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3325 0 0 0 958 311 0 0 25 0 1 0 14253310 14835712 3227 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3622 3227 236 467 0 3153 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14488 [startup+25.501 s] /proc/loadavg: 1.95 1.98 1.91 3/178 11063 /proc/meminfo: memFree=30844452/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=15280 CPUtime=25.49 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3517 0 0 0 2072 477 0 0 25 0 1 0 14253310 15646720 3411 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3820 3411 236 467 0 3351 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15280 [startup+51.1011 s] /proc/loadavg: 1.96 1.98 1.91 3/178 11063 /proc/meminfo: memFree=30844512/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=15280 CPUtime=51.09 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3517 0 0 0 4346 763 0 0 25 0 1 0 14253310 15646720 3411 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3820 3411 236 467 0 3351 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 15280 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.91 3/178 11065 /proc/meminfo: memFree=30843968/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=15412 CPUtime=102.3 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3547 0 0 0 8914 1316 0 0 25 0 1 0 14253310 15781888 3441 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3853 3441 236 467 0 3384 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 15412 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.91 3/178 11067 /proc/meminfo: memFree=30843796/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=15616 CPUtime=162.29 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3617 0 0 0 14274 1955 0 0 25 0 1 0 14253310 15990784 3511 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3904 3511 236 467 0 3435 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 15616 [startup+222.3 s] /proc/loadavg: 2.04 2.00 1.91 3/178 11067 /proc/meminfo: memFree=30843356/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=15868 CPUtime=222.3 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3669 0 0 0 19647 2583 0 0 25 0 1 0 14253310 16248832 3563 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3967 3563 236 467 0 3498 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 15868 [startup+282.301 s] /proc/loadavg: 2.01 2.00 1.91 3/178 11069 /proc/meminfo: memFree=30843316/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=15996 CPUtime=282.3 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3693 0 0 0 25048 3182 0 0 25 0 1 0 14253310 16379904 3587 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3999 3587 236 467 0 3530 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 15996 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 11071 /proc/meminfo: memFree=30843256/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=15996 CPUtime=342.3 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3699 0 0 0 30407 3823 0 0 25 0 1 0 14253310 16379904 3593 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 3999 3593 236 467 0 3530 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 15996 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.91 3/178 11073 /proc/meminfo: memFree=30843096/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=16112 CPUtime=402.31 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 35783 4448 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 134643564 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 4028 3621 236 467 0 3559 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 16112 Solver just ended. Dumping a history of the last processes samples [startup+409.5 s] /proc/loadavg: 2.00 2.00 1.91 3/178 11073 /proc/meminfo: memFree=30843084/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=16112 CPUtime=409.51 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 36426 4525 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 4028 3621 236 467 0 3559 0 Current children cumulated CPU time (s) 409.51 Current children cumulated vsize (KiB) 16112 [startup+435.101 s] /proc/loadavg: 2.00 2.00 1.91 3/178 11073 /proc/meminfo: memFree=30843192/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=16112 CPUtime=435.11 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 38713 4798 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 4028 3621 236 467 0 3559 0 Current children cumulated CPU time (s) 435.11 Current children cumulated vsize (KiB) 16112 [startup+447.901 s] /proc/loadavg: 2.00 2.00 1.91 3/178 11074 /proc/meminfo: memFree=30843192/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=16112 CPUtime=447.91 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 39858 4933 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 4028 3621 236 467 0 3559 0 Current children cumulated CPU time (s) 447.91 Current children cumulated vsize (KiB) 16112 [startup+454.306 s] /proc/loadavg: 2.00 2.00 1.91 3/178 11074 /proc/meminfo: memFree=30843300/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=16112 CPUtime=454.31 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40431 5000 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 4028 3621 236 467 0 3559 0 Current children cumulated CPU time (s) 454.31 Current children cumulated vsize (KiB) 16112 [startup+457.5 s] /proc/loadavg: 2.00 2.00 1.91 3/178 11074 /proc/meminfo: memFree=30843308/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=16112 CPUtime=457.51 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40718 5033 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 4028 3621 236 467 0 3559 0 Current children cumulated CPU time (s) 457.51 Current children cumulated vsize (KiB) 16112 [startup+459.101 s] /proc/loadavg: 2.00 2.00 1.91 3/178 11075 /proc/meminfo: memFree=30843308/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=16112 CPUtime=459.11 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40861 5050 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 4028 3621 236 467 0 3559 0 Current children cumulated CPU time (s) 459.11 Current children cumulated vsize (KiB) 16112 [startup+459.901 s] /proc/loadavg: 2.00 2.00 1.91 3/178 11075 /proc/meminfo: memFree=30843308/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=16112 CPUtime=459.91 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40932 5059 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 4028 3621 236 467 0 3559 0 Current children cumulated CPU time (s) 459.91 Current children cumulated vsize (KiB) 16112 [startup+460.301 s] /proc/loadavg: 2.00 2.00 1.91 3/178 11075 /proc/meminfo: memFree=30843308/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=16112 CPUtime=460.31 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40969 5062 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 4028 3621 236 467 0 3559 0 Current children cumulated CPU time (s) 460.31 Current children cumulated vsize (KiB) 16112 [startup+460.501 s] /proc/loadavg: 2.00 2.00 1.91 3/178 11075 /proc/meminfo: memFree=30843308/32950928 swapFree=67111528/67111528 [pid=11061] ppid=11059 vsize=16112 CPUtime=460.51 /proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40987 5064 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/11061/statm: 4028 3621 236 467 0 3559 0 Current children cumulated CPU time (s) 460.51 Current children cumulated vsize (KiB) 16112 Child status: 0 Real time (s): 460.53 CPU time (s): 460.547 CPU user time (s): 409.896 CPU system time (s): 50.6513 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 16124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 409.896 system time used= 50.6513 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3732 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= 1193 runsolver used 0.639902 second user time and 1.45778 second system time The end
Begin job on node115 at 2010-07-07 02:04:21 IDJOB=2699468 IDBENCH=78981 IDSOLVER=1212 FILE ID=node115/2699468-1278461061 PBS_JOBID= 11233763 Free space on /tmp= 73752 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699468-1278461061/watcher-2699468-1278461061 -o /tmp/evaluation-result-2699468-1278461061/solver-2699468-1278461061 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699468-1278461061.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8222df718f0c39737e94bfab6b6fa003 RANDOM SEED=2013395320 node115.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.812 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.62 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.812 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.812 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.812 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.75 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.812 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.812 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.812 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.812 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: 32950928 kB MemFree: 30857864 kB Buffers: 97232 kB Cached: 1781880 kB SwapCached: 0 kB Active: 666620 kB Inactive: 1292824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30857864 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1992 kB Writeback: 0 kB AnonPages: 80412 kB Mapped: 15444 kB Slab: 71280 kB PageTables: 4736 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 223352 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= 73752 MiB End job on node115 at 2010-07-07 02:12:02