Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 208.79 | 208.902 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900563250--soft-0-100-0.wbo |
MD5SUM | cf1e130a7c7d84197ef06427870fc4d7 |
Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 208.79 |
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 | 2707 |
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 | 135280 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 135279 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 665 |
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-2689591-1277927600.wbo. 0.00/0.00 c Instance file HOME/instance-2689591-1277927600.wbo 0.00/0.00 c File size is 96761 bytes. 0.00/0.00 c Highest Coefficient sum: 665 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 | 100 | 231 2707 8338 | 5500 100 25 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 30 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 29 | 0.002 % | 0.00/0.02 c | 816 | 231 2707 8338 | 7320 816 29 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 32 | 0.002 % | 0.05/0.06 c | 2081 | 231 2707 8338 | 8857 2081 35 | 0.002 % | 0.09/0.11 c | 3220 | 231 2707 8338 | 9743 3220 34 | 0.002 % | 0.09/0.17 c | 4931 | 231 2707 8338 | 10717 4931 34 | 0.002 % | 0.29/0.30 c | 7493 | 231 2707 8338 | 11789 7493 34 | 0.002 % | 0.49/0.51 c | 11339 | 231 2707 8338 | 12968 11339 34 | 0.002 % | 0.79/0.89 c | 17107 | 231 2707 8338 | 14265 10556 38 | 0.002 % | 1.49/1.54 c | 25756 | 231 2707 8338 | 15692 12012 40 | 0.002 % | 2.39/2.47 c | 38730 | 231 2707 8338 | 17261 9177 40 | 0.002 % | 4.19/4.27 c | 58193 | 231 2707 8338 | 18987 11254 46 | 0.002 % | 6.79/6.83 c | 87386 | 231 2707 8338 | 20886 11789 41 | 0.002 % | 10.99/11.08 c | 131175 | 231 2707 8338 | 22974 13590 44 | 0.002 % | 17.60/17.67 c | 196859 | 231 2707 8338 | 25272 21535 43 | 0.002 % | 27.79/27.80 c | 295388 | 231 2707 8338 | 27799 14497 44 | 0.002 % | 46.10/46.11 c | 443177 | 231 2707 8338 | 30579 22439 45 | 0.002 % | 71.69/71.72 c | 664860 | 231 2707 8338 | 33637 22443 39 | 0.002 % | 110.89/111.00 c | 997387 | 231 2707 8338 | 37001 12919 41 | 0.002 % | 171.99/172.08 c | 1496175 | 231 2707 8338 | 40701 23759 41 | 0.041 % | 190.20/190.24 c =============================================================================== 203.10/203.11 c core #1 203.10/203.11 c ============================[ Search Statistics ]============================== 203.10/203.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.10/203.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.10/203.11 c =============================================================================== 203.10/203.11 c | 0 | 1585 5263 20266 | 5000 0 nan | 0.000 % | 203.20/203.20 c | 102 | 1585 5263 20266 | 5500 102 29 | 0.000 % | 203.20/203.23 c | 252 | 1585 5263 20266 | 6050 252 30 | 0.000 % | 203.20/203.26 c | 477 | 1585 5263 20266 | 6655 477 31 | 0.000 % | 203.20/203.27 c | 816 | 1585 5263 20266 | 7320 816 30 | 0.000 % | 203.20/203.29 c | 1322 | 1585 5263 20266 | 8052 1322 32 | 0.000 % | 203.29/203.32 c | 2082 | 1585 5263 20266 | 8857 2082 32 | 0.000 % | 203.29/203.39 c | 3221 | 1585 5263 20266 | 9743 3221 34 | 0.000 % | 203.40/203.50 c | 4930 | 1585 5263 20266 | 10717 4930 36 | 0.000 % | 203.59/203.67 c | 7492 | 1585 5263 20266 | 11789 7492 36 | 0.000 % | 203.90/203.97 c | 11337 | 1585 5263 20266 | 12968 11337 36 | 0.000 % | 204.39/204.49 c | 17104 | 1585 5263 20266 | 14265 10567 37 | 0.000 % | 205.19/205.20 c | 25755 | 1585 5263 20266 | 15692 12042 39 | 0.000 % | 206.29/206.36 c | 38731 | 1585 5263 20266 | 17261 9226 39 | 0.000 % | 208.10/208.10 c | 58193 | 1585 5263 20266 | 18987 11298 40 | 0.000 % | 208.79/208.88 c =============================================================================== 208.79/208.88 c #cores: 1 208.79/208.88 c Final Weight: 1 208.79/208.88 o 1 208.79/208.88 s OPTIMUM FOUND 208.79/208.88 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 208.79/208.88 c Total CPU time: 205.195 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-2689591-1277927600/watcher-2689591-1277927600 -o /tmp/evaluation-result-2689591-1277927600/solver-2689591-1277927600 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689591-1277927600.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.09 4/178 15560 /proc/meminfo: memFree=31668656/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=2664 CPUtime=0 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 306 0 0 0 0 0 0 0 23 0 1 0 134056652 2727936 224 4089446400 134512640 135751879 4287238784 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 666 224 147 303 0 337 0 [startup+0.0640329 s] /proc/loadavg: 2.00 2.00 2.09 4/178 15560 /proc/meminfo: memFree=31668656/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=3372 CPUtime=0.05 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 504 0 0 0 5 0 0 0 23 0 1 0 134056652 3452928 398 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 843 398 143 303 0 538 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3372 [startup+0.101025 s] /proc/loadavg: 2.00 2.00 2.09 4/178 15560 /proc/meminfo: memFree=31668656/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=3636 CPUtime=0.09 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 585 0 0 0 9 0 0 0 23 0 1 0 134056652 3723264 479 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 909 479 143 303 0 604 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3636 [startup+0.300991 s] /proc/loadavg: 2.00 2.00 2.09 4/178 15560 /proc/meminfo: memFree=31668656/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=5096 CPUtime=0.29 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 955 0 0 0 29 0 0 0 23 0 1 0 134056652 5218304 849 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 1274 849 143 303 0 969 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5096 [startup+0.700921 s] /proc/loadavg: 2.00 2.00 2.09 4/178 15560 /proc/meminfo: memFree=31668656/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=7492 CPUtime=0.69 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 1526 0 0 0 67 2 0 0 25 0 1 0 134056652 7671808 1420 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 1873 1420 143 303 0 1568 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7492 [startup+1.50068 s] /proc/loadavg: 2.00 2.00 2.09 3/179 15561 /proc/meminfo: memFree=31659472/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=11188 CPUtime=1.49 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 2467 0 0 0 144 5 0 0 25 0 1 0 134056652 11456512 2361 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 2797 2361 143 303 0 2492 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11188 [startup+3.1004 s] /proc/loadavg: 2.00 2.00 2.09 3/179 15561 /proc/meminfo: memFree=31651536/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=18584 CPUtime=3.09 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 4304 0 0 0 301 8 0 0 25 0 1 0 134056652 19030016 4198 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 4646 4198 143 303 0 4341 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18584 [startup+6.30089 s] /proc/loadavg: 2.00 2.00 2.09 3/179 15561 /proc/meminfo: memFree=31630956/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=30552 CPUtime=6.3 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 7305 0 0 0 615 15 0 0 25 0 1 0 134056652 31285248 7199 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 7638 7199 143 303 0 7333 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 30552 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 2.09 3/179 15561 /proc/meminfo: memFree=31591780/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=53660 CPUtime=12.69 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 13078 0 0 0 1240 29 0 0 25 0 1 0 134056652 54947840 12972 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 13415 12972 143 303 0 13110 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53660 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 2.09 3/179 15561 /proc/meminfo: memFree=31510356/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=97516 CPUtime=25.49 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 24047 0 0 0 2493 56 0 0 25 0 1 0 134056652 99856384 23941 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 24379 23941 143 303 0 24074 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 97516 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.09 3/179 15561 /proc/meminfo: memFree=31371568/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=174436 CPUtime=51.1 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 43240 0 0 0 5008 102 0 0 25 0 1 0 134056652 178622464 43134 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 43609 43134 143 303 0 43304 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 174436 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.08 3/179 15563 /proc/meminfo: memFree=31123752/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=325424 CPUtime=102.3 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 80974 0 0 0 10038 192 0 0 25 0 1 0 134056652 333234176 80868 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 81356 80868 143 303 0 81051 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 325424 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 15565 /proc/meminfo: memFree=30845196/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=493412 CPUtime=162.29 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 122991 0 0 0 15924 305 0 0 25 0 1 0 134056652 505253888 122885 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 123353 122885 143 303 0 123048 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 493412 ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (208.79 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (208.79 s) to the 'lost time'. [startup+208.8 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15566 /proc/meminfo: memFree=30614768/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=619676 CPUtime=208.79 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 154621 0 0 0 20511 368 0 0 25 0 1 0 134056652 634548224 154462 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 154919 154462 146 303 0 154614 0 Current children cumulated CPU time (s) 208.79 Current children cumulated vsize (KiB) 619676 [startup+208.901 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15566 /proc/meminfo: memFree=31201020/32950928 swapFree=67111528/67111528 [pid=15560] ppid=-1 vsize=0 CPUtime=0 /proc/15560/stat : -- couldn't open stat file --/proc/15560/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+179.1 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15565 /proc/meminfo: memFree=30759376/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=541744 CPUtime=179.1 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 135056 0 0 0 17574 336 0 0 25 0 1 0 134056652 554745856 134950 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 135436 134950 143 303 0 135131 0 Current children cumulated CPU time (s) 179.1 Current children cumulated vsize (KiB) 541744 [startup+191.901 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15565 /proc/meminfo: memFree=30686208/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=588268 CPUtime=191.89 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 146696 0 0 0 18836 353 0 0 25 0 1 0 134056652 602386432 146590 4089446400 134512640 135751879 4287238784 18446744073709551615 134516394 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 147067 146590 143 303 0 146762 0 Current children cumulated CPU time (s) 191.89 Current children cumulated vsize (KiB) 588268 [startup+198.301 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15565 /proc/meminfo: memFree=30636228/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=619948 CPUtime=198.3 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 154614 0 0 0 19475 355 0 0 25 0 1 0 134056652 634826752 154508 4089446400 134512640 135751879 4287238784 18446744073709551615 134618270 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 154987 154508 143 303 0 154682 0 Current children cumulated CPU time (s) 198.3 Current children cumulated vsize (KiB) 619948 [startup+204.701 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15566 /proc/meminfo: memFree=30622832/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=619676 CPUtime=204.69 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 154618 0 0 0 20110 359 0 0 25 0 1 0 134056652 634548224 154459 4089446400 134512640 135751879 4287238784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 154919 154459 146 303 0 154614 0 Current children cumulated CPU time (s) 204.69 Current children cumulated vsize (KiB) 619676 [startup+206.301 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15566 /proc/meminfo: memFree=30618864/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=619676 CPUtime=206.29 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 154619 0 0 0 20267 362 0 0 25 0 1 0 134056652 634548224 154460 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 154919 154460 146 303 0 154614 0 Current children cumulated CPU time (s) 206.29 Current children cumulated vsize (KiB) 619676 [startup+207.906 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15566 /proc/meminfo: memFree=30614768/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=619676 CPUtime=207.9 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 154621 0 0 0 20424 366 0 0 25 0 1 0 134056652 634548224 154462 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 154919 154462 146 303 0 154614 0 Current children cumulated CPU time (s) 207.9 Current children cumulated vsize (KiB) 619676 [startup+208.7 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15566 /proc/meminfo: memFree=30614768/32950928 swapFree=67111528/67111528 [pid=15560] ppid=15558 vsize=619676 CPUtime=208.69 /proc/15560/stat : 15560 (wbo1.4a) R 15558 15560 15337 0 -1 4202496 154621 0 0 0 20501 368 0 0 25 0 1 0 134056652 634548224 154462 4089446400 134512640 135751879 4287238784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15560/statm: 154919 154462 146 303 0 154614 0 Current children cumulated CPU time (s) 208.69 Current children cumulated vsize (KiB) 619676 [startup+208.901 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15566 /proc/meminfo: memFree=31201020/32950928 swapFree=67111528/67111528 [pid=15560] ppid=-1 vsize=0 CPUtime=0 /proc/15560/stat : -- couldn't open stat file --/proc/15560/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15560 and gives # childrusage.ru_utime.tv_sec=205 # childrusage.ru_utime.tv_usec=195805 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=709436 # CPU time returned by wait4() is 208.905 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 208.79 # lost CPU user time (s): 205.11 # lost CPU system time (s): 3.68 Real time (s): 208.902 CPU time (s): 208.79 CPU user time (s): 205.11 CPU system time (s): 3.68 CPU usage (%): 99.9463 Max. virtual memory (cumulated for all children) (KiB): 619948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 205.196 system time used= 3.70944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154621 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 136 runsolver used 0.335948 second user time and 0.778881 second system time The end
Begin job on node125 at 2010-06-30 21:53:20 IDJOB=2689591 IDBENCH=79281 IDSOLVER=1200 FILE ID=node125/2689591-1277927600 PBS_JOBID= 11197370 Free space on /tmp= 74200 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563250--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689591-1277927600/watcher-2689591-1277927600 -o /tmp/evaluation-result-2689591-1277927600/solver-2689591-1277927600 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689591-1277927600.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cf1e130a7c7d84197ef06427870fc4d7 RANDOM SEED=1711041336 node125.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.822 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.64 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.822 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.07 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.822 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.822 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.77 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.822 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.75 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.822 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.74 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.822 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.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31668688 kB Buffers: 212184 kB Cached: 798916 kB SwapCached: 0 kB Active: 564540 kB Inactive: 574064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31668688 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6280 kB Writeback: 0 kB AnonPages: 128188 kB Mapped: 16264 kB Slab: 79300 kB PageTables: 5352 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 271184 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= 74200 MiB End job on node125 at 2010-06-30 21:56:49