Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.43 | 1801.14 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-beaconfd.opb |
MD5SUM | 6927d145bd65464e16bb11d2b0c90152 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 919 |
Best CPU time to get the best result obtained on this benchmark | 1800.34 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 919 |
Optimality of the best value was proved | NO |
Number of variables | 7860 |
Total number of constraints | 173 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 173 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 4620 |
Number of terms in the objective function | 2880 |
Biggest coefficient in the objective function | 56798 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 526611 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527918 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09 c Pueblo version 1.4 (September 2005) 0.09 c Developed @ University of Michigan, Ann Arbor, MI 0.09 c by Hossein Sheini 0.55 c starting to Solve 0.55 c #variables read: 7860 - #constraints read: 314
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/node3/watcher-37671-1149343969 -o ROOT/results/node3/solver-37671-1149343969 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node3/37671-1149343969/instance-37671-1149343969.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1631392/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=172 CPUtime=0 /proc/27839/stat : 27839 (Pueblo13) D 27837 27839 27793 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 200058596 176128 23 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 10924836 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/27839/statm: 43 23 18 16 0 2 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1622760/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=10912 CPUtime=9.89 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2357 0 0 0 989 0 0 0 25 0 1 0 200058596 11173888 2328 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 2728 2328 205 16 0 2169 0 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 10912 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1622824/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=10912 CPUtime=19.9 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2357 0 0 0 1990 0 0 0 25 0 1 0 200058596 11173888 2328 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 2728 2328 205 16 0 2169 0 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 10912 [startup+30.0157 s] /proc/loadavg: 0.95 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1622824/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=10912 CPUtime=29.9 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2376 0 0 0 2990 0 0 0 25 0 1 0 200058596 11173888 2347 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 2728 2347 205 16 0 2169 0 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 10912 [startup+40.0213 s] /proc/loadavg: 0.96 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1622696/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=11168 CPUtime=39.9 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2426 0 0 0 3990 0 0 0 25 0 1 0 200058596 11436032 2397 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 2792 2397 205 16 0 2233 0 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 11168 [startup+50.0279 s] /proc/loadavg: 0.96 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1622376/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=11424 CPUtime=49.9 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2509 0 0 0 4990 0 0 0 25 0 1 0 200058596 11698176 2480 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 2856 2480 205 16 0 2297 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 11424 [startup+60.0336 s] /proc/loadavg: 0.97 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1622120/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=11808 CPUtime=59.9 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2578 0 0 0 5990 0 0 0 25 0 1 0 200058596 12091392 2549 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 2952 2549 205 16 0 2393 0 Current children cumulated CPU time (s) 59.9 Current children cumulated vsize (Kb) 11808 [startup+70.0402 s] /proc/loadavg: 0.97 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621992/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=11808 CPUtime=69.91 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2601 0 0 0 6991 0 0 0 25 0 1 0 200058596 12091392 2572 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 2952 2572 205 16 0 2393 0 Current children cumulated CPU time (s) 69.91 Current children cumulated vsize (Kb) 11808 [startup+80.0458 s] /proc/loadavg: 0.98 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621800/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12064 CPUtime=79.91 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2653 0 0 0 7991 0 0 0 25 0 1 0 200058596 12353536 2624 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3016 2624 205 16 0 2457 0 Current children cumulated CPU time (s) 79.91 Current children cumulated vsize (Kb) 12064 [startup+90.0515 s] /proc/loadavg: 0.98 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621480/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12320 CPUtime=89.91 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2728 0 0 0 8991 0 0 0 25 0 1 0 200058596 12615680 2699 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3080 2699 205 16 0 2521 0 Current children cumulated CPU time (s) 89.91 Current children cumulated vsize (Kb) 12320 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621416/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12448 CPUtime=99.91 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2749 0 0 0 9991 0 0 0 25 0 1 0 200058596 12746752 2720 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3112 2720 205 16 0 2553 0 Current children cumulated CPU time (s) 99.91 Current children cumulated vsize (Kb) 12448 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621352/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12448 CPUtime=109.91 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2749 0 0 0 10991 0 0 0 25 0 1 0 200058596 12746752 2720 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3112 2720 205 16 0 2553 0 Current children cumulated CPU time (s) 109.91 Current children cumulated vsize (Kb) 12448 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621416/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12448 CPUtime=119.92 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2749 0 0 0 11992 0 0 0 25 0 1 0 200058596 12746752 2720 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3112 2720 205 16 0 2553 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 12448 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621416/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12448 CPUtime=129.92 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2749 0 0 0 12992 0 0 0 25 0 1 0 200058596 12746752 2720 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3112 2720 205 16 0 2553 0 Current children cumulated CPU time (s) 129.92 Current children cumulated vsize (Kb) 12448 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621096/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12712 CPUtime=139.92 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2827 0 0 0 13992 0 0 0 25 0 1 0 200058596 13017088 2798 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3178 2798 205 16 0 2619 0 Current children cumulated CPU time (s) 139.92 Current children cumulated vsize (Kb) 12712 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621096/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12712 CPUtime=149.92 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2827 0 0 0 14992 0 0 0 25 0 1 0 200058596 13017088 2798 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3178 2798 205 16 0 2619 0 Current children cumulated CPU time (s) 149.92 Current children cumulated vsize (Kb) 12712 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621096/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12712 CPUtime=159.92 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2827 0 0 0 15992 0 0 0 25 0 1 0 200058596 13017088 2798 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3178 2798 205 16 0 2619 0 Current children cumulated CPU time (s) 159.92 Current children cumulated vsize (Kb) 12712 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621096/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12712 CPUtime=169.93 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2827 0 0 0 16993 0 0 0 25 0 1 0 200058596 13017088 2798 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3178 2798 205 16 0 2619 0 Current children cumulated CPU time (s) 169.93 Current children cumulated vsize (Kb) 12712 [startup+180.102 s] /proc/loadavg: 0.99 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621096/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12712 CPUtime=179.93 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2827 0 0 0 17993 0 0 0 25 0 1 0 200058596 13017088 2798 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3178 2798 205 16 0 2619 0 Current children cumulated CPU time (s) 179.93 Current children cumulated vsize (Kb) 12712 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621032/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12712 CPUtime=189.93 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2827 0 0 0 18993 0 0 0 25 0 1 0 200058596 13017088 2798 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3178 2798 205 16 0 2619 0 Current children cumulated CPU time (s) 189.93 Current children cumulated vsize (Kb) 12712 [startup+200.113 s] /proc/loadavg: 0.99 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621032/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=12844 CPUtime=199.93 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 2838 0 0 0 19993 0 0 0 25 0 1 0 200058596 13152256 2809 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3211 2809 205 16 0 2652 0 Current children cumulated CPU time (s) 199.93 Current children cumulated vsize (Kb) 12844 [startup+210.119 s] /proc/loadavg: 0.99 0.98 0.92 2/64 27839 /proc/meminfo: memFree=1621032/2055920 swapFree=4181424/4192956 ################ # More data... # ################ /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 178130 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1781.32 Current children cumulated vsize (Kb) 14116 [startup+1783.04 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1782.33 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 178231 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (Kb) 14116 [startup+1784.05 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1783.33 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 178331 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1783.33 Current children cumulated vsize (Kb) 14116 [startup+1785.05 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1784.33 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 178431 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1784.33 Current children cumulated vsize (Kb) 14116 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1785.34 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 178532 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528528 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1785.34 Current children cumulated vsize (Kb) 14116 [startup+1787.06 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1786.34 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 178632 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1786.34 Current children cumulated vsize (Kb) 14116 [startup+1788.07 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1787.35 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 178733 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11366151 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1787.35 Current children cumulated vsize (Kb) 14116 [startup+1789.07 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1788.35 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 178833 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1788.35 Current children cumulated vsize (Kb) 14116 [startup+1790.08 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1789.36 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 178934 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1789.36 Current children cumulated vsize (Kb) 14116 [startup+1791.08 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1790.36 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 179034 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1790.36 Current children cumulated vsize (Kb) 14116 [startup+1792.09 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1791.37 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 179135 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (Kb) 14116 [startup+1793.09 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1792.37 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 179235 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1792.37 Current children cumulated vsize (Kb) 14116 [startup+1794.1 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1793.38 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 179336 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528524 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1793.38 Current children cumulated vsize (Kb) 14116 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1794.38 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 179436 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1794.38 Current children cumulated vsize (Kb) 14116 [startup+1796.11 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1795.38 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 179536 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1795.38 Current children cumulated vsize (Kb) 14116 [startup+1797.11 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1796.39 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 179637 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528224 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (Kb) 14116 [startup+1798.12 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1797.39 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 179737 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1797.39 Current children cumulated vsize (Kb) 14116 [startup+1799.12 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1798.4 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 179838 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1798.4 Current children cumulated vsize (Kb) 14116 [startup+1800.12 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1799.4 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 179938 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1799.4 Current children cumulated vsize (Kb) 14116 [startup+1801.13 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1800.41 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 180039 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 14116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 1.00 1.00 0.93 2/64 27841 /proc/meminfo: memFree=1619176/2055920 swapFree=4181424/4192956 [pid=27839] ppid=27837 vsize=14116 CPUtime=1800.41 /proc/27839/stat : 27839 (Pueblo13) R 27837 27839 27793 0 -1 4194304 3162 0 0 0 180039 2 0 0 25 0 1 0 200058596 14454784 3133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/27839/statm: 3529 3133 205 16 0 2970 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 14116 Sending SIGTERM to -27839 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.14 CPU time (s): 1800.43 CPU user time (s): 1800.4 CPU system time (s): 0.029995 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (Kb): 14140 The end
Begin job on node3 on Sat Jun 3 14:12:49 UTC 2006 FILE ID= 37671-1149343969 PBS_JOBID= 310568 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-beaconfd.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node3/37671-1149343969/instance-37671-1149343969.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-37671-1149343969 -o ROOT/results/node3/solver-37671-1149343969 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node3/37671-1149343969/instance-37671-1149343969.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 6927d145bd65464e16bb11d2b0c90152 RANDOM SEED= 783704336 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1631600 kB Buffers: 11020 kB Cached: 347408 kB SwapCached: 3128 kB Active: 38812 kB Inactive: 328196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1631600 kB SwapTotal: 4192956 kB SwapFree: 4181424 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14932 kB Slab: 43388 kB Committed_AS: 302956 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node3 on Sat Jun 3 14:42:50 UTC 2006