Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | UNSAT | 674.906 | 675.116 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb |
MD5SUM | 76a48b8845ca731b7df3e7e82d604015 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 63.3934 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of 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 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 687 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655585-1276314770.opb. 0.00/0.00 c Instance file HOME/instance-2655585-1276314770.opb 0.00/0.00 c File size is 83375 bytes. 0.00/0.01 c Highest Coefficient sum: 687 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 231 | 0.00/0.01 c | Number Clauses: 2684 | 0.00/0.01 c | Number Cardinality: 22 | 0.00/0.01 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 | 103 | 231 2707 8338 | 5500 103 15 | 0.002 % | 0.00/0.02 c | 253 | 231 2707 8338 | 6050 253 18 | 0.002 % | 0.00/0.03 c | 478 | 231 2707 8338 | 6655 478 17 | 0.002 % | 0.04/0.05 c | 815 | 231 2707 8338 | 7320 815 21 | 0.002 % | 0.04/0.08 c | 1321 | 231 2707 8338 | 8052 1321 23 | 0.002 % | 0.10/0.12 c | 2080 | 231 2707 8338 | 8857 2080 22 | 0.002 % | 0.19/0.20 c | 3219 | 231 2707 8338 | 9743 3219 23 | 0.002 % | 0.30/0.34 c | 4928 | 231 2707 8338 | 10717 4928 25 | 0.002 % | 0.49/0.56 c | 7490 | 231 2707 8338 | 11789 7490 25 | 0.002 % | 0.89/0.94 c | 11335 | 231 2707 8338 | 12968 11335 26 | 0.002 % | 1.69/1.72 c | 17101 | 231 2707 8338 | 14265 10568 28 | 0.002 % | 2.79/2.89 c | 25750 | 231 2707 8338 | 15692 12026 29 | 0.002 % | 4.99/5.05 c | 38727 | 231 2707 8338 | 17261 9217 29 | 0.002 % | 8.39/8.44 c | 58189 | 231 2707 8338 | 18987 11317 30 | 0.002 % | 13.09/13.13 c | 87382 | 231 2707 8338 | 20886 11853 24 | 0.002 % | 20.59/20.63 c | 131173 | 231 2707 8338 | 22974 13629 27 | 0.002 % | 33.18/33.27 c | 196858 | 231 2707 8338 | 25272 21348 27 | 0.002 % | 53.97/54.05 c | 295384 | 231 2707 8338 | 27799 12791 25 | 0.002 % | 89.56/89.60 c | 443173 | 231 2707 8338 | 30579 18808 26 | 0.002 % | 143.14/143.26 c | 664856 | 231 2707 8338 | 33637 19296 26 | 0.002 % | 228.01/228.16 c | 997384 | 231 2707 8338 | 37001 32210 26 | 0.002 % | 379.38/379.59 c | 1496174 | 231 2707 8338 | 40701 23551 26 | 0.002 % | 631.99/632.22 c | 2244356 | 231 2707 8338 | 44771 29024 23 | 0.039 % | 674.78/675.07 c =============================================================================== 674.78/675.07 c core #1 674.78/675.07 c Memory used : 425.78 MB 674.78/675.07 c CPU time : 667.513 s 674.78/675.07 c 674.78/675.07 s UNSATISFIABLE 674.78/675.07 c Total CPU time: 667.513 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-2655585-1276314770/watcher-2655585-1276314770 -o /tmp/evaluation-result-2655585-1276314770/solver-2655585-1276314770 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2655585-1276314770.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.00 1.21 3/106 7266 /proc/meminfo: memFree=1530308/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=2656 CPUtime=0 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 7080871 2719744 198 1992294400 134512640 135751879 4294890816 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 664 198 139 303 0 338 0 [startup+0.0556031 s] /proc/loadavg: 0.92 1.00 1.21 3/106 7266 /proc/meminfo: memFree=1530308/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=2836 CPUtime=0.04 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 367 0 0 0 4 0 0 0 20 0 1 0 7080871 2904064 264 1992294400 134512640 135751879 4294890816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 709 264 143 303 0 404 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2836 [startup+0.101607 s] /proc/loadavg: 0.92 1.00 1.21 3/106 7266 /proc/meminfo: memFree=1530308/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=2968 CPUtime=0.1 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 407 0 0 0 9 1 0 0 20 0 1 0 7080871 3039232 304 1992294400 134512640 135751879 4294890816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 742 304 143 303 0 437 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2968 [startup+0.301626 s] /proc/loadavg: 0.92 1.00 1.21 3/106 7266 /proc/meminfo: memFree=1530308/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=3496 CPUtime=0.3 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 545 0 0 0 28 2 0 0 20 0 1 0 7080871 3579904 442 1992294400 134512640 135751879 4294890816 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 874 442 143 303 0 569 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3496 [startup+0.700665 s] /proc/loadavg: 0.92 1.00 1.21 3/106 7266 /proc/meminfo: memFree=1530308/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=4420 CPUtime=0.69 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 768 0 0 0 66 3 0 0 21 0 1 0 7080871 4526080 665 1992294400 134512640 135751879 4294890816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 1105 665 143 303 0 800 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4420 [startup+1.50074 s] /proc/loadavg: 0.92 1.00 1.21 2/107 7267 /proc/meminfo: memFree=1527572/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=5740 CPUtime=1.49 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 1110 0 0 0 144 5 0 0 23 0 1 0 7080871 5877760 1007 1992294400 134512640 135751879 4294890816 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 1435 1007 143 303 0 1130 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5740 [startup+3.10089 s] /proc/loadavg: 0.92 1.00 1.21 2/107 7267 /proc/meminfo: memFree=1525712/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=7984 CPUtime=3.09 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 1669 0 0 0 302 7 0 0 25 0 1 0 7080871 8175616 1566 1992294400 134512640 135751879 4294890816 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 1996 1566 143 303 0 1691 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7984 [startup+6.3012 s] /proc/loadavg: 0.93 1.00 1.21 2/107 7267 /proc/meminfo: memFree=1521248/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=12076 CPUtime=6.29 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 2672 0 0 0 617 12 0 0 25 0 1 0 7080871 12365824 2569 1992294400 134512640 135751879 4294890816 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 3019 2569 143 303 0 2714 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12076 [startup+12.7008 s] /proc/loadavg: 0.93 1.00 1.21 2/107 7267 /proc/meminfo: memFree=1513312/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=19664 CPUtime=12.69 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 4587 0 0 0 1247 22 0 0 25 0 1 0 7080871 20135936 4484 1992294400 134512640 135751879 4294890816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 4916 4484 143 303 0 4611 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19664 [startup+25.501 s] /proc/loadavg: 0.95 1.00 1.20 2/107 7267 /proc/meminfo: memFree=1499176/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=33280 CPUtime=25.48 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 7991 0 0 0 2508 40 0 0 25 0 1 0 7080871 34078720 7888 1992294400 134512640 135751879 4294890816 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 8320 7888 143 303 0 8015 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33280 [startup+51.1015 s] /proc/loadavg: 0.96 1.00 1.20 2/107 7267 /proc/meminfo: memFree=1475492/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=56956 CPUtime=51.07 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 13904 0 0 0 5028 79 0 0 25 0 1 0 7080871 58322944 13801 1992294400 134512640 135751879 4294890816 18446744073709551615 134616401 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 14239 13801 143 303 0 13934 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 56956 [startup+102.308 s] /proc/loadavg: 0.98 1.00 1.18 2/107 7269 /proc/meminfo: memFree=1433952/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=97980 CPUtime=102.26 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 24136 0 0 0 10083 143 0 0 25 0 1 0 7080871 100331520 24033 1992294400 134512640 135751879 4294890816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 24495 24033 143 303 0 24190 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 97980 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.17 2/107 7271 /proc/meminfo: memFree=1389312/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=142964 CPUtime=162.24 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 35364 0 0 0 16008 216 0 0 25 0 1 0 7080871 146395136 35261 1992294400 134512640 135751879 4294890816 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 35741 35261 143 303 0 35436 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 142964 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.16 2/107 7273 /proc/meminfo: memFree=1346036/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=185800 CPUtime=222.22 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 46073 0 0 0 21927 295 0 0 25 0 1 0 7080871 190259200 45970 1992294400 134512640 135751879 4294890816 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 46450 45970 143 303 0 46145 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 185800 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.15 2/107 7273 /proc/meminfo: memFree=1309704/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=222460 CPUtime=282.21 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 55223 0 0 0 27863 358 0 0 25 0 1 0 7080871 227799040 55120 1992294400 134512640 135751879 4294890816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 55615 55120 143 303 0 55310 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 222460 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.13 2/107 7275 /proc/meminfo: memFree=1274612/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=257192 CPUtime=342.18 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 63902 0 0 0 33801 417 0 0 25 0 1 0 7080871 263364608 63799 1992294400 134512640 135751879 4294890816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 64298 63799 143 303 0 63993 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 257192 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.12 2/107 7277 /proc/meminfo: memFree=1238156/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=293796 CPUtime=402.17 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 73032 0 0 0 39735 482 0 0 25 0 1 0 7080871 300847104 72929 1992294400 134512640 135751879 4294890816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 73449 72929 143 303 0 73144 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 293796 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.11 2/107 7279 /proc/meminfo: memFree=1204304/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=327224 CPUtime=462.15 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 81402 0 0 0 45671 544 0 0 25 0 1 0 7080871 335077376 81299 1992294400 134512640 135751879 4294890816 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 81806 81299 143 303 0 81501 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 327224 [startup+522.301 s] /proc/loadavg: 1.07 1.02 1.10 2/107 7290 /proc/meminfo: memFree=1170700/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=360368 CPUtime=522.12 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 89686 0 0 0 51609 603 0 0 25 0 1 0 7080871 369016832 89583 1992294400 134512640 135751879 4294890816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 90092 89583 143 303 0 89787 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 360368 [startup+582.3 s] /proc/loadavg: 1.03 1.01 1.09 2/107 7290 /proc/meminfo: memFree=1140072/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=390804 CPUtime=582.1 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 97265 0 0 0 57558 652 0 0 25 0 1 0 7080871 400183296 97162 1992294400 134512640 135751879 4294890816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 97701 97162 143 303 0 97396 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 390804 [startup+642.301 s] /proc/loadavg: 1.01 1.00 1.09 2/107 7292 /proc/meminfo: memFree=1111428/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=419164 CPUtime=642.1 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 104357 0 0 0 63506 704 0 0 25 0 1 0 7080871 429223936 104254 1992294400 134512640 135751879 4294890816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 104791 104254 143 303 0 104486 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 419164 Solver just ended. Dumping a history of the last processes samples [startup+652.701 s] /proc/loadavg: 1.01 1.00 1.08 2/107 7292 /proc/meminfo: memFree=1106840/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=424080 CPUtime=652.48 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 105578 0 0 0 64534 714 0 0 25 0 1 0 7080871 434257920 105475 1992294400 134512640 135751879 4294890816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 106020 105475 143 303 0 105715 0 Current children cumulated CPU time (s) 652.48 Current children cumulated vsize (KiB) 424080 [startup+665.508 s] /proc/loadavg: 1.00 1.00 1.08 2/107 7294 /proc/meminfo: memFree=1099276/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=431496 CPUtime=665.29 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 107405 0 0 0 65802 727 0 0 25 0 1 0 7080871 441851904 107302 1992294400 134512640 135751879 4294890816 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 107874 107302 143 303 0 107569 0 Current children cumulated CPU time (s) 665.29 Current children cumulated vsize (KiB) 431496 [startup+671.901 s] /proc/loadavg: 1.00 1.00 1.08 2/107 7294 /proc/meminfo: memFree=1097292/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=434148 CPUtime=671.68 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 108089 0 0 0 66436 732 0 0 25 0 1 0 7080871 444567552 107986 1992294400 134512640 135751879 4294890816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 108537 107986 143 303 0 108232 0 Current children cumulated CPU time (s) 671.68 Current children cumulated vsize (KiB) 434148 [startup+673.501 s] /proc/loadavg: 1.00 1.00 1.08 2/107 7294 /proc/meminfo: memFree=1095680/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=435204 CPUtime=673.28 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 108357 0 0 0 66594 734 0 0 25 0 1 0 7080871 445648896 108254 1992294400 134512640 135751879 4294890816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 108801 108254 143 303 0 108496 0 Current children cumulated CPU time (s) 673.28 Current children cumulated vsize (KiB) 435204 [startup+674.309 s] /proc/loadavg: 1.00 1.00 1.08 2/107 7294 /proc/meminfo: memFree=1095060/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=435732 CPUtime=674.08 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 108474 0 0 0 66674 734 0 0 25 0 1 0 7080871 446189568 108371 1992294400 134512640 135751879 4294890816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 108933 108371 143 303 0 108628 0 Current children cumulated CPU time (s) 674.08 Current children cumulated vsize (KiB) 435732 [startup+674.701 s] /proc/loadavg: 1.00 1.00 1.08 2/107 7294 /proc/meminfo: memFree=1095060/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=435864 CPUtime=674.48 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202496 108515 0 0 0 66713 735 0 0 25 0 1 0 7080871 446324736 108412 1992294400 134512640 135751879 4294890816 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7266/statm: 108966 108412 143 303 0 108661 0 Current children cumulated CPU time (s) 674.48 Current children cumulated vsize (KiB) 435864 [startup+675.101 s] /proc/loadavg: 1.00 1.00 1.08 2/107 7294 /proc/meminfo: memFree=1095060/2059040 swapFree=4192956/4192956 [pid=7266] ppid=7264 vsize=0 CPUtime=674.88 /proc/7266/stat : 7266 (wbo1.4a) R 7264 7266 6933 0 -1 4202500 108547 0 0 0 66751 737 0 0 25 0 1 0 7080871 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/7266/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 674.88 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 675.116 CPU time (s): 674.906 CPU user time (s): 667.513 CPU system time (s): 7.39388 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 435996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 667.513 system time used= 7.39387 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108547 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= 1 involuntary context switches= 8710 runsolver used 1.25881 second user time and 3.04654 second system time The end
Begin job on node004 at 2010-06-12 05:52:50 IDJOB=2655585 IDBENCH=1365 IDSOLVER=1160 FILE ID=node004/2655585-1276314770 PBS_JOBID= 11173150 Free space on /tmp= 62536 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb COMMAND LINE= wbo1.4a -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655585-1276314770/watcher-2655585-1276314770 -o /tmp/evaluation-result-2655585-1276314770/solver-2655585-1276314770 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2655585-1276314770.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 76a48b8845ca731b7df3e7e82d604015 RANDOM SEED=510200917 node004.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1530712 kB Buffers: 89800 kB Cached: 310808 kB SwapCached: 0 kB Active: 175512 kB Inactive: 284484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1530712 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 59308 kB Mapped: 15408 kB Slab: 46352 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182328 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node004 at 2010-06-12 06:04:05