Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 574.286 | 574.272 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-33-100-0.wbo |
MD5SUM | b80542b6ea011406c368e0a53be4d6f1 |
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 | 487.411 |
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 | 1804 |
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 | 90822 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90821 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 625 |
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 - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690634-1277901593.wbo. 0.00/0.00 c Instance file HOME/instance-2690634-1277901593.wbo 0.00/0.00 c File size is 92300 bytes. 0.00/0.00 c Highest Coefficient sum: 625 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.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 231 2707 8338 | 5500 101 23 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 29 | 0.002 % | 0.00/0.02 c | 477 | 231 2707 8338 | 6655 477 30 | 0.002 % | 0.00/0.03 c | 815 | 231 2707 8338 | 7320 815 33 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 32 | 0.002 % | 0.00/0.06 c | 2082 | 231 2707 8338 | 8857 2082 32 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 32 | 0.002 % | 0.09/0.18 c | 4929 | 231 2707 8338 | 10717 4929 33 | 0.002 % | 0.19/0.29 c | 7491 | 231 2707 8338 | 11789 7491 34 | 0.002 % | 0.49/0.52 c | 11336 | 231 2707 8338 | 12968 11336 35 | 0.002 % | 0.79/0.86 c | 17105 | 231 2707 8338 | 14265 10566 36 | 0.002 % | 1.39/1.41 c | 25755 | 231 2707 8338 | 15692 12022 40 | 0.002 % | 2.29/2.32 c | 38729 | 231 2707 8338 | 17261 9183 40 | 0.002 % | 3.69/3.73 c | 58191 | 231 2707 8338 | 18987 11278 43 | 0.002 % | 5.79/5.88 c | 87385 | 231 2707 8338 | 20886 11821 39 | 0.002 % | 9.29/9.35 c | 131174 | 231 2707 8338 | 22974 13600 40 | 0.002 % | 15.59/15.68 c | 196863 | 231 2707 8338 | 25272 21337 41 | 0.002 % | 25.09/25.19 c | 295389 | 231 2707 8338 | 27799 24379 44 | 0.002 % | 41.89/41.93 c | 443178 | 231 2707 8338 | 30579 14065 42 | 0.002 % | 66.70/66.77 c | 664862 | 231 2707 8338 | 33637 13595 43 | 0.002 % | 104.00/104.02 c | 997387 | 231 2707 8338 | 37001 22807 43 | 0.002 % | 166.20/166.29 c | 1496176 | 231 2707 8338 | 40701 31228 44 | 0.002 % | 183.30/183.38 c There are 0 assigned variables. 0 in cost function. 183.90/183.95 c ============================[ Search Statistics ]============================== 183.90/183.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.90/183.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.90/183.95 c =============================================================================== 183.90/183.95 c | 0 | 231 2710 8347 | 5000 0 nan | 0.000 % | 184.00/184.02 c | 102 | 231 2710 8347 | 5500 102 27 | 0.002 % | 184.00/184.08 c | 254 | 231 2710 8347 | 6050 254 27 | 0.002 % | 184.00/184.08 c | 479 | 231 2710 8347 | 6655 479 26 | 0.002 % | 184.00/184.09 c | 817 | 231 2710 8347 | 7320 817 25 | 0.002 % | 184.09/184.11 c | 1325 | 231 2710 8347 | 8052 1325 24 | 0.002 % | 184.09/184.13 c | 2085 | 231 2710 8347 | 8857 2085 24 | 0.002 % | 184.09/184.17 c | 3224 | 231 2710 8347 | 9743 3224 25 | 0.002 % | 184.20/184.24 c | 4932 | 231 2710 8347 | 10717 4932 26 | 0.002 % | 184.30/184.37 c | 7497 | 231 2710 8347 | 11789 7497 27 | 0.002 % | 184.50/184.58 c | 11341 | 231 2710 8347 | 12968 11341 27 | 0.002 % | 184.89/184.97 c | 17107 | 231 2710 8347 | 14265 10567 29 | 0.002 % | 185.60/185.64 c | 25757 | 231 2710 8347 | 15692 12036 32 | 0.002 % | 186.80/186.83 c | 38731 | 231 2710 8347 | 17261 9199 33 | 0.002 % | 188.39/188.41 c | 58192 | 231 2710 8347 | 18987 11289 32 | 0.002 % | 191.00/191.00 c | 87388 | 231 2710 8347 | 20886 11828 28 | 0.002 % | 194.89/194.96 c | 131179 | 231 2710 8347 | 22974 13642 28 | 0.002 % | 201.50/201.51 c | 196864 | 231 2710 8347 | 25272 21571 31 | 0.002 % | 212.79/212.82 c | 295392 | 231 2710 8347 | 27799 13213 30 | 0.002 % | 229.10/229.19 c | 443183 | 231 2710 8347 | 30579 19298 28 | 0.002 % | 254.99/255.09 c | 664866 | 231 2710 8347 | 33637 19073 27 | 0.002 % | 295.00/295.07 c | 997392 | 231 2710 8347 | 37001 33637 28 | 0.002 % | 352.90/352.97 c | 1496180 | 231 2710 8347 | 40701 18807 28 | 0.002 % | 447.30/447.33 c | 2244362 | 231 2710 8347 | 44771 14641 28 | 0.002 % | 573.11/573.14 c =============================================================================== 574.21/574.24 c core #1 574.21/574.24 c 574.21/574.24 c 574.21/574.24 c Core size: 28 Core Weight: 2147483647 Total Weight: 2147483647 574.21/574.24 c 574.21/574.24 c 574.21/574.24 c Memory used : 965.95 MB 574.21/574.24 c CPU time : 564.305 s 574.21/574.24 c 574.21/574.24 s UNSATISFIABLE 574.21/574.24 c Total CPU time: 564.305 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690634-1277901593/watcher-2690634-1277901593 -o /tmp/evaluation-result-2690634-1277901593/solver-2690634-1277901593 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690634-1277901593.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.02 2.00 4/182 13104 /proc/meminfo: memFree=29256744/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=2792 CPUtime=0 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 312 0 0 0 0 0 0 0 21 0 1 0 131455423 2859008 231 4089446400 134512640 135752675 4290806704 18446744073709551615 134576935 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13104/statm: 698 231 149 303 0 370 0 [startup+0.091753 s] /proc/loadavg: 2.02 2.02 2.00 4/182 13104 /proc/meminfo: memFree=29256744/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=3492 CPUtime=0.08 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 550 0 0 0 8 0 0 0 21 0 1 0 131455423 3575808 446 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13104/statm: 873 446 144 303 0 568 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3492 [startup+0.10075 s] /proc/loadavg: 2.02 2.02 2.00 4/182 13104 /proc/meminfo: memFree=29256744/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=3624 CPUtime=0.09 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 569 0 0 0 9 0 0 0 21 0 1 0 131455423 3710976 465 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13104/statm: 906 465 144 303 0 601 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3624 [startup+0.30075 s] /proc/loadavg: 2.02 2.02 2.00 4/182 13104 /proc/meminfo: memFree=29256744/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=4956 CPUtime=0.29 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 924 0 0 0 27 2 0 0 21 0 1 0 131455423 5074944 820 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13104/statm: 1239 820 144 303 0 934 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4956 [startup+0.700675 s] /proc/loadavg: 2.02 2.02 2.00 4/182 13104 /proc/meminfo: memFree=29256744/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=7116 CPUtime=0.69 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 1448 0 0 0 65 4 0 0 22 0 1 0 131455423 7286784 1344 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13104/statm: 1779 1344 144 303 0 1474 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7116 [startup+1.50053 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13105 /proc/meminfo: memFree=29250412/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=11208 CPUtime=1.49 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 2456 0 0 0 143 6 0 0 25 0 1 0 131455423 11476992 2352 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13104/statm: 2802 2352 144 303 0 2497 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11208 [startup+3.10023 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13105 /proc/meminfo: memFree=29243388/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=18600 CPUtime=3.09 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 4309 0 0 0 298 11 0 0 25 0 1 0 131455423 19046400 4205 4089446400 134512640 135752675 4290806704 18446744073709551615 134611735 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13104/statm: 4650 4205 144 303 0 4345 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18600 [startup+6.30068 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13105 /proc/meminfo: memFree=29224416/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=32312 CPUtime=6.29 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 7749 0 0 0 610 19 0 0 18 0 1 0 131455423 33087488 7645 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13104/statm: 8078 7645 144 303 0 7773 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32312 [startup+12.7005 s] /proc/loadavg: 2.09 2.03 2.00 3/183 13105 /proc/meminfo: memFree=29191532/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=56240 CPUtime=12.7 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 13731 0 0 0 1235 35 0 0 25 0 1 0 131455423 57589760 13627 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13104/statm: 14060 13627 144 303 0 13755 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 56240 [startup+25.5003 s] /proc/loadavg: 2.07 2.03 2.00 3/183 13105 /proc/meminfo: memFree=29133492/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=99448 CPUtime=25.49 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 24538 0 0 0 2490 59 0 0 18 0 1 0 131455423 101834752 24434 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13104/statm: 24862 24434 144 303 0 24557 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 99448 [startup+51.1007 s] /proc/loadavg: 2.05 2.03 2.00 3/183 13105 /proc/meminfo: memFree=29037244/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=172524 CPUtime=51.09 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 42788 0 0 0 5008 101 0 0 25 0 1 0 131455423 176664576 42684 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 43131 42684 144 303 0 42826 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 172524 [startup+102.308 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13107 /proc/meminfo: memFree=28833732/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=323212 CPUtime=102.3 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 80436 0 0 0 10033 197 0 0 25 0 1 0 131455423 330969088 80332 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 80803 80332 144 303 0 80498 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 323212 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13109 /proc/meminfo: memFree=28623644/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=480652 CPUtime=162.3 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 119797 0 0 0 15926 304 0 0 25 0 1 0 131455423 492187648 119693 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 120163 119693 144 303 0 119858 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 480652 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13110 /proc/meminfo: memFree=28505048/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=537584 CPUtime=222.3 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 134080 0 0 0 21818 412 0 0 25 0 1 0 131455423 550486016 133936 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 134396 133936 146 303 0 134091 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 537584 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13112 /proc/meminfo: memFree=28439792/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=537584 CPUtime=282.29 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 134091 0 0 0 27720 509 0 0 25 0 1 0 131455423 550486016 133947 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 134396 133947 146 303 0 134091 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 537584 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13113 /proc/meminfo: memFree=28308816/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=604868 CPUtime=342.3 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 150924 0 0 0 33613 617 0 0 25 0 1 0 131455423 619384832 150780 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 151217 150780 146 303 0 150912 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 604868 [startup+402.3 s] /proc/loadavg: 1.89 1.97 1.99 3/183 13164 /proc/meminfo: memFree=30613584/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=701688 CPUtime=402.3 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 175098 0 0 0 39506 724 0 0 25 0 1 0 131455423 718528512 174954 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 175422 174954 146 303 0 175117 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 701688 [startup+462.301 s] /proc/loadavg: 1.96 1.97 1.99 3/183 13166 /proc/meminfo: memFree=30493068/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=798520 CPUtime=462.3 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 199260 0 0 0 45407 823 0 0 25 0 1 0 131455423 817684480 199116 4089446400 134512640 135752675 4290806704 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 199630 199116 146 303 0 199325 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 798520 [startup+522.301 s] /proc/loadavg: 1.98 1.97 1.99 3/183 13167 /proc/meminfo: memFree=30389864/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=898136 CPUtime=522.3 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 224137 0 0 0 51310 920 0 0 25 0 1 0 131455423 919691264 223993 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 224534 223993 146 303 0 224229 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 898136 Solver just ended. Dumping a history of the last processes samples [startup+537.5 s] /proc/loadavg: 1.99 1.97 1.99 3/183 13168 /proc/meminfo: memFree=30362204/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=922560 CPUtime=537.51 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 230248 0 0 0 52810 941 0 0 25 0 1 0 131455423 944701440 230104 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 230640 230104 146 303 0 230335 0 Current children cumulated CPU time (s) 537.51 Current children cumulated vsize (KiB) 922560 [startup+550.301 s] /proc/loadavg: 1.99 1.97 1.99 3/183 13168 /proc/meminfo: memFree=30340252/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=942908 CPUtime=550.3 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 235320 0 0 0 54071 959 0 0 25 0 1 0 131455423 965537792 235176 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 235727 235176 146 303 0 235422 0 Current children cumulated CPU time (s) 550.3 Current children cumulated vsize (KiB) 942908 [startup+563.101 s] /proc/loadavg: 1.99 1.97 1.99 3/183 13168 /proc/meminfo: memFree=30319416/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=962724 CPUtime=563.11 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 240274 0 0 0 55334 977 0 0 25 0 1 0 131455423 985829376 240130 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 240681 240130 146 303 0 240376 0 Current children cumulated CPU time (s) 563.11 Current children cumulated vsize (KiB) 962724 [startup+569.501 s] /proc/loadavg: 2.07 1.99 1.99 3/183 13168 /proc/meminfo: memFree=30310976/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=972228 CPUtime=569.51 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 242657 0 0 0 55965 986 0 0 25 0 1 0 131455423 995561472 242513 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 243057 242513 146 303 0 242752 0 Current children cumulated CPU time (s) 569.51 Current children cumulated vsize (KiB) 972228 [startup+572.701 s] /proc/loadavg: 2.06 1.99 1.99 3/183 13168 /proc/meminfo: memFree=30305520/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=977640 CPUtime=572.71 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 244018 0 0 0 56277 994 0 0 25 0 1 0 131455423 1001103360 243874 4089446400 134512640 135752675 4290806704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 244410 243874 146 303 0 244105 0 Current children cumulated CPU time (s) 572.71 Current children cumulated vsize (KiB) 977640 [startup+573.501 s] /proc/loadavg: 2.06 1.99 1.99 3/183 13168 /proc/meminfo: memFree=30303288/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=984900 CPUtime=573.5 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 245837 0 0 0 56356 994 0 0 25 0 1 0 131455423 1008537600 245693 4089446400 134512640 135752675 4290806704 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 246225 245693 146 303 0 245920 0 Current children cumulated CPU time (s) 573.5 Current children cumulated vsize (KiB) 984900 [startup+573.901 s] /proc/loadavg: 2.06 1.99 1.99 3/183 13168 /proc/meminfo: memFree=30303288/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=989124 CPUtime=573.9 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 246882 0 0 0 56396 994 0 0 25 0 1 0 131455423 1012862976 246738 4089446400 134512640 135752675 4290806704 18446744073709551615 134615259 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 247281 246738 146 303 0 246976 0 Current children cumulated CPU time (s) 573.9 Current children cumulated vsize (KiB) 989124 [startup+574.101 s] /proc/loadavg: 2.06 1.99 1.99 3/183 13168 /proc/meminfo: memFree=30292492/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=989124 CPUtime=574.11 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 246882 0 0 0 56417 994 0 0 25 0 1 0 131455423 1012862976 246738 4089446400 134512640 135752675 4290806704 18446744073709551615 134521742 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 247281 246738 146 303 0 246976 0 Current children cumulated CPU time (s) 574.11 Current children cumulated vsize (KiB) 989124 [startup+574.208 s] /proc/loadavg: 2.06 1.99 1.99 3/183 13168 /proc/meminfo: memFree=30292492/32951124 swapFree=67111528/67111528 [pid=13104] ppid=13102 vsize=989124 CPUtime=574.21 /proc/13104/stat : 13104 (wbo1.4b) R 13102 13104 12643 0 -1 4202496 246882 0 0 0 56427 994 0 0 25 0 1 0 131455423 1012862976 246738 4089446400 134512640 135752675 4290806704 18446744073709551615 134615134 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13104/statm: 247281 246738 146 303 0 246976 0 Current children cumulated CPU time (s) 574.21 Current children cumulated vsize (KiB) 989124 Child status: 0 Real time (s): 574.272 CPU time (s): 574.286 CPU user time (s): 564.305 CPU system time (s): 9.98048 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 989124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 564.305 system time used= 9.98048 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 246884 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= 5 involuntary context switches= 548 runsolver used 1.05984 second user time and 2.08068 second system time The end
Begin job on node132 at 2010-06-30 14:39:53 IDJOB=2690634 IDBENCH=78892 IDSOLVER=1201 FILE ID=node132/2690634-1277901593 PBS_JOBID= 11197179 Free space on /tmp= 74136 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667--soft-33-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690634-1277901593/watcher-2690634-1277901593 -o /tmp/evaluation-result-2690634-1277901593/solver-2690634-1277901593 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690634-1277901593.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b80542b6ea011406c368e0a53be4d6f1 RANDOM SEED=1368992537 node132.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.810 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.62 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.810 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.810 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.810 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.810 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.810 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.810 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.810 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: 29257264 kB Buffers: 181336 kB Cached: 1213752 kB SwapCached: 0 kB Active: 2688460 kB Inactive: 857536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29257264 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 2150712 kB Mapped: 15108 kB Slab: 81148 kB PageTables: 8476 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2297412 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 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 node132 at 2010-06-30 14:49:27