Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | ? | 1798.01 | 1798.97 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-3.opb |
MD5SUM | 473e2cd0e31e48ba0932d7bd34857dd0 |
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 | 6352 |
Total number of constraints | 13473 |
Number of constraints which are clauses | 13473 |
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 | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
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 | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 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 HOME/instance-1876956-1245153843.opb 0.00/0.00 c File size is 454704 bytes. 0.01/0.06 c Highest Coefficient sum: 6352 0.01/0.06 c Parsing was ok!! 0.01/0.06 c Total parsing time: 0.061 s 0.01/0.06 c Var: 6352 Constr: 13473 13473/0/0 Lit: 33933 Watch. Lit: 26805 0.01/0.06 c Obj. Vars: 6352 (100 % of total variables) 0.09/0.15 c Pre-processing Time: 0.15 s 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 1951 5792 16378 2 11584 1930 0 0 0.15 0.09/0.15 c Switching off lower bounding mode. 1797.94/1798.96 c 100 1951 5992 22344 3 11984 2124 200 371 0.27 1797.94/1798.96 c 250 1951 6292 31832 5 12584 2337 500 623 0.40 1797.94/1798.96 c 475 1951 6742 45658 6 13484 2571 950 758 0.63 1797.94/1798.96 c 813 1951 7418 61144 8 14836 2829 1626 927 0.88 1797.94/1798.96 c 1322 1951 8436 102420 12 16872 3112 2644 698 1.89 1797.94/1798.96 c 2086 1951 9964 167846 16 19928 3424 4172 494 4.22 1797.94/1798.96 c 3232 1951 12256 258216 21 24512 3767 6464 436 7.41 1797.94/1798.96 c 4953 1951 9314 160516 17 18628 4144 3522 388 12.74 1797.94/1798.96 c 7538 1951 7954 102232 12 15908 4559 2162 330 22.84 1797.94/1798.96 c 11417 1951 8968 134078 14 17936 5015 3176 336 33.93 1797.94/1798.96 c 17240 1951 13630 326534 23 27260 5517 7838 362 47.53 1797.94/1798.96 c 25978 1951 9465 160998 17 18930 6069 3673 416 62.37 1797.94/1798.96 c 39089 1951 13240 355134 26 26480 6676 7448 456 85.71 1797.94/1798.96 c 58760 1951 13790 369381 26 27580 7344 7998 474 123.82 1797.94/1798.96 c 88271 1951 16333 492046 30 32666 8079 10541 481 183.45 1797.94/1798.96 c 132542 1951 12146 304570 25 24292 8887 6354 474 279.05 1797.94/1798.96 c 198953 1951 12818 347350 27 25636 9776 7026 467 425.84 1797.94/1798.96 c 298573 1951 17538 617450 35 35076 10754 11746 453 657.76 1797.94/1798.96 c 448009 1951 14549 433079 29 29098 11830 8757 441 1015.21 1797.94/1798.96 c 672167 1951 20647 776616 37 41294 13014 14855 426 1576.17 1797.94/1798.96 c Resources Exceeded 1797.94/1798.96 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.96 c 20 758318 65200 837788 19013 704814 13221 421 1798.01 1797.94/1798.96 s UNKNOWN 1797.94/1798.96 c Total time: 1798.01 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-1876956-1245153843/watcher-1876956-1245153843 -o /tmp/evaluation-result-1876956-1245153843/solver-1876956-1245153843 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876956-1245153843.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.91 0.95 0.98 3/64 7833 /proc/meminfo: memFree=1923928/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=18980 CPUtime=0 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 68117321 19435520 250 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 4745 252 173 640 0 3989 0 [startup+0.020405 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7833 /proc/meminfo: memFree=1923928/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=11796 CPUtime=0.01 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 445 0 0 0 1 0 0 0 18 0 1 0 68117321 12079104 429 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 2949 430 202 640 0 2193 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11796 [startup+0.10142 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7833 /proc/meminfo: memFree=1923928/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=13636 CPUtime=0.09 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 1113 0 0 0 9 0 0 0 18 0 1 0 68117321 13963264 985 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 3409 985 188 640 0 2765 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13636 [startup+0.30146 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7833 /proc/meminfo: memFree=1923928/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=13752 CPUtime=0.29 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 1171 0 0 0 28 1 0 0 19 0 1 0 68117321 14082048 1026 1992294400 134512640 137136520 4294956256 18446744073709551615 134544259 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 3438 1026 197 640 0 2794 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13752 [startup+0.701539 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7833 /proc/meminfo: memFree=1923928/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=13752 CPUtime=0.69 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 1171 0 0 0 68 1 0 0 23 0 1 0 68117321 14082048 1026 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 3438 1026 197 640 0 2794 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13752 [startup+1.5027 s] /proc/loadavg: 0.91 0.95 0.98 2/65 7834 /proc/meminfo: memFree=1920528/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=13860 CPUtime=1.49 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 1191 0 0 0 148 1 0 0 25 0 1 0 68117321 14192640 1046 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 3465 1046 197 640 0 2821 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13860 [startup+3.10202 s] /proc/loadavg: 0.91 0.95 0.98 2/65 7834 /proc/meminfo: memFree=1920016/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=14692 CPUtime=3.09 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 1387 0 0 0 307 2 0 0 25 0 1 0 68117321 15044608 1242 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 3673 1242 197 640 0 3029 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14692 [startup+6.30166 s] /proc/loadavg: 0.92 0.95 0.98 2/65 7834 /proc/meminfo: memFree=1918480/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=15960 CPUtime=6.29 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 1719 0 0 0 627 2 0 0 25 0 1 0 68117321 16343040 1574 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 3990 1574 197 640 0 3346 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15960 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.98 2/65 7834 /proc/meminfo: memFree=1916304/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=17724 CPUtime=12.68 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 2157 0 0 0 1266 2 0 0 25 0 1 0 68117321 18149376 2012 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 4431 2012 197 640 0 3787 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17724 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.98 2/65 7834 /proc/meminfo: memFree=1915920/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=18344 CPUtime=25.48 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 2300 0 0 0 2545 3 0 0 25 0 1 0 68117321 18784256 2155 1992294400 134512640 137136520 4294956256 18446744073709551615 134573563 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 4586 2155 197 640 0 3942 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18344 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.98 2/65 7834 /proc/meminfo: memFree=1915280/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=18988 CPUtime=51.06 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 2460 0 0 0 5100 6 0 0 25 0 1 0 68117321 19443712 2315 1992294400 134512640 137136520 4294956256 18446744073709551615 134617449 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 4747 2315 197 640 0 4103 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 18988 [startup+102.307 s] /proc/loadavg: 0.98 0.96 0.98 2/65 7834 /proc/meminfo: memFree=1913680/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=20428 CPUtime=102.24 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 2827 0 0 0 10212 12 0 0 25 0 1 0 68117321 20918272 2682 1992294400 134512640 137136520 4294956256 18446744073709551615 134544184 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 5107 2682 197 640 0 4463 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 20428 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1913040/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=21044 CPUtime=162.21 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 2988 0 0 0 16204 17 0 0 25 0 1 0 68117321 21549056 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 5261 2843 197 640 0 4617 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 21044 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1912400/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=21856 CPUtime=222.17 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 3178 0 0 0 22192 25 0 0 25 0 1 0 68117321 22380544 3033 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 5464 3033 197 640 0 4820 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 21856 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1911696/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=22372 CPUtime=282.13 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 3315 0 0 0 28182 31 0 0 25 0 1 0 68117321 22908928 3170 1992294400 134512640 137136520 4294956256 18446744073709551615 134571830 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 5593 3170 197 640 0 4949 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 22372 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1911064/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=22916 CPUtime=342.09 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 3457 0 0 0 34174 35 0 0 25 0 1 0 68117321 23465984 3312 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 5729 3312 197 640 0 5085 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 22916 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1911064/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=22916 CPUtime=402.06 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 3457 0 0 0 40166 40 0 0 25 0 1 0 68117321 23465984 3312 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 5729 3312 197 640 0 5085 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 22916 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1910104/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=23832 CPUtime=462.02 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 3689 0 0 0 46156 46 0 0 25 0 1 0 68117321 24403968 3544 1992294400 134512640 137136520 4294956256 18446744073709551615 135982525 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 5958 3544 197 640 0 5314 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 23832 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1910104/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=23824 CPUtime=521.99 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 3689 0 0 0 52148 51 0 0 25 0 1 0 68117321 24395776 3544 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 5956 3544 197 640 0 5312 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 23824 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1909144/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=24808 CPUtime=581.96 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 3917 0 0 0 58140 56 0 0 25 0 1 0 68117321 25403392 3772 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6202 3772 197 640 0 5558 0 Current children cumulated CPU time (s) 581.96 Current children cumulated vsize (KiB) 24808 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1909144/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=24732 CPUtime=641.94 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 3917 0 0 0 64133 61 0 0 25 0 1 0 68117321 25325568 3771 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6183 3771 197 640 0 5539 0 Current children cumulated CPU time (s) 641.94 Current children cumulated vsize (KiB) 24732 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1908056/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=25720 CPUtime=1061.72 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4148 0 0 0 106076 96 0 0 25 0 1 0 68117321 26337280 4002 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6430 4002 197 640 0 5786 0 Current children cumulated CPU time (s) 1061.72 Current children cumulated vsize (KiB) 25720 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1907928/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=25844 CPUtime=1121.67 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4185 0 0 0 112066 101 0 0 25 0 1 0 68117321 26464256 4039 1992294400 134512640 137136520 4294956256 18446744073709551615 134543663 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6461 4039 197 640 0 5817 0 Current children cumulated CPU time (s) 1121.67 Current children cumulated vsize (KiB) 25844 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1907864/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=25844 CPUtime=1181.64 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4185 0 0 0 118058 106 0 0 25 0 1 0 68117321 26464256 4039 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6461 4039 197 640 0 5817 0 Current children cumulated CPU time (s) 1181.64 Current children cumulated vsize (KiB) 25844 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1907736/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=25844 CPUtime=1241.61 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4185 0 0 0 124050 111 0 0 25 0 1 0 68117321 26464256 4039 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6461 4039 197 640 0 5817 0 Current children cumulated CPU time (s) 1241.61 Current children cumulated vsize (KiB) 25844 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1907672/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=25844 CPUtime=1301.59 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4187 0 0 0 130042 117 0 0 25 0 1 0 68117321 26464256 4041 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6461 4041 197 640 0 5817 0 Current children cumulated CPU time (s) 1301.59 Current children cumulated vsize (KiB) 25844 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1907672/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=25844 CPUtime=1361.56 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4187 0 0 0 136034 122 0 0 25 0 1 0 68117321 26464256 4041 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6461 4041 197 640 0 5817 0 Current children cumulated CPU time (s) 1361.56 Current children cumulated vsize (KiB) 25844 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1907672/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=25844 CPUtime=1421.53 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4187 0 0 0 142026 127 0 0 25 0 1 0 68117321 26464256 4041 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6461 4041 197 640 0 5817 0 Current children cumulated CPU time (s) 1421.53 Current children cumulated vsize (KiB) 25844 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1907672/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=25844 CPUtime=1481.49 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4187 0 0 0 148017 132 0 0 25 0 1 0 68117321 26464256 4041 1992294400 134512640 137136520 4294956256 18446744073709551615 136509008 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6461 4041 197 640 0 5817 0 Current children cumulated CPU time (s) 1481.49 Current children cumulated vsize (KiB) 25844 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1907672/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=25844 CPUtime=1541.46 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4187 0 0 0 154010 136 0 0 25 0 1 0 68117321 26464256 4041 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6461 4041 197 640 0 5817 0 Current children cumulated CPU time (s) 1541.46 Current children cumulated vsize (KiB) 25844 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1907352/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=26152 CPUtime=1601.43 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4270 0 0 0 160001 142 0 0 25 0 1 0 68117321 26779648 4124 1992294400 134512640 137136520 4294956256 18446744073709551615 134573706 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6538 4124 197 640 0 5894 0 Current children cumulated CPU time (s) 1601.43 Current children cumulated vsize (KiB) 26152 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1907160/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=26336 CPUtime=1661.39 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4304 0 0 0 165993 146 0 0 25 0 1 0 68117321 26968064 4158 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6584 4158 197 640 0 5940 0 Current children cumulated CPU time (s) 1661.39 Current children cumulated vsize (KiB) 26336 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1907096/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=26336 CPUtime=1721.37 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4304 0 0 0 171986 151 0 0 25 0 1 0 68117321 26968064 4158 1992294400 134512640 137136520 4294956256 18446744073709551615 136499620 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6584 4158 197 640 0 5940 0 Current children cumulated CPU time (s) 1721.37 Current children cumulated vsize (KiB) 26336 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1906584/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=26752 CPUtime=1781.35 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4407 0 0 0 177978 157 0 0 25 0 1 0 68117321 27394048 4261 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6688 4261 197 640 0 6044 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (KiB) 26752 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1906584/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=26748 CPUtime=1790.94 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4407 0 0 0 178937 157 0 0 25 0 1 0 68117321 27389952 4261 1992294400 134512640 137136520 4294956256 18446744073709551615 134616688 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6687 4261 197 640 0 6043 0 Current children cumulated CPU time (s) 1790.94 Current children cumulated vsize (KiB) 26748 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1906584/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=26748 CPUtime=1794.14 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4407 0 0 0 179257 157 0 0 25 0 1 0 68117321 27389952 4261 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6687 4261 197 640 0 6043 0 Current children cumulated CPU time (s) 1794.14 Current children cumulated vsize (KiB) 26748 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1906584/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=26748 CPUtime=1795.73 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4407 0 0 0 179416 157 0 0 25 0 1 0 68117321 27389952 4261 1992294400 134512640 137136520 4294956256 18446744073709551615 136509008 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6687 4261 197 640 0 6043 0 Current children cumulated CPU time (s) 1795.73 Current children cumulated vsize (KiB) 26748 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1906584/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=26748 CPUtime=1797.34 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4407 0 0 0 179576 158 0 0 25 0 1 0 68117321 27389952 4261 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6687 4261 197 640 0 6043 0 Current children cumulated CPU time (s) 1797.34 Current children cumulated vsize (KiB) 26748 [startup+1798.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1906584/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=26748 CPUtime=1797.74 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4407 0 0 0 179616 158 0 0 25 0 1 0 68117321 27389952 4261 1992294400 134512640 137136520 4294956256 18446744073709551615 134617399 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6687 4261 197 640 0 6043 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 26748 [startup+1798.9 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7834 /proc/meminfo: memFree=1906584/2055920 swapFree=4191900/4192956 [pid=7833] ppid=7831 vsize=26748 CPUtime=1797.94 /proc/7833/stat : 7833 (bsolo) R 7831 7833 7522 0 -1 4194304 4407 0 0 0 179636 158 0 0 25 0 1 0 68117321 27389952 4261 1992294400 134512640 137136520 4294956256 18446744073709551615 134616691 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7833/statm: 6687 4261 197 640 0 6043 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 26748 Child status: 0 Real time (s): 1798.97 CPU time (s): 1798.01 CPU user time (s): 1796.42 CPU system time (s): 1.58676 CPU usage (%): 99.9468 Max. virtual memory (cumulated for all children) (KiB): 26752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.42 system time used= 1.58676 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4408 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= 2 involuntary context switches= 5424 runsolver used 1.54176 second user time and 5.00624 second system time The end
Begin job on node33 at 2009-06-16 14:04:03 IDJOB=1876956 IDBENCH=2109 IDSOLVER=699 FILE ID=node33/1876956-1245153843 PBS_JOBID= 9363741 Free space on /tmp= 65952 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876956-1245153843/watcher-1876956-1245153843 -o /tmp/evaluation-result-1876956-1245153843/solver-1876956-1245153843 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876956-1245153843.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 473e2cd0e31e48ba0932d7bd34857dd0 RANDOM SEED=2042176301 node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.261 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.261 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: 1924408 kB Buffers: 20248 kB Cached: 56616 kB SwapCached: 384 kB Active: 58840 kB Inactive: 31476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1924408 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4412 kB Writeback: 0 kB Mapped: 21808 kB Slab: 27176 kB Committed_AS: 119596 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876956-1245153843.opb Free space on /tmp at the end= 65948 MiB End job on node33 at 2009-06-16 14:34:03