Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.13 | 1800.95 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb |
MD5SUM | 6912ca9a7133e8545ef00851da7db75b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 18508139657 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 447401599 |
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 | 10737418240 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 1616658659871 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 10737418240 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 1616658659871 |
Number of bits of the biggest sum of numbers | 41 |
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.09 c INFO: OSL Context initialized. 0.09 c BIG Int formula... 0.36 c Initial problem consists of 14400 variables and 732 constraints. 0.39 c preprocess terminated. Elapsed time: 0.304 0.39 c After prepocess the problem consists of 9262 variables and 732 constraints. 0.39 c Initial Lower Bound: 0 30.28 c Restart #1 #Var: 9262 LB: 0 @ 30.176 100.01 c Restart #2 #Var: 9262 LB: 0 @ 99.88 201.52 c Restart #3 #Var: 9262 LB: 0 @ 201.35 330.02 c Restart #4 #Var: 9262 LB: 0 @ 329.81 491.77 c Restart #5 #Var: 9262 LB: 0 @ 491.5 684.88 c Restart #6 #Var: 9262 LB: 0 @ 684.54 913.49 c CHANGE Heuristic... 913.49 c Restart #0 #Var: 9262 LB: 0 @ 913.07 947.87 c Restart #1 #Var: 9194 LB: 0 @ 947.43 963.79 c Restart #2 #Var: 9179 LB: 0 @ 963.35 1016.39 c Restart #3 #Var: 9086 LB: 0 @ 1015.9 1053.62 c Restart #4 #Var: 9062 LB: 0 @ 1053.1 1065.58 c Restart #5 #Var: 9058 LB: 0 @ 1065.1 1069.81 c Restart #6 #Var: 9058 LB: 0 @ 1069.3 1073.12 c Restart #7 #Var: 9058 LB: 0 @ 1072.6 1115.50 c Restart #8 #Var: 9036 LB: 0 @ 1115 1126.20 c Restart #9 #Var: 9036 LB: 0 @ 1125.7 1165.97 c Restart #10 #Var: 9024 LB: 0 @ 1165.5 1171.36 c Restart #11 #Var: 9024 LB: 0 @ 1170.8 1177.25 c Restart #12 #Var: 9024 LB: 0 @ 1176.7 1183.71 c Restart #13 #Var: 9024 LB: 0 @ 1183.2 1190.66 c Restart #14 #Var: 9024 LB: 0 @ 1190.1 1198.13 c Restart #15 #Var: 9024 LB: 0 @ 1197.6 1206.13 c Restart #16 #Var: 9024 LB: 0 @ 1205.6 1214.62 c Restart #17 #Var: 9024 LB: 0 @ 1214.1 1232.33 c Restart #18 #Var: 9022 LB: 0 @ 1231.8 1241.93 c Restart #19 #Var: 9022 LB: 0 @ 1241.4 1251.99 c Restart #20 #Var: 9022 LB: 0 @ 1251.4 1262.52 c Restart #21 #Var: 9022 LB: 0 @ 1262 1273.61 c Restart #22 #Var: 9022 LB: 0 @ 1273.1 1285.26 c Restart #23 #Var: 9022 LB: 0 @ 1284.7 1297.41 c Restart #24 #Var: 9022 LB: 0 @ 1296.9 1310.15 c Restart #25 #Var: 9022 LB: 0 @ 1309.6 1323.43 c Restart #26 #Var: 9022 LB: 0 @ 1322.9 1337.23 c Restart #27 #Var: 9022 LB: 0 @ 1336.7 1351.67 c Restart #28 #Var: 9022 LB: 0 @ 1351.1 1366.65 c Restart #29 #Var: 9022 LB: 0 @ 1366.1 1382.11 c Restart #30 #Var: 9022 LB: 0 @ 1381.5 1398.21 c Restart #31 #Var: 9022 LB: 0 @ 1397.6 1414.96 c Restart #32 #Var: 9022 LB: 0 @ 1414.4 1432.12 c Restart #33 #Var: 9022 LB: 0 @ 1431.5 1449.77 c Restart #34 #Var: 9022 LB: 0 @ 1449.2 1467.90 c Restart #35 #Var: 9022 LB: 0 @ 1467.3 1486.61 c Restart #36 #Var: 9022 LB: 0 @ 1486 1505.93 c Restart #37 #Var: 9022 LB: 0 @ 1505.3 1525.74 c Restart #38 #Var: 9022 LB: 0 @ 1525.1 1551.97 c Restart #39 #Var: 9018 LB: 0 @ 1551.2 1573.07 c Restart #40 #Var: 9018 LB: 0 @ 1572.3 1594.71 c Restart #41 #Var: 9018 LB: 0 @ 1594 1617.17 c Restart #42 #Var: 9018 LB: 0 @ 1616.4 1644.91 c Restart #43 #Var: 9017 LB: 0 @ 1644.2 1668.29 c Restart #44 #Var: 9017 LB: 0 @ 1667.5 1692.01 c Restart #45 #Var: 9017 LB: 0 @ 1691.2 1716.46 c Restart #46 #Var: 9017 LB: 0 @ 1715.7 1741.54 c Restart #47 #Var: 9017 LB: 0 @ 1740.7 1767.18 c Restart #48 #Var: 9017 LB: 0 @ 1766.4 1797.41 c Restart #49 #Var: 9017 LB: 0 @ 1796.6 1800.82 s UNKNOWN 1800.82 c Exit Code: 0 1800.82 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/node44/watcher-40766-1149316550 -o ROOT/results/node44/solver-40766-1149316550 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/40766-1149316550/instance-40766-1149316550.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.94 0.97 2/64 20124 /proc/meminfo: memFree=1861352/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=436 CPUtime=0 /proc/20124/stat : 20124 (bsolo) D 20122 20124 20078 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 197321824 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11281188 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0 /proc/20124/statm: 109 23 18 55 0 18 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.95 0.97 2/64 20124 /proc/meminfo: memFree=1844464/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=22008 CPUtime=9.9 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 4630 0 0 0 987 3 0 0 25 0 1 0 197321824 22536192 4545 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649123 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 5502 4545 296 55 0 4394 0 Current children cumulated CPU time (s) 9.9 Current children cumulated vsize (Kb) 22008 [startup+20.0094 s] /proc/loadavg: 0.94 0.95 0.97 2/64 20124 /proc/meminfo: memFree=1839608/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=26984 CPUtime=19.9 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5889 0 0 0 1985 5 0 0 25 0 1 0 197321824 27631616 5804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6746 5804 296 55 0 5638 0 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 26984 [startup+30.0152 s] /proc/loadavg: 0.95 0.95 0.97 2/64 20124 /proc/meminfo: memFree=1839480/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27108 CPUtime=29.9 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5923 0 0 0 2984 6 0 0 25 0 1 0 197321824 27758592 5838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6777 5838 296 55 0 5669 0 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 27108 [startup+40.0211 s] /proc/loadavg: 0.95 0.95 0.97 2/64 20124 /proc/meminfo: memFree=1839544/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27108 CPUtime=39.9 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5923 0 0 0 3984 6 0 0 25 0 1 0 197321824 27758592 5838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645700 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6777 5838 296 55 0 5669 0 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 27108 [startup+50.0269 s] /proc/loadavg: 0.96 0.95 0.97 2/64 20124 /proc/meminfo: memFree=1839544/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27108 CPUtime=49.9 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5930 0 0 0 4983 7 0 0 25 0 1 0 197321824 27758592 5845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6777 5845 296 55 0 5669 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 27108 [startup+60.0328 s] /proc/loadavg: 0.97 0.95 0.97 2/64 20124 /proc/meminfo: memFree=1839416/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27240 CPUtime=59.91 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5953 0 0 0 5982 9 0 0 25 0 1 0 197321824 27893760 5868 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6810 5868 296 55 0 5702 0 Current children cumulated CPU time (s) 59.91 Current children cumulated vsize (Kb) 27240 [startup+70.0396 s] /proc/loadavg: 0.97 0.95 0.97 2/64 20124 /proc/meminfo: memFree=1839352/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27240 CPUtime=69.92 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5973 0 0 0 6982 10 0 0 25 0 1 0 197321824 27893760 5888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11713982 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6810 5888 296 55 0 5702 0 Current children cumulated CPU time (s) 69.92 Current children cumulated vsize (Kb) 27240 [startup+80.0475 s] /proc/loadavg: 0.97 0.95 0.97 2/64 20124 /proc/meminfo: memFree=1839352/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27240 CPUtime=79.92 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5973 0 0 0 7981 11 0 0 25 0 1 0 197321824 27893760 5888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6810 5888 296 55 0 5702 0 Current children cumulated CPU time (s) 79.92 Current children cumulated vsize (Kb) 27240 [startup+90.0533 s] /proc/loadavg: 0.98 0.95 0.97 2/64 20124 /proc/meminfo: memFree=1839352/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27240 CPUtime=89.92 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5973 0 0 0 8979 13 0 0 25 0 1 0 197321824 27893760 5888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6810 5888 296 55 0 5702 0 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 27240 [startup+100.059 s] /proc/loadavg: 0.98 0.95 0.97 2/64 20124 /proc/meminfo: memFree=1838968/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27652 CPUtime=99.92 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6067 0 0 0 9978 14 0 0 25 0 1 0 197321824 28315648 5982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6913 5982 296 55 0 5805 0 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 27652 [startup+110.065 s] /proc/loadavg: 0.98 0.95 0.97 2/64 20124 /proc/meminfo: memFree=1838968/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27652 CPUtime=109.92 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6067 0 0 0 10978 14 0 0 25 0 1 0 197321824 28315648 5982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6913 5982 296 55 0 5805 0 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 27652 [startup+120.072 s] /proc/loadavg: 0.99 0.96 0.97 2/64 20124 /proc/meminfo: memFree=1838904/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27652 CPUtime=119.92 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6076 0 0 0 11977 15 0 0 25 0 1 0 197321824 28315648 5991 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6913 5991 296 55 0 5805 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 27652 [startup+130.078 s] /proc/loadavg: 0.99 0.96 0.97 2/64 20124 /proc/meminfo: memFree=1838840/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27784 CPUtime=129.93 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6088 0 0 0 12977 16 0 0 25 0 1 0 197321824 28450816 6003 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6946 6003 296 55 0 5838 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 27784 [startup+140.084 s] /proc/loadavg: 0.99 0.96 0.97 2/64 20124 /proc/meminfo: memFree=1838776/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27784 CPUtime=139.93 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6110 0 0 0 13975 18 0 0 25 0 1 0 197321824 28450816 6025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6946 6025 296 55 0 5838 0 Current children cumulated CPU time (s) 139.93 Current children cumulated vsize (Kb) 27784 [startup+150.09 s] /proc/loadavg: 0.99 0.96 0.97 2/64 20124 /proc/meminfo: memFree=1838712/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27888 CPUtime=149.93 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6116 0 0 0 14973 20 0 0 25 0 1 0 197321824 28557312 6031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6972 6031 296 55 0 5864 0 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 27888 [startup+160.096 s] /proc/loadavg: 0.99 0.96 0.97 2/64 20124 /proc/meminfo: memFree=1838712/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27888 CPUtime=159.94 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6116 0 0 0 15972 22 0 0 25 0 1 0 197321824 28557312 6031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6972 6031 296 55 0 5864 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 27888 [startup+170.102 s] /proc/loadavg: 0.99 0.96 0.97 2/64 20124 /proc/meminfo: memFree=1838456/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=27888 CPUtime=169.94 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6315 0 0 0 16971 23 0 0 25 0 1 0 197321824 28557312 6053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 6972 6053 296 55 0 5864 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 27888 [startup+180.108 s] /proc/loadavg: 0.99 0.96 0.97 2/64 20124 /proc/meminfo: memFree=1838328/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=28236 CPUtime=179.94 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6463 0 0 0 17970 24 0 0 25 0 1 0 197321824 28913664 6139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 7059 6139 296 55 0 5951 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 28236 [startup+190.114 s] /proc/loadavg: 0.99 0.96 0.97 2/64 20124 /proc/meminfo: memFree=1838264/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=28236 CPUtime=189.95 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6463 0 0 0 18970 25 0 0 25 0 1 0 197321824 28913664 6139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 7059 6139 296 55 0 5951 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 28236 [startup+200.12 s] /proc/loadavg: 0.99 0.96 0.97 2/64 20124 /proc/meminfo: memFree=1838264/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=28236 CPUtime=199.95 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6463 0 0 0 19968 27 0 0 25 0 1 0 197321824 28913664 6139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 7059 6139 296 55 0 5951 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 28236 [startup+210.125 s] /proc/loadavg: 0.99 0.96 0.97 2/64 20124 /proc/meminfo: memFree=1838264/2055920 swapFree=4181400/4192956 ################ # More data... # ################ /proc/20124/statm: 199574 186159 296 55 0 198466 0 Current children cumulated CPU time (s) 1760.24 Current children cumulated vsize (Kb) 798296 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1111808/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=802388 CPUtime=1770.24 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 207979 0 0 0 176738 286 0 0 25 0 1 0 197321824 821645312 187213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 200597 187213 296 55 0 199489 0 Current children cumulated CPU time (s) 1770.24 Current children cumulated vsize (Kb) 802388 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1100864/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=813192 CPUtime=1780.25 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 210865 0 0 0 177737 288 0 0 25 0 1 0 197321824 832708608 189937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 203298 189937 296 55 0 202190 0 Current children cumulated CPU time (s) 1780.25 Current children cumulated vsize (Kb) 813192 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1099648/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=814380 CPUtime=1781.25 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 211174 0 0 0 177837 288 0 0 25 0 1 0 197321824 833925120 190246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 203595 190246 296 55 0 202487 0 Current children cumulated CPU time (s) 1781.25 Current children cumulated vsize (Kb) 814380 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1098304/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=815568 CPUtime=1782.25 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 211506 0 0 0 177937 288 0 0 25 0 1 0 197321824 835141632 190578 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 203892 190578 296 55 0 202784 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (Kb) 815568 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1096896/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=816756 CPUtime=1783.26 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 211852 0 0 0 178037 289 0 0 25 0 1 0 197321824 836358144 190924 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 204189 190924 296 55 0 203081 0 Current children cumulated CPU time (s) 1783.26 Current children cumulated vsize (Kb) 816756 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1095680/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=818076 CPUtime=1784.26 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 212166 0 0 0 178137 289 0 0 25 0 1 0 197321824 837709824 191238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 204519 191238 296 55 0 203411 0 Current children cumulated CPU time (s) 1784.26 Current children cumulated vsize (Kb) 818076 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1094400/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=819264 CPUtime=1785.26 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 212481 0 0 0 178237 289 0 0 25 0 1 0 197321824 838926336 191553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 204816 191553 296 55 0 203708 0 Current children cumulated CPU time (s) 1785.26 Current children cumulated vsize (Kb) 819264 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1093120/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=820452 CPUtime=1786.27 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 212804 0 0 0 178338 289 0 0 25 0 1 0 197321824 840142848 191876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 205113 191876 296 55 0 204005 0 Current children cumulated CPU time (s) 1786.27 Current children cumulated vsize (Kb) 820452 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1091904/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=821640 CPUtime=1787.28 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 213111 0 0 0 178438 290 0 0 25 0 1 0 197321824 841359360 192183 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 205410 192183 296 55 0 204302 0 Current children cumulated CPU time (s) 1787.28 Current children cumulated vsize (Kb) 821640 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1090496/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=822960 CPUtime=1788.28 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 213463 0 0 0 178538 290 0 0 25 0 1 0 197321824 842711040 192535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 205740 192535 296 55 0 204632 0 Current children cumulated CPU time (s) 1788.28 Current children cumulated vsize (Kb) 822960 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1089216/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=824148 CPUtime=1789.28 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 213777 0 0 0 178638 290 0 0 25 0 1 0 197321824 843927552 192849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 206037 192849 296 55 0 204929 0 Current children cumulated CPU time (s) 1789.28 Current children cumulated vsize (Kb) 824148 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1087936/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=825336 CPUtime=1790.28 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 214086 0 0 0 178738 290 0 0 25 0 1 0 197321824 845144064 193158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 206334 193158 296 55 0 205226 0 Current children cumulated CPU time (s) 1790.28 Current children cumulated vsize (Kb) 825336 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1086656/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=826656 CPUtime=1791.3 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 214417 0 0 0 178839 291 0 0 25 0 1 0 197321824 846495744 193489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 206664 193489 296 55 0 205556 0 Current children cumulated CPU time (s) 1791.3 Current children cumulated vsize (Kb) 826656 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1085312/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=827844 CPUtime=1792.29 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 214747 0 0 0 178938 291 0 0 25 0 1 0 197321824 847712256 193819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 206961 193820 296 55 0 205853 0 Current children cumulated CPU time (s) 1792.29 Current children cumulated vsize (Kb) 827844 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1084032/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=829032 CPUtime=1793.3 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215078 0 0 0 179038 292 0 0 25 0 1 0 197321824 848928768 194150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 207258 194150 296 55 0 206150 0 Current children cumulated CPU time (s) 1793.3 Current children cumulated vsize (Kb) 829032 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1082752/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=830220 CPUtime=1794.31 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215394 0 0 0 179139 292 0 0 25 0 1 0 197321824 850145280 194466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 207555 194466 296 55 0 206447 0 Current children cumulated CPU time (s) 1794.31 Current children cumulated vsize (Kb) 830220 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1081728/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=831144 CPUtime=1795.31 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215637 0 0 0 179239 292 0 0 25 0 1 0 197321824 851091456 194709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 207786 194709 296 55 0 206678 0 Current children cumulated CPU time (s) 1795.31 Current children cumulated vsize (Kb) 831144 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1081728/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=831144 CPUtime=1796.31 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215637 0 0 0 179339 292 0 0 25 0 1 0 197321824 851091456 194709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 207786 194709 296 55 0 206678 0 Current children cumulated CPU time (s) 1796.31 Current children cumulated vsize (Kb) 831144 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1081728/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=831144 CPUtime=1797.32 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215637 0 0 0 179440 292 0 0 25 0 1 0 197321824 851091456 194709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534042 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 207786 194709 296 55 0 206678 0 Current children cumulated CPU time (s) 1797.32 Current children cumulated vsize (Kb) 831144 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1081344/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=831540 CPUtime=1798.32 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215733 0 0 0 179540 292 0 0 25 0 1 0 197321824 851496960 194805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 207885 194805 296 55 0 206777 0 Current children cumulated CPU time (s) 1798.32 Current children cumulated vsize (Kb) 831540 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20319 /proc/meminfo: memFree=1080448/2055920 swapFree=4181400/4192956 [pid=20124] ppid=20122 vsize=832464 CPUtime=1799.32 /proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215968 0 0 0 179640 292 0 0 25 0 1 0 197321824 852443136 195040 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555812 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20124/statm: 208116 195040 296 55 0 207008 0 Current children cumulated CPU time (s) 1799.32 Current children cumulated vsize (Kb) 832464 Child status: 0 Real time (s): 1800.95 CPU time (s): 1800.13 CPU user time (s): 1797.07 CPU system time (s): 3.05553 CPU usage (%): 99.9544 Max. virtual memory (cumulated for all children) (Kb): 832464
Begin job on node44 on Sat Jun 3 06:35:50 UTC 2006 FILE ID= 40766-1149316550 PBS_JOBID= 308379 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/40766-1149316550/instance-40766-1149316550.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-40766-1149316550 -o ROOT/results/node44/solver-40766-1149316550 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/40766-1149316550/instance-40766-1149316550.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 6912ca9a7133e8545ef00851da7db75b RANDOM SEED= 274007164 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1861560 kB Buffers: 12364 kB Cached: 117236 kB SwapCached: 3272 kB Active: 17020 kB Inactive: 121288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1861560 kB SwapTotal: 4192956 kB SwapFree: 4181400 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14948 kB Slab: 41944 kB Committed_AS: 302604 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node44 on Sat Jun 3 07:05:51 UTC 2006