Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 355.567 | 355.556 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-66-100-0.wbo |
MD5SUM | c3c12ca4f6a34dfd4eee1807e0cef251 |
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 | 355.567 |
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 | 911 |
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 | 46278 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46277 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 655 |
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-2689530-1277911154.wbo. 0.00/0.00 c Instance file HOME/instance-2689530-1277911154.wbo 0.00/0.00 c File size is 87915 bytes. 0.00/0.00 c Highest Coefficient sum: 655 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 21 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 28 | 0.002 % | 0.00/0.01 c | 478 | 231 2707 8338 | 6655 478 31 | 0.002 % | 0.00/0.02 c | 816 | 231 2707 8338 | 7320 816 32 | 0.002 % | 0.00/0.04 c | 1323 | 231 2707 8338 | 8052 1323 31 | 0.002 % | 0.00/0.06 c | 2082 | 231 2707 8338 | 8857 2082 31 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 33 | 0.002 % | 0.09/0.16 c | 4929 | 231 2707 8338 | 10717 4929 34 | 0.002 % | 0.19/0.27 c | 7493 | 231 2707 8338 | 11789 7493 34 | 0.002 % | 0.39/0.46 c | 11337 | 231 2707 8338 | 12968 11337 34 | 0.002 % | 0.79/0.81 c | 17104 | 231 2707 8338 | 14265 10547 37 | 0.002 % | 1.29/1.32 c | 25757 | 231 2707 8338 | 15692 12022 37 | 0.002 % | 2.09/2.19 c | 38732 | 231 2707 8338 | 17261 9154 37 | 0.002 % | 3.49/3.57 c | 58195 | 231 2707 8338 | 18987 11269 43 | 0.002 % | 5.80/5.87 c | 87391 | 231 2707 8338 | 20886 11789 42 | 0.002 % | 9.79/9.85 c | 131180 | 231 2707 8338 | 22974 13570 42 | 0.002 % | 15.79/15.83 c | 196864 | 231 2707 8338 | 25272 21495 42 | 0.002 % | 27.00/27.06 c | 295390 | 231 2707 8338 | 27799 15209 41 | 0.002 % | 41.89/41.96 c | 443179 | 231 2707 8338 | 30579 23213 41 | 0.002 % | 66.59/66.60 c | 664863 | 231 2707 8338 | 33637 29629 40 | 0.002 % | 100.80/100.84 c | 997389 | 231 2707 8338 | 37001 22395 42 | 0.002 % | 158.50/158.55 c | 1496180 | 231 2707 8338 | 40701 33765 43 | 0.002 % | 247.99/248.03 c | 2244362 | 231 2707 8338 | 44771 36107 43 | 0.002 % | 332.70/332.78 c =============================================================================== 353.21/353.24 c core #1 353.21/353.24 c ============================[ Search Statistics ]============================== 353.21/353.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 353.21/353.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 353.21/353.24 c =============================================================================== 353.21/353.24 c | 0 | 706 3560 12455 | 5000 0 nan | 0.000 % | 353.70/353.79 c | 101 | 706 3560 12455 | 5500 101 32 | 0.000 % | 353.80/353.83 c | 252 | 706 3560 12455 | 6050 252 35 | 0.000 % | 353.90/353.90 c | 478 | 706 3560 12455 | 6655 478 35 | 0.000 % | 353.90/353.93 c | 818 | 706 3560 12455 | 7320 818 33 | 0.000 % | 353.90/353.96 c | 1326 | 706 3560 12455 | 8052 1326 32 | 0.000 % | 353.90/353.99 c | 2085 | 706 3560 12455 | 8857 2085 33 | 0.000 % | 354.10/354.13 c | 3227 | 706 3560 12455 | 9743 3227 33 | 0.000 % | 354.21/354.21 c | 4936 | 706 3560 12455 | 10717 4936 34 | 0.000 % | 354.31/354.35 c | 7499 | 706 3560 12455 | 11789 7499 34 | 0.000 % | 354.50/354.58 c | 11344 | 706 3560 12455 | 12968 11344 34 | 0.000 % | 354.90/354.92 c | 17110 | 706 3560 12455 | 14265 10564 35 | 0.000 % | 355.50/355.52 c =============================================================================== 355.50/355.52 c #cores: 1 355.50/355.52 c Final Weight: 1 355.50/355.52 o 1 355.50/355.52 s OPTIMUM FOUND 355.50/355.52 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 355.50/355.52 c Total CPU time: 349.111 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-2689530-1277911154/watcher-2689530-1277911154 -o /tmp/evaluation-result-2689530-1277911154/solver-2689530-1277911154 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689530-1277911154.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.25 2.20 2.26 3/196 25398 /proc/meminfo: memFree=31125856/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=2664 CPUtime=0 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 305 0 0 0 0 0 0 0 24 0 1 0 166719106 2727936 224 4089446400 134512640 135751879 4291821504 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 666 224 145 303 0 339 0 [startup+0.100598 s] /proc/loadavg: 2.25 2.20 2.26 3/196 25398 /proc/meminfo: memFree=31125856/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=3512 CPUtime=0.09 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 560 0 0 0 9 0 0 0 24 0 1 0 166719106 3596288 457 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 878 457 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.20058 s] /proc/loadavg: 2.25 2.20 2.26 3/196 25398 /proc/meminfo: memFree=31125856/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=4324 CPUtime=0.19 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 748 0 0 0 18 1 0 0 24 0 1 0 166719106 4427776 645 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 1081 645 143 303 0 776 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4324 [startup+0.300563 s] /proc/loadavg: 2.25 2.20 2.26 3/196 25398 /proc/meminfo: memFree=31125856/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=4984 CPUtime=0.29 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 909 0 0 0 28 1 0 0 18 0 1 0 166719106 5103616 806 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 1246 806 143 303 0 941 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4984 [startup+0.700491 s] /proc/loadavg: 2.25 2.20 2.26 3/196 25398 /proc/meminfo: memFree=31125856/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=7108 CPUtime=0.69 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 1448 0 0 0 67 2 0 0 18 0 1 0 166719106 7278592 1345 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 1777 1345 143 303 0 1472 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7108 [startup+1.50034 s] /proc/loadavg: 2.25 2.20 2.26 3/197 25399 /proc/meminfo: memFree=31118656/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=11068 CPUtime=1.49 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 2426 0 0 0 143 6 0 0 19 0 1 0 166719106 11333632 2323 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 2767 2323 143 303 0 2462 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11068 [startup+3.10106 s] /proc/loadavg: 2.25 2.20 2.26 3/197 25399 /proc/meminfo: memFree=31113324/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=18072 CPUtime=3.09 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 4200 0 0 0 299 10 0 0 19 0 1 0 166719106 18505728 4097 4089446400 134512640 135751879 4291821504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 4518 4097 143 303 0 4213 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18072 [startup+6.30044 s] /proc/loadavg: 2.23 2.20 2.26 3/197 25399 /proc/meminfo: memFree=31099360/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=30932 CPUtime=6.29 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 7380 0 0 0 610 19 0 0 25 0 1 0 166719106 31674368 7277 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 7733 7277 143 303 0 7428 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30932 [startup+12.7003 s] /proc/loadavg: 2.21 2.20 2.25 3/197 25399 /proc/meminfo: memFree=31076864/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=52328 CPUtime=12.69 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 12737 0 0 0 1238 31 0 0 25 0 1 0 166719106 53583872 12634 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 13082 12634 143 303 0 12777 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52328 [startup+25.5009 s] /proc/loadavg: 2.16 2.19 2.25 3/197 25400 /proc/meminfo: memFree=31035596/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=89852 CPUtime=25.49 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 22121 0 0 0 2491 58 0 0 25 0 1 0 166719106 92008448 22018 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 22463 22018 143 303 0 22158 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89852 [startup+51.1003 s] /proc/loadavg: 2.11 2.17 2.24 3/197 25401 /proc/meminfo: memFree=30955768/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=163608 CPUtime=51.09 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 40529 0 0 0 5004 105 0 0 25 0 1 0 166719106 167534592 40426 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 40902 40426 143 303 0 40597 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 163608 [startup+102.301 s] /proc/loadavg: 2.04 2.14 2.23 3/197 25402 /proc/meminfo: memFree=30790940/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=310540 CPUtime=102.3 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 77281 0 0 0 10014 216 0 0 20 0 1 0 166719106 317992960 77178 4089446400 134512640 135751879 4291821504 18446744073709551615 134602998 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 77635 77178 143 303 0 77330 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 310540 [startup+162.302 s] /proc/loadavg: 2.01 2.11 2.21 4/197 25403 /proc/meminfo: memFree=30618232/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=467172 CPUtime=162.3 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 116396 0 0 0 15909 321 0 0 25 0 1 0 166719106 478384128 116293 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 116793 116293 143 303 0 116488 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 467172 [startup+222.306 s] /proc/loadavg: 2.00 2.09 2.19 3/197 25405 /proc/meminfo: memFree=30445224/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=617720 CPUtime=222.3 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 154043 0 0 0 21801 429 0 0 25 0 1 0 166719106 632545280 153940 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 154430 153940 143 303 0 154125 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 617720 [startup+282.301 s] /proc/loadavg: 2.00 2.07 2.18 3/197 25407 /proc/meminfo: memFree=30284080/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=772096 CPUtime=282.3 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 192615 0 0 0 27690 540 0 0 25 0 1 0 166719106 790626304 192512 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 193024 192512 143 303 0 192719 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 772096 [startup+342.301 s] /proc/loadavg: 2.00 2.06 2.17 3/197 25409 /proc/meminfo: memFree=30065304/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=984176 CPUtime=342.31 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 245615 0 0 0 33594 637 0 0 25 0 1 0 166719106 1007796224 245512 4089446400 134512640 135751879 4291821504 18446744073709551615 134516328 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 246044 245512 143 303 0 245739 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 984176 Solver just ended. Dumping a history of the last processes samples [startup+345.6 s] /proc/loadavg: 2.00 2.05 2.16 3/197 25409 /proc/meminfo: memFree=30060588/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=986816 CPUtime=345.6 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 246293 0 0 0 33923 637 0 0 25 0 1 0 166719106 1010499584 246190 4089446400 134512640 135751879 4291821504 18446744073709551615 134618176 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 246704 246190 143 303 0 246399 0 Current children cumulated CPU time (s) 345.6 Current children cumulated vsize (KiB) 986816 [startup+352 s] /proc/loadavg: 2.08 2.07 2.17 3/197 25409 /proc/meminfo: memFree=30059716/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=986816 CPUtime=352.01 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 246293 0 0 0 34564 637 0 0 25 0 1 0 166719106 1010499584 246190 4089446400 134512640 135751879 4291821504 18446744073709551615 134618395 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 246704 246190 143 303 0 246399 0 Current children cumulated CPU time (s) 352.01 Current children cumulated vsize (KiB) 986816 [startup+353.601 s] /proc/loadavg: 2.08 2.07 2.17 3/197 25409 /proc/meminfo: memFree=30059716/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=986572 CPUtime=353.6 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 246297 0 0 0 34723 637 0 0 25 0 1 0 166719106 1010249728 246150 4089446400 134512640 135751879 4291821504 18446744073709551615 135200693 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 246643 246150 146 303 0 246338 0 Current children cumulated CPU time (s) 353.6 Current children cumulated vsize (KiB) 986572 [startup+354.401 s] /proc/loadavg: 2.07 2.07 2.17 3/197 25409 /proc/meminfo: memFree=30059592/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=986572 CPUtime=354.41 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 246298 0 0 0 34802 639 0 0 18 0 1 0 166719106 1010249728 246151 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 246643 246151 146 303 0 246338 0 Current children cumulated CPU time (s) 354.41 Current children cumulated vsize (KiB) 986572 [startup+355.201 s] /proc/loadavg: 2.07 2.07 2.17 3/197 25409 /proc/meminfo: memFree=30059592/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=986572 CPUtime=355.2 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 246300 0 0 0 34879 641 0 0 18 0 1 0 166719106 1010249728 246153 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 246643 246153 146 303 0 246338 0 Current children cumulated CPU time (s) 355.2 Current children cumulated vsize (KiB) 986572 [startup+355.407 s] /proc/loadavg: 2.07 2.07 2.17 3/197 25409 /proc/meminfo: memFree=30059220/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=986572 CPUtime=355.41 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 246300 0 0 0 34899 642 0 0 19 0 1 0 166719106 1010249728 246153 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 246643 246153 146 303 0 246338 0 Current children cumulated CPU time (s) 355.41 Current children cumulated vsize (KiB) 986572 [startup+355.501 s] /proc/loadavg: 2.07 2.07 2.17 3/197 25409 /proc/meminfo: memFree=30059220/32951124 swapFree=67111528/67111528 [pid=25398] ppid=25396 vsize=986572 CPUtime=355.5 /proc/25398/stat : 25398 (wbo1.4a) R 25396 25398 23660 0 -1 4202496 246300 0 0 0 34908 642 0 0 19 0 1 0 166719106 1010249728 246153 4089446400 134512640 135751879 4291821504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25398/statm: 246643 246153 146 303 0 246338 0 Current children cumulated CPU time (s) 355.5 Current children cumulated vsize (KiB) 986572 Child status: 0 Real time (s): 355.556 CPU time (s): 355.567 CPU user time (s): 349.111 CPU system time (s): 6.45602 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 986816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 349.111 system time used= 6.45602 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 246300 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= 6 involuntary context switches= 189 runsolver used 0.506922 second user time and 1.15282 second system time The end
Begin job on node110 at 2010-06-30 17:19:14 IDJOB=2689530 IDBENCH=78985 IDSOLVER=1200 FILE ID=node110/2689530-1277911154 PBS_JOBID= 11197210 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.1900667195--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-2689530-1277911154/watcher-2689530-1277911154 -o /tmp/evaluation-result-2689530-1277911154/solver-2689530-1277911154 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689530-1277911154.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c3c12ca4f6a34dfd4eee1807e0cef251 RANDOM SEED=253597259 node110.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.849 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.69 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.849 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.82 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.849 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.74 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.849 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.849 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.849 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.849 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.849 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31126632 kB Buffers: 198272 kB Cached: 990324 kB SwapCached: 0 kB Active: 1047532 kB Inactive: 633636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31126632 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2776 kB Writeback: 0 kB AnonPages: 492992 kB Mapped: 20464 kB Slab: 78532 kB PageTables: 5712 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655748 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 node110 at 2010-06-30 17:25:09