Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 169.551 | 169.547 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo |
MD5SUM | ebc456211cf99aa767d1987ef9daf648 |
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 | 91.6031 |
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 | 1777 |
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 | 90281 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90280 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690135-1277909321.wbo. 0.00/0.00 c Instance file HOME/instance-2690135-1277909321.wbo 0.00/0.00 c File size is 92201 bytes. 0.00/0.00 c Highest Coefficient sum: 695 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 231 2707 8338 | 5500 101 17 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 29 | 0.002 % | 0.00/0.01 c | 476 | 231 2707 8338 | 6655 476 33 | 0.002 % | 0.00/0.02 c | 813 | 231 2707 8338 | 7320 813 32 | 0.002 % | 0.00/0.04 c | 1320 | 231 2707 8338 | 8052 1320 32 | 0.002 % | 0.00/0.06 c | 2080 | 231 2707 8338 | 8857 2080 31 | 0.002 % | 0.10/0.10 c | 3220 | 231 2707 8338 | 9743 3220 32 | 0.002 % | 0.10/0.16 c | 4928 | 231 2707 8338 | 10717 4928 32 | 0.002 % | 0.19/0.28 c | 7493 | 231 2707 8338 | 11789 7493 32 | 0.002 % | 0.39/0.49 c | 11339 | 231 2707 8338 | 12968 11339 33 | 0.002 % | 0.69/0.79 c | 17105 | 231 2707 8338 | 14265 10563 34 | 0.002 % | 1.29/1.34 c | 25754 | 231 2707 8338 | 15692 12028 37 | 0.002 % | 2.20/2.21 c | 38728 | 231 2707 8338 | 17261 9204 36 | 0.002 % | 3.59/3.64 c | 58190 | 231 2707 8338 | 18987 11306 36 | 0.002 % | 5.89/5.90 c | 87383 | 231 2707 8338 | 20886 11862 37 | 0.002 % | 10.09/10.10 c | 131174 | 231 2707 8338 | 22974 13720 43 | 0.002 % | 15.89/15.93 c | 196858 | 231 2707 8338 | 25272 21708 38 | 0.002 % | 25.59/25.61 c | 295385 | 231 2707 8338 | 27799 13330 41 | 0.002 % | 40.59/40.66 c | 443176 | 231 2707 8338 | 30579 22225 36 | 0.002 % | 62.99/63.00 c | 664860 | 231 2707 8338 | 33637 22713 39 | 0.002 % | 100.59/100.65 c | 997385 | 231 2707 8338 | 37001 21438 37 | 0.002 % | 135.30/135.37 c =============================================================================== 143.59/143.63 c core #1 143.59/143.63 c ============================[ Search Statistics ]============================== 143.59/143.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 143.59/143.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 143.59/143.63 c =============================================================================== 143.59/143.63 c | 0 | 1134 4379 16184 | 5000 0 nan | 0.000 % | 143.89/143.92 c | 101 | 1134 4379 16184 | 5500 101 31 | 0.000 % | 143.89/143.92 c | 251 | 1134 4379 16184 | 6050 251 31 | 0.000 % | 143.89/143.93 c | 476 | 1134 4379 16184 | 6655 476 30 | 0.000 % | 143.89/143.95 c | 818 | 1134 4379 16184 | 7320 818 30 | 0.000 % | 143.89/143.97 c | 1327 | 1134 4379 16184 | 8052 1327 29 | 0.000 % | 144.00/144.03 c | 2088 | 1134 4379 16184 | 8857 2088 29 | 0.000 % | 144.00/144.08 c | 3228 | 1134 4379 16184 | 9743 3228 32 | 0.000 % | 144.10/144.16 c | 4936 | 1134 4379 16184 | 10717 4936 30 | 0.000 % | 144.29/144.30 c | 7501 | 1134 4379 16184 | 11789 7501 31 | 0.000 % | 144.49/144.53 c | 11347 | 1134 4379 16184 | 12968 11347 30 | 0.000 % | 144.89/144.92 c | 17114 | 1134 4379 16184 | 14265 10569 32 | 0.000 % | 145.49/145.53 c | 25768 | 1134 4379 16184 | 15692 12033 34 | 0.000 % | 146.49/146.56 c | 38742 | 1134 4379 16184 | 17261 9201 36 | 0.000 % | 148.29/148.35 c | 58205 | 1134 4379 16184 | 18987 11286 37 | 0.000 % | 150.99/151.08 c | 87397 | 1134 4379 16184 | 20886 11840 35 | 0.000 % | 155.40/155.48 c | 131187 | 1134 4379 16184 | 22974 13605 37 | 0.000 % | 162.69/162.78 c | 196872 | 1134 4379 16184 | 25272 21391 36 | 0.000 % | 169.50/169.53 c =============================================================================== 169.50/169.53 c #cores: 1 169.50/169.53 c Final Weight: 1 169.50/169.53 o 1 169.50/169.53 s OPTIMUM FOUND 169.50/169.53 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 169.50/169.53 c Total CPU time: 167.725 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690135-1277909321/watcher-2690135-1277909321 -o /tmp/evaluation-result-2690135-1277909321/solver-2690135-1277909321 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690135-1277909321.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.47 2.12 2.08 4/196 13119 /proc/meminfo: memFree=31365248/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=2660 CPUtime=0 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 132230022 2723840 224 4089446400 134512640 135751879 4290786208 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13119/statm: 665 224 146 303 0 337 0 [startup+0.105246 s] /proc/loadavg: 2.47 2.12 2.08 4/196 13119 /proc/meminfo: memFree=31365248/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=3636 CPUtime=0.1 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 576 0 0 0 10 0 0 0 25 0 1 0 132230022 3723264 471 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13119/statm: 909 471 143 303 0 604 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3636 [startup+0.201285 s] /proc/loadavg: 2.47 2.12 2.08 4/196 13119 /proc/meminfo: memFree=31365248/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=4428 CPUtime=0.19 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 760 0 0 0 19 0 0 0 25 0 1 0 132230022 4534272 655 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 1107 655 143 303 0 802 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4428 [startup+0.301207 s] /proc/loadavg: 2.47 2.12 2.08 4/196 13119 /proc/meminfo: memFree=31365248/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=4956 CPUtime=0.29 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 920 0 0 0 29 0 0 0 25 0 1 0 132230022 5074944 815 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 1239 815 143 303 0 934 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4956 [startup+0.701152 s] /proc/loadavg: 2.47 2.12 2.08 4/196 13119 /proc/meminfo: memFree=31365248/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=7228 CPUtime=0.69 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 1461 0 0 0 68 1 0 0 25 0 1 0 132230022 7401472 1356 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 1807 1356 143 303 0 1502 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7228 [startup+1.50101 s] /proc/loadavg: 2.43 2.12 2.08 3/197 13120 /proc/meminfo: memFree=31358360/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=11188 CPUtime=1.49 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 2448 0 0 0 146 3 0 0 25 0 1 0 132230022 11456512 2343 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 2797 2343 143 303 0 2492 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11188 [startup+3.1007 s] /proc/loadavg: 2.43 2.12 2.08 3/197 13120 /proc/meminfo: memFree=31352780/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=18056 CPUtime=3.09 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 4192 0 0 0 304 5 0 0 25 0 1 0 132230022 18489344 4087 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 4514 4087 143 303 0 4209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18056 [startup+6.30115 s] /proc/loadavg: 2.43 2.12 2.08 3/197 13120 /proc/meminfo: memFree=31339580/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=30652 CPUtime=6.29 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 7335 0 0 0 619 10 0 0 25 0 1 0 132230022 31387648 7230 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 7663 7230 143 303 0 7358 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30652 [startup+12.701 s] /proc/loadavg: 2.37 2.12 2.08 3/197 13120 /proc/meminfo: memFree=31317508/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=52060 CPUtime=12.7 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 12676 0 0 0 1253 17 0 0 25 0 1 0 132230022 53309440 12571 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 13015 12571 143 303 0 12710 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 52060 [startup+25.5007 s] /proc/loadavg: 2.31 2.11 2.08 3/197 13121 /proc/meminfo: memFree=31274940/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=93260 CPUtime=25.49 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 22980 0 0 0 2516 33 0 0 25 0 1 0 132230022 95498240 22875 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 23315 22875 143 303 0 23010 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93260 [startup+51.1012 s] /proc/loadavg: 2.20 2.10 2.07 3/197 13121 /proc/meminfo: memFree=31197668/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=171480 CPUtime=51.1 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 42533 0 0 0 5045 65 0 0 25 0 1 0 132230022 175595520 42428 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 42870 42428 143 303 0 42565 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 171480 [startup+102.301 s] /proc/loadavg: 2.08 2.08 2.07 3/197 13123 /proc/meminfo: memFree=31054300/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=312604 CPUtime=102.3 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 77777 0 0 0 10110 120 0 0 25 0 1 0 132230022 320106496 77672 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 78151 77672 143 303 0 77846 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 312604 [startup+162.301 s] /proc/loadavg: 2.03 2.07 2.06 3/197 13124 /proc/meminfo: memFree=30917608/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=434724 CPUtime=162.3 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 108349 0 0 0 16056 174 0 0 25 0 1 0 132230022 445157376 108207 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 108681 108207 146 303 0 108376 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 434724 Solver just ended. Dumping a history of the last processes samples [startup+166.401 s] /proc/loadavg: 2.02 2.06 2.06 3/197 13124 /proc/meminfo: memFree=30916608/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=434724 CPUtime=166.4 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 108349 0 0 0 16463 177 0 0 25 0 1 0 132230022 445157376 108207 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 108681 108207 146 303 0 108376 0 Current children cumulated CPU time (s) 166.4 Current children cumulated vsize (KiB) 434724 [startup+168 s] /proc/loadavg: 2.02 2.06 2.06 3/197 13124 /proc/meminfo: memFree=30916360/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=434724 CPUtime=167.99 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 108349 0 0 0 16620 179 0 0 25 0 1 0 132230022 445157376 108207 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 108681 108207 146 303 0 108376 0 Current children cumulated CPU time (s) 167.99 Current children cumulated vsize (KiB) 434724 [startup+168.8 s] /proc/loadavg: 2.02 2.06 2.06 3/197 13125 /proc/meminfo: memFree=30915860/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=434724 CPUtime=168.8 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 108349 0 0 0 16700 180 0 0 25 0 1 0 132230022 445157376 108207 4089446400 134512640 135751879 4290786208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 108681 108207 146 303 0 108376 0 Current children cumulated CPU time (s) 168.8 Current children cumulated vsize (KiB) 434724 [startup+169.2 s] /proc/loadavg: 2.02 2.06 2.06 3/197 13125 /proc/meminfo: memFree=30915860/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=434724 CPUtime=169.19 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 108353 0 0 0 16739 180 0 0 25 0 1 0 132230022 445157376 108211 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 108681 108211 146 303 0 108376 0 Current children cumulated CPU time (s) 169.19 Current children cumulated vsize (KiB) 434724 [startup+169.401 s] /proc/loadavg: 2.02 2.06 2.06 10/197 13125 /proc/meminfo: memFree=30914992/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=434724 CPUtime=169.4 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 108358 0 0 0 16760 180 0 0 25 0 1 0 132230022 445157376 108216 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 108681 108216 146 303 0 108376 0 Current children cumulated CPU time (s) 169.4 Current children cumulated vsize (KiB) 434724 [startup+169.506 s] /proc/loadavg: 2.02 2.06 2.06 10/197 13125 /proc/meminfo: memFree=30914992/32951124 swapFree=67111528/67111528 [pid=13119] ppid=13117 vsize=434724 CPUtime=169.5 /proc/13119/stat : 13119 (wbo1.4a) R 13117 13119 10617 0 -1 4202496 108359 0 0 0 16769 181 0 0 25 0 1 0 132230022 445157376 108217 4089446400 134512640 135751879 4290786208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13119/statm: 108681 108217 146 303 0 108376 0 Current children cumulated CPU time (s) 169.5 Current children cumulated vsize (KiB) 434724 Child status: 0 Real time (s): 169.547 CPU time (s): 169.551 CPU user time (s): 167.725 CPU system time (s): 1.82672 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 434888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 167.725 system time used= 1.82672 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108359 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= 2 involuntary context switches= 145 runsolver used 0.334949 second user time and 0.592909 second system time The end
Begin job on node101 at 2010-06-30 16:48:41 IDJOB=2690135 IDBENCH=78967 IDSOLVER=1200 FILE ID=node101/2690135-1277909321 PBS_JOBID= 11197157 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690135-1277909321/watcher-2690135-1277909321 -o /tmp/evaluation-result-2690135-1277909321/solver-2690135-1277909321 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690135-1277909321.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ebc456211cf99aa767d1987ef9daf648 RANDOM SEED=1755844017 node101.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.837 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.837 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 : 5226.15 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.837 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.837 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.83 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.837 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.837 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.82 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.837 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.75 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.837 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: 31365776 kB Buffers: 196968 kB Cached: 735388 kB SwapCached: 0 kB Active: 918292 kB Inactive: 525152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31365776 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2776 kB Writeback: 0 kB AnonPages: 510860 kB Mapped: 20364 kB Slab: 77892 kB PageTables: 5456 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1660884 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= 74208 MiB End job on node101 at 2010-06-30 16:51:31