Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.67 | 1801.16 |
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.03 c Pueblo version 1.4 (September 2005) 0.03 c Developed @ University of Michigan, Ann Arbor, MI 0.03 c by Hossein Sheini 0.14 c starting to Solve 0.14 c #variables read: 2630 - #constraints read: 6570
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/node18/watcher-38091-1149419777 -o ROOT/results/node18/solver-38091-1149419777 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node18/38091-1149419777/instance-38091-1149419777.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.91 2/64 20977 /proc/meminfo: memFree=1815136/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=18540 CPUtime=0 /proc/20977/stat : 20977 (runsolver) D 20975 20977 20931 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 207640661 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 227848809767 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0 /proc/20977/statm: 4635 279 243 16 0 2626 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.95 0.91 2/64 20977 /proc/meminfo: memFree=1811168/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=6484 CPUtime=9.95 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1225 0 0 0 995 0 0 0 25 0 1 0 207640661 6639616 1196 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 1621 1196 205 16 0 1062 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 6484 [startup+20.0078 s] /proc/loadavg: 0.94 0.96 0.91 2/64 20977 /proc/meminfo: memFree=1810536/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=7128 CPUtime=19.96 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1379 0 0 0 1995 1 0 0 25 0 1 0 207640661 7299072 1350 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532089 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 1782 1350 205 16 0 1223 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 7128 [startup+30.0138 s] /proc/loadavg: 0.95 0.96 0.91 2/64 20977 /proc/meminfo: memFree=1810344/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=7256 CPUtime=29.96 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1434 0 0 0 2995 1 0 0 25 0 1 0 207640661 7430144 1405 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520019 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 1814 1405 205 16 0 1255 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 7256 [startup+40.0188 s] /proc/loadavg: 0.95 0.96 0.91 2/64 20977 /proc/meminfo: memFree=1809960/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=7776 CPUtime=39.96 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1549 0 0 0 3995 1 0 0 25 0 1 0 207640661 7962624 1520 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559494 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 1944 1520 205 16 0 1385 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 7776 [startup+50.0248 s] /proc/loadavg: 0.96 0.96 0.91 2/64 20977 /proc/meminfo: memFree=1809704/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8044 CPUtime=49.97 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1601 0 0 0 4996 1 0 0 25 0 1 0 207640661 8237056 1572 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519937 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2011 1572 205 16 0 1452 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 8044 [startup+60.0307 s] /proc/loadavg: 0.97 0.96 0.91 2/64 20977 /proc/meminfo: memFree=1809448/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8316 CPUtime=59.97 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1669 0 0 0 5996 1 0 0 25 0 1 0 207640661 8515584 1640 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2079 1640 205 16 0 1520 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 8316 [startup+70.0367 s] /proc/loadavg: 0.97 0.96 0.91 2/64 20977 /proc/meminfo: memFree=1809320/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8316 CPUtime=69.97 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1696 0 0 0 6996 1 0 0 25 0 1 0 207640661 8515584 1667 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559129 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2079 1667 205 16 0 1520 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 8316 [startup+80.0427 s] /proc/loadavg: 0.98 0.96 0.91 2/64 20977 /proc/meminfo: memFree=1809384/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8316 CPUtime=79.97 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1701 0 0 0 7996 1 0 0 25 0 1 0 207640661 8515584 1672 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559550 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2079 1672 205 16 0 1520 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 8316 [startup+90.0487 s] /proc/loadavg: 0.98 0.96 0.91 2/64 20977 /proc/meminfo: memFree=1809000/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8700 CPUtime=89.98 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1791 0 0 0 8997 1 0 0 25 0 1 0 207640661 8908800 1762 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2175 1762 205 16 0 1616 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 8700 [startup+100.054 s] /proc/loadavg: 0.98 0.96 0.91 2/64 20977 /proc/meminfo: memFree=1809000/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8700 CPUtime=99.98 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1792 0 0 0 9997 1 0 0 25 0 1 0 207640661 8908800 1763 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557653 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2175 1763 205 16 0 1616 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 8700 [startup+110.06 s] /proc/loadavg: 0.98 0.96 0.91 2/64 20977 /proc/meminfo: memFree=1809000/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8700 CPUtime=109.98 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1793 0 0 0 10997 1 0 0 25 0 1 0 207640661 8908800 1764 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517721 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2175 1764 205 16 0 1616 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 8700 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20977 /proc/meminfo: memFree=1809000/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8700 CPUtime=119.99 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1793 0 0 0 11998 1 0 0 25 0 1 0 207640661 8908800 1764 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557196 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2175 1764 205 16 0 1616 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 8700 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20977 /proc/meminfo: memFree=1808808/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8976 CPUtime=129.99 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1833 0 0 0 12998 1 0 0 25 0 1 0 207640661 9191424 1804 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2244 1804 205 16 0 1685 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 8976 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20977 /proc/meminfo: memFree=1808744/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8976 CPUtime=139.99 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1846 0 0 0 13998 1 0 0 25 0 1 0 207640661 9191424 1817 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2244 1817 205 16 0 1685 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 8976 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20977 /proc/meminfo: memFree=1808744/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8976 CPUtime=150 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1846 0 0 0 14999 1 0 0 25 0 1 0 207640661 9191424 1817 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559129 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2244 1817 205 16 0 1685 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 8976 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20977 /proc/meminfo: memFree=1808744/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8976 CPUtime=160 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1847 0 0 0 15999 1 0 0 25 0 1 0 207640661 9191424 1818 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2244 1818 205 16 0 1685 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 8976 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20977 /proc/meminfo: memFree=1808680/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8976 CPUtime=170.01 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1864 0 0 0 16999 2 0 0 25 0 1 0 207640661 9191424 1835 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519903 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2244 1835 205 16 0 1685 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 8976 [startup+180.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20977 /proc/meminfo: memFree=1808680/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8976 CPUtime=180.01 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1864 0 0 0 17999 2 0 0 25 0 1 0 207640661 9191424 1835 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2244 1835 205 16 0 1685 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 8976 [startup+190.106 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20977 /proc/meminfo: memFree=1808616/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=8976 CPUtime=190.02 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1864 0 0 0 19000 2 0 0 25 0 1 0 207640661 9191424 1835 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558987 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2244 1835 205 16 0 1685 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 8976 [startup+200.112 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20977 /proc/meminfo: memFree=1808104/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=9488 CPUtime=200.02 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 1991 0 0 0 20000 2 0 0 25 0 1 0 207640661 9715712 1962 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558861 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 2372 1962 205 16 0 1813 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 9488 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20977 /proc/meminfo: memFree=1807912/2055920 swapFree=4180892/4192956 ################ # More data... # ################ /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 178149 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 14884 [startup+1783.06 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1782.57 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 178250 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 14884 [startup+1784.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1783.57 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 178350 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 14884 [startup+1785.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1784.58 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 178451 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520456 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 14884 [startup+1786.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1785.58 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 178551 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 14884 [startup+1787.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1786.59 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 178652 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 14884 [startup+1788.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1787.59 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 178752 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 14884 [startup+1789.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1788.6 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 178853 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 14884 [startup+1790.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1789.6 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 178953 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520393 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 14884 [startup+1791.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1790.61 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 179054 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 14884 [startup+1792.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1791.61 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 179154 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 14884 [startup+1793.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1792.62 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 179255 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 14884 [startup+1794.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1793.62 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 179355 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519997 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 14884 [startup+1795.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1794.62 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 179455 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557196 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 14884 [startup+1796.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1795.63 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 179556 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 14884 [startup+1797.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1796.63 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 179656 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519937 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 14884 [startup+1798.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1797.64 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 179757 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520019 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 14884 [startup+1799.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1798.64 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 179857 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559138 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 14884 [startup+1800.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1799.65 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 179958 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 14884 [startup+1801.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1800.65 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 180058 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 14884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 20979 /proc/meminfo: memFree=1802672/2055920 swapFree=4180892/4192956 [pid=20977] ppid=20975 vsize=14884 CPUtime=1800.66 /proc/20977/stat : 20977 (Pueblo13) R 20975 20977 20931 0 -1 4194304 3329 0 0 0 180059 7 0 0 25 0 1 0 207640661 15241216 3248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519995 0 0 4096 0 0 0 0 17 1 0 0 /proc/20977/statm: 3721 3248 205 16 0 3162 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 14884 Sending SIGTERM to -20977 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.67 CPU user time (s): 1800.59 CPU system time (s): 0.080987 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (Kb): 14884 The end
Begin job on node18 on Sun Jun 4 11:16:17 UTC 2006 FILE ID= 38091-1149419777 PBS_JOBID= 315693 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node18/38091-1149419777/instance-38091-1149419777.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-38091-1149419777 -o ROOT/results/node18/solver-38091-1149419777 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node18/38091-1149419777/instance-38091-1149419777.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 7d3927082349ded13241d71256bbcafb RANDOM SEED= 456388196 /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.216 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 : 5931.00 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.216 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: 1815344 kB Buffers: 24512 kB Cached: 149336 kB SwapCached: 3632 kB Active: 49804 kB Inactive: 132668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1815344 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14736 kB Slab: 44128 kB Committed_AS: 445864 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node18 on Sun Jun 4 11:46:18 UTC 2006