Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.19 | 1800.74 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos13.opb |
MD5SUM | 1218478b67ec647ce24db44195ab22fa |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -89698560 |
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 | -89698560 |
Optimality of the best value was proved | NO |
Number of variables | 1935 |
Total number of constraints | 19275 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 19274 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 1815 |
Number of terms in the objective function | 120 |
Biggest coefficient in the objective function | 103558656 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 2282563635 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 69966336000 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 636991772142 |
Number of bits of the biggest sum of numbers | 40 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.01 c BIG Int formula... 10.12 c Initial problem consists of 1935 variables and 19275 constraints. 209.15 c No problem reductions applied in OPT. instance. 209.15 c preprocess terminated. Elapsed time: 209.08 209.15 c After prepocess the problem consists of 1927 variables and 19275 constraints. 209.15 c Initial Lower Bound: -1619799347 255.31 c Restart #1 #Var: 1927 LB: -1619799347 @ 255.22 321.94 c Restart #2 #Var: 1927 LB: -1619799347 @ 321.83 436.13 c Restart #3 #Var: 1927 LB: -1619799347 @ 435.98 597.21 c Restart #4 #Var: 1927 LB: -1619799347 @ 597.03 776.70 c Restart #5 #Var: 1927 LB: -1619799347 @ 776.46 1009.97 c CHANGE Heuristic... 1009.97 c Restart #0 #Var: 1927 LB: -1619799347 @ 1009.7 1030.36 c Restart #1 #Var: 1927 LB: -1619799347 @ 1030 1079.60 c Restart #2 #Var: 1927 LB: -1619799347 @ 1079.3 1156.86 c Restart #3 #Var: 1925 LB: -1553654579 @ 1156.5 1262.86 c Restart #4 #Var: 1925 LB: -1553654579 @ 1262.5 1386.06 c Restart #5 #Var: 1923 LB: -1416205619 @ 1385.6 1539.29 c Restart #6 #Var: 1921 LB: -1379028659 @ 1538.8 1689.11 c Restart #7 #Var: 1921 LB: -1379028659 @ 1688.6 1800.70 s UNKNOWN 1800.70 c Exit Code: 0 1800.70 c Total time: 1800.2 s
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/node20/watcher-40566-1149305399 -o ROOT/results/node20/solver-40566-1149305399 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node20/40566-1149305399/instance-40566-1149305399.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.01 1.02 0.96 2/64 29701 /proc/meminfo: memFree=1490440/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=4932 CPUtime=0 /proc/29701/stat : 29701 (bsolo) D 29699 29701 29655 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 196203136 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/29701/statm: 1233 330 226 55 0 125 0 [startup+10.0033 s] /proc/loadavg: 1.01 1.02 0.96 2/64 29701 /proc/meminfo: memFree=1289048/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=208640 CPUtime=9.98 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51082 0 0 0 973 25 0 0 25 0 1 0 196203136 213647360 50628 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8040143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52160 50628 281 55 0 51052 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 208640 [startup+20.0105 s] /proc/loadavg: 1.01 1.02 0.96 2/64 29701 /proc/meminfo: memFree=1286240/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=19.98 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 1972 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 211512 [startup+30.0167 s] /proc/loadavg: 1.01 1.02 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=29.99 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 2973 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 211512 [startup+40.0229 s] /proc/loadavg: 1.00 1.01 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=39.99 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 3973 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 211512 [startup+50.0291 s] /proc/loadavg: 1.00 1.01 0.96 2/64 29701 /proc/meminfo: memFree=1286432/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=49.99 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 4973 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 211512 [startup+60.0353 s] /proc/loadavg: 1.00 1.01 0.96 2/64 29701 /proc/meminfo: memFree=1286432/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=60 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 5974 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 211512 [startup+70.0425 s] /proc/loadavg: 1.00 1.01 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=70 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 6974 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 211512 [startup+80.0497 s] /proc/loadavg: 1.00 1.01 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=80 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 7974 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 211512 [startup+90.056 s] /proc/loadavg: 1.00 1.01 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=90.01 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 8975 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 211512 [startup+100.062 s] /proc/loadavg: 1.00 1.01 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=100.01 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 9975 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 211512 [startup+110.068 s] /proc/loadavg: 1.00 1.01 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=110.01 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 10975 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 211512 [startup+120.075 s] /proc/loadavg: 1.00 1.01 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=120.02 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 11976 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 211512 [startup+130.081 s] /proc/loadavg: 1.00 1.01 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=130.02 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 12976 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 211512 [startup+140.088 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=140.02 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 13976 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 211512 [startup+150.094 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=150.03 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 14977 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 211512 [startup+160.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=160.03 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 15977 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 211512 [startup+170.107 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=170.03 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 16977 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 211512 [startup+180.113 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29701 /proc/meminfo: memFree=1286432/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=180.04 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 17978 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645163 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 211512 [startup+190.119 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=190.04 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 18978 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 211512 [startup+200.125 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29701 /proc/meminfo: memFree=1286368/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=211512 CPUtime=200.04 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 51808 0 0 0 19978 26 0 0 25 0 1 0 196203136 216588288 51354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 52878 51354 288 55 0 51770 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 211512 [startup+210.132 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29701 /proc/meminfo: memFree=1285472/2055920 swapFree=4181488/4192956 ################ # More data... # ################ /proc/29701/statm: 54314 52809 297 55 0 53206 0 Current children cumulated CPU time (s) 1760.55 Current children cumulated vsize (Kb) 217256 [startup+1771.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1280224/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217256 CPUtime=1770.55 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53269 0 0 0 177025 30 0 0 25 0 1 0 196203136 222470144 52815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54314 52815 297 55 0 53206 0 Current children cumulated CPU time (s) 1770.55 Current children cumulated vsize (Kb) 217256 [startup+1781.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1280224/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217256 CPUtime=1780.55 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53277 0 0 0 178025 30 0 0 25 0 1 0 196203136 222470144 52823 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54314 52823 297 55 0 53206 0 Current children cumulated CPU time (s) 1780.55 Current children cumulated vsize (Kb) 217256 [startup+1782.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1280160/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217256 CPUtime=1781.56 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53282 0 0 0 178126 30 0 0 25 0 1 0 196203136 222470144 52828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54314 52828 297 55 0 53206 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 217256 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1280160/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217256 CPUtime=1782.56 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53287 0 0 0 178226 30 0 0 25 0 1 0 196203136 222470144 52833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54314 52833 297 55 0 53206 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 217256 [startup+1784.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1280160/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217388 CPUtime=1783.57 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53291 0 0 0 178327 30 0 0 25 0 1 0 196203136 222605312 52837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54347 52837 297 55 0 53239 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 217388 [startup+1785.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1280096/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217388 CPUtime=1784.57 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53302 0 0 0 178427 30 0 0 25 0 1 0 196203136 222605312 52848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54347 52848 297 55 0 53239 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 217388 [startup+1786.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1280032/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217388 CPUtime=1785.57 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53313 0 0 0 178527 30 0 0 25 0 1 0 196203136 222605312 52859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54347 52859 297 55 0 53239 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 217388 [startup+1787.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279968/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217520 CPUtime=1786.58 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53327 0 0 0 178628 30 0 0 25 0 1 0 196203136 222740480 52873 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54380 52873 297 55 0 53272 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 217520 [startup+1788.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279968/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217520 CPUtime=1787.58 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53334 0 0 0 178728 30 0 0 25 0 1 0 196203136 222740480 52880 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54380 52880 297 55 0 53272 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 217520 [startup+1789.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279904/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217520 CPUtime=1788.59 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53349 0 0 0 178829 30 0 0 25 0 1 0 196203136 222740480 52895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54380 52895 297 55 0 53272 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 217520 [startup+1790.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279840/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217652 CPUtime=1789.59 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53361 0 0 0 178929 30 0 0 25 0 1 0 196203136 222875648 52907 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54413 52907 297 55 0 53305 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 217652 [startup+1791.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279840/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217652 CPUtime=1790.6 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53367 0 0 0 179030 30 0 0 25 0 1 0 196203136 222875648 52913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54413 52913 297 55 0 53305 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 217652 [startup+1792.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279840/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217652 CPUtime=1791.6 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53367 0 0 0 179130 30 0 0 25 0 1 0 196203136 222875648 52913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54413 52913 297 55 0 53305 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 217652 [startup+1793.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279840/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217652 CPUtime=1792.61 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53367 0 0 0 179231 30 0 0 25 0 1 0 196203136 222875648 52913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54413 52913 297 55 0 53305 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 217652 [startup+1794.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279840/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217652 CPUtime=1793.61 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53367 0 0 0 179331 30 0 0 25 0 1 0 196203136 222875648 52913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54413 52913 297 55 0 53305 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 217652 [startup+1795.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279840/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217652 CPUtime=1794.62 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53367 0 0 0 179432 30 0 0 25 0 1 0 196203136 222875648 52913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54413 52913 297 55 0 53305 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 217652 [startup+1796.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279840/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217652 CPUtime=1795.62 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53367 0 0 0 179532 30 0 0 25 0 1 0 196203136 222875648 52913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54413 52913 297 55 0 53305 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 217652 [startup+1797.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279840/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217652 CPUtime=1796.63 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53367 0 0 0 179633 30 0 0 25 0 1 0 196203136 222875648 52913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54413 52913 297 55 0 53305 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 217652 [startup+1798.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279840/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217652 CPUtime=1797.63 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53367 0 0 0 179733 30 0 0 25 0 1 0 196203136 222875648 52913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54413 52913 297 55 0 53305 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 217652 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279840/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217652 CPUtime=1798.64 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53367 0 0 0 179834 30 0 0 25 0 1 0 196203136 222875648 52913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54413 52913 297 55 0 53305 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 217652 [startup+1800.2 s] /proc/loadavg: 1.00 1.00 0.96 2/64 29703 /proc/meminfo: memFree=1279840/2055920 swapFree=4181488/4192956 [pid=29701] ppid=29699 vsize=217652 CPUtime=1799.64 /proc/29701/stat : 29701 (bsolo) R 29699 29701 29655 0 -1 0 53367 0 0 0 179934 30 0 0 25 0 1 0 196203136 222875648 52913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29701/statm: 54413 52913 297 55 0 53305 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 217652 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.19 CPU user time (s): 1799.84 CPU system time (s): 0.343947 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (Kb): 217652
Begin job on node20 on Sat Jun 3 03:30:00 UTC 2006 FILE ID= 40566-1149305399 PBS_JOBID= 307578 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos13.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node20/40566-1149305399/instance-40566-1149305399.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-40566-1149305399 -o ROOT/results/node20/solver-40566-1149305399 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node20/40566-1149305399/instance-40566-1149305399.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 1218478b67ec647ce24db44195ab22fa RANDOM SEED= 786848765 /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: 1490648 kB Buffers: 29148 kB Cached: 462304 kB SwapCached: 3180 kB Active: 116488 kB Inactive: 383644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1490648 kB SwapTotal: 4192956 kB SwapFree: 4181488 kB Dirty: 220 kB Writeback: 0 kB Mapped: 14772 kB Slab: 51176 kB Committed_AS: 311628 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node20 on Sat Jun 3 04:00:01 UTC 2006