Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.01 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-1-c.opb |
MD5SUM | 7d3927082349ded13241d71256bbcafb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2630 |
Total number of constraints | 6569 |
Number of constraints which are clauses | 6569 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 2630 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2630 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2630 |
Number of bits of the biggest sum of numbers | 12 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/349099-1176651656/instance-349099-1176651656.opb 0.00/0.00 c File size is 221725 bytes. 0.00/0.04 c Highest Coefficient sum: 2630 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.039 s 0.00/0.04 c Var: 2630 Constr: 6569 6569/0/0 Lit: 18020 Watch. Lit: 13138 0.00/0.04 c Obj. Vars: 2630 (100 % of total variables) 0.08/0.09 c Pre-processing Time: 0.094 s 0.08/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.09 c 0 2441 6252 17260 2 12504 2083 0 0 0.09 0.08/0.09 c Switching off LPR mode. 1799.90/1800.79 c 101 2441 6353 22793 3 12706 2292 101 696 0.14 1799.90/1800.79 c 252 2441 6504 29361 4 13008 2522 252 1020 0.25 1799.90/1800.79 c 478 2441 6730 37676 5 13460 2775 478 1320 0.36 1799.90/1800.79 c 816 2441 7068 51449 7 14136 3053 816 1472 0.55 1799.90/1800.79 c 1325 2441 7577 77844 10 15154 3359 1325 1522 0.87 1799.90/1800.79 c 2088 2441 8340 117474 14 16680 3695 2088 1437 1.45 1799.90/1800.79 c 3234 2441 9486 197189 20 18972 4065 3234 1394 2.32 1799.90/1800.79 c 4955 2441 8808 140328 15 17616 4472 2556 1195 4.14 1799.90/1800.79 c 7540 2441 8891 125716 14 17782 4920 2639 1106 6.81 1799.90/1800.79 c 11419 2441 10026 153369 15 20052 5413 3774 1020 11.19 1799.90/1800.79 c 17241 2441 9831 147592 15 19662 5955 3579 999 17.24 1799.90/1800.79 c 25978 2441 11978 247063 20 23956 6551 5726 972 26.71 1799.90/1800.79 c 39090 2441 10945 175603 16 21890 7207 4693 951 41.06 1799.90/1800.79 c 58760 2441 11184 181413 16 22368 7928 4932 904 64.97 1799.90/1800.79 c 88271 2441 11072 196801 17 22144 8721 4820 863 102.24 1799.90/1800.79 c 132541 2441 13550 298415 22 27100 9594 7298 834 158.79 1799.90/1800.79 c 198951 2441 13869 308751 22 27738 10554 7617 791 251.35 1799.90/1800.79 c 298571 2441 13307 274100 20 26614 11610 7055 760 392.84 1799.90/1800.79 c 448007 2441 16366 566838 34 32732 12772 10114 724 618.25 1799.90/1800.79 c 672165 2441 17026 597228 35 34052 14050 10774 676 993.50 1799.90/1800.79 c 1008409 2441 14037 416294 29 28074 15456 7785 629 1602.36 1799.90/1800.79 c Resources Exceeded 1799.90/1800.79 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.90/1800.79 c 21 1111222 62361 1183932 20156 852883 13904 617 1800.00 1799.90/1800.79 s UNKNOWN 1799.90/1800.79 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-349099-1176651656 -o ROOT/results/node23/solver-349099-1176651656 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349099-1176651656/instance-349099-1176651656.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.98 3/77 29018 /proc/meminfo: memFree=1823928/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=11956 CPUtime=0 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 113082740 12242944 337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2955034 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 2989 338 281 324 0 2003 0 [startup+0.092887 s] /proc/loadavg: 0.92 0.97 0.98 3/77 29018 /proc/meminfo: memFree=1823928/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=5596 CPUtime=0.08 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 866 0 0 0 8 0 0 0 18 0 1 0 113082740 5730304 779 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 1399 779 306 324 0 468 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5596 [startup+0.101888 s] /proc/loadavg: 0.92 0.97 0.98 3/77 29018 /proc/meminfo: memFree=1823928/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=5552 CPUtime=0.09 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 895 0 0 0 8 1 0 0 18 0 1 0 113082740 5685248 767 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2924613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 1388 767 310 324 0 457 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5552 [startup+0.301928 s] /proc/loadavg: 0.92 0.97 0.98 3/77 29018 /proc/meminfo: memFree=1823928/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=5552 CPUtime=0.29 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 904 0 0 0 28 1 0 0 19 0 1 0 113082740 5685248 776 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2936549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 1388 776 311 324 0 457 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5552 [startup+0.702005 s] /proc/loadavg: 0.92 0.97 0.98 3/77 29018 /proc/meminfo: memFree=1823928/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=6068 CPUtime=0.69 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1020 0 0 0 68 1 0 0 22 0 1 0 113082740 6213632 892 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 1517 892 311 324 0 586 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6068 [startup+1.50116 s] /proc/loadavg: 0.92 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1821168/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=6860 CPUtime=1.49 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1231 0 0 0 148 1 0 0 25 0 1 0 113082740 7024640 1103 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 1715 1103 311 324 0 784 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6860 [startup+3.10147 s] /proc/loadavg: 0.92 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1819760/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=8560 CPUtime=3.09 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1644 0 0 0 307 2 0 0 25 0 1 0 113082740 8765440 1516 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 2140 1516 311 324 0 1209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8560 [startup+6.30109 s] /proc/loadavg: 0.93 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1818416/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=8936 CPUtime=6.29 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1723 0 0 0 627 2 0 0 25 0 1 0 113082740 9150464 1595 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 2234 1595 311 324 0 1303 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8936 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1818416/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=8940 CPUtime=12.69 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1724 0 0 0 1266 3 0 0 25 0 1 0 113082740 9154560 1596 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 2235 1596 311 324 0 1304 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8940 [startup+25.5018 s] /proc/loadavg: 0.95 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1817968/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=9332 CPUtime=25.48 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1834 0 0 0 2544 4 0 0 25 0 1 0 113082740 9555968 1706 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2928790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 2333 1706 311 324 0 1402 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9332 [startup+51.1018 s] /proc/loadavg: 0.96 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1817328/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=9992 CPUtime=51.07 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 1998 0 0 0 5100 7 0 0 25 0 1 0 113082740 10231808 1870 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 2498 1870 311 324 0 1567 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9992 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1816432/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=10872 CPUtime=102.25 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2219 0 0 0 10211 14 0 0 25 0 1 0 113082740 11132928 2091 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 2718 2091 311 324 0 1787 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 10872 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1815984/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=11536 CPUtime=162.23 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2397 0 0 0 16200 23 0 0 25 0 1 0 113082740 11812864 2269 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 2884 2269 311 324 0 1953 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 11536 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1815344/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=11796 CPUtime=222.21 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2464 0 0 0 22190 31 0 0 25 0 1 0 113082740 12079104 2336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 2949 2336 311 324 0 2018 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 11796 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1813808/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=13316 CPUtime=282.19 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2838 0 0 0 28181 38 0 0 25 0 1 0 113082740 13635584 2710 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 3329 2710 311 324 0 2398 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 13316 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1813808/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=13316 CPUtime=342.17 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2838 0 0 0 34172 45 0 0 25 0 1 0 113082740 13635584 2710 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 3329 2710 311 324 0 2398 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 13316 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1813744/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=13320 CPUtime=402.14 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2839 0 0 0 40161 53 0 0 25 0 1 0 113082740 13639680 2711 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 3330 2711 311 324 0 2399 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 13320 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1813232/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=13920 CPUtime=462.12 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 2979 0 0 0 46152 60 0 0 25 0 1 0 113082740 14254080 2851 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 3480 2851 311 324 0 2549 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 13920 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1812656/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=14440 CPUtime=522.1 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 3109 0 0 0 52143 67 0 0 25 0 1 0 113082740 14786560 2981 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 3610 2981 311 324 0 2679 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 14440 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1812400/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=14664 CPUtime=582.08 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 3163 0 0 0 58133 75 0 0 25 0 1 0 113082740 15015936 3035 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 3666 3035 311 324 0 2735 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 14664 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1810416/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=16596 CPUtime=642.05 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 3660 0 0 0 64122 83 0 0 25 0 1 0 113082740 16994304 3532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2928472 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4149 3532 311 324 0 3218 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 16596 ################ # More data... # ################ /proc/meminfo: memFree=1808240/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=18616 CPUtime=1061.9 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 106056 134 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4654 4033 311 324 0 3723 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 18616 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 3/78 29019 /proc/meminfo: memFree=1808240/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=18616 CPUtime=1121.87 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 112047 140 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4654 4033 311 324 0 3723 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 18616 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29019 /proc/meminfo: memFree=1808176/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=18616 CPUtime=1181.85 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 118037 148 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4654 4033 311 324 0 3723 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 18616 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/84 29185 /proc/meminfo: memFree=1806832/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=18616 CPUtime=1241.74 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 124018 156 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134573266 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4654 4033 311 324 0 3723 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 18616 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=18616 CPUtime=1301.69 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 130008 161 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4654 4033 311 324 0 3723 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 18616 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=18616 CPUtime=1361.67 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 136000 167 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4654 4033 311 324 0 3723 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 18616 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=18616 CPUtime=1421.65 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 141992 173 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4654 4033 311 324 0 3723 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 18616 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=18616 CPUtime=1481.63 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4166 0 0 0 147982 181 0 0 25 0 1 0 113082740 19062784 4033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4654 4033 311 324 0 3723 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 18616 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=18704 CPUtime=1541.59 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4192 0 0 0 153974 185 0 0 25 0 1 0 113082740 19152896 4059 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4676 4059 311 324 0 3745 0 Current children cumulated CPU time (s) 1541.59 Current children cumulated vsize (KiB) 18704 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1807792/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=18704 CPUtime=1601.58 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4192 0 0 0 159966 192 0 0 25 0 1 0 113082740 19152896 4059 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4676 4059 311 324 0 3745 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 18704 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1806896/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=19768 CPUtime=1661.55 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4448 0 0 0 165957 198 0 0 25 0 1 0 113082740 20242432 4315 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4942 4315 311 324 0 4011 0 Current children cumulated CPU time (s) 1661.55 Current children cumulated vsize (KiB) 19768 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1806768/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=19824 CPUtime=1721.54 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4468 0 0 0 171949 205 0 0 25 0 1 0 113082740 20299776 4335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 4956 4335 311 324 0 4025 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 19824 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=20024 CPUtime=1781.5 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 177939 211 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 5006 4388 311 324 0 4075 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (KiB) 20024 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=20024 CPUtime=1791.11 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 178898 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 5006 4388 311 324 0 4075 0 Current children cumulated CPU time (s) 1791.11 Current children cumulated vsize (KiB) 20024 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=20024 CPUtime=1794.31 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 179218 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 5006 4388 311 324 0 4075 0 Current children cumulated CPU time (s) 1794.31 Current children cumulated vsize (KiB) 20024 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=20024 CPUtime=1797.5 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 179537 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 5006 4388 311 324 0 4075 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (KiB) 20024 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=20024 CPUtime=1799.1 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 179697 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 5006 4388 311 324 0 4075 0 Current children cumulated CPU time (s) 1799.1 Current children cumulated vsize (KiB) 20024 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=20024 CPUtime=1799.5 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 179737 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 5006 4388 311 324 0 4075 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (KiB) 20024 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29217 /proc/meminfo: memFree=1806512/2055920 swapFree=4169480/4192956 [pid=29018] ppid=29016 vsize=20024 CPUtime=1799.9 /proc/29018/stat : 29018 (bsolo3.0.16) R 29016 29018 28910 0 -1 4194304 4521 0 0 0 179777 213 0 0 25 0 1 0 113082740 20504576 4388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29018/statm: 5006 4388 311 324 0 4075 0 Current children cumulated CPU time (s) 1799.9 Current children cumulated vsize (KiB) 20024 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.01 CPU user time (s): 1797.87 CPU system time (s): 2.14267 CPU usage (%): 99.9562 Max. virtual memory (cumulated for all children) (KiB): 20024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.87 system time used= 2.14267 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4522 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= 12 involuntary context switches= 2621 runsolver used 2.22566 second user time and 4.26935 second system time The end
Begin job on node23 on Sun Apr 15 15:40:56 UTC 2007 IDJOB= 349099 IDBENCH= 2143 IDSOLVER= 163 FILE ID= node23/349099-1176651656 PBS_JOBID= 4559864 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349099-1176651656/instance-349099-1176651656.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-349099-1176651656 -o ROOT/results/node23/solver-349099-1176651656 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349099-1176651656/instance-349099-1176651656.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 7d3927082349ded13241d71256bbcafb RANDOM SEED= 935571614 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.276 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.276 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1824336 kB Buffers: 39416 kB Cached: 99852 kB SwapCached: 2648 kB Active: 98772 kB Inactive: 63740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824336 kB SwapTotal: 4192956 kB SwapFree: 4169480 kB Dirty: 4700 kB Writeback: 0 kB Mapped: 37952 kB Slab: 54616 kB Committed_AS: 1435012 kB PageTables: 1796 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node23 on Sun Apr 15 16:10:57 UTC 2007