Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 136.044 | 136.041 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-33-100-0.wbo |
MD5SUM | 207bc6a3a4e34084510bb36853631f6d |
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 | 136.044 |
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 | 1830 |
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 | 92327 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 92326 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 715 |
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-2690031-1277903842.wbo. 0.00/0.00 c Instance file HOME/instance-2690031-1277903842.wbo 0.00/0.00 c File size is 92440 bytes. 0.00/0.00 c Highest Coefficient sum: 715 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 20 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 23 | 0.002 % | 0.00/0.02 c | 477 | 231 2707 8338 | 6655 477 28 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 28 | 0.002 % | 0.03/0.04 c | 1322 | 231 2707 8338 | 8052 1322 29 | 0.002 % | 0.03/0.06 c | 2083 | 231 2707 8338 | 8857 2083 31 | 0.002 % | 0.09/0.10 c | 3223 | 231 2707 8338 | 9743 3223 33 | 0.002 % | 0.09/0.17 c | 4932 | 231 2707 8338 | 10717 4932 33 | 0.002 % | 0.19/0.29 c | 7494 | 231 2707 8338 | 11789 7494 34 | 0.002 % | 0.49/0.50 c | 11339 | 231 2707 8338 | 12968 11339 34 | 0.002 % | 0.79/0.85 c | 17105 | 231 2707 8338 | 14265 10565 34 | 0.002 % | 1.29/1.37 c | 25755 | 231 2707 8338 | 15692 12044 36 | 0.002 % | 2.29/2.39 c | 38729 | 231 2707 8338 | 17261 9212 36 | 0.002 % | 3.89/3.92 c | 58190 | 231 2707 8338 | 18987 11316 39 | 0.002 % | 6.39/6.44 c | 87383 | 231 2707 8338 | 20886 11872 38 | 0.002 % | 10.39/10.45 c | 131173 | 231 2707 8338 | 22974 13686 38 | 0.002 % | 16.99/17.02 c | 196857 | 231 2707 8338 | 25272 21705 38 | 0.002 % | 27.39/27.47 c | 295385 | 231 2707 8338 | 27799 16192 37 | 0.002 % | 43.59/43.68 c | 443175 | 231 2707 8338 | 30579 22905 38 | 0.002 % | 67.29/67.35 c | 664859 | 231 2707 8338 | 33637 24211 40 | 0.004 % | 105.60/105.64 c =============================================================================== 111.90/111.95 c core #1 111.90/111.95 c ============================[ Search Statistics ]============================== 111.90/111.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 111.90/111.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 111.90/111.95 c =============================================================================== 111.90/111.95 c | 0 | 1156 4436 16475 | 5000 0 nan | 0.000 % | 112.10/112.16 c | 100 | 1156 4436 16475 | 5500 100 24 | 0.000 % | 112.10/112.17 c | 250 | 1156 4436 16475 | 6050 250 29 | 0.000 % | 112.10/112.18 c | 476 | 1156 4436 16475 | 6655 476 30 | 0.000 % | 112.10/112.19 c | 813 | 1156 4436 16475 | 7320 813 30 | 0.000 % | 112.20/112.21 c | 1319 | 1156 4436 16475 | 8052 1319 31 | 0.000 % | 112.20/112.26 c | 2080 | 1156 4436 16475 | 8857 2080 31 | 0.000 % | 112.29/112.31 c | 3219 | 1156 4436 16475 | 9743 3219 31 | 0.000 % | 112.29/112.39 c | 4927 | 1156 4436 16475 | 10717 4927 31 | 0.000 % | 112.49/112.54 c | 7489 | 1156 4436 16475 | 11789 7489 32 | 0.000 % | 112.69/112.79 c | 11334 | 1156 4436 16475 | 12968 11334 33 | 0.000 % | 113.19/113.22 c | 17104 | 1156 4436 16475 | 14265 10575 35 | 0.000 % | 113.79/113.90 c | 25753 | 1156 4436 16475 | 15692 12035 40 | 0.000 % | 115.09/115.12 c | 38727 | 1156 4436 16475 | 17261 9202 36 | 0.000 % | 116.90/116.90 c | 58188 | 1156 4436 16475 | 18987 11302 39 | 0.000 % | 119.90/119.92 c | 87380 | 1156 4436 16475 | 20886 11866 41 | 0.000 % | 124.80/124.88 c | 131169 | 1156 4436 16475 | 22974 13677 41 | 0.000 % | 132.19/132.29 c | 196853 | 1156 4436 16475 | 25272 21623 37 | 0.000 % | 135.99/136.02 c =============================================================================== 135.99/136.02 c #cores: 1 135.99/136.02 c Final Weight: 1 135.99/136.02 o 1 135.99/136.02 s OPTIMUM FOUND 135.99/136.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 135.99/136.02 c Total CPU time: 133.465 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-2690031-1277903842/watcher-2690031-1277903842 -o /tmp/evaluation-result-2690031-1277903842/solver-2690031-1277903842 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690031-1277903842.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.00 2.00 2.00 3/178 14551 /proc/meminfo: memFree=31372764/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=2668 CPUtime=0 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 305 0 0 0 0 0 0 0 21 0 1 0 131678865 2732032 223 4089446400 134512640 135751879 4288592880 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 667 224 146 303 0 339 0 [startup+0.0389791 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14551 /proc/meminfo: memFree=31372764/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=2984 CPUtime=0.03 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 428 0 0 0 3 0 0 0 21 0 1 0 131678865 3055616 323 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 746 323 143 303 0 441 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2984 [startup+0.100959 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14551 /proc/meminfo: memFree=31372764/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=3644 CPUtime=0.09 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 570 0 0 0 9 0 0 0 21 0 1 0 131678865 3731456 465 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 911 465 143 303 0 606 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3644 [startup+0.300921 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14551 /proc/meminfo: memFree=31372764/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=4964 CPUtime=0.29 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 922 0 0 0 28 1 0 0 21 0 1 0 131678865 5083136 817 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 1241 817 143 303 0 936 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4964 [startup+0.700858 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14551 /proc/meminfo: memFree=31372764/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=7088 CPUtime=0.69 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 1437 0 0 0 66 3 0 0 22 0 1 0 131678865 7258112 1332 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 1772 1332 143 303 0 1467 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7088 [startup+1.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14552 /proc/meminfo: memFree=31366308/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=10916 CPUtime=1.49 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 2392 0 0 0 142 7 0 0 25 0 1 0 131678865 11177984 2287 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 2729 2287 143 303 0 2424 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10916 [startup+3.10042 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14552 /proc/meminfo: memFree=31361892/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=17384 CPUtime=3.09 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 4005 0 0 0 299 10 0 0 25 0 1 0 131678865 17801216 3900 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 4346 3900 143 303 0 4041 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17384 [startup+6.30082 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14552 /proc/meminfo: memFree=31348872/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=29144 CPUtime=6.29 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 6957 0 0 0 613 16 0 0 25 0 1 0 131678865 29843456 6852 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 7286 6852 143 303 0 6981 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29144 [startup+12.7007 s] /proc/loadavg: 2.07 2.02 2.00 3/179 14552 /proc/meminfo: memFree=31326976/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=50416 CPUtime=12.69 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 12254 0 0 0 1238 31 0 0 25 0 1 0 131678865 51625984 12149 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 12604 12149 143 303 0 12299 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50416 [startup+25.5003 s] /proc/loadavg: 2.06 2.02 2.00 3/179 14552 /proc/meminfo: memFree=31287984/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=88376 CPUtime=25.49 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 21748 0 0 0 2491 58 0 0 25 0 1 0 131678865 90497024 21643 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 22094 21643 143 303 0 21789 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 88376 [startup+51.1006 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14553 /proc/meminfo: memFree=31212364/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=163532 CPUtime=51.09 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 40528 0 0 0 4998 111 0 0 25 0 1 0 131678865 167456768 40423 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 40883 40423 143 303 0 40578 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 163532 [startup+102.306 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14554 /proc/meminfo: memFree=31068988/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=300908 CPUtime=102.3 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 74869 0 0 0 10030 200 0 0 25 0 1 0 131678865 308129792 74764 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 75227 74764 143 303 0 74922 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 300908 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14555 /proc/meminfo: memFree=31028560/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=339572 CPUtime=115.09 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 84573 0 0 0 11291 218 0 0 19 0 1 0 131678865 347721728 84435 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 84893 84435 146 303 0 84588 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 339572 [startup+127.901 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14555 /proc/meminfo: memFree=31028056/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=339572 CPUtime=127.89 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 84573 0 0 0 12548 241 0 0 25 0 1 0 131678865 347721728 84435 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 84893 84435 146 303 0 84588 0 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (KiB) 339572 [startup+131.101 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14555 /proc/meminfo: memFree=31027684/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=339572 CPUtime=131.1 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 84573 0 0 0 12864 246 0 0 25 0 1 0 131678865 347721728 84435 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 84893 84435 146 303 0 84588 0 Current children cumulated CPU time (s) 131.1 Current children cumulated vsize (KiB) 339572 [startup+134.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14555 /proc/meminfo: memFree=31027800/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=339572 CPUtime=134.29 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 84573 0 0 0 13177 252 0 0 25 0 1 0 131678865 347721728 84435 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 84893 84435 146 303 0 84588 0 Current children cumulated CPU time (s) 134.29 Current children cumulated vsize (KiB) 339572 [startup+135.1 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14555 /proc/meminfo: memFree=31027800/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=339572 CPUtime=135.09 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 84576 0 0 0 13255 254 0 0 25 0 1 0 131678865 347721728 84438 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 84893 84438 146 303 0 84588 0 Current children cumulated CPU time (s) 135.09 Current children cumulated vsize (KiB) 339572 [startup+135.5 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14555 /proc/meminfo: memFree=31027428/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=339572 CPUtime=135.49 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 84580 0 0 0 13294 255 0 0 25 0 1 0 131678865 347721728 84442 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 84893 84442 146 303 0 84588 0 Current children cumulated CPU time (s) 135.49 Current children cumulated vsize (KiB) 339572 [startup+135.9 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14555 /proc/meminfo: memFree=31027428/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=339572 CPUtime=135.89 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 84581 0 0 0 13333 256 0 0 25 0 1 0 131678865 347721728 84443 4089446400 134512640 135751879 4288592880 18446744073709551615 134602700 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 84893 84443 146 303 0 84588 0 Current children cumulated CPU time (s) 135.89 Current children cumulated vsize (KiB) 339572 [startup+136.001 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14555 /proc/meminfo: memFree=31027428/32951124 swapFree=67111528/67111528 [pid=14551] ppid=14549 vsize=339572 CPUtime=135.99 /proc/14551/stat : 14551 (wbo1.4a) R 14549 14551 13704 0 -1 4202496 84581 0 0 0 13343 256 0 0 25 0 1 0 131678865 347721728 84443 4089446400 134512640 135751879 4288592880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14551/statm: 84893 84443 146 303 0 84588 0 Current children cumulated CPU time (s) 135.99 Current children cumulated vsize (KiB) 339572 Child status: 0 Real time (s): 136.041 CPU time (s): 136.044 CPU user time (s): 133.465 CPU system time (s): 2.57961 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 339736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 133.465 system time used= 2.57961 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84581 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= 1461 runsolver used 0.203968 second user time and 0.418936 second system time The end
Begin job on node142 at 2010-06-30 15:17:22 IDJOB=2690031 IDBENCH=78915 IDSOLVER=1200 FILE ID=node142/2690031-1277903842 PBS_JOBID= 11197194 Free space on /tmp= 74172 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553647--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-2690031-1277903842/watcher-2690031-1277903842 -o /tmp/evaluation-result-2690031-1277903842/solver-2690031-1277903842 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690031-1277903842.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 207bc6a3a4e34084510bb36853631f6d RANDOM SEED=1563788617 node142.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.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.16 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.827 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.827 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.827 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.82 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.827 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.827 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.827 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: 31373540 kB Buffers: 185500 kB Cached: 1074904 kB SwapCached: 0 kB Active: 602056 kB Inactive: 832000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31373540 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 174364 kB Mapped: 17468 kB Slab: 79316 kB PageTables: 5436 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 322884 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= 74168 MiB End job on node142 at 2010-06-30 15:19:38