Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.63 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-4-c.opb |
MD5SUM | 28753ff2e44c4cedb2d3a2e783f8d1a4 |
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 | 2666 |
Total number of constraints | 6659 |
Number of constraints which are clauses | 6659 |
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 | 2666 |
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 | 2666 |
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 | 2666 |
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.13 c starting to Solve 0.13 c #variables read: 2666 - #constraints read: 6660
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/node13/watcher-38082-1149418380 -o ROOT/results/node13/solver-38082-1149418380 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node13/38082-1149418380/instance-38082-1149418380.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.77 0.92 0.96 2/64 6466 /proc/meminfo: memFree=1666800/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=916 CPUtime=0 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 44 0 0 0 0 0 0 0 19 0 1 0 207500627 937984 28 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11878699 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 229 28 20 16 0 8 0 [startup+10.002 s] /proc/loadavg: 0.81 0.92 0.96 2/64 6466 /proc/meminfo: memFree=1662616/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=6760 CPUtime=9.99 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 1295 0 0 0 999 0 0 0 25 0 1 0 207500627 6922240 1266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 1690 1266 205 16 0 1131 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6760 [startup+20.0083 s] /proc/loadavg: 0.84 0.93 0.96 2/64 6466 /proc/meminfo: memFree=1662104/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=7284 CPUtime=19.99 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 1418 0 0 0 1999 0 0 0 25 0 1 0 207500627 7458816 1389 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 12312927 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 1821 1389 205 16 0 1262 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 7284 [startup+30.0147 s] /proc/loadavg: 0.86 0.93 0.96 2/64 6466 /proc/meminfo: memFree=1662040/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=7412 CPUtime=29.99 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 1462 0 0 0 2999 0 0 0 25 0 1 0 207500627 7589888 1433 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 1853 1433 205 16 0 1294 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 7412 [startup+40.021 s] /proc/loadavg: 0.88 0.93 0.96 2/64 6466 /proc/meminfo: memFree=1661720/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=7676 CPUtime=39.99 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 1537 0 0 0 3999 0 0 0 25 0 1 0 207500627 7860224 1508 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557275 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 1919 1508 205 16 0 1360 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 7676 [startup+50.0284 s] /proc/loadavg: 0.90 0.93 0.96 2/64 6466 /proc/meminfo: memFree=1661592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=7932 CPUtime=50 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 1578 0 0 0 5000 0 0 0 25 0 1 0 207500627 8122368 1549 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519929 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 1983 1549 205 16 0 1424 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 7932 [startup+60.0337 s] /proc/loadavg: 0.91 0.93 0.96 2/64 6466 /proc/meminfo: memFree=1661208/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=8188 CPUtime=60.01 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 1672 0 0 0 6000 1 0 0 25 0 1 0 207500627 8384512 1643 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2047 1643 205 16 0 1488 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 8188 [startup+70.0401 s] /proc/loadavg: 0.93 0.94 0.96 2/64 6466 /proc/meminfo: memFree=1660952/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=8576 CPUtime=70.01 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 1744 0 0 0 7000 1 0 0 25 0 1 0 207500627 8781824 1715 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558686 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2144 1715 205 16 0 1585 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 8576 [startup+80.0464 s] /proc/loadavg: 0.94 0.94 0.96 2/64 6466 /proc/meminfo: memFree=1660696/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=8708 CPUtime=80.01 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 1799 0 0 0 8000 1 0 0 25 0 1 0 207500627 8916992 1770 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2177 1770 205 16 0 1618 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 8708 [startup+90.0528 s] /proc/loadavg: 0.95 0.94 0.96 2/64 6466 /proc/meminfo: memFree=1660504/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=8976 CPUtime=90.02 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 1846 0 0 0 9001 1 0 0 25 0 1 0 207500627 9191424 1817 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559394 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2244 1817 205 16 0 1685 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 8976 [startup+100.059 s] /proc/loadavg: 0.95 0.94 0.96 2/64 6466 /proc/meminfo: memFree=1660120/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=9360 CPUtime=100.02 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 1948 0 0 0 10001 1 0 0 25 0 1 0 207500627 9584640 1919 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2340 1919 205 16 0 1781 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 9360 [startup+110.065 s] /proc/loadavg: 0.96 0.94 0.96 2/64 6466 /proc/meminfo: memFree=1659928/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=9488 CPUtime=110.02 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 1988 0 0 0 11001 1 0 0 25 0 1 0 207500627 9715712 1959 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559562 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2372 1959 205 16 0 1813 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 9488 [startup+120.072 s] /proc/loadavg: 0.97 0.94 0.96 2/64 6466 /proc/meminfo: memFree=1659800/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=9620 CPUtime=120.02 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 2022 0 0 0 12001 1 0 0 25 0 1 0 207500627 9850880 1993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558670 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2405 1993 205 16 0 1846 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 9620 [startup+130.078 s] /proc/loadavg: 0.97 0.94 0.96 2/64 6466 /proc/meminfo: memFree=1659672/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=9764 CPUtime=130.03 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 2053 0 0 0 13002 1 0 0 25 0 1 0 207500627 9998336 2024 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558096 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2441 2024 205 16 0 1882 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 9764 [startup+140.084 s] /proc/loadavg: 0.98 0.95 0.96 2/64 6466 /proc/meminfo: memFree=1659224/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=10276 CPUtime=140.03 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 2162 0 0 0 14002 1 0 0 25 0 1 0 207500627 10522624 2133 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559543 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2569 2133 205 16 0 2010 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 10276 [startup+150.091 s] /proc/loadavg: 0.98 0.95 0.96 2/64 6466 /proc/meminfo: memFree=1659096/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=10404 CPUtime=150.03 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 2196 0 0 0 15002 1 0 0 25 0 1 0 207500627 10653696 2167 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519910 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2601 2167 205 16 0 2042 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 10404 [startup+160.097 s] /proc/loadavg: 0.98 0.95 0.96 2/64 6466 /proc/meminfo: memFree=1658968/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=10532 CPUtime=160.04 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 2225 0 0 0 16003 1 0 0 25 0 1 0 207500627 10784768 2196 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559385 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2633 2196 205 16 0 2074 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 10532 [startup+170.104 s] /proc/loadavg: 0.98 0.95 0.96 2/64 6466 /proc/meminfo: memFree=1658968/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=10532 CPUtime=170.04 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 2230 0 0 0 17003 1 0 0 25 0 1 0 207500627 10784768 2201 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2633 2201 205 16 0 2074 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 10532 [startup+180.11 s] /proc/loadavg: 0.99 0.95 0.96 2/64 6466 /proc/meminfo: memFree=1658968/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=10532 CPUtime=180.04 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 2230 0 0 0 18003 1 0 0 25 0 1 0 207500627 10784768 2201 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520019 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2633 2201 205 16 0 2074 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 10532 [startup+190.116 s] /proc/loadavg: 0.99 0.95 0.96 2/64 6466 /proc/meminfo: memFree=1658904/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=10532 CPUtime=190.05 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 2231 0 0 0 19004 1 0 0 25 0 1 0 207500627 10784768 2202 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2633 2202 205 16 0 2074 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 10532 [startup+200.123 s] /proc/loadavg: 0.99 0.95 0.96 2/64 6466 /proc/meminfo: memFree=1658904/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=10532 CPUtime=200.05 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 2231 0 0 0 20004 1 0 0 25 0 1 0 207500627 10784768 2202 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520212 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 2633 2202 205 16 0 2074 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 10532 [startup+210.129 s] /proc/loadavg: 0.99 0.95 0.96 2/64 6466 /proc/meminfo: memFree=1658904/2055920 swapFree=4181416/4192956 ################ # More data... # ################ /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 178147 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557196 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 15720 [startup+1783.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1782.53 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 178247 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520229 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 15720 [startup+1784.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1783.53 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 178347 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134553168 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 15720 [startup+1785.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1784.54 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 178448 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 15720 [startup+1786.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1785.54 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 178548 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 15720 [startup+1787.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1786.55 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 178649 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519929 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 15720 [startup+1788.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1787.55 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 178749 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 15720 [startup+1789.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1788.56 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 178850 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 15720 [startup+1790.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1789.56 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 178950 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 15720 [startup+1791.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1790.57 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 179051 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 15720 [startup+1792.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1791.57 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 179151 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 15720 [startup+1793.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1792.58 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3494 0 0 0 179252 6 0 0 25 0 1 0 207500627 16097280 3465 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3465 205 16 0 3371 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 15720 [startup+1794.19 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1793.58 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3495 0 0 0 179352 6 0 0 25 0 1 0 207500627 16097280 3466 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3466 205 16 0 3371 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 15720 [startup+1795.2 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1794.59 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3495 0 0 0 179453 6 0 0 25 0 1 0 207500627 16097280 3466 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3466 205 16 0 3371 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 15720 [startup+1796.2 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1795.59 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3495 0 0 0 179553 6 0 0 25 0 1 0 207500627 16097280 3466 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3466 205 16 0 3371 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 15720 [startup+1797.2 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1796.59 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3495 0 0 0 179653 6 0 0 25 0 1 0 207500627 16097280 3466 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3466 205 16 0 3371 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 15720 [startup+1798.21 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1797.6 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3495 0 0 0 179754 6 0 0 25 0 1 0 207500627 16097280 3466 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559129 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3466 205 16 0 3371 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 15720 [startup+1799.21 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1798.6 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3495 0 0 0 179854 6 0 0 25 0 1 0 207500627 16097280 3466 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3466 205 16 0 3371 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 15720 [startup+1800.22 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1799.61 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3495 0 0 0 179955 6 0 0 25 0 1 0 207500627 16097280 3466 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3466 205 16 0 3371 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 15720 [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1800.61 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3495 0 0 0 180055 6 0 0 25 0 1 0 207500627 16097280 3466 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559480 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3466 205 16 0 3371 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 15720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.23 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6661 /proc/meminfo: memFree=1653592/2055920 swapFree=4181416/4192956 [pid=6466] ppid=6464 vsize=15720 CPUtime=1800.62 /proc/6466/stat : 6466 (Pueblo13) R 6464 6466 6420 0 -1 4194304 3495 0 0 0 180056 6 0 0 25 0 1 0 207500627 16097280 3466 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6466/statm: 3930 3466 205 16 0 3371 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 15720 Sending SIGTERM to -6466 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.63 CPU user time (s): 1800.56 CPU system time (s): 0.066989 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (Kb): 15760 The end
Begin job on node13 on Sun Jun 4 10:53:00 UTC 2006 FILE ID= 38082-1149418380 PBS_JOBID= 315569 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node13/38082-1149418380/instance-38082-1149418380.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-38082-1149418380 -o ROOT/results/node13/solver-38082-1149418380 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node13/38082-1149418380/instance-38082-1149418380.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 28753ff2e44c4cedb2d3a2e783f8d1a4 RANDOM SEED= 938296166 /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.234 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.234 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: 1667072 kB Buffers: 26628 kB Cached: 293188 kB SwapCached: 3116 kB Active: 94000 kB Inactive: 234408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1667072 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 332 kB Writeback: 0 kB Mapped: 14664 kB Slab: 46476 kB Committed_AS: 445408 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Sun Jun 4 11:23:01 UTC 2006