Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.7 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-danoint.opb |
MD5SUM | 9a58bdfc023900d726e146c07979fe71 |
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 | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 13898 |
Total number of constraints | 672 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 656 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 1500 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
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 | 525350 |
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.38 c starting to Solve 0.38 c #variables read: 13898 - #constraints read: 817
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/node21/watcher-37760-1149264175 -o ROOT/results/node21/solver-37760-1149264175 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37760-1149264175/instance-37760-1149264175.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1165744/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=2324 CPUtime=0 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 64 0 0 0 0 0 0 0 18 0 1 0 192080550 2379776 49 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8441591 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 582 57 45 16 0 11 0 [startup+10.0022 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1157296/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=10884 CPUtime=9.99 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 2338 0 0 0 999 0 0 0 25 0 1 0 192080550 11145216 2309 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528071 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 2721 2309 206 16 0 2162 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 10884 [startup+20.0083 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1157040/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=11144 CPUtime=19.99 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 2390 0 0 0 1999 0 0 0 25 0 1 0 192080550 11411456 2361 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 2786 2361 206 16 0 2227 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 11144 [startup+30.0144 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1154800/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=13464 CPUtime=30 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 2957 0 0 0 2999 1 0 0 25 0 1 0 192080550 13787136 2928 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 3366 2928 206 16 0 2807 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 13464 [startup+40.0195 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1150960/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=17196 CPUtime=40 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 3909 0 0 0 3999 1 0 0 25 0 1 0 192080550 17608704 3880 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4299 3880 206 16 0 3740 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 17196 [startup+50.0256 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1150448/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=17840 CPUtime=50 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4063 0 0 0 4999 1 0 0 25 0 1 0 192080550 18268160 4034 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4460 4034 206 16 0 3901 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 17840 [startup+60.0317 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1150448/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=17840 CPUtime=60 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4063 0 0 0 5999 1 0 0 25 0 1 0 192080550 18268160 4034 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4460 4034 206 16 0 3901 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 17840 [startup+70.0378 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149168/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=19156 CPUtime=70 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 6999 1 0 0 25 0 1 0 192080550 19615744 4347 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4789 4347 206 16 0 4230 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 19156 [startup+80.0439 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149168/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=19156 CPUtime=80.01 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 8000 1 0 0 25 0 1 0 192080550 19615744 4347 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528048 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4789 4347 206 16 0 4230 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 19156 [startup+90.05 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149168/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=19156 CPUtime=90.01 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 9000 1 0 0 25 0 1 0 192080550 19615744 4347 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4789 4347 206 16 0 4230 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 19156 [startup+100.055 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149168/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=19156 CPUtime=100.01 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 10000 1 0 0 25 0 1 0 192080550 19615744 4347 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4789 4347 206 16 0 4230 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 19156 [startup+110.061 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149168/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=19156 CPUtime=110.02 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 11001 1 0 0 25 0 1 0 192080550 19615744 4347 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4789 4347 206 16 0 4230 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 19156 [startup+120.067 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149168/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=19156 CPUtime=120.02 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 12001 1 0 0 25 0 1 0 192080550 19615744 4347 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4789 4347 206 16 0 4230 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 19156 [startup+130.073 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149168/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=19156 CPUtime=130.02 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 13001 1 0 0 25 0 1 0 192080550 19615744 4347 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528319 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4789 4347 206 16 0 4230 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 19156 [startup+140.079 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149232/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=18752 CPUtime=140.03 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 14002 1 0 0 25 0 1 0 192080550 19202048 4272 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559204 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4688 4272 206 16 0 4129 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 18752 [startup+150.086 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149232/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=18752 CPUtime=150.04 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 15002 2 0 0 25 0 1 0 192080550 19202048 4272 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4688 4272 206 16 0 4129 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 18752 [startup+160.092 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149232/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=18752 CPUtime=160.04 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 16002 2 0 0 25 0 1 0 192080550 19202048 4272 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4688 4272 206 16 0 4129 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 18752 [startup+170.098 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149232/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=18752 CPUtime=170.05 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 17003 2 0 0 25 0 1 0 192080550 19202048 4272 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528207 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4688 4272 206 16 0 4129 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 18752 [startup+180.104 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149232/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=18752 CPUtime=180.05 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 18003 2 0 0 25 0 1 0 192080550 19202048 4272 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527939 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4688 4272 206 16 0 4129 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 18752 [startup+190.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149232/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=18752 CPUtime=190.05 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 19003 2 0 0 25 0 1 0 192080550 19202048 4272 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4688 4272 206 16 0 4129 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 18752 [startup+200.116 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149232/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=18752 CPUtime=200.06 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 4376 0 0 0 20004 2 0 0 25 0 1 0 192080550 19202048 4272 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 4688 4272 206 16 0 4129 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 18752 [startup+210.123 s] /proc/loadavg: 1.00 1.00 0.96 2/64 23612 /proc/meminfo: memFree=1149232/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 178152 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 35528 [startup+1783.08 s] /proc/loadavg: 1.08 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1782.6 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 178252 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 35528 [startup+1784.08 s] /proc/loadavg: 1.08 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1783.61 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 178353 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520003 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 35528 [startup+1785.09 s] /proc/loadavg: 1.07 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1784.61 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 178453 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 35528 [startup+1786.09 s] /proc/loadavg: 1.07 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1785.62 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 178554 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 35528 [startup+1787.1 s] /proc/loadavg: 1.07 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1786.62 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 178654 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 35528 [startup+1788.1 s] /proc/loadavg: 1.07 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1787.63 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 178755 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 35528 [startup+1789.11 s] /proc/loadavg: 1.07 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1788.63 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 178855 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 35528 [startup+1790.11 s] /proc/loadavg: 1.07 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1789.63 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 178955 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 35528 [startup+1791.12 s] /proc/loadavg: 1.07 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1790.64 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 179056 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 35528 [startup+1792.12 s] /proc/loadavg: 1.07 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1791.64 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 179156 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 35528 [startup+1793.13 s] /proc/loadavg: 1.07 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1792.65 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 179257 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520442 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 35528 [startup+1794.13 s] /proc/loadavg: 1.07 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1793.65 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 179357 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 35528 [startup+1795.13 s] /proc/loadavg: 1.06 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1794.66 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 179458 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 35528 [startup+1796.14 s] /proc/loadavg: 1.06 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1795.66 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 179558 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557898 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 35528 [startup+1797.15 s] /proc/loadavg: 1.06 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1796.67 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 179659 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 35528 [startup+1798.15 s] /proc/loadavg: 1.06 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1797.67 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 179759 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528512 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 35528 [startup+1799.16 s] /proc/loadavg: 1.06 1.02 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1798.68 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 179860 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 35528 [startup+1800.16 s] /proc/loadavg: 1.06 1.01 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1799.68 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 179960 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 35528 [startup+1801.17 s] /proc/loadavg: 1.06 1.01 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1800.69 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 180061 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 35528 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.06 1.01 0.96 2/64 23612 /proc/meminfo: memFree=1132592/2055920 swapFree=4181452/4192956 [pid=23612] ppid=23610 vsize=35528 CPUtime=1800.69 /proc/23612/stat : 23612 (Pueblo13) R 23610 23612 23566 0 -1 4194304 8571 0 0 0 180061 8 0 0 25 0 1 0 192080550 36380672 8467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 8882 8467 206 16 0 8323 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 35528 Sending SIGTERM to -23612 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.7 CPU user time (s): 1800.62 CPU system time (s): 0.088986 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (Kb): 35528 The end
Begin job on node21 on Fri Jun 2 16:02:55 UTC 2006 FILE ID= 37760-1149264175 PBS_JOBID= 301392 BENCH NAME= ROOT/tmp/node21/37760-1149264175/instance-37760-1149264175.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37760-1149264175/instance-37760-1149264175.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-37760-1149264175 -o ROOT/results/node21/solver-37760-1149264175 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37760-1149264175/instance-37760-1149264175.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 9a58bdfc023900d726e146c07979fe71 RANDOM SEED= 992690369 /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.240 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.240 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: 1165952 kB Buffers: 46536 kB Cached: 765668 kB SwapCached: 3388 kB Active: 218688 kB Inactive: 602436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1165952 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14740 kB Slab: 54924 kB Committed_AS: 265672 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Fri Jun 2 16:32:56 UTC 2006