Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | UNSAT | 1732.47 | 1732.88 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb |
MD5SUM | f70781d9e1b73a3f03aa1ef3a5aa83c9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.91525 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 23376 |
Total number of constraints | 1029 |
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 | 1029 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 496 |
Number of terms in the objective function | 7565 |
Biggest coefficient in the objective function | 29038 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 531731 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531731 |
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.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.69 c starting to Solve 0.69 c #variables read: 23376 - #constraints read: 1537 1732.87 c total time : 1732.73 s 1732.87 s UNSATISFIABLE
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/node49/watcher-37629-1149333659 -o ROOT/results/node49/solver-37629-1149333659 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/37629-1149333659/instance-37629-1149333659.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1498360/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=2288 CPUtime=0 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 221 0 0 0 0 0 0 0 18 0 1 0 199033030 2342912 192 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 572 192 169 16 0 13 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483512/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=17908 CPUtime=9.99 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3941 0 0 0 998 1 0 0 25 0 1 0 199033030 18337792 3912 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527552 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4477 3912 206 16 0 3918 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 17908 [startup+20.0083 s] /proc/loadavg: 0.94 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483712/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=17908 CPUtime=20.01 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3942 0 0 0 2000 1 0 0 25 0 1 0 199033030 18337792 3913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4477 3913 206 16 0 3918 0 Current children cumulated CPU time (s) 20.01 Current children cumulated vsize (Kb) 17908 [startup+30.0331 s] /proc/loadavg: 0.95 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483776/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=17908 CPUtime=30.02 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3943 0 0 0 3001 1 0 0 25 0 1 0 199033030 18337792 3914 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4477 3914 206 16 0 3918 0 Current children cumulated CPU time (s) 30.02 Current children cumulated vsize (Kb) 17908 [startup+40.0389 s] /proc/loadavg: 0.96 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483776/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=17908 CPUtime=40.02 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3943 0 0 0 4001 1 0 0 25 0 1 0 199033030 18337792 3914 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4477 3914 206 16 0 3918 0 Current children cumulated CPU time (s) 40.02 Current children cumulated vsize (Kb) 17908 [startup+50.0448 s] /proc/loadavg: 0.96 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483840/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=17908 CPUtime=50.02 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3944 0 0 0 5001 1 0 0 25 0 1 0 199033030 18337792 3915 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4477 3915 206 16 0 3918 0 Current children cumulated CPU time (s) 50.02 Current children cumulated vsize (Kb) 17908 [startup+60.0506 s] /proc/loadavg: 0.97 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483776/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=17908 CPUtime=60.03 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3947 0 0 0 6002 1 0 0 25 0 1 0 199033030 18337792 3918 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4477 3918 206 16 0 3918 0 Current children cumulated CPU time (s) 60.03 Current children cumulated vsize (Kb) 17908 [startup+70.0574 s] /proc/loadavg: 0.97 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483776/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=17908 CPUtime=70.03 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3949 0 0 0 7002 1 0 0 25 0 1 0 199033030 18337792 3920 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528217 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4477 3920 206 16 0 3918 0 Current children cumulated CPU time (s) 70.03 Current children cumulated vsize (Kb) 17908 [startup+80.0632 s] /proc/loadavg: 0.98 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483776/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=17908 CPUtime=80.03 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3952 0 0 0 8002 1 0 0 25 0 1 0 199033030 18337792 3923 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4477 3923 206 16 0 3918 0 Current children cumulated CPU time (s) 80.03 Current children cumulated vsize (Kb) 17908 [startup+90.069 s] /proc/loadavg: 0.98 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483776/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=17908 CPUtime=90.04 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3955 0 0 0 9003 1 0 0 25 0 1 0 199033030 18337792 3926 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4477 3926 206 16 0 3918 0 Current children cumulated CPU time (s) 90.04 Current children cumulated vsize (Kb) 17908 [startup+100.075 s] /proc/loadavg: 0.98 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483712/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=17908 CPUtime=100.04 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3957 0 0 0 10003 1 0 0 25 0 1 0 199033030 18337792 3928 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4477 3928 206 16 0 3918 0 Current children cumulated CPU time (s) 100.04 Current children cumulated vsize (Kb) 17908 [startup+110.081 s] /proc/loadavg: 0.98 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483712/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18036 CPUtime=110.04 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3960 0 0 0 11003 1 0 0 25 0 1 0 199033030 18468864 3931 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4509 3931 206 16 0 3950 0 Current children cumulated CPU time (s) 110.04 Current children cumulated vsize (Kb) 18036 [startup+120.087 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483712/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18036 CPUtime=120.05 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3963 0 0 0 12004 1 0 0 25 0 1 0 199033030 18468864 3934 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528319 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4509 3934 206 16 0 3950 0 Current children cumulated CPU time (s) 120.05 Current children cumulated vsize (Kb) 18036 [startup+130.092 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483776/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18036 CPUtime=130.05 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3965 0 0 0 13004 1 0 0 25 0 1 0 199033030 18468864 3936 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4509 3936 206 16 0 3950 0 Current children cumulated CPU time (s) 130.05 Current children cumulated vsize (Kb) 18036 [startup+140.097 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483712/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18036 CPUtime=140.05 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3968 0 0 0 14004 1 0 0 25 0 1 0 199033030 18468864 3939 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4509 3939 206 16 0 3950 0 Current children cumulated CPU time (s) 140.05 Current children cumulated vsize (Kb) 18036 [startup+150.103 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483712/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18036 CPUtime=150.06 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3970 0 0 0 15005 1 0 0 25 0 1 0 199033030 18468864 3941 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4509 3941 206 16 0 3950 0 Current children cumulated CPU time (s) 150.06 Current children cumulated vsize (Kb) 18036 [startup+160.109 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483712/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18036 CPUtime=160.06 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3973 0 0 0 16005 1 0 0 25 0 1 0 199033030 18468864 3944 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4509 3944 206 16 0 3950 0 Current children cumulated CPU time (s) 160.06 Current children cumulated vsize (Kb) 18036 [startup+170.115 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483648/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18036 CPUtime=170.06 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3978 0 0 0 17005 1 0 0 25 0 1 0 199033030 18468864 3949 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4509 3949 206 16 0 3950 0 Current children cumulated CPU time (s) 170.06 Current children cumulated vsize (Kb) 18036 [startup+180.12 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483648/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18036 CPUtime=180.07 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3979 0 0 0 18006 1 0 0 25 0 1 0 199033030 18468864 3950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4509 3950 206 16 0 3950 0 Current children cumulated CPU time (s) 180.07 Current children cumulated vsize (Kb) 18036 [startup+190.126 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483648/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18036 CPUtime=190.07 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3982 0 0 0 19006 1 0 0 25 0 1 0 199033030 18468864 3953 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4509 3953 206 16 0 3950 0 Current children cumulated CPU time (s) 190.07 Current children cumulated vsize (Kb) 18036 [startup+200.131 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483648/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18036 CPUtime=200.07 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 3985 0 0 0 20006 1 0 0 25 0 1 0 199033030 18468864 3956 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528062 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4509 3956 206 16 0 3950 0 Current children cumulated CPU time (s) 200.07 Current children cumulated vsize (Kb) 18036 [startup+210.137 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12769 /proc/meminfo: memFree=1483584/2055920 swapFree=4181416/4192956 ################ # More data... # ################ /proc/12769/statm: 4703 4152 206 16 0 4144 0 Current children cumulated CPU time (s) 1520.53 Current children cumulated vsize (Kb) 18812 [startup+1530.9 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482568/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18812 CPUtime=1530.53 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4181 0 0 0 153051 2 0 0 25 0 1 0 199033030 19263488 4152 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4703 4152 206 16 0 4144 0 Current children cumulated CPU time (s) 1530.53 Current children cumulated vsize (Kb) 18812 [startup+1540.91 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482568/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1540.53 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4185 0 0 0 154051 2 0 0 25 0 1 0 199033030 19402752 4156 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4156 206 16 0 4178 0 Current children cumulated CPU time (s) 1540.53 Current children cumulated vsize (Kb) 18948 [startup+1550.92 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482568/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1550.54 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4186 0 0 0 155052 2 0 0 25 0 1 0 199033030 19402752 4157 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4157 206 16 0 4178 0 Current children cumulated CPU time (s) 1550.54 Current children cumulated vsize (Kb) 18948 [startup+1560.92 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482568/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1560.54 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4186 0 0 0 156052 2 0 0 25 0 1 0 199033030 19402752 4157 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4157 206 16 0 4178 0 Current children cumulated CPU time (s) 1560.54 Current children cumulated vsize (Kb) 18948 [startup+1570.93 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482504/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1570.54 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4186 0 0 0 157052 2 0 0 25 0 1 0 199033030 19402752 4157 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527939 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4157 206 16 0 4178 0 Current children cumulated CPU time (s) 1570.54 Current children cumulated vsize (Kb) 18948 [startup+1580.93 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482504/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1580.55 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4186 0 0 0 158053 2 0 0 25 0 1 0 199033030 19402752 4157 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4157 206 16 0 4178 0 Current children cumulated CPU time (s) 1580.55 Current children cumulated vsize (Kb) 18948 [startup+1590.94 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482504/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1590.55 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4190 0 0 0 159053 2 0 0 25 0 1 0 199033030 19402752 4161 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4161 206 16 0 4178 0 Current children cumulated CPU time (s) 1590.55 Current children cumulated vsize (Kb) 18948 [startup+1600.94 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482504/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1600.55 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4190 0 0 0 160053 2 0 0 25 0 1 0 199033030 19402752 4161 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4161 206 16 0 4178 0 Current children cumulated CPU time (s) 1600.55 Current children cumulated vsize (Kb) 18948 [startup+1610.95 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482504/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1610.56 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4190 0 0 0 161054 2 0 0 25 0 1 0 199033030 19402752 4161 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4161 206 16 0 4178 0 Current children cumulated CPU time (s) 1610.56 Current children cumulated vsize (Kb) 18948 [startup+1620.95 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482504/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1620.56 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4191 0 0 0 162054 2 0 0 25 0 1 0 199033030 19402752 4162 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4162 206 16 0 4178 0 Current children cumulated CPU time (s) 1620.56 Current children cumulated vsize (Kb) 18948 [startup+1630.96 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482504/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1630.56 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4191 0 0 0 163054 2 0 0 25 0 1 0 199033030 19402752 4162 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528224 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4162 206 16 0 4178 0 Current children cumulated CPU time (s) 1630.56 Current children cumulated vsize (Kb) 18948 [startup+1640.97 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482504/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1640.57 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4191 0 0 0 164055 2 0 0 25 0 1 0 199033030 19402752 4162 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4162 206 16 0 4178 0 Current children cumulated CPU time (s) 1640.57 Current children cumulated vsize (Kb) 18948 [startup+1650.97 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482504/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1650.57 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4191 0 0 0 165055 2 0 0 25 0 1 0 199033030 19402752 4162 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4162 206 16 0 4178 0 Current children cumulated CPU time (s) 1650.57 Current children cumulated vsize (Kb) 18948 [startup+1660.98 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482440/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1660.57 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4196 0 0 0 166055 2 0 0 25 0 1 0 199033030 19402752 4167 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4167 206 16 0 4178 0 Current children cumulated CPU time (s) 1660.57 Current children cumulated vsize (Kb) 18948 [startup+1670.98 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482440/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1670.58 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4196 0 0 0 167056 2 0 0 25 0 1 0 199033030 19402752 4167 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4167 206 16 0 4178 0 Current children cumulated CPU time (s) 1670.58 Current children cumulated vsize (Kb) 18948 [startup+1680.99 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482440/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1680.58 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4196 0 0 0 168056 2 0 0 25 0 1 0 199033030 19402752 4167 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4167 206 16 0 4178 0 Current children cumulated CPU time (s) 1680.58 Current children cumulated vsize (Kb) 18948 [startup+1690.99 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482440/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1690.58 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4197 0 0 0 169056 2 0 0 25 0 1 0 199033030 19402752 4168 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527934 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4168 206 16 0 4178 0 Current children cumulated CPU time (s) 1690.58 Current children cumulated vsize (Kb) 18948 [startup+1701 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482440/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1700.59 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4197 0 0 0 170057 2 0 0 25 0 1 0 199033030 19402752 4168 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4168 206 16 0 4178 0 Current children cumulated CPU time (s) 1700.59 Current children cumulated vsize (Kb) 18948 [startup+1711.01 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482440/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1710.6 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4197 0 0 0 171058 2 0 0 25 0 1 0 199033030 19402752 4168 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4168 206 16 0 4178 0 Current children cumulated CPU time (s) 1710.6 Current children cumulated vsize (Kb) 18948 [startup+1721.02 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482440/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1720.6 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4197 0 0 0 172058 2 0 0 25 0 1 0 199033030 19402752 4168 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4168 206 16 0 4178 0 Current children cumulated CPU time (s) 1720.6 Current children cumulated vsize (Kb) 18948 [startup+1731.02 s] /proc/loadavg: 0.99 0.98 0.95 2/64 12771 /proc/meminfo: memFree=1482376/2055920 swapFree=4181416/4192956 [pid=12769] ppid=12767 vsize=18948 CPUtime=1730.6 /proc/12769/stat : 12769 (Pueblo13) R 12767 12769 12723 0 -1 4194304 4205 0 0 0 173058 2 0 0 25 0 1 0 199033030 19402752 4176 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12769/statm: 4737 4176 206 16 0 4178 0 Current children cumulated CPU time (s) 1730.6 Current children cumulated vsize (Kb) 18948 Child status: 20 Real time (s): 1732.88 CPU time (s): 1732.47 CPU user time (s): 1732.44 CPU system time (s): 0.033994 CPU usage (%): 99.9764 Max. virtual memory (cumulated for all children) (Kb): 18948
Begin job on node49 on Sat Jun 3 11:20:59 UTC 2006 FILE ID= 37629-1149333659 PBS_JOBID= 310034 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-seba.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/37629-1149333659/instance-37629-1149333659.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node49/watcher-37629-1149333659 -o ROOT/results/node49/solver-37629-1149333659 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/37629-1149333659/instance-37629-1149333659.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= f70781d9e1b73a3f03aa1ef3a5aa83c9 RANDOM SEED= 564474832 /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 : 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.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: 1498568 kB Buffers: 25084 kB Cached: 470616 kB SwapCached: 3284 kB Active: 68380 kB Inactive: 436060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1498568 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14908 kB Slab: 38920 kB Committed_AS: 325792 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node49 on Sat Jun 3 11:49:52 UTC 2006