Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.72 | 1801.17 |
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 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.33 c starting to Solve 0.33 c #variables read: 6352 - #constraints read: 13205
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/node4/watcher-38057-1149415819 -o ROOT/results/node4/solver-38057-1149415819 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node4/38057-1149415819/instance-38057-1149415819.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.96 2/64 23409 /proc/meminfo: memFree=1542048/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=2328 CPUtime=0 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 207243815 2383872 130 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 10558328 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 582 130 111 16 0 11 0 [startup+10.0032 s] /proc/loadavg: 0.93 0.95 0.96 2/64 23409 /proc/meminfo: memFree=1535392/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=9188 CPUtime=9.99 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 1902 0 0 0 998 1 0 0 25 0 1 0 207243815 9408512 1873 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559516 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 2297 1873 205 16 0 1738 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9188 [startup+20.0091 s] /proc/loadavg: 0.94 0.96 0.96 2/64 23409 /proc/meminfo: memFree=1533344/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=11248 CPUtime=19.99 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 2422 0 0 0 1998 1 0 0 25 0 1 0 207243815 11517952 2393 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134557521 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 2812 2393 205 16 0 2253 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 11248 [startup+30.0151 s] /proc/loadavg: 0.95 0.96 0.96 2/64 23409 /proc/meminfo: memFree=1532192/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=12584 CPUtime=29.99 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 2726 0 0 0 2998 1 0 0 25 0 1 0 207243815 12886016 2697 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 3146 2697 205 16 0 2587 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 12584 [startup+40.0211 s] /proc/loadavg: 0.95 0.96 0.96 2/64 23409 /proc/meminfo: memFree=1530656/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=14000 CPUtime=40 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3106 0 0 0 3998 2 0 0 25 0 1 0 207243815 14336000 3077 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 3500 3077 205 16 0 2941 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 14000 [startup+50.027 s] /proc/loadavg: 0.96 0.96 0.96 2/64 23409 /proc/meminfo: memFree=1529824/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=14916 CPUtime=50 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3311 0 0 0 4998 2 0 0 25 0 1 0 207243815 15273984 3282 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520013 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 3729 3282 205 16 0 3170 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 14916 [startup+60.033 s] /proc/loadavg: 0.97 0.96 0.96 2/64 23409 /proc/meminfo: memFree=1529376/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=15436 CPUtime=60.01 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3438 0 0 0 5999 2 0 0 25 0 1 0 207243815 15806464 3409 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 3859 3409 205 16 0 3300 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 15436 [startup+70.039 s] /proc/loadavg: 0.97 0.96 0.96 2/64 23409 /proc/meminfo: memFree=1529376/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=15436 CPUtime=70.01 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3438 0 0 0 6999 2 0 0 25 0 1 0 207243815 15806464 3409 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 3859 3409 205 16 0 3300 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 15436 [startup+80.0449 s] /proc/loadavg: 0.98 0.96 0.96 2/64 23409 /proc/meminfo: memFree=1529376/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=15436 CPUtime=80.01 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3438 0 0 0 7999 2 0 0 25 0 1 0 207243815 15806464 3409 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 3859 3409 205 16 0 3300 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 15436 [startup+90.0509 s] /proc/loadavg: 0.98 0.96 0.96 2/64 23409 /proc/meminfo: memFree=1529376/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=15436 CPUtime=90.02 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3440 0 0 0 9000 2 0 0 25 0 1 0 207243815 15806464 3411 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 3859 3411 205 16 0 3300 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 15436 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.96 2/64 23409 /proc/meminfo: memFree=1529376/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=15436 CPUtime=100.02 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3440 0 0 0 10000 2 0 0 25 0 1 0 207243815 15806464 3411 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134519946 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 3859 3411 205 16 0 3300 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 15436 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.96 2/64 23409 /proc/meminfo: memFree=1529312/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=15436 CPUtime=110.03 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3441 0 0 0 11001 2 0 0 25 0 1 0 207243815 15806464 3412 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134557740 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 3859 3412 205 16 0 3300 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 15436 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23409 /proc/meminfo: memFree=1528992/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=15692 CPUtime=120.03 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3530 0 0 0 12001 2 0 0 25 0 1 0 207243815 16068608 3501 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 3923 3501 205 16 0 3364 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 15692 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23409 /proc/meminfo: memFree=1528928/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=15692 CPUtime=130.03 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3534 0 0 0 13001 2 0 0 25 0 1 0 207243815 16068608 3505 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559129 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 3923 3505 205 16 0 3364 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 15692 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23409 /proc/meminfo: memFree=1528416/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=16204 CPUtime=140.04 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3665 0 0 0 14001 3 0 0 25 0 1 0 207243815 16592896 3636 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 4051 3636 205 16 0 3492 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 16204 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23409 /proc/meminfo: memFree=1528096/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=16616 CPUtime=150.05 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3750 0 0 0 15002 3 0 0 25 0 1 0 207243815 17014784 3721 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 4154 3721 205 16 0 3595 0 Current children cumulated CPU time (s) 150.05 Current children cumulated vsize (Kb) 16616 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23409 /proc/meminfo: memFree=1527840/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=16748 CPUtime=160.05 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3802 0 0 0 16002 3 0 0 25 0 1 0 207243815 17149952 3773 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134558887 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 4187 3773 205 16 0 3628 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 16748 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23409 /proc/meminfo: memFree=1527840/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=16904 CPUtime=170.05 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3810 0 0 0 17002 3 0 0 25 0 1 0 207243815 17309696 3781 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 4226 3781 205 16 0 3667 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 16904 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23409 /proc/meminfo: memFree=1527264/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=17416 CPUtime=180.05 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 3942 0 0 0 18002 3 0 0 25 0 1 0 207243815 17833984 3913 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 4354 3913 205 16 0 3795 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 17416 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23409 /proc/meminfo: memFree=1526944/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=17804 CPUtime=190.05 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 4035 0 0 0 19002 3 0 0 25 0 1 0 207243815 18231296 4006 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559407 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 4451 4006 205 16 0 3892 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 17804 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23409 /proc/meminfo: memFree=1526432/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=18192 CPUtime=200.06 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 4149 0 0 0 20003 3 0 0 25 0 1 0 207243815 18628608 4120 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 4548 4120 205 16 0 3989 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 18192 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23409 /proc/meminfo: memFree=1526496/2055920 swapFree=4181420/4192956 ################ # More data... # ################ /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6634 0 0 0 178153 8 0 0 25 0 1 0 207243815 28938240 6548 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6548 205 16 0 6506 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 28260 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516584/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1782.62 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6634 0 0 0 178253 9 0 0 25 0 1 0 207243815 28938240 6548 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134558934 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6548 205 16 0 6506 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (Kb) 28260 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516584/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1783.63 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 178354 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520408 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 28260 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516584/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1784.63 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 178454 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559513 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1784.63 Current children cumulated vsize (Kb) 28260 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516584/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1785.64 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 178555 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520552 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1785.64 Current children cumulated vsize (Kb) 28260 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516584/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1786.64 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 178655 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1786.64 Current children cumulated vsize (Kb) 28260 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516584/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1787.65 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 178756 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1787.65 Current children cumulated vsize (Kb) 28260 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516584/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1788.65 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 178856 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1788.65 Current children cumulated vsize (Kb) 28260 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516584/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1789.65 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 178956 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1789.65 Current children cumulated vsize (Kb) 28260 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516584/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1790.66 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 179057 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 28260 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516584/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1791.66 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 179157 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1791.66 Current children cumulated vsize (Kb) 28260 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516520/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1792.67 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 179258 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 28260 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516520/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1793.67 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 179358 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1793.67 Current children cumulated vsize (Kb) 28260 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516520/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1794.68 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 179459 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (Kb) 28260 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516520/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1795.68 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 179559 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134557515 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1795.68 Current children cumulated vsize (Kb) 28260 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516520/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1796.69 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 179660 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1796.69 Current children cumulated vsize (Kb) 28260 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516520/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1797.69 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 179760 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (Kb) 28260 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516520/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1798.69 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 179860 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520076 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (Kb) 28260 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516520/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1799.7 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 179961 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (Kb) 28260 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516520/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1800.7 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 180061 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520085 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 28260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 23411 /proc/meminfo: memFree=1516520/2055920 swapFree=4181420/4192956 [pid=23409] ppid=23407 vsize=28260 CPUtime=1800.71 /proc/23409/stat : 23409 (Pueblo13) R 23407 23409 23363 0 -1 4194304 6635 0 0 0 180062 9 0 0 25 0 1 0 207243815 28938240 6549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/23409/statm: 7065 6549 205 16 0 6506 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 28260 Sending SIGTERM to -23409 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.72 CPU user time (s): 1800.62 CPU system time (s): 0.095985 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (Kb): 28260 The end
Begin job on node4 on Sun Jun 4 10:10:19 UTC 2006 FILE ID= 38057-1149415819 PBS_JOBID= 315248 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node4/38057-1149415819/instance-38057-1149415819.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-38057-1149415819 -o ROOT/results/node4/solver-38057-1149415819 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node4/38057-1149415819/instance-38057-1149415819.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 473e2cd0e31e48ba0932d7bd34857dd0 RANDOM SEED= 864036810 /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.236 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.236 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: 1542256 kB Buffers: 28856 kB Cached: 421416 kB SwapCached: 3220 kB Active: 96784 kB Inactive: 362136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1542256 kB SwapTotal: 4192956 kB SwapFree: 4181420 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14696 kB Slab: 40696 kB Committed_AS: 393668 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Sun Jun 4 10:40:20 UTC 2006