Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 373.059 | 373.052 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo |
MD5SUM | 088560862f81f380de0695aae8f2f503 |
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 | 373.059 |
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 | 899 |
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 | 46330 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46329 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 677 |
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-2690019-1277903252.wbo. 0.00/0.00 c Instance file HOME/instance-2690019-1277903252.wbo 0.00/0.00 c File size is 87870 bytes. 0.00/0.00 c Highest Coefficient sum: 677 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 22 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 26 | 0.002 % | 0.00/0.01 c | 476 | 231 2707 8338 | 6655 476 26 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 31 | 0.002 % | 0.00/0.04 c | 1320 | 231 2707 8338 | 8052 1320 32 | 0.002 % | 0.00/0.06 c | 2082 | 231 2707 8338 | 8857 2082 31 | 0.002 % | 0.09/0.10 c | 3223 | 231 2707 8338 | 9743 3223 32 | 0.002 % | 0.09/0.16 c | 4931 | 231 2707 8338 | 10717 4931 31 | 0.002 % | 0.19/0.27 c | 7494 | 231 2707 8338 | 11789 7494 32 | 0.002 % | 0.39/0.48 c | 11340 | 231 2707 8338 | 12968 11340 33 | 0.002 % | 0.69/0.79 c | 17106 | 231 2707 8338 | 14265 10564 35 | 0.002 % | 1.19/1.28 c | 25756 | 231 2707 8338 | 15692 12030 36 | 0.002 % | 2.09/2.19 c | 38730 | 231 2707 8338 | 17261 9219 37 | 0.002 % | 3.49/3.55 c | 58192 | 231 2707 8338 | 18987 11299 36 | 0.002 % | 5.89/5.90 c | 87385 | 231 2707 8338 | 20886 11841 41 | 0.002 % | 9.99/10.02 c | 131174 | 231 2707 8338 | 22974 13636 38 | 0.002 % | 16.40/16.42 c | 196858 | 231 2707 8338 | 25272 21352 39 | 0.002 % | 26.49/26.52 c | 295384 | 231 2707 8338 | 27799 12062 38 | 0.002 % | 41.89/41.93 c | 443177 | 231 2707 8338 | 30579 17286 39 | 0.002 % | 66.29/66.32 c | 664861 | 231 2707 8338 | 33637 16351 40 | 0.002 % | 105.69/105.70 c | 997387 | 231 2707 8338 | 37001 28625 43 | 0.002 % | 166.59/166.64 c | 1496175 | 231 2707 8338 | 40701 36629 42 | 0.002 % | 264.20/264.24 c | 2244360 | 231 2707 8338 | 44771 26903 42 | 0.002 % | 354.60/354.60 c =============================================================================== 372.90/372.93 c core #1 372.90/372.93 c ============================[ Search Statistics ]============================== 372.90/372.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 372.90/372.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 372.90/372.93 c =============================================================================== 372.90/372.93 c | 0 | 690 3562 12338 | 5000 0 nan | 0.000 % | 372.90/372.97 c | 100 | 690 3562 12338 | 5500 100 24 | 0.000 % | 373.00/373.02 c | 252 | 690 3562 12338 | 6050 252 31 | 0.000 % | 373.00/373.02 c =============================================================================== 373.00/373.02 c #cores: 1 373.00/373.02 c Final Weight: 1 373.00/373.02 o 1 373.00/373.02 s OPTIMUM FOUND 373.00/373.02 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 373.00/373.02 c Total CPU time: 367.724 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-2690019-1277903252/watcher-2690019-1277903252 -o /tmp/evaluation-result-2690019-1277903252/solver-2690019-1277903252 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690019-1277903252.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.02 2.01 2.00 3/176 12441 /proc/meminfo: memFree=31220076/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=2656 CPUtime=0 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 302 0 0 0 0 0 0 0 25 0 1 0 131621808 2719744 220 4089446400 134512640 135751879 4294844848 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12441/statm: 664 221 145 303 0 337 0 [startup+0.0950811 s] /proc/loadavg: 2.02 2.01 2.00 3/176 12441 /proc/meminfo: memFree=31220076/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=3512 CPUtime=0.08 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 531 0 0 0 8 0 0 0 18 0 1 0 131621808 3596288 427 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12441/statm: 878 427 143 303 0 573 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3512 [startup+0.101079 s] /proc/loadavg: 2.02 2.01 2.00 3/176 12441 /proc/meminfo: memFree=31220076/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=3512 CPUtime=0.09 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 542 0 0 0 9 0 0 0 18 0 1 0 131621808 3596288 438 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12441/statm: 878 438 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.30104 s] /proc/loadavg: 2.02 2.01 2.00 3/176 12441 /proc/meminfo: memFree=31220076/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=4700 CPUtime=0.29 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 853 0 0 0 28 1 0 0 18 0 1 0 131621808 4812800 749 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12441/statm: 1175 750 143 303 0 870 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4700 [startup+0.700978 s] /proc/loadavg: 2.02 2.01 2.00 3/176 12441 /proc/meminfo: memFree=31220076/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=6680 CPUtime=0.69 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 1335 0 0 0 67 2 0 0 18 0 1 0 131621808 6840320 1231 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12441/statm: 1670 1231 143 303 0 1365 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6680 [startup+1.50084 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12442 /proc/meminfo: memFree=31214116/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=10244 CPUtime=1.49 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 2225 0 0 0 144 5 0 0 20 0 1 0 131621808 10489856 2121 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12441/statm: 2561 2121 143 303 0 2256 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10244 [startup+3.10051 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12442 /proc/meminfo: memFree=31209800/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=16316 CPUtime=3.09 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 3754 0 0 0 300 9 0 0 25 0 1 0 131621808 16707584 3650 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12441/statm: 4079 3650 143 303 0 3774 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16316 [startup+6.301 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12442 /proc/meminfo: memFree=31197144/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=27680 CPUtime=6.29 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 6581 0 0 0 614 15 0 0 25 0 1 0 131621808 28344320 6477 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12441/statm: 6920 6478 143 303 0 6615 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27680 [startup+12.7009 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12442 /proc/meminfo: memFree=31177808/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=46192 CPUtime=12.69 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 11199 0 0 0 1244 25 0 0 22 0 1 0 131621808 47300608 11095 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12441/statm: 11548 11095 143 303 0 11243 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46192 [startup+25.5007 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12442 /proc/meminfo: memFree=31140548/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=82196 CPUtime=25.49 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 20218 0 0 0 2502 47 0 0 25 0 1 0 131621808 84168704 20114 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12441/statm: 20549 20114 143 303 0 20244 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82196 [startup+51.1012 s] /proc/loadavg: 2.01 2.01 2.00 3/177 12443 /proc/meminfo: memFree=31073380/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=149912 CPUtime=51.09 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 37114 0 0 0 5019 90 0 0 25 0 1 0 131621808 153509888 37010 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12441/statm: 37478 37010 143 303 0 37173 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 149912 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12444 /proc/meminfo: memFree=30946248/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=274408 CPUtime=102.3 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 68218 0 0 0 10059 171 0 0 25 0 1 0 131621808 280993792 68114 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 68602 68114 143 303 0 68297 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 274408 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12446 /proc/meminfo: memFree=30804496/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=416328 CPUtime=162.29 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 103686 0 0 0 15969 260 0 0 25 0 1 0 131621808 426319872 103582 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 104082 103582 143 303 0 103777 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 416328 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12448 /proc/meminfo: memFree=30670040/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=546972 CPUtime=222.3 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 136346 0 0 0 21885 345 0 0 25 0 1 0 131621808 560099328 136242 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 136743 136242 143 303 0 136438 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 546972 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12450 /proc/meminfo: memFree=30545776/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=672208 CPUtime=282.3 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 167599 0 0 0 27801 429 0 0 25 0 1 0 131621808 688340992 167495 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 168052 167495 143 303 0 167747 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 672208 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12450 /proc/meminfo: memFree=30418772/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=797128 CPUtime=342.3 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 198832 0 0 0 33719 511 0 0 25 0 1 0 131621808 816259072 198728 4089446400 134512640 135751879 4294844848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 199282 198728 143 303 0 198977 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 797128 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12452 /proc/meminfo: memFree=30359984/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=862908 CPUtime=358.29 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 215286 0 0 0 35301 528 0 0 25 0 1 0 131621808 883617792 215182 4089446400 134512640 135751879 4294844848 18446744073709551615 134516328 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 215727 215182 143 303 0 215422 0 Current children cumulated CPU time (s) 358.29 Current children cumulated vsize (KiB) 862908 [startup+364.701 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12452 /proc/meminfo: memFree=30306412/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=908448 CPUtime=364.7 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 226670 0 0 0 35940 530 0 0 25 0 1 0 131621808 930250752 226566 4089446400 134512640 135751879 4294844848 18446744073709551615 134618761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 227112 226566 143 303 0 226807 0 Current children cumulated CPU time (s) 364.7 Current children cumulated vsize (KiB) 908448 [startup+367.901 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12452 /proc/meminfo: memFree=30305916/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=908976 CPUtime=367.9 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 226781 0 0 0 36260 530 0 0 25 0 1 0 131621808 930791424 226677 4089446400 134512640 135751879 4294844848 18446744073709551615 134521534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 227244 226677 143 303 0 226939 0 Current children cumulated CPU time (s) 367.9 Current children cumulated vsize (KiB) 908976 [startup+371.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12452 /proc/meminfo: memFree=30305792/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=908976 CPUtime=371.1 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 226781 0 0 0 36580 530 0 0 25 0 1 0 131621808 930791424 226677 4089446400 134512640 135751879 4294844848 18446744073709551615 134618395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 227244 226677 143 303 0 226939 0 Current children cumulated CPU time (s) 371.1 Current children cumulated vsize (KiB) 908976 [startup+371.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12452 /proc/meminfo: memFree=30305668/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=908976 CPUtime=371.9 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 226784 0 0 0 36660 530 0 0 25 0 1 0 131621808 930791424 226680 4089446400 134512640 135751879 4294844848 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 227244 226680 145 303 0 226939 0 Current children cumulated CPU time (s) 371.9 Current children cumulated vsize (KiB) 908976 [startup+372.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12452 /proc/meminfo: memFree=30305668/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=908976 CPUtime=372.7 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 226785 0 0 0 36740 530 0 0 25 0 1 0 131621808 930791424 226681 4089446400 134512640 135751879 4294844848 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 227244 226681 146 303 0 226939 0 Current children cumulated CPU time (s) 372.7 Current children cumulated vsize (KiB) 908976 [startup+372.906 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12452 /proc/meminfo: memFree=30305668/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=908976 CPUtime=372.9 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 226785 0 0 0 36760 530 0 0 25 0 1 0 131621808 930791424 226681 4089446400 134512640 135751879 4294844848 18446744073709551615 135200693 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 227244 226681 146 303 0 226939 0 Current children cumulated CPU time (s) 372.9 Current children cumulated vsize (KiB) 908976 [startup+373.001 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12452 /proc/meminfo: memFree=30305668/32951132 swapFree=67111528/67111528 [pid=12441] ppid=12439 vsize=908080 CPUtime=373 /proc/12441/stat : 12441 (wbo1.4a) R 12439 12441 11779 0 -1 4202496 226785 0 0 0 36770 530 0 0 25 0 1 0 131621808 929873920 226506 4089446400 134512640 135751879 4294844848 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12441/statm: 227020 226506 146 303 0 226715 0 Current children cumulated CPU time (s) 373 Current children cumulated vsize (KiB) 908080 Child status: 0 Real time (s): 373.052 CPU time (s): 373.059 CPU user time (s): 367.724 CPU system time (s): 5.33519 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 908976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 367.724 system time used= 5.33519 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 226785 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= 4 involuntary context switches= 443 runsolver used 0.594909 second user time and 1.11883 second system time The end
Begin job on node131 at 2010-06-30 15:07:32 IDJOB=2690019 IDBENCH=78909 IDSOLVER=1200 FILE ID=node131/2690019-1277903252 PBS_JOBID= 11197184 Free space on /tmp= 74136 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690019-1277903252/watcher-2690019-1277903252 -o /tmp/evaluation-result-2690019-1277903252/solver-2690019-1277903252 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690019-1277903252.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 088560862f81f380de0695aae8f2f503 RANDOM SEED=1347500585 node131.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.836 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.836 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.836 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.82 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.836 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.82 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.836 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.76 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.836 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.836 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.836 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31220480 kB Buffers: 189220 kB Cached: 1137840 kB SwapCached: 0 kB Active: 787224 kB Inactive: 801496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31220480 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 261316 kB Mapped: 17152 kB Slab: 79728 kB PageTables: 5188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 412388 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node131 at 2010-06-30 15:13:45