Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 351.21 | 351.199 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo |
MD5SUM | c1a8bf15a5939881d6e0f7761d224808 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 474.358 |
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 | 137973 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 137972 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 713 |
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-2690237-1277927971.wbo. 0.00/0.00 c Instance file HOME/instance-2690237-1277927971.wbo 0.00/0.00 c File size is 96792 bytes. 0.00/0.00 c Highest Coefficient sum: 713 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 | 102 | 231 2707 8338 | 5500 102 21 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 27 | 0.002 % | 0.00/0.02 c | 479 | 231 2707 8338 | 6655 479 27 | 0.002 % | 0.00/0.03 c | 818 | 231 2707 8338 | 7320 818 27 | 0.002 % | 0.03/0.04 c | 1326 | 231 2707 8338 | 8052 1326 26 | 0.002 % | 0.03/0.06 c | 2085 | 231 2707 8338 | 8857 2085 29 | 0.002 % | 0.08/0.10 c | 3224 | 231 2707 8338 | 9743 3224 31 | 0.002 % | 0.08/0.16 c | 4933 | 231 2707 8338 | 10717 4933 32 | 0.002 % | 0.19/0.27 c | 7495 | 231 2707 8338 | 11789 7495 34 | 0.002 % | 0.39/0.49 c | 11341 | 231 2707 8338 | 12968 11341 35 | 0.002 % | 0.79/0.85 c | 17107 | 231 2707 8338 | 14265 10570 39 | 0.002 % | 1.39/1.40 c | 25757 | 231 2707 8338 | 15692 12019 36 | 0.002 % | 2.29/2.35 c | 38736 | 231 2707 8338 | 17261 9182 37 | 0.002 % | 3.79/3.85 c | 58197 | 231 2707 8338 | 18987 11281 37 | 0.002 % | 6.60/6.69 c | 87390 | 231 2707 8338 | 20886 11864 40 | 0.002 % | 10.89/10.95 c | 131179 | 231 2707 8338 | 22974 13673 37 | 0.002 % | 17.29/17.35 c | 196864 | 231 2707 8338 | 25272 21521 38 | 0.002 % | 26.99/27.06 c | 295392 | 231 2707 8338 | 27799 14424 43 | 0.002 % | 42.29/42.36 c | 443187 | 231 2707 8338 | 30579 18976 38 | 0.002 % | 67.39/67.48 c | 664872 | 231 2707 8338 | 33637 21740 40 | 0.002 % | 103.89/103.95 c | 997401 | 231 2707 8338 | 37001 32816 39 | 0.002 % | 165.70/165.76 c | 1496190 | 231 2707 8338 | 40701 18474 37 | 0.002 % | 183.60/183.63 c There are 0 assigned variables. 0 in cost function. 184.20/184.21 c ============================[ Search Statistics ]============================== 184.20/184.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.20/184.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.20/184.21 c =============================================================================== 184.20/184.21 c | 0 | 231 2713 8356 | 5000 0 nan | 0.000 % | 184.30/184.33 c | 100 | 231 2713 8356 | 5500 100 15 | 0.002 % | 184.30/184.34 c | 251 | 231 2713 8356 | 6050 251 21 | 0.002 % | 184.30/184.34 c | 476 | 231 2713 8356 | 6655 476 21 | 0.002 % | 184.30/184.35 c | 816 | 231 2713 8356 | 7320 816 19 | 0.002 % | 184.30/184.37 c | 1323 | 231 2713 8356 | 8052 1323 20 | 0.002 % | 184.30/184.39 c | 2083 | 231 2713 8356 | 8857 2083 22 | 0.002 % | 184.40/184.44 c | 3224 | 231 2713 8356 | 9743 3224 24 | 0.002 % | 184.49/184.51 c | 4934 | 231 2713 8356 | 10717 4934 24 | 0.002 % | 184.59/184.64 c | 7496 | 231 2713 8356 | 11789 7496 25 | 0.002 % | 184.80/184.88 c | 11342 | 231 2713 8356 | 12968 11342 25 | 0.002 % | 185.20/185.25 c | 17108 | 231 2713 8356 | 14265 10572 27 | 0.002 % | 185.80/185.87 c | 25757 | 231 2713 8356 | 15692 12027 27 | 0.002 % | 186.80/186.82 c | 38736 | 231 2713 8356 | 17261 9217 27 | 0.002 % | 188.40/188.44 c | 58198 | 231 2713 8356 | 18987 11309 30 | 0.002 % | 191.30/191.38 c | 87390 | 231 2713 8356 | 20886 11854 32 | 0.002 % | 195.60/195.66 c | 131180 | 231 2713 8356 | 22974 13650 31 | 0.002 % | 203.00/203.08 c | 196865 | 231 2713 8356 | 25272 21632 32 | 0.002 % | 215.10/215.17 c | 295392 | 231 2713 8356 | 27799 17174 35 | 0.002 % | 232.01/232.09 c | 443182 | 231 2713 8356 | 30579 24884 31 | 0.002 % | 259.20/259.22 c | 664866 | 231 2713 8356 | 33637 29013 31 | 0.002 % | 299.00/299.01 c | 997395 | 231 2713 8356 | 37001 23437 27 | 0.002 % | 350.30/350.34 c =============================================================================== 351.10/351.18 c core #1 351.10/351.18 c 351.10/351.18 c 351.10/351.18 c Core size: 35 Core Weight: 2147483647 Total Weight: 2147483647 351.10/351.18 c 351.10/351.18 c 351.10/351.18 c Memory used : 582.23 MB 351.10/351.18 c CPU time : 344.902 s 351.10/351.18 c 351.10/351.18 s UNSATISFIABLE 351.10/351.18 c Total CPU time: 344.902 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-2690237-1277927971/watcher-2690237-1277927971 -o /tmp/evaluation-result-2690237-1277927971/solver-2690237-1277927971 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690237-1277927971.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.19 2.19 2.10 3/196 12798 /proc/meminfo: memFree=29931744/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=2668 CPUtime=0 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 306 0 0 0 0 0 0 0 22 0 1 0 134094434 2732032 225 4089446400 134512640 135752675 4292545088 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 667 226 148 303 0 338 0 [startup+0.0432871 s] /proc/loadavg: 2.19 2.19 2.10 3/196 12798 /proc/meminfo: memFree=29931744/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=3100 CPUtime=0.03 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 440 0 0 0 3 0 0 0 22 0 1 0 134094434 3174400 335 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 775 335 144 303 0 470 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3100 [startup+0.100277 s] /proc/loadavg: 2.19 2.19 2.10 3/196 12798 /proc/meminfo: memFree=29931744/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=3628 CPUtime=0.08 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 582 0 0 0 8 0 0 0 22 0 1 0 134094434 3715072 477 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 907 477 144 303 0 602 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3628 [startup+0.300239 s] /proc/loadavg: 2.19 2.19 2.10 3/196 12798 /proc/meminfo: memFree=29931744/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=5228 CPUtime=0.29 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 974 0 0 0 28 1 0 0 22 0 1 0 134094434 5353472 869 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 1307 869 144 303 0 1002 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5228 [startup+0.700164 s] /proc/loadavg: 2.19 2.19 2.10 3/196 12798 /proc/meminfo: memFree=29931744/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=7412 CPUtime=0.69 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 1523 0 0 0 67 2 0 0 24 0 1 0 134094434 7589888 1418 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 1853 1418 144 303 0 1548 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7412 [startup+1.50102 s] /proc/loadavg: 2.19 2.19 2.10 3/197 12799 /proc/meminfo: memFree=29924792/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=11372 CPUtime=1.49 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 2508 0 0 0 144 5 0 0 25 0 1 0 134094434 11644928 2403 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 2843 2403 144 303 0 2538 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11372 [startup+3.10072 s] /proc/loadavg: 2.19 2.19 2.10 3/197 12799 /proc/meminfo: memFree=29919336/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=18368 CPUtime=3.09 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 4264 0 0 0 299 10 0 0 25 0 1 0 134094434 18808832 4159 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 4592 4159 144 303 0 4287 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18368 [startup+6.30013 s] /proc/loadavg: 2.17 2.18 2.10 3/197 12799 /proc/meminfo: memFree=29906484/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=29884 CPUtime=6.29 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 7141 0 0 0 613 16 0 0 25 0 1 0 134094434 30601216 7036 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 7471 7036 144 303 0 7166 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29884 [startup+12.7009 s] /proc/loadavg: 2.16 2.18 2.10 3/197 12799 /proc/meminfo: memFree=29883928/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=52208 CPUtime=12.69 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 12733 0 0 0 1237 32 0 0 25 0 1 0 134094434 53460992 12628 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 13052 12628 144 303 0 12747 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52208 [startup+25.5006 s] /proc/loadavg: 2.12 2.17 2.10 3/197 12799 /proc/meminfo: memFree=29838064/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=95940 CPUtime=25.5 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 23657 0 0 0 2490 60 0 0 25 0 1 0 134094434 98242560 23552 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 23985 23552 144 303 0 23680 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 95940 [startup+51.1008 s] /proc/loadavg: 2.08 2.15 2.09 3/197 12800 /proc/meminfo: memFree=29758908/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=172432 CPUtime=51.09 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 42758 0 0 0 4998 111 0 0 25 0 1 0 134094434 176570368 42653 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 43108 42653 144 303 0 42803 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 172432 [startup+102.306 s] /proc/loadavg: 2.03 2.13 2.09 3/197 12810 /proc/meminfo: memFree=29584640/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=321324 CPUtime=102.29 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 79980 0 0 0 10013 216 0 0 25 0 1 0 134094434 329035776 79875 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 80331 79875 144 303 0 80026 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 321324 [startup+162.3 s] /proc/loadavg: 2.01 2.10 2.08 3/197 12812 /proc/meminfo: memFree=29385436/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=479172 CPUtime=162.29 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 119414 0 0 0 15904 325 0 0 25 0 1 0 134094434 490672128 119309 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 119793 119309 144 303 0 119488 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 479172 [startup+222.3 s] /proc/loadavg: 2.00 2.08 2.08 3/197 12814 /proc/meminfo: memFree=29281472/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=537232 CPUtime=222.3 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 133984 0 0 0 21797 433 0 0 25 0 1 0 134094434 550125568 133839 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 134308 133839 146 303 0 134003 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 537232 [startup+282.301 s] /proc/loadavg: 2.00 2.06 2.07 3/197 12815 /proc/meminfo: memFree=29240248/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=537232 CPUtime=282.3 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 133991 0 0 0 27695 535 0 0 25 0 1 0 134094434 550125568 133846 4089446400 134512640 135752675 4292545088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 134308 133846 146 303 0 134003 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 537232 [startup+342.301 s] /proc/loadavg: 2.00 2.05 2.06 3/197 12817 /proc/meminfo: memFree=29157028/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=577164 CPUtime=342.3 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 143983 0 0 0 33611 619 0 0 25 0 1 0 134094434 591015936 143838 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 144291 143838 146 303 0 143986 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 577164 Solver just ended. Dumping a history of the last processes samples [startup+345.5 s] /proc/loadavg: 2.00 2.05 2.06 3/197 12817 /proc/meminfo: memFree=29150468/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=581408 CPUtime=345.5 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 145053 0 0 0 33928 622 0 0 25 0 1 0 134094434 595361792 144908 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 145352 144908 146 303 0 145047 0 Current children cumulated CPU time (s) 345.5 Current children cumulated vsize (KiB) 581408 [startup+348.707 s] /proc/loadavg: 2.48 2.15 2.09 3/197 12817 /proc/meminfo: memFree=29142532/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=586160 CPUtime=348.7 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 146217 0 0 0 34244 626 0 0 25 0 1 0 134094434 600227840 146072 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 146540 146072 146 303 0 146235 0 Current children cumulated CPU time (s) 348.7 Current children cumulated vsize (KiB) 586160 [startup+350.301 s] /proc/loadavg: 2.48 2.15 2.09 3/197 12817 /proc/meminfo: memFree=29139804/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=588152 CPUtime=350.3 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 146715 0 0 0 34402 628 0 0 25 0 1 0 134094434 602267648 146570 4089446400 134512640 135752675 4292545088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 147038 146570 146 303 0 146733 0 Current children cumulated CPU time (s) 350.3 Current children cumulated vsize (KiB) 588152 [startup+350.7 s] /proc/loadavg: 2.48 2.15 2.09 3/197 12817 /proc/meminfo: memFree=29139804/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=594488 CPUtime=350.7 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 148310 0 0 0 34442 628 0 0 25 0 1 0 134094434 608755712 148165 4089446400 134512640 135752675 4292545088 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 148622 148165 146 303 0 148317 0 Current children cumulated CPU time (s) 350.7 Current children cumulated vsize (KiB) 594488 [startup+351.1 s] /proc/loadavg: 2.48 2.15 2.09 3/197 12817 /proc/meminfo: memFree=29130240/32951124 swapFree=67111528/67111528 [pid=12798] ppid=12796 vsize=596204 CPUtime=351.1 /proc/12798/stat : 12798 (wbo1.4b) R 12796 12798 12625 0 -1 4202496 148756 0 0 0 34482 628 0 0 25 0 1 0 134094434 610512896 148611 4089446400 134512640 135752675 4292545088 18446744073709551615 134615040 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12798/statm: 149051 148611 146 303 0 148746 0 Current children cumulated CPU time (s) 351.1 Current children cumulated vsize (KiB) 596204 Child status: 0 Real time (s): 351.199 CPU time (s): 351.21 CPU user time (s): 344.902 CPU system time (s): 6.30804 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 596204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 344.902 system time used= 6.30804 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148758 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= 380 runsolver used 0.504923 second user time and 1.12683 second system time The end
Begin job on node105 at 2010-06-30 21:59:31 IDJOB=2690237 IDBENCH=79284 IDSOLVER=1201 FILE ID=node105/2690237-1277927971 PBS_JOBID= 11197368 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690237-1277927971/watcher-2690237-1277927971 -o /tmp/evaluation-result-2690237-1277927971/solver-2690237-1277927971 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690237-1277927971.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c1a8bf15a5939881d6e0f7761d224808 RANDOM SEED=1721415786 node105.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.840 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.68 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.840 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.15 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.840 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.840 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.840 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.94 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.840 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.70 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.840 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.82 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.840 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29932272 kB Buffers: 210208 kB Cached: 1817148 kB SwapCached: 0 kB Active: 1319380 kB Inactive: 1552416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29932272 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 845248 kB Mapped: 20276 kB Slab: 80784 kB PageTables: 6396 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1663976 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 node105 at 2010-06-30 22:05:22