Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.05 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-set1al.opb |
MD5SUM | 8707b70244b4b6d1505bb830d4ab8529 |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 42048 |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 492 |
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 | 492 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7200 |
Biggest coefficient in the objective function | 3484 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 530256 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 530256 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.26 c Initial problem consists of 14400 variables and 732 constraints. 0.30 c preprocess terminated. Elapsed time: 0.292 0.30 c After prepocess the problem consists of 9512 variables and 732 constraints. 0.30 c Initial Lower Bound: 0 20.48 c Restart #1 #Var: 9512 LB: 0 @ 20.466 35.58 c Restart #2 #Var: 9512 LB: 0 @ 35.562 64.93 c Restart #3 #Var: 9512 LB: 0 @ 64.904 608.64 c Restart #4 #Var: 9512 LB: 0 @ 608.45 963.38 c CHANGE Heuristic... 963.38 c Restart #0 #Var: 9512 LB: 0 @ 963.09 971.52 c Restart #1 #Var: 9503 LB: 0 @ 971.23 975.19 c Restart #2 #Var: 9498 LB: 0 @ 974.89 985.29 c Restart #3 #Var: 9498 LB: 0 @ 984.99 999.24 c Restart #4 #Var: 9450 LB: 0 @ 998.94 1028.49 c Restart #5 #Var: 9437 LB: 0 @ 1028.2 1032.13 c Restart #6 #Var: 9437 LB: 0 @ 1031.8 1051.77 c Restart #7 #Var: 9433 LB: 0 @ 1051.5 1072.03 c Restart #8 #Var: 9433 LB: 0 @ 1071.7 1128.26 c Restart #9 #Var: 9393 LB: 0 @ 1127.9 1144.31 c Restart #10 #Var: 9383 LB: 0 @ 1144 1157.23 c Restart #11 #Var: 9382 LB: 0 @ 1156.9 1205.11 c Restart #12 #Var: 9371 LB: 0 @ 1204.7 1232.74 c Restart #13 #Var: 9371 LB: 0 @ 1232.4 1244.19 c Restart #14 #Var: 9370 LB: 0 @ 1243.8 1258.32 c Restart #15 #Var: 9370 LB: 0 @ 1257.9 1310.27 c Restart #16 #Var: 9360 LB: 0 @ 1309.9 1325.02 c Restart #17 #Var: 9360 LB: 0 @ 1324.6 1338.59 c Restart #18 #Var: 9351 LB: 0 @ 1338.2 1362.41 c Restart #19 #Var: 9348 LB: 0 @ 1362 1398.93 c Restart #20 #Var: 9348 LB: 0 @ 1398.5 1416.87 c Restart #21 #Var: 9345 LB: 0 @ 1416.4 1433.84 c Restart #22 #Var: 9345 LB: 0 @ 1433.4 1472.62 c Restart #23 #Var: 9327 LB: 0 @ 1472.2 1494.85 c Restart #24 #Var: 9324 LB: 0 @ 1494.4 1522.54 c Restart #25 #Var: 9320 LB: 0 @ 1522.1 1555.95 c Restart #26 #Var: 9317 LB: 0 @ 1555.5 1573.91 c Restart #27 #Var: 9317 LB: 0 @ 1573.4 1603.69 c Restart #28 #Var: 9316 LB: 0 @ 1603.2 1630.26 c Restart #29 #Var: 9316 LB: 0 @ 1629.8 1691.58 c Restart #30 #Var: 9316 LB: 0 @ 1691.1 1716.16 c Restart #31 #Var: 9313 LB: 0 @ 1715.6 1757.29 c Restart #32 #Var: 9307 LB: 0 @ 1756.8 1800.55 s UNKNOWN 1800.55 c Exit Code: 0 1800.55 c Total time: 1800 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/node62/watcher-39991-1149348273 -o ROOT/results/node62/solver-39991-1149348273 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39991-1149348273/instance-39991-1149348273.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.01 0.96 3/64 14529 /proc/meminfo: memFree=1215632/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=4664 CPUtime=0 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 167 0 0 0 0 0 0 0 18 0 1 0 44030858 4775936 147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8076642 0 0 4096 0 0 0 0 17 1 0 0 /proc/14529/statm: 1166 151 112 55 0 46 0 [startup+10.0032 s] /proc/loadavg: 1.00 1.01 0.96 2/64 14529 /proc/meminfo: memFree=1195160/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=25436 CPUtime=9.98 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 5510 0 0 0 995 3 0 0 25 0 1 0 44030858 26046464 5425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 6359 5425 296 55 0 5251 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 25436 [startup+20.0104 s] /proc/loadavg: 1.00 1.01 0.96 2/64 14529 /proc/meminfo: memFree=1179416/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=41768 CPUtime=19.99 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 9442 0 0 0 1993 6 0 0 25 0 1 0 44030858 42770432 9355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 10442 9355 296 55 0 9334 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 41768 [startup+30.0166 s] /proc/loadavg: 1.00 1.01 0.96 2/64 14529 /proc/meminfo: memFree=1178648/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=42584 CPUtime=29.99 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 9642 0 0 0 2993 6 0 0 25 0 1 0 44030858 43606016 9555 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 10646 9555 296 55 0 9538 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 42584 [startup+40.0228 s] /proc/loadavg: 1.00 1.01 0.96 2/64 14529 /proc/meminfo: memFree=1178136/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=42584 CPUtime=40 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 9762 0 0 0 3992 8 0 0 25 0 1 0 44030858 43606016 9675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 10646 9675 296 55 0 9538 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 42584 [startup+50.0289 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1178072/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=42584 CPUtime=50 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 9776 0 0 0 4991 9 0 0 25 0 1 0 44030858 43606016 9689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 10646 9689 296 55 0 9538 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 42584 [startup+60.0351 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1171352/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=49348 CPUtime=59.99 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11468 0 0 0 5989 10 0 0 25 0 1 0 44030858 50532352 11381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555534 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12337 11381 296 55 0 11229 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 49348 [startup+70.0413 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1171288/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=49348 CPUtime=70 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11476 0 0 0 6989 11 0 0 25 0 1 0 44030858 50532352 11389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12337 11389 296 55 0 11229 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 49348 [startup+80.0485 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1171224/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=49348 CPUtime=80.01 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11485 0 0 0 7989 12 0 0 25 0 1 0 44030858 50532352 11398 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649150 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12337 11398 296 55 0 11229 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 49348 [startup+90.0537 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1171288/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=49348 CPUtime=90.01 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11485 0 0 0 8988 13 0 0 25 0 1 0 44030858 50532352 11398 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555645 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12337 11398 296 55 0 11229 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 49348 [startup+100.06 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170776/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=49880 CPUtime=100.01 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11618 0 0 0 9987 14 0 0 25 0 1 0 44030858 51077120 11531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12470 11531 296 55 0 11362 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 49880 [startup+110.066 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170712/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=49880 CPUtime=110.02 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11627 0 0 0 10986 16 0 0 25 0 1 0 44030858 51077120 11540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12470 11540 296 55 0 11362 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 49880 [startup+120.072 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170648/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=49880 CPUtime=120.02 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11633 0 0 0 11984 18 0 0 25 0 1 0 44030858 51077120 11546 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12470 11546 296 55 0 11362 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 49880 [startup+130.078 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170648/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=50012 CPUtime=130.02 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11641 0 0 0 12983 19 0 0 25 0 1 0 44030858 51212288 11554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12503 11554 296 55 0 11395 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 50012 [startup+140.085 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170584/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=50012 CPUtime=140.03 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11653 0 0 0 13983 20 0 0 25 0 1 0 44030858 51212288 11566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12503 11566 296 55 0 11395 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 50012 [startup+150.091 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170584/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=50012 CPUtime=150.02 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11655 0 0 0 14981 21 0 0 25 0 1 0 44030858 51212288 11568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696642 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12503 11568 296 55 0 11395 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 50012 [startup+160.097 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170520/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=50012 CPUtime=160.03 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11663 0 0 0 15980 23 0 0 25 0 1 0 44030858 51212288 11576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12503 11576 296 55 0 11395 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 50012 [startup+170.103 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170520/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=50012 CPUtime=170.03 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11668 0 0 0 16979 24 0 0 25 0 1 0 44030858 51212288 11581 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12503 11581 296 55 0 11395 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 50012 [startup+180.109 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170520/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=50144 CPUtime=180.03 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11675 0 0 0 17978 25 0 0 25 0 1 0 44030858 51347456 11588 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12536 11588 296 55 0 11428 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 50144 [startup+190.116 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170456/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=50144 CPUtime=190.05 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11686 0 0 0 18978 27 0 0 25 0 1 0 44030858 51347456 11599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12536 11599 296 55 0 11428 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 50144 [startup+200.122 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170456/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=50144 CPUtime=200.04 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11686 0 0 0 19977 27 0 0 25 0 1 0 44030858 51347456 11599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 12536 11599 296 55 0 11428 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 50144 [startup+210.127 s] /proc/loadavg: 1.00 1.00 0.96 2/64 14529 /proc/meminfo: memFree=1170456/2055920 swapFree=4191908/4192956 ################ # More data... # ################ /proc/14529/statm: 61394 59649 296 55 0 60286 0 Current children cumulated CPU time (s) 1760.53 Current children cumulated vsize (Kb) 245576 [startup+1771.08 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=976792/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=246500 CPUtime=1770.53 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 60299 0 0 0 176841 212 0 0 25 0 1 0 44030858 252416000 59885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 61625 59885 296 55 0 60517 0 Current children cumulated CPU time (s) 1770.53 Current children cumulated vsize (Kb) 246500 [startup+1781.09 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=972568/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=251028 CPUtime=1780.54 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61385 0 0 0 177840 214 0 0 25 0 1 0 44030858 257052672 60966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 62757 60966 296 55 0 61649 0 Current children cumulated CPU time (s) 1780.54 Current children cumulated vsize (Kb) 251028 [startup+1782.09 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971608/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=251952 CPUtime=1781.55 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61619 0 0 0 177941 214 0 0 25 0 1 0 44030858 257998848 61199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 62988 61199 296 55 0 61880 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 251952 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971416/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252216 CPUtime=1782.55 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61666 0 0 0 178041 214 0 0 25 0 1 0 44030858 258269184 61246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63054 61246 296 55 0 61946 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 252216 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252480 CPUtime=1783.55 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178141 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555529 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63120 61305 296 55 0 62012 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 252480 [startup+1785.11 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252480 CPUtime=1784.56 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178242 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63120 61305 296 55 0 62012 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 252480 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252480 CPUtime=1785.56 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178342 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63120 61305 296 55 0 62012 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 252480 [startup+1787.12 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252480 CPUtime=1786.56 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178442 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644502 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63120 61305 296 55 0 62012 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 252480 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252480 CPUtime=1787.57 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178543 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63120 61305 296 55 0 62012 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 252480 [startup+1789.13 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252480 CPUtime=1788.57 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178643 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63120 61305 296 55 0 62012 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 252480 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252480 CPUtime=1789.58 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178744 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556049 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63120 61305 296 55 0 62012 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 252480 [startup+1791.14 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252480 CPUtime=1790.58 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178844 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63120 61305 296 55 0 62012 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 252480 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252480 CPUtime=1791.59 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178944 215 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63120 61305 296 55 0 62012 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 252480 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252480 CPUtime=1792.6 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61727 0 0 0 179045 215 0 0 25 0 1 0 44030858 258539520 61307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63120 61307 296 55 0 62012 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 252480 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=971032/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252612 CPUtime=1793.6 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61760 0 0 0 179145 215 0 0 25 0 1 0 44030858 258674688 61340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63153 61340 296 55 0 62045 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 252612 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=970776/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=252744 CPUtime=1794.61 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61821 0 0 0 179246 215 0 0 25 0 1 0 44030858 258809856 61401 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63186 61401 296 55 0 62078 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 252744 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=970008/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=253536 CPUtime=1795.61 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 62014 0 0 0 179346 215 0 0 25 0 1 0 44030858 259620864 61594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63384 61594 296 55 0 62276 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 253536 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=969816/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=253800 CPUtime=1796.61 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 62058 0 0 0 179446 215 0 0 25 0 1 0 44030858 259891200 61638 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555648 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63450 61638 296 55 0 62342 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 253800 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=969688/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=253932 CPUtime=1797.62 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 62094 0 0 0 179546 216 0 0 25 0 1 0 44030858 260026368 61674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63483 61674 296 55 0 62375 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 253932 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=969624/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=253932 CPUtime=1798.63 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 62106 0 0 0 179647 216 0 0 25 0 1 0 44030858 260026368 61686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63483 61686 296 55 0 62375 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 253932 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 0.97 2/64 14529 /proc/meminfo: memFree=969624/2055920 swapFree=4191908/4192956 [pid=14529] ppid=14527 vsize=253932 CPUtime=1799.63 /proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 62106 0 0 0 179747 216 0 0 25 0 1 0 44030858 260026368 61686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14529/statm: 63483 61686 296 55 0 62375 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 253932 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.05 CPU user time (s): 1797.85 CPU system time (s): 2.20067 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (Kb): 253932
Begin job on node62 on Sat Jun 3 15:24:33 UTC 2006 FILE ID= 39991-1149348273 PBS_JOBID= 310829 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1al.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39991-1149348273/instance-39991-1149348273.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-39991-1149348273 -o ROOT/results/node62/solver-39991-1149348273 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39991-1149348273/instance-39991-1149348273.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 8707b70244b4b6d1505bb830d4ab8529 RANDOM SEED= 398639651 /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.225 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.225 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: 1215840 kB Buffers: 35328 kB Cached: 725564 kB SwapCached: 572 kB Active: 76880 kB Inactive: 698172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1215840 kB SwapTotal: 4192956 kB SwapFree: 4191908 kB Dirty: 220 kB Writeback: 0 kB Mapped: 23728 kB Slab: 50992 kB Committed_AS: 286220 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 node62 on Sat Jun 3 15:54:34 UTC 2006