Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.02 | 1800.66 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos12.opb |
MD5SUM | edd986756231058ab35f21017ebd98b6 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25600 |
Best CPU time to get the best result obtained on this benchmark | 1801.61 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25600 |
Optimality of the best value was proved | NO |
Number of variables | 22960 |
Total number of constraints | 8611 |
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 | 8611 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 840 |
Number of terms in the objective function | 13440 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 481036336704 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 481036336704 |
Number of bits of the biggest sum of numbers | 39 |
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... 1.71 c Initial problem consists of 22960 variables and 9186 constraints. 3.12 c preprocess terminated. Elapsed time: 3.111 3.12 c After prepocess the problem consists of 12628 variables and 6442 constraints. 3.12 c Initial Lower Bound: 0 64.26 c Restart #1 #Var: 12628 LB: 0 @ 64.224 161.63 c Restart #2 #Var: 12628 LB: 0 @ 161.56 430.30 c Restart #3 #Var: 12628 LB: 0 @ 430.14 748.00 c Restart #4 #Var: 12628 LB: 0 @ 747.72 1201.08 c CHANGE Heuristic... 1201.08 c Restart #0 #Var: 12628 LB: 0 @ 1200.7 1204.40 c Restart #1 #Var: 12628 LB: 0 @ 1204 1214.32 c Restart #2 #Var: 12628 LB: 0 @ 1213.9 1226.68 c Restart #3 #Var: 12628 LB: 0 @ 1226.2 1244.29 c Restart #4 #Var: 12628 LB: 0 @ 1243.8 1263.44 c Restart #5 #Var: 12628 LB: 0 @ 1263 1281.75 c Restart #6 #Var: 12628 LB: 0 @ 1281.3 1306.07 c Restart #7 #Var: 12628 LB: 0 @ 1305.6 1331.91 c Restart #8 #Var: 12628 LB: 0 @ 1331.4 1364.98 c Restart #9 #Var: 12628 LB: 0 @ 1364.5 1398.27 c Restart #10 #Var: 12628 LB: 0 @ 1397.8 1436.13 c Restart #11 #Var: 12628 LB: 0 @ 1435.6 1480.51 c Restart #12 #Var: 12628 LB: 0 @ 1480 1527.39 c Restart #13 #Var: 12628 LB: 0 @ 1526.9 1576.94 c Restart #14 #Var: 12628 LB: 0 @ 1576.4 1631.08 c Restart #15 #Var: 12628 LB: 0 @ 1630.5 1690.74 c Restart #16 #Var: 12628 LB: 0 @ 1690.1 1761.54 c Restart #17 #Var: 12628 LB: 0 @ 1760.9 1800.64 s UNKNOWN 1800.64 c Exit Code: 0 1800.64 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/node58/watcher-40560-1149304677 -o ROOT/results/node58/solver-40560-1149304677 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node58/40560-1149304677/instance-40560-1149304677.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.07 1.07 1.00 2/64 2300 /proc/meminfo: memFree=1746208/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=4932 CPUtime=0 /proc/2300/stat : 2300 (bsolo) D 2298 2300 2254 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 32514597 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/2300/statm: 1233 330 226 55 0 125 0 [startup+10.0032 s] /proc/loadavg: 1.06 1.07 1.00 2/64 2300 /proc/meminfo: memFree=1697280/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=54100 CPUtime=9.98 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19703 0 0 0 990 8 0 0 25 0 1 0 32514597 55398400 12490 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134552112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13525 12490 295 55 0 12417 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 54100 [startup+20.0101 s] /proc/loadavg: 1.05 1.06 1.00 2/64 2300 /proc/meminfo: memFree=1697472/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=54100 CPUtime=19.98 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19707 0 0 0 1990 8 0 0 25 0 1 0 32514597 55398400 12494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13525 12494 295 55 0 12417 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 54100 [startup+30.017 s] /proc/loadavg: 1.04 1.06 1.00 2/64 2300 /proc/meminfo: memFree=1697472/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=54232 CPUtime=29.99 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19726 0 0 0 2990 9 0 0 25 0 1 0 32514597 55533568 12513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13558 12513 295 55 0 12450 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 54232 [startup+40.0229 s] /proc/loadavg: 1.04 1.06 1.00 2/64 2300 /proc/meminfo: memFree=1697408/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=54364 CPUtime=39.99 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19748 0 0 0 3989 10 0 0 25 0 1 0 32514597 55668736 12535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13591 12535 295 55 0 12483 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 54364 [startup+50.0299 s] /proc/loadavg: 1.03 1.06 1.00 2/64 2300 /proc/meminfo: memFree=1697280/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=54364 CPUtime=49.99 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19767 0 0 0 4989 10 0 0 25 0 1 0 32514597 55668736 12554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13591 12554 295 55 0 12483 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 54364 [startup+60.0358 s] /proc/loadavg: 1.02 1.05 1.00 2/64 2300 /proc/meminfo: memFree=1697280/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=54496 CPUtime=59.99 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19785 0 0 0 5989 10 0 0 25 0 1 0 32514597 55803904 12572 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13624 12572 295 55 0 12516 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 54496 [startup+70.0417 s] /proc/loadavg: 1.02 1.05 1.00 2/64 2300 /proc/meminfo: memFree=1696896/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=54628 CPUtime=70 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19878 0 0 0 6989 11 0 0 25 0 1 0 32514597 55939072 12620 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13657 12620 296 55 0 12549 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 54628 [startup+80.0476 s] /proc/loadavg: 1.02 1.05 1.00 2/64 2300 /proc/meminfo: memFree=1696896/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=54628 CPUtime=80 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19878 0 0 0 7988 12 0 0 25 0 1 0 32514597 55939072 12620 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13657 12620 296 55 0 12549 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 54628 [startup+90.0536 s] /proc/loadavg: 1.01 1.05 1.00 2/64 2300 /proc/meminfo: memFree=1696960/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=54628 CPUtime=90 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19878 0 0 0 8988 12 0 0 25 0 1 0 32514597 55939072 12620 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13657 12620 296 55 0 12549 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 54628 [startup+100.059 s] /proc/loadavg: 1.01 1.05 1.00 2/64 2300 /proc/meminfo: memFree=1696960/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=54760 CPUtime=100 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19893 0 0 0 9988 12 0 0 25 0 1 0 32514597 56074240 12635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649760 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13690 12635 296 55 0 12582 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 54760 [startup+110.065 s] /proc/loadavg: 1.01 1.04 1.00 2/64 2300 /proc/meminfo: memFree=1696960/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=54892 CPUtime=110.01 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19924 0 0 0 10988 13 0 0 25 0 1 0 32514597 56209408 12666 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13723 12666 296 55 0 12615 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 54892 [startup+120.071 s] /proc/loadavg: 1.01 1.04 1.00 2/64 2300 /proc/meminfo: memFree=1696832/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=55024 CPUtime=120 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19953 0 0 0 11987 13 0 0 25 0 1 0 32514597 56344576 12695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13756 12695 296 55 0 12648 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 55024 [startup+130.077 s] /proc/loadavg: 1.01 1.04 1.00 2/64 2300 /proc/meminfo: memFree=1696768/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=55024 CPUtime=130.01 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19968 0 0 0 12987 14 0 0 25 0 1 0 32514597 56344576 12710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555882 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13756 12710 296 55 0 12648 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 55024 [startup+140.083 s] /proc/loadavg: 1.00 1.04 1.00 2/64 2300 /proc/meminfo: memFree=1696576/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=55156 CPUtime=140.01 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20003 0 0 0 13987 14 0 0 25 0 1 0 32514597 56479744 12745 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13789 12745 296 55 0 12681 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 55156 [startup+150.089 s] /proc/loadavg: 1.00 1.04 1.00 2/64 2300 /proc/meminfo: memFree=1696512/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=55288 CPUtime=150.02 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20024 0 0 0 14987 15 0 0 25 0 1 0 32514597 56614912 12766 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13822 12766 296 55 0 12714 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 55288 [startup+160.095 s] /proc/loadavg: 1.00 1.04 1.00 2/64 2300 /proc/meminfo: memFree=1696512/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=55288 CPUtime=160.02 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20029 0 0 0 15987 15 0 0 25 0 1 0 32514597 56614912 12771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13822 12771 296 55 0 12714 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 55288 [startup+170.101 s] /proc/loadavg: 1.00 1.03 1.00 2/64 2300 /proc/meminfo: memFree=1696448/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=55288 CPUtime=170.02 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20032 0 0 0 16987 15 0 0 25 0 1 0 32514597 56614912 12774 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13822 12774 296 55 0 12714 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 55288 [startup+180.107 s] /proc/loadavg: 1.00 1.03 1.00 2/64 2300 /proc/meminfo: memFree=1696448/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=55288 CPUtime=180.03 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20032 0 0 0 17987 16 0 0 25 0 1 0 32514597 56614912 12774 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13822 12774 296 55 0 12714 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 55288 [startup+190.113 s] /proc/loadavg: 1.00 1.03 1.00 2/64 2300 /proc/meminfo: memFree=1696448/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=55288 CPUtime=190.02 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20042 0 0 0 18986 16 0 0 25 0 1 0 32514597 56614912 12784 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649243 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13822 12784 296 55 0 12714 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 55288 [startup+200.119 s] /proc/loadavg: 1.00 1.03 1.00 2/64 2300 /proc/meminfo: memFree=1696384/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=55420 CPUtime=200.03 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20061 0 0 0 19986 17 0 0 25 0 1 0 32514597 56750080 12803 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 13855 12803 296 55 0 12747 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 55420 [startup+210.125 s] /proc/loadavg: 1.00 1.03 1.00 2/64 2300 /proc/meminfo: memFree=1696320/2055920 swapFree=4192948/4192956 ################ # More data... # ################ /proc/2300/statm: 25972 24828 296 55 0 24864 0 Current children cumulated CPU time (s) 1760.44 Current children cumulated vsize (Kb) 103888 [startup+1771.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1647424/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=104416 CPUtime=1770.44 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33112 0 0 0 176971 73 0 0 25 0 1 0 32514597 106921984 24951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26104 24951 296 55 0 24996 0 Current children cumulated CPU time (s) 1770.44 Current children cumulated vsize (Kb) 104416 [startup+1781.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1647104/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=104680 CPUtime=1780.45 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33207 0 0 0 177971 74 0 0 25 0 1 0 32514597 107192320 25046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26170 25046 296 55 0 25062 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 104680 [startup+1782.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1647104/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=104680 CPUtime=1781.46 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33207 0 0 0 178072 74 0 0 25 0 1 0 32514597 107192320 25046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26170 25046 296 55 0 25062 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 104680 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1647104/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=104680 CPUtime=1782.46 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33207 0 0 0 178172 74 0 0 25 0 1 0 32514597 107192320 25046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26170 25046 296 55 0 25062 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 104680 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1647104/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=104680 CPUtime=1783.47 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33207 0 0 0 178273 74 0 0 25 0 1 0 32514597 107192320 25046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26170 25046 296 55 0 25062 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 104680 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1647040/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=104680 CPUtime=1784.47 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33207 0 0 0 178373 74 0 0 25 0 1 0 32514597 107192320 25046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26170 25046 296 55 0 25062 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 104680 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646080/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1785.47 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33458 0 0 0 178473 74 0 0 25 0 1 0 32514597 108273664 25297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5304470 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25297 296 55 0 25326 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 105736 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646080/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1786.48 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33458 0 0 0 178574 74 0 0 25 0 1 0 32514597 108273664 25297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25297 296 55 0 25326 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 105736 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646080/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1787.48 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33458 0 0 0 178674 74 0 0 25 0 1 0 32514597 108273664 25297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25297 296 55 0 25326 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 105736 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646080/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1788.49 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33458 0 0 0 178775 74 0 0 25 0 1 0 32514597 108273664 25297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25297 296 55 0 25326 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 105736 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1789.49 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 178875 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535097 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25313 296 55 0 25326 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 105736 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1790.5 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 178976 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645935 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25313 296 55 0 25326 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 105736 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1791.5 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179076 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25313 296 55 0 25326 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 105736 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1792.51 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179177 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25313 296 55 0 25326 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 105736 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1793.51 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179277 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25313 296 55 0 25326 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 105736 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1794.52 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179378 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25313 296 55 0 25326 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 105736 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1795.52 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179478 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645214 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25313 296 55 0 25326 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 105736 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1796.52 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179578 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25313 296 55 0 25326 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 105736 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1797.53 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179679 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555915 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25313 296 55 0 25326 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 105736 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1798.53 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179779 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25313 296 55 0 25326 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 105736 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2300 /proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956 [pid=2300] ppid=2298 vsize=105736 CPUtime=1799.54 /proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179880 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649013 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2300/statm: 26434 25313 296 55 0 25326 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 105736 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.02 CPU user time (s): 1799.26 CPU system time (s): 0.760884 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (Kb): 105736
Begin job on node58 on Sat Jun 3 03:17:57 UTC 2006 FILE ID= 40560-1149304677 PBS_JOBID= 307554 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-neos12.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node58/40560-1149304677/instance-40560-1149304677.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-40560-1149304677 -o ROOT/results/node58/solver-40560-1149304677 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node58/40560-1149304677/instance-40560-1149304677.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= edd986756231058ab35f21017ebd98b6 RANDOM SEED= 120043087 /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.276 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.276 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: 1746352 kB Buffers: 23576 kB Cached: 209792 kB SwapCached: 8 kB Active: 53136 kB Inactive: 194836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1746352 kB SwapTotal: 4192956 kB SwapFree: 4192948 kB Dirty: 164 kB Writeback: 0 kB Mapped: 24920 kB Slab: 47656 kB Committed_AS: 210908 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node58 on Sat Jun 3 03:47:58 UTC 2006