Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 374.569 | 374.558 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo |
MD5SUM | cf389047fd441928b15b38cce26251ed |
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 | 273.451 |
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 | 685 |
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-2690239-1277928086.wbo. 0.00/0.00 c Instance file HOME/instance-2690239-1277928086.wbo 0.00/0.00 c File size is 96759 bytes. 0.00/0.00 c Highest Coefficient sum: 685 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 28 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 30 | 0.002 % | 0.00/0.02 c | 477 | 231 2707 8338 | 6655 477 30 | 0.002 % | 0.00/0.03 c | 816 | 231 2707 8338 | 7320 816 32 | 0.002 % | 0.04/0.04 c | 1322 | 231 2707 8338 | 8052 1322 33 | 0.002 % | 0.04/0.06 c | 2081 | 231 2707 8338 | 8857 2081 32 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 32 | 0.002 % | 0.09/0.17 c | 4932 | 231 2707 8338 | 10717 4932 32 | 0.002 % | 0.19/0.28 c | 7495 | 231 2707 8338 | 11789 7495 31 | 0.002 % | 0.39/0.48 c | 11339 | 231 2707 8338 | 12968 11339 31 | 0.002 % | 0.79/0.87 c | 17105 | 231 2707 8338 | 14265 10565 34 | 0.002 % | 1.38/1.49 c | 25754 | 231 2707 8338 | 15692 12022 37 | 0.002 % | 2.49/2.53 c | 38728 | 231 2707 8338 | 17261 9201 37 | 0.002 % | 4.30/4.33 c | 58191 | 231 2707 8338 | 18987 11292 39 | 0.002 % | 6.89/6.91 c | 87383 | 231 2707 8338 | 20886 11811 38 | 0.002 % | 11.19/11.20 c | 131172 | 231 2707 8338 | 22974 13641 38 | 0.002 % | 18.39/18.40 c | 196856 | 231 2707 8338 | 25272 21636 41 | 0.002 % | 29.89/29.96 c | 295382 | 231 2707 8338 | 27799 13850 38 | 0.002 % | 47.19/47.27 c | 443172 | 231 2707 8338 | 30579 19947 39 | 0.002 % | 76.49/76.50 c | 664856 | 231 2707 8338 | 33637 24040 42 | 0.002 % | 121.50/121.59 c | 997381 | 231 2707 8338 | 37001 17424 37 | 0.002 % | 181.70/181.71 c There are 0 assigned variables. 0 in cost function. 182.20/182.27 c ============================[ Search Statistics ]============================== 182.20/182.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.20/182.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.20/182.27 c =============================================================================== 182.20/182.27 c | 0 | 231 2713 8356 | 5000 0 nan | 0.000 % | 182.40/182.40 c | 101 | 231 2713 8356 | 5500 101 20 | 0.002 % | 182.40/182.40 c | 252 | 231 2713 8356 | 6050 252 23 | 0.002 % | 182.40/182.41 c | 477 | 231 2713 8356 | 6655 477 24 | 0.002 % | 182.40/182.42 c | 814 | 231 2713 8356 | 7320 814 24 | 0.002 % | 182.40/182.44 c | 1322 | 231 2713 8356 | 8052 1322 24 | 0.002 % | 182.40/182.46 c | 2082 | 231 2713 8356 | 8857 2082 25 | 0.002 % | 182.50/182.51 c | 3221 | 231 2713 8356 | 9743 3221 23 | 0.002 % | 182.50/182.59 c | 4929 | 231 2713 8356 | 10717 4929 25 | 0.002 % | 182.69/182.73 c | 7497 | 231 2713 8356 | 11789 7497 26 | 0.002 % | 182.90/182.99 c | 11341 | 231 2713 8356 | 12968 11341 27 | 0.002 % | 183.39/183.43 c | 17107 | 231 2713 8356 | 14265 10555 27 | 0.002 % | 184.00/184.05 c | 25757 | 231 2713 8356 | 15692 12018 26 | 0.002 % | 185.10/185.19 c | 38731 | 231 2713 8356 | 17261 9188 32 | 0.002 % | 187.10/187.11 c | 58192 | 231 2713 8356 | 18987 11303 33 | 0.002 % | 190.20/190.27 c | 87385 | 231 2713 8356 | 20886 11837 34 | 0.002 % | 195.10/195.11 c | 131175 | 231 2713 8356 | 22974 13625 33 | 0.002 % | 202.19/202.29 c | 196860 | 231 2713 8356 | 25272 21595 30 | 0.002 % | 215.10/215.16 c | 295386 | 231 2713 8356 | 27799 15447 24 | 0.002 % | 237.20/237.21 c | 443176 | 231 2713 8356 | 30579 24028 33 | 0.002 % | 268.00/268.08 c | 664859 | 231 2713 8356 | 33637 27542 34 | 0.002 % | 311.70/311.78 c | 997384 | 231 2713 8356 | 37001 23417 35 | 0.002 % | 372.71/372.76 c =============================================================================== 374.50/374.53 c core #1 374.50/374.53 c 374.50/374.53 c 374.50/374.53 c Core size: 11 Core Weight: 2147483647 Total Weight: 2147483647 374.50/374.53 c 374.50/374.53 c 374.50/374.53 c Memory used : 581.65 MB 374.50/374.53 c CPU time : 370.906 s 374.50/374.53 c 374.50/374.53 s UNSATISFIABLE 374.50/374.53 c Total CPU time: 370.906 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-2690239-1277928086/watcher-2690239-1277928086 -o /tmp/evaluation-result-2690239-1277928086/solver-2690239-1277928086 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690239-1277928086.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.83 2.70 2.42 4/199 27150 /proc/meminfo: memFree=31221364/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=2796 CPUtime=0 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 313 0 0 0 0 0 0 0 23 0 1 0 168412122 2863104 231 4089446400 134512640 135752675 4288856944 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27150/statm: 699 231 149 303 0 370 0 [startup+0.043194 s] /proc/loadavg: 2.83 2.70 2.42 4/199 27150 /proc/meminfo: memFree=31221364/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=3096 CPUtime=0.04 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 445 0 0 0 4 0 0 0 18 0 1 0 168412122 3170304 339 4089446400 134512640 135752675 4288856944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27150/statm: 774 339 144 303 0 469 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3096 [startup+0.101181 s] /proc/loadavg: 2.83 2.70 2.42 4/199 27150 /proc/meminfo: memFree=31221364/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=3624 CPUtime=0.09 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 581 0 0 0 9 0 0 0 18 0 1 0 168412122 3710976 475 4089446400 134512640 135752675 4288856944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27150/statm: 906 476 144 303 0 601 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3624 [startup+0.301132 s] /proc/loadavg: 2.83 2.70 2.42 4/199 27150 /proc/meminfo: memFree=31221364/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=5076 CPUtime=0.29 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 942 0 0 0 29 0 0 0 18 0 1 0 168412122 5197824 836 4089446400 134512640 135752675 4288856944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27150/statm: 1269 836 144 303 0 964 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5076 [startup+0.701054 s] /proc/loadavg: 2.83 2.70 2.42 4/199 27150 /proc/meminfo: memFree=31221364/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=7200 CPUtime=0.69 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 1475 0 0 0 68 1 0 0 18 0 1 0 168412122 7372800 1369 4089446400 134512640 135752675 4288856944 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27150/statm: 1800 1369 144 303 0 1495 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7200 [startup+1.50092 s] /proc/loadavg: 2.83 2.70 2.42 4/200 27151 /proc/meminfo: memFree=31214948/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=10764 CPUtime=1.49 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 2369 0 0 0 146 3 0 0 19 0 1 0 168412122 11022336 2263 4089446400 134512640 135752675 4288856944 18446744073709551615 134612086 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27150/statm: 2691 2263 144 303 0 2386 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10764 [startup+3.10061 s] /proc/loadavg: 2.83 2.70 2.42 4/200 27151 /proc/meminfo: memFree=31209740/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=17100 CPUtime=3.09 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 3939 0 0 0 304 5 0 0 25 0 1 0 168412122 17510400 3833 4089446400 134512640 135752675 4288856944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27150/statm: 4275 3833 144 303 0 3970 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17100 [startup+6.30101 s] /proc/loadavg: 2.85 2.71 2.43 4/200 27151 /proc/meminfo: memFree=31196964/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=28348 CPUtime=6.29 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 6764 0 0 0 620 9 0 0 25 0 1 0 168412122 29028352 6658 4089446400 134512640 135752675 4288856944 18446744073709551615 134611636 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27150/statm: 7087 6658 144 303 0 6782 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28348 [startup+12.7008 s] /proc/loadavg: 2.86 2.71 2.43 4/200 27152 /proc/meminfo: memFree=31175268/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=49468 CPUtime=12.69 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 12051 0 0 0 1252 17 0 0 25 0 1 0 168412122 50655232 11945 4089446400 134512640 135752675 4288856944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27150/statm: 12367 11945 144 303 0 12062 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49468 [startup+25.5005 s] /proc/loadavg: 2.82 2.71 2.43 4/200 27152 /proc/meminfo: memFree=31136816/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=87256 CPUtime=25.49 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 21469 0 0 0 2519 30 0 0 25 0 1 0 168412122 89350144 21363 4089446400 134512640 135752675 4288856944 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27150/statm: 21814 21363 144 303 0 21509 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 87256 [startup+51.1007 s] /proc/loadavg: 2.81 2.71 2.44 3/200 27153 /proc/meminfo: memFree=31064732/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=157456 CPUtime=51.09 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 38997 0 0 0 5053 56 0 0 25 0 1 0 168412122 161234944 38891 4089446400 134512640 135752675 4288856944 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27150/statm: 39364 38891 144 303 0 39059 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 157456 [startup+102.306 s] /proc/loadavg: 3.16 2.82 2.49 4/200 27154 /proc/meminfo: memFree=30932348/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=284292 CPUtime=102.3 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 70726 0 0 0 10129 101 0 0 25 0 1 0 168412122 291115008 70620 4089446400 134512640 135752675 4288856944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27150/statm: 71073 70620 144 303 0 70768 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 284292 [startup+162.301 s] /proc/loadavg: 3.02 2.84 2.51 4/200 27156 /proc/meminfo: memFree=30785088/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=429908 CPUtime=162.29 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 107101 0 0 0 16076 153 0 0 25 0 1 0 168412122 440225792 106995 4089446400 134512640 135752675 4288856944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27150/statm: 107477 106995 144 303 0 107172 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 429908 [startup+222.301 s] /proc/loadavg: 2.90 2.83 2.53 4/200 27157 /proc/meminfo: memFree=30731820/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=477296 CPUtime=222.3 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 118994 0 0 0 22024 206 0 0 25 0 1 0 168412122 488751104 118851 4089446400 134512640 135752675 4288856944 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27150/statm: 119324 118851 146 303 0 119019 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 477296 [startup+282.301 s] /proc/loadavg: 2.89 2.84 2.55 4/200 27159 /proc/meminfo: memFree=30728772/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=477296 CPUtime=282.3 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 119008 0 0 0 27981 249 0 0 25 0 1 0 168412122 488751104 118865 4089446400 134512640 135752675 4288856944 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27150/statm: 119324 118865 146 303 0 119019 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 477296 [startup+342.301 s] /proc/loadavg: 2.29 2.67 2.51 3/179 27210 /proc/meminfo: memFree=30803540/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=538112 CPUtime=342.3 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 134215 0 0 0 33904 326 0 0 25 0 1 0 168412122 551026688 134072 4089446400 134512640 135752675 4288856944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27150/statm: 134528 134072 146 303 0 134223 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 538112 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 2.22 2.64 2.50 3/179 27210 /proc/meminfo: memFree=30737812/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=563060 CPUtime=358.3 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 140448 0 0 0 35483 347 0 0 25 0 1 0 168412122 576573440 140305 4089446400 134512640 135752675 4288856944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27150/statm: 140765 140305 146 303 0 140460 0 Current children cumulated CPU time (s) 358.3 Current children cumulated vsize (KiB) 563060 [startup+364.701 s] /proc/loadavg: 2.21 2.63 2.50 3/179 27210 /proc/meminfo: memFree=30712144/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=572904 CPUtime=364.7 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 142897 0 0 0 36114 356 0 0 25 0 1 0 168412122 586653696 142754 4089446400 134512640 135752675 4288856944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27150/statm: 143226 142754 146 303 0 142921 0 Current children cumulated CPU time (s) 364.7 Current children cumulated vsize (KiB) 572904 [startup+371.1 s] /proc/loadavg: 2.17 2.61 2.49 3/179 27210 /proc/meminfo: memFree=30688088/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=580296 CPUtime=371.1 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 144743 0 0 0 36748 362 0 0 25 0 1 0 168412122 594223104 144600 4089446400 134512640 135752675 4288856944 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27150/statm: 145074 144600 146 303 0 144769 0 Current children cumulated CPU time (s) 371.1 Current children cumulated vsize (KiB) 580296 [startup+372.701 s] /proc/loadavg: 2.17 2.61 2.49 3/179 27210 /proc/meminfo: memFree=30684492/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=581352 CPUtime=372.71 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 145027 0 0 0 36908 363 0 0 25 0 1 0 168412122 595304448 144884 4089446400 134512640 135752675 4288856944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27150/statm: 145338 144884 146 303 0 145033 0 Current children cumulated CPU time (s) 372.71 Current children cumulated vsize (KiB) 581352 [startup+373.501 s] /proc/loadavg: 2.17 2.61 2.49 3/179 27210 /proc/meminfo: memFree=30680152/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=592572 CPUtime=373.5 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 147813 0 0 0 36987 363 0 0 25 0 1 0 168412122 606793728 147670 4089446400 134512640 135752675 4288856944 18446744073709551615 134516342 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27150/statm: 148143 147670 146 303 0 147838 0 Current children cumulated CPU time (s) 373.5 Current children cumulated vsize (KiB) 592572 [startup+374.301 s] /proc/loadavg: 2.17 2.61 2.49 3/179 27210 /proc/meminfo: memFree=30664528/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=595608 CPUtime=374.3 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 148588 0 0 0 37067 363 0 0 25 0 1 0 168412122 609902592 148445 4089446400 134512640 135752675 4288856944 18446744073709551615 134615259 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27150/statm: 148902 148445 146 303 0 148597 0 Current children cumulated CPU time (s) 374.3 Current children cumulated vsize (KiB) 595608 [startup+374.501 s] /proc/loadavg: 2.17 2.61 2.49 3/179 27210 /proc/meminfo: memFree=30664528/32950928 swapFree=67111528/67111528 [pid=27150] ppid=27148 vsize=595608 CPUtime=374.5 /proc/27150/stat : 27150 (wbo1.4b) R 27148 27150 26572 0 -1 4202496 148588 0 0 0 37087 363 0 0 25 0 1 0 168412122 609902592 148445 4089446400 134512640 135752675 4288856944 18446744073709551615 134615134 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/27150/statm: 148902 148445 146 303 0 148597 0 Current children cumulated CPU time (s) 374.5 Current children cumulated vsize (KiB) 595608 Child status: 0 Real time (s): 374.558 CPU time (s): 374.569 CPU user time (s): 370.906 CPU system time (s): 3.66344 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 595608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 370.906 system time used= 3.66344 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148591 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= 591 runsolver used 0.59091 second user time and 1.23681 second system time The end
Begin job on node113 at 2010-06-30 22:01:26 IDJOB=2690239 IDBENCH=79285 IDSOLVER=1201 FILE ID=node113/2690239-1277928086 PBS_JOBID= 11197353 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.1900565534--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-2690239-1277928086/watcher-2690239-1277928086 -o /tmp/evaluation-result-2690239-1277928086/solver-2690239-1277928086 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690239-1277928086.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cf389047fd441928b15b38cce26251ed RANDOM SEED=2111572532 node113.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.812 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.812 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.83 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.812 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.812 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.83 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.812 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.812 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.812 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.812 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31221684 kB Buffers: 210988 kB Cached: 1036160 kB SwapCached: 0 kB Active: 879984 kB Inactive: 704972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31221684 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 337896 kB Mapped: 20492 kB Slab: 79580 kB PageTables: 5276 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1654228 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 node113 at 2010-06-30 22:07:41