Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.71 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-2-c.opb |
MD5SUM | 02ee6f086501e1f86c8de97a222a24d7 |
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 | 2606 |
Total number of constraints | 6509 |
Number of constraints which are clauses | 6509 |
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 | 2606 |
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 | 2606 |
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 | 2606 |
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 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.12 c starting to Solve 0.12 c #variables read: 2606 - #constraints read: 6510
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-38005-1149408865 -o ROOT/results/node63/solver-38005-1149408865 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node63/38005-1149408865/instance-38005-1149408865.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1599864/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=1136 CPUtime=0 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 59 0 0 0 0 0 0 0 18 0 1 0 206453671 1163264 43 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2970404 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 581 45 34 16 0 8 0 [startup+10.0021 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1595960/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=6352 CPUtime=9.99 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1200 0 0 0 999 0 0 0 25 0 1 0 206453671 6504448 1171 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 1588 1171 205 16 0 1029 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6352 [startup+20.0082 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1595640/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=6744 CPUtime=19.99 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1284 0 0 0 1999 0 0 0 25 0 1 0 206453671 6905856 1255 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 1686 1255 205 16 0 1127 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 6744 [startup+30.0153 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1595000/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=7268 CPUtime=29.99 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1442 0 0 0 2999 0 0 0 25 0 1 0 206453671 7442432 1413 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 1817 1413 205 16 0 1258 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 7268 [startup+40.0213 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1594424/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=7908 CPUtime=40 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1593 0 0 0 4000 0 0 0 25 0 1 0 206453671 8097792 1564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559471 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 1977 1564 205 16 0 1418 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 7908 [startup+50.0274 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1593976/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=8308 CPUtime=50.01 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1691 0 0 0 5000 1 0 0 25 0 1 0 206453671 8507392 1662 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2077 1662 205 16 0 1518 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 8308 [startup+60.0335 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1593656/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=8692 CPUtime=60.01 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1773 0 0 0 6000 1 0 0 25 0 1 0 206453671 8900608 1744 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2173 1744 205 16 0 1614 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 8692 [startup+70.0395 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1593528/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=8784 CPUtime=70.01 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1808 0 0 0 7000 1 0 0 25 0 1 0 206453671 8994816 1779 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516706 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2196 1779 205 16 0 1637 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 8784 [startup+80.0456 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1593528/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=8784 CPUtime=80.02 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1813 0 0 0 8001 1 0 0 25 0 1 0 206453671 8994816 1784 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520161 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2196 1784 205 16 0 1637 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 8784 [startup+90.0517 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1593208/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9168 CPUtime=90.02 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1892 0 0 0 9001 1 0 0 25 0 1 0 206453671 9388032 1863 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559471 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2292 1863 205 16 0 1733 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 9168 [startup+100.058 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1593144/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9168 CPUtime=100.02 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1901 0 0 0 10001 1 0 0 25 0 1 0 206453671 9388032 1872 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2292 1872 205 16 0 1733 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 9168 [startup+110.064 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1593144/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9168 CPUtime=110.03 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1906 0 0 0 11002 1 0 0 25 0 1 0 206453671 9388032 1877 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2292 1877 205 16 0 1733 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 9168 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1593080/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9316 CPUtime=120.03 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1922 0 0 0 12002 1 0 0 25 0 1 0 206453671 9539584 1893 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2329 1893 205 16 0 1770 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 9316 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1592952/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9316 CPUtime=130.03 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 1946 0 0 0 13002 1 0 0 25 0 1 0 206453671 9539584 1917 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557231 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2329 1917 205 16 0 1770 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 9316 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1592568/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9720 CPUtime=140.04 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 2040 0 0 0 14003 1 0 0 25 0 1 0 206453671 9953280 2011 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519885 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2430 2011 205 16 0 1871 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 9720 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1592568/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9868 CPUtime=150.04 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 2045 0 0 0 15003 1 0 0 25 0 1 0 206453671 10104832 2016 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2467 2016 205 16 0 1908 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 9868 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1592568/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9868 CPUtime=160.04 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 2045 0 0 0 16003 1 0 0 25 0 1 0 206453671 10104832 2016 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2467 2016 205 16 0 1908 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 9868 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1592504/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9868 CPUtime=170.05 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 2062 0 0 0 17004 1 0 0 25 0 1 0 206453671 10104832 2033 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532124 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2467 2033 205 16 0 1908 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 9868 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1592376/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9996 CPUtime=180.05 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 2101 0 0 0 18004 1 0 0 25 0 1 0 206453671 10235904 2072 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558724 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2499 2072 205 16 0 1940 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 9996 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1592376/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9996 CPUtime=190.05 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 2101 0 0 0 19004 1 0 0 25 0 1 0 206453671 10235904 2072 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559483 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2499 2072 205 16 0 1940 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 9996 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1592376/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=9996 CPUtime=200.06 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 2101 0 0 0 20005 1 0 0 25 0 1 0 206453671 10235904 2072 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 2499 2072 205 16 0 1940 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 9996 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1592376/2055920 swapFree=4182320/4192956 ################ # More data... # ################ /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 178157 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559529 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 15644 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1782.6 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 178257 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 15644 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1783.61 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 178358 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559537 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 15644 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1784.61 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 178458 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 15644 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1785.61 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 178558 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558837 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 15644 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1786.62 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 178659 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 15644 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1787.62 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 178759 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557463 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 15644 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1788.63 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 178860 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 15644 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1789.63 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 178960 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559127 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 15644 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1790.64 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 179061 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559483 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 15644 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1791.64 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 179161 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520225 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 15644 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1792.65 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 179262 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 15644 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1793.65 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3496 0 0 0 179362 3 0 0 25 0 1 0 206453671 16019456 3467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559519 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3467 205 16 0 3352 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 15644 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15644 CPUtime=1794.66 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3497 0 0 0 179463 3 0 0 25 0 1 0 206453671 16019456 3468 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3911 3468 205 16 0 3352 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 15644 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15560 CPUtime=1795.66 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3497 0 0 0 179563 3 0 0 25 0 1 0 206453671 15933440 3454 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3890 3454 205 16 0 3331 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 15560 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15560 CPUtime=1796.66 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3497 0 0 0 179663 3 0 0 25 0 1 0 206453671 15933440 3454 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3890 3454 205 16 0 3331 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 15560 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15560 CPUtime=1797.67 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3497 0 0 0 179764 3 0 0 25 0 1 0 206453671 15933440 3454 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3890 3454 205 16 0 3331 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 15560 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15560 CPUtime=1798.67 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3497 0 0 0 179864 3 0 0 25 0 1 0 206453671 15933440 3454 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3890 3454 205 16 0 3331 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 15560 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15560 CPUtime=1799.68 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3497 0 0 0 179965 3 0 0 25 0 1 0 206453671 15933440 3454 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3890 3454 205 16 0 3331 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 15560 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15560 CPUtime=1800.68 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3497 0 0 0 180065 3 0 0 25 0 1 0 206453671 15933440 3454 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516722 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3890 3454 205 16 0 3331 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 15560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.94 2/64 452 /proc/meminfo: memFree=1586680/2055920 swapFree=4182320/4192956 [pid=452] ppid=450 vsize=15560 CPUtime=1800.69 /proc/452/stat : 452 (Pueblo13) R 450 452 406 0 -1 4194304 3497 0 0 0 180066 3 0 0 25 0 1 0 206453671 15933440 3454 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516700 0 0 4096 0 0 0 0 17 1 0 0 /proc/452/statm: 3890 3454 205 16 0 3331 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 15560 Sending SIGTERM to -452 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.71 CPU user time (s): 1800.66 CPU system time (s): 0.041993 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (Kb): 15644 The end
Begin job on node63 on Sun Jun 4 08:14:25 UTC 2006 FILE ID= 38005-1149408865 PBS_JOBID= 314572 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node63/38005-1149408865/instance-38005-1149408865.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-38005-1149408865 -o ROOT/results/node63/solver-38005-1149408865 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node63/38005-1149408865/instance-38005-1149408865.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 02ee6f086501e1f86c8de97a222a24d7 RANDOM SEED= 170890653 /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.228 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.228 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: 1600072 kB Buffers: 28208 kB Cached: 358348 kB SwapCached: 2336 kB Active: 130168 kB Inactive: 265052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1600072 kB SwapTotal: 4192956 kB SwapFree: 4182320 kB Dirty: 184 kB Writeback: 0 kB Mapped: 15864 kB Slab: 46636 kB Committed_AS: 397544 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node63 on Sun Jun 4 08:44:27 UTC 2006