Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 449.846 | 449.832 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo |
MD5SUM | 20db9b5796300dda9a6b98219b888af4 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 926.065 |
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 | 641 |
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-2690717-1277906330.wbo. 0.00/0.00 c Instance file HOME/instance-2690717-1277906330.wbo 0.00/0.00 c File size is 87911 bytes. 0.00/0.00 c Highest Coefficient sum: 641 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.01 c | 102 | 231 2707 8338 | 5500 102 22 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 28 | 0.002 % | 0.00/0.02 c | 477 | 231 2707 8338 | 6655 477 29 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 28 | 0.002 % | 0.00/0.04 c | 1320 | 231 2707 8338 | 8052 1320 28 | 0.002 % | 0.05/0.06 c | 2079 | 231 2707 8338 | 8857 2079 28 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 30 | 0.002 % | 0.09/0.16 c | 4931 | 231 2707 8338 | 10717 4931 30 | 0.002 % | 0.19/0.27 c | 7494 | 231 2707 8338 | 11789 7494 31 | 0.002 % | 0.39/0.47 c | 11339 | 231 2707 8338 | 12968 11339 31 | 0.002 % | 0.69/0.79 c | 17107 | 231 2707 8338 | 14265 10571 33 | 0.002 % | 1.29/1.32 c | 25759 | 231 2707 8338 | 15692 12043 36 | 0.002 % | 2.20/2.21 c | 38736 | 231 2707 8338 | 17261 9203 37 | 0.002 % | 3.49/3.58 c | 58197 | 231 2707 8338 | 18987 11270 41 | 0.002 % | 6.09/6.14 c | 87389 | 231 2707 8338 | 20886 11814 40 | 0.002 % | 10.09/10.14 c | 131178 | 231 2707 8338 | 22974 13607 43 | 0.002 % | 15.89/15.93 c | 196862 | 231 2707 8338 | 25272 21607 38 | 0.002 % | 25.39/25.46 c | 295389 | 231 2707 8338 | 27799 12117 38 | 0.002 % | 40.09/40.13 c | 443178 | 231 2707 8338 | 30579 17693 38 | 0.002 % | 62.39/62.46 c | 664861 | 231 2707 8338 | 33637 15061 39 | 0.002 % | 99.09/99.13 c | 997386 | 230 2707 8338 | 37001 25528 41 | 0.435 % | 160.50/160.53 c | 1496174 | 229 2707 8338 | 40701 35771 41 | 0.868 % | 181.79/181.85 c There are 2 assigned variables. 0 in cost function. 182.39/182.44 c ============================[ Search Statistics ]============================== 182.39/182.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.39/182.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.39/182.44 c =============================================================================== 182.39/182.44 c | 0 | 229 2655 8154 | 5000 0 nan | 0.000 % | 182.39/182.49 c | 103 | 229 2655 8154 | 5500 103 16 | 0.868 % | 182.50/182.57 c | 255 | 229 2655 8154 | 6050 255 21 | 0.868 % | 182.50/182.57 c | 480 | 229 2655 8154 | 6655 480 24 | 0.868 % | 182.50/182.58 c | 817 | 229 2655 8154 | 7320 817 23 | 0.868 % | 182.50/182.60 c | 1323 | 229 2655 8154 | 8052 1323 22 | 0.868 % | 182.61/182.62 c | 2083 | 229 2655 8154 | 8857 2083 25 | 0.868 % | 182.61/182.67 c | 3222 | 229 2655 8154 | 9743 3222 25 | 0.868 % | 182.70/182.73 c | 4932 | 229 2655 8154 | 10717 4932 25 | 0.868 % | 182.80/182.85 c | 7496 | 229 2655 8154 | 11789 7496 24 | 0.868 % | 183.00/183.08 c | 11341 | 229 2655 8154 | 12968 11341 25 | 0.868 % | 183.39/183.46 c | 17108 | 229 2655 8154 | 14265 10568 27 | 0.868 % | 184.00/184.02 c | 25759 | 229 2655 8154 | 15692 12017 26 | 0.868 % | 184.89/184.99 c | 38733 | 229 2655 8154 | 17261 9193 29 | 0.868 % | 186.40/186.50 c | 58195 | 229 2655 8154 | 18987 11283 29 | 0.868 % | 189.10/189.17 c | 87387 | 229 2655 8154 | 20886 11845 34 | 0.868 % | 193.60/193.70 c | 131177 | 229 2655 8154 | 22974 13632 36 | 0.868 % | 200.40/200.42 c | 196863 | 229 2655 8154 | 25272 21529 31 | 0.868 % | 211.10/211.15 c | 295390 | 229 2655 8154 | 27799 24302 29 | 0.868 % | 227.20/227.22 c | 443179 | 229 2655 8154 | 30579 12676 27 | 0.868 % | 252.20/252.26 c | 664862 | 229 2655 8154 | 33637 14056 31 | 0.868 % | 290.90/290.99 c | 997387 | 229 2655 8154 | 37001 28269 29 | 0.868 % | 344.21/344.28 c | 1496177 | 229 2655 8154 | 40701 34602 25 | 0.868 % | 431.30/431.32 c | 2244360 | 228 2655 8154 | 44771 22878 28 | 1.301 % | 448.71/448.74 c =============================================================================== 449.81/449.80 c core #1 449.81/449.80 c 449.81/449.80 c 449.81/449.80 c Core size: 13 Core Weight: 2147483647 Total Weight: 2147483647 449.81/449.80 c 449.81/449.80 c 449.81/449.80 c Memory used : 757.25 MB 449.81/449.80 c CPU time : 445.438 s 449.81/449.80 c 449.81/449.80 s UNSATISFIABLE 449.81/449.80 c Total CPU time: 445.438 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-2690717-1277906330/watcher-2690717-1277906330 -o /tmp/evaluation-result-2690717-1277906330/solver-2690717-1277906330 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690717-1277906330.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.08 2.26 4/178 24809 /proc/meminfo: memFree=31465560/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=2656 CPUtime=0 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 307 0 0 0 0 0 0 0 25 0 1 0 166236721 2719744 225 4089446400 134512640 135752675 4288353376 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 664 225 147 303 0 337 0 [startup+0.0535861 s] /proc/loadavg: 2.00 2.08 2.26 4/178 24809 /proc/meminfo: memFree=31465560/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=3096 CPUtime=0.05 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 453 0 0 0 5 0 0 0 25 0 1 0 166236721 3170304 349 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 774 349 144 303 0 469 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3096 [startup+0.100575 s] /proc/loadavg: 2.00 2.08 2.26 4/178 24809 /proc/meminfo: memFree=31465560/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=3492 CPUtime=0.09 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 554 0 0 0 9 0 0 0 25 0 1 0 166236721 3575808 450 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 873 450 144 303 0 568 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3492 [startup+0.300539 s] /proc/loadavg: 2.00 2.08 2.26 4/178 24809 /proc/meminfo: memFree=31465560/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=4812 CPUtime=0.29 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 882 0 0 0 28 1 0 0 25 0 1 0 166236721 4927488 778 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 1203 778 144 303 0 898 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4812 [startup+0.700479 s] /proc/loadavg: 2.00 2.08 2.26 4/178 24809 /proc/meminfo: memFree=31465560/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=6928 CPUtime=0.69 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 1410 0 0 0 67 2 0 0 25 0 1 0 166236721 7094272 1306 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 1732 1306 144 303 0 1427 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6928 [startup+1.50032 s] /proc/loadavg: 2.00 2.08 2.26 3/179 24810 /proc/meminfo: memFree=31459220/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=10756 CPUtime=1.49 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 2347 0 0 0 146 3 0 0 25 0 1 0 166236721 11014144 2243 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 2689 2243 144 303 0 2384 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10756 [startup+3.10103 s] /proc/loadavg: 2.00 2.08 2.26 3/179 24810 /proc/meminfo: memFree=31454260/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=17620 CPUtime=3.1 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 4062 0 0 0 304 6 0 0 25 0 1 0 166236721 18042880 3958 4089446400 134512640 135752675 4288353376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 4405 3958 144 303 0 4100 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 17620 [startup+6.30045 s] /proc/loadavg: 2.00 2.08 2.26 3/179 24810 /proc/meminfo: memFree=31441224/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=29204 CPUtime=6.29 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 6956 0 0 0 619 10 0 0 25 0 1 0 166236721 29904896 6852 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 7301 6852 144 303 0 6996 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29204 [startup+12.7003 s] /proc/loadavg: 2.00 2.08 2.26 3/179 24810 /proc/meminfo: memFree=31419888/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=50604 CPUtime=12.69 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 12301 0 0 0 1252 17 0 0 25 0 1 0 166236721 51818496 12197 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 12651 12197 144 303 0 12346 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50604 [startup+25.5009 s] /proc/loadavg: 2.00 2.07 2.25 3/179 24810 /proc/meminfo: memFree=31378056/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=90768 CPUtime=25.49 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 22364 0 0 0 2516 33 0 0 25 0 1 0 166236721 92946432 22260 4089446400 134512640 135752675 4288353376 18446744073709551615 134611992 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 22692 22260 144 303 0 22387 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 90768 [startup+51.1003 s] /proc/loadavg: 2.00 2.07 2.24 3/179 24811 /proc/meminfo: memFree=31301880/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=167484 CPUtime=51.09 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 41517 0 0 0 5048 61 0 0 25 0 1 0 166236721 171503616 41413 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 41871 41413 144 303 0 41566 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 167484 [startup+102.306 s] /proc/loadavg: 2.00 2.05 2.23 3/179 24812 /proc/meminfo: memFree=31158880/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=308076 CPUtime=102.3 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 76670 0 0 0 10117 113 0 0 25 0 1 0 166236721 315469824 76566 4089446400 134512640 135752675 4288353376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 77019 76566 144 303 0 76714 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 308076 [startup+162.301 s] /proc/loadavg: 2.07 2.06 2.22 3/179 24823 /proc/meminfo: memFree=31012936/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=454228 CPUtime=162.29 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 113172 0 0 0 16060 169 0 0 25 0 1 0 166236721 465129472 113068 4089446400 134512640 135752675 4288353376 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 113557 113068 144 303 0 113252 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 454228 [startup+222.301 s] /proc/loadavg: 2.02 2.05 2.20 3/179 24825 /proc/meminfo: memFree=30962908/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=501220 CPUtime=222.3 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 124965 0 0 0 22003 227 0 0 25 0 1 0 166236721 513249280 124821 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 125305 124821 146 303 0 125000 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 501220 [startup+282.301 s] /proc/loadavg: 2.04 2.05 2.19 3/179 24826 /proc/meminfo: memFree=30939916/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=522080 CPUtime=282.3 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 130207 0 0 0 27950 280 0 0 25 0 1 0 166236721 534609920 130063 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 130520 130063 146 303 0 130215 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 522080 [startup+342.301 s] /proc/loadavg: 2.01 2.04 2.17 3/179 24828 /proc/meminfo: memFree=30861756/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=599500 CPUtime=342.3 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 149573 0 0 0 33892 338 0 0 25 0 1 0 166236721 613888000 149429 4089446400 134512640 135752675 4288353376 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 149875 149429 146 303 0 149570 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 599500 [startup+402.301 s] /proc/loadavg: 2.00 2.03 2.16 3/179 24829 /proc/meminfo: memFree=30765984/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=696040 CPUtime=402.3 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 173667 0 0 0 39836 394 0 0 25 0 1 0 166236721 712744960 173523 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 174010 173523 146 303 0 173705 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 696040 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 2.00 2.03 2.16 3/179 24829 /proc/meminfo: memFree=30753456/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=707400 CPUtime=409.5 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 176501 0 0 0 40548 402 0 0 25 0 1 0 166236721 724377600 176357 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 176850 176357 146 303 0 176545 0 Current children cumulated CPU time (s) 409.5 Current children cumulated vsize (KiB) 707400 [startup+435.101 s] /proc/loadavg: 2.00 2.02 2.16 3/179 24830 /proc/meminfo: memFree=30715372/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=746196 CPUtime=435.11 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 186181 0 0 0 43085 426 0 0 25 0 1 0 166236721 764104704 186037 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 186549 186037 146 303 0 186244 0 Current children cumulated CPU time (s) 435.11 Current children cumulated vsize (KiB) 746196 [startup+441.501 s] /proc/loadavg: 2.00 2.02 2.15 3/179 24831 /proc/meminfo: memFree=30705820/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=755488 CPUtime=441.5 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 188507 0 0 0 43719 431 0 0 25 0 1 0 166236721 773619712 188363 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 188872 188363 146 303 0 188567 0 Current children cumulated CPU time (s) 441.5 Current children cumulated vsize (KiB) 755488 [startup+444.7 s] /proc/loadavg: 2.00 2.02 2.15 3/179 24831 /proc/meminfo: memFree=30700984/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=760108 CPUtime=444.7 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 189666 0 0 0 44036 434 0 0 25 0 1 0 166236721 778350592 189522 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 190027 189522 146 303 0 189722 0 Current children cumulated CPU time (s) 444.7 Current children cumulated vsize (KiB) 760108 [startup+447.901 s] /proc/loadavg: 2.00 2.02 2.15 3/179 24831 /proc/meminfo: memFree=30696272/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=764596 CPUtime=447.9 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 190792 0 0 0 44353 437 0 0 25 0 1 0 166236721 782946304 190648 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 191149 190648 146 303 0 190844 0 Current children cumulated CPU time (s) 447.9 Current children cumulated vsize (KiB) 764596 [startup+448.701 s] /proc/loadavg: 2.00 2.02 2.15 3/179 24831 /proc/meminfo: memFree=30695032/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=765388 CPUtime=448.71 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 190980 0 0 0 44434 437 0 0 25 0 1 0 166236721 783757312 190836 4089446400 134512640 135752675 4288353376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 191347 190836 146 303 0 191042 0 Current children cumulated CPU time (s) 448.71 Current children cumulated vsize (KiB) 765388 [startup+449.5 s] /proc/loadavg: 2.00 2.02 2.15 3/179 24831 /proc/meminfo: memFree=30695032/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=775288 CPUtime=449.51 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 193470 0 0 0 44513 438 0 0 25 0 1 0 166236721 793894912 193326 4089446400 134512640 135752675 4288353376 18446744073709551615 134615259 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 193822 193326 146 303 0 193517 0 Current children cumulated CPU time (s) 449.51 Current children cumulated vsize (KiB) 775288 [startup+449.7 s] /proc/loadavg: 2.00 2.02 2.15 3/179 24831 /proc/meminfo: memFree=30695032/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=775420 CPUtime=449.71 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 193489 0 0 0 44533 438 0 0 25 0 1 0 166236721 794030080 193345 4089446400 134512640 135752675 4288353376 18446744073709551615 134615120 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 193855 193345 146 303 0 193550 0 Current children cumulated CPU time (s) 449.71 Current children cumulated vsize (KiB) 775420 [startup+449.8 s] /proc/loadavg: 2.00 2.02 2.15 3/179 24831 /proc/meminfo: memFree=30684740/32951124 swapFree=67111528/67111528 [pid=24809] ppid=24807 vsize=775420 CPUtime=449.81 /proc/24809/stat : 24809 (wbo1.4b) R 24807 24809 23660 0 -1 4202496 193489 0 0 0 44543 438 0 0 25 0 1 0 166236721 794030080 193345 4089446400 134512640 135752675 4288353376 18446744073709551615 134615571 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/24809/statm: 193855 193345 146 303 0 193550 0 Current children cumulated CPU time (s) 449.81 Current children cumulated vsize (KiB) 775420 Child status: 0 Real time (s): 449.832 CPU time (s): 449.846 CPU user time (s): 445.438 CPU system time (s): 4.40733 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 775420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 445.438 system time used= 4.40733 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 193491 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 296 runsolver used 0.661899 second user time and 1.39479 second system time The end
Begin job on node110 at 2010-06-30 15:58:50 IDJOB=2690717 IDBENCH=78938 IDSOLVER=1201 FILE ID=node110/2690717-1277906330 PBS_JOBID= 11197210 Free space on /tmp= 74204 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690717-1277906330/watcher-2690717-1277906330 -o /tmp/evaluation-result-2690717-1277906330/solver-2690717-1277906330 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690717-1277906330.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 20db9b5796300dda9a6b98219b888af4 RANDOM SEED=43199055 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: 31465964 kB Buffers: 192556 kB Cached: 995776 kB SwapCached: 0 kB Active: 715412 kB Inactive: 627996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31465964 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 155564 kB Mapped: 17220 kB Slab: 78292 kB PageTables: 4616 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 304840 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= 74204 MiB End job on node110 at 2010-06-30 16:06:20