Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.05 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos7.opb |
MD5SUM | a93c44578e8ffcb65ad1c65e578ef076 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 45 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 45 |
Optimality of the best value was proved | NO |
Number of variables | 33010 |
Total number of constraints | 2154 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 142 |
Number of constraints which are nor clauses,nor cardinality constraints | 2012 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 441 |
Number of terms in the objective function | 4506 |
Biggest coefficient in the objective function | 7151 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 527624 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527624 |
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.02 c INFO: OSL Context initialized. 0.70 c Initial problem consists of 33010 variables and 2624 constraints. 0.80 c No problem reductions applied in OPT. instance. 0.80 c preprocess terminated. Elapsed time: 0.792 0.80 c After prepocess the problem consists of 19489 variables and 2479 constraints. 0.80 c Initial Lower Bound: 0 1.03 c Restart #1 #Var: 19489 LB: 0 @ 1.021 1.59 c Restart #2 #Var: 19489 LB: 0 @ 1.583 2.50 c Restart #3 #Var: 19489 LB: 0 @ 2.487 3.04 c Restart #4 #Var: 19489 LB: 0 @ 3.031 3.71 c Restart #5 #Var: 19489 LB: 0 @ 3.701 4.73 c Restart #6 #Var: 19489 LB: 0 @ 4.715 5.90 c Restart #7 #Var: 19489 LB: 0 @ 5.885 7.52 c Restart #8 #Var: 19489 LB: 0 @ 7.508 9.59 c Restart #9 #Var: 19489 LB: 0 @ 9.577 11.26 c Restart #10 #Var: 19487 LB: 0 @ 11.244 12.80 c Restart #11 #Var: 19485 LB: 0 @ 12.783 18.19 c Restart #12 #Var: 19485 LB: 0 @ 18.171 21.83 c Restart #13 #Var: 19483 LB: 0 @ 21.809 27.94 c Restart #14 #Var: 19473 LB: 0 @ 27.91 29.07 c Restart #15 #Var: 19469 LB: 0 @ 29.049 32.02 c Restart #16 #Var: 19459 LB: 0 @ 31.994 34.89 c Restart #17 #Var: 19453 LB: 0 @ 34.864 37.58 c Restart #18 #Var: 19449 LB: 0 @ 37.548 37.87 c Restart #19 #Var: 19449 LB: 0 @ 37.838 49.78 c Restart #20 #Var: 19445 LB: 0 @ 49.746 53.72 c Restart #21 #Var: 19437 LB: 0 @ 53.689 60.64 c Restart #22 #Var: 19435 LB: 0 @ 60.605 66.97 c Restart #23 #Var: 19427 LB: 0 @ 66.934 76.64 c Restart #24 #Var: 19421 LB: 0 @ 76.602 78.72 c Restart #25 #Var: 19421 LB: 0 @ 78.674 86.35 c Restart #26 #Var: 19414 LB: 0 @ 86.299 94.54 c Restart #27 #Var: 19414 LB: 0 @ 94.491 121.86 c Restart #28 #Var: 19405 LB: 0 @ 121.8 147.88 c Restart #29 #Var: 19401 LB: 0 @ 147.81 159.23 c Restart #30 #Var: 19399 LB: 0 @ 159.15 167.45 c Restart #31 #Var: 19397 LB: 0 @ 167.38 175.86 c Restart #32 #Var: 19397 LB: 0 @ 175.78 196.70 c Restart #33 #Var: 19392 LB: 0 @ 196.62 218.45 c Restart #34 #Var: 19392 LB: 0 @ 218.36 228.46 c Restart #35 #Var: 19390 LB: 0 @ 228.36 245.76 c Restart #36 #Var: 19384 LB: 0 @ 245.65 271.84 c Restart #37 #Var: 19382 LB: 0 @ 271.73 294.14 c Restart #38 #Var: 19379 LB: 0 @ 294.02 323.39 c Restart #39 #Var: 19379 LB: 0 @ 323.25 344.35 c Restart #40 #Var: 19376 LB: 0 @ 344.21 364.77 c Restart #41 #Var: 19371 LB: 0 @ 364.62 382.97 c Restart #42 #Var: 19370 LB: 0 @ 382.81 407.54 c Restart #43 #Var: 19366 LB: 0 @ 407.38 431.02 c Restart #44 #Var: 19360 LB: 0 @ 430.84 442.55 c Restart #45 #Var: 19360 LB: 0 @ 442.37 482.57 c Restart #46 #Var: 19352 LB: 0 @ 482.37 508.18 c Restart #47 #Var: 19349 LB: 0 @ 507.98 531.50 c Restart #48 #Var: 19349 LB: 0 @ 531.26 557.69 c Restart #49 #Var: 19347 LB: 0 @ 557.43 587.38 c Restart #50 #Var: 19341 LB: 0 @ 587.12 627.41 c Restart #51 #Var: 19338 LB: 0 @ 627.13 662.89 c Restart #52 #Var: 19336 LB: 0 @ 662.6 678.98 c Restart #53 #Var: 19336 LB: 0 @ 678.69 725.98 c Restart #54 #Var: 19330 LB: 0 @ 725.67 775.33 c Restart #55 #Var: 19328 LB: 0 @ 775 803.04 c Restart #56 #Var: 19324 LB: 0 @ 802.69 869.53 c Restart #57 #Var: 19322 LB: 0 @ 869.16 895.73 c Restart #58 #Var: 19322 LB: 0 @ 895.35 970.19 c CHANGE Heuristic... 970.19 c Restart #0 #Var: 19322 LB: 0 @ 969.79 970.35 c Restart #1 #Var: 19313 LB: 0 @ 969.94 973.42 c Restart #2 #Var: 19277 LB: 0 @ 973.01 977.90 c Restart #3 #Var: 19270 LB: 0 @ 977.49 980.60 c Restart #4 #Var: 19268 LB: 0 @ 980.2 991.15 c Restart #5 #Var: 19264 LB: 0 @ 990.74 1002.33 c Restart #6 #Var: 19258 LB: 0 @ 1001.9 1012.99 c Restart #7 #Var: 19256 LB: 0 @ 1012.6 1026.51 c Restart #8 #Var: 19256 LB: 0 @ 1026.1 1036.66 c Restart #9 #Var: 19256 LB: 0 @ 1036.2 1059.81 c Restart #10 #Var: 19256 LB: 0 @ 1059.4 1068.83 c Restart #11 #Var: 19256 LB: 0 @ 1068.4 1078.36 c Restart #12 #Var: 19256 LB: 0 @ 1077.9 1097.19 c Restart #13 #Var: 19252 LB: 0 @ 1096.7 1104.32 c Restart #14 #Var: 19252 LB: 0 @ 1103.9 1119.78 c Restart #15 #Var: 19252 LB: 0 @ 1119.3 1136.69 c Restart #16 #Var: 19252 LB: 0 @ 1136.2 1152.16 c Restart #17 #Var: 19250 LB: 0 @ 1151.7 1170.64 c Restart #18 #Var: 19250 LB: 0 @ 1170.2 1181.28 c Restart #19 #Var: 19250 LB: 0 @ 1180.8 1202.82 c Restart #20 #Var: 19245 LB: 0 @ 1202.3 1232.40 c Restart #21 #Var: 19242 LB: 0 @ 1231.9 1245.40 c Restart #22 #Var: 19242 LB: 0 @ 1244.9 1270.00 c Restart #23 #Var: 19242 LB: 0 @ 1269.5 1297.73 c Restart #24 #Var: 19240 LB: 0 @ 1297.2 1339.18 c Restart #25 #Var: 19232 LB: 0 @ 1338.6 1358.85 c Restart #26 #Var: 19231 LB: 0 @ 1358.3 1386.97 c Restart #27 #Var: 19231 LB: 0 @ 1386.4 1429.14 c Restart #28 #Var: 19231 LB: 0 @ 1428.6 1473.72 c Restart #29 #Var: 19231 LB: 0 @ 1473.1 1518.85 c Restart #30 #Var: 19231 LB: 0 @ 1518.2 1558.87 c Restart #31 #Var: 19229 LB: 0 @ 1558.2 1595.27 c Restart #32 #Var: 19227 LB: 0 @ 1594.6 1635.62 c Restart #33 #Var: 19225 LB: 0 @ 1635 1671.83 c Restart #34 #Var: 19225 LB: 0 @ 1671.2 1718.20 c Restart #35 #Var: 19223 LB: 0 @ 1717.5 1779.22 c Restart #36 #Var: 19222 LB: 0 @ 1778.5 1800.72 s UNKNOWN 1800.72 c Exit Code: 0 1800.72 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/node73/watcher-39830-1149256354 -o ROOT/results/node73/solver-39830-1149256354 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/39830-1149256354/instance-39830-1149256354.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.91 2/64 15756 /proc/meminfo: memFree=1427288/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=436 CPUtime=0 /proc/15756/stat : 15756 (bsolo) D 15754 15756 15710 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 191300140 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7709476 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/15756/statm: 109 23 18 55 0 18 0 [startup+10.0019 s] /proc/loadavg: 0.87 0.94 0.91 2/64 15756 /proc/meminfo: memFree=1385576/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=47824 CPUtime=9.97 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 16823 0 0 0 964 33 0 0 25 0 1 0 191300140 48971776 10777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 11956 10777 299 55 0 10848 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 47824 [startup+20.0078 s] /proc/loadavg: 0.89 0.94 0.91 2/64 15756 /proc/meminfo: memFree=1380136/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=53348 CPUtime=19.98 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 18177 0 0 0 1956 42 0 0 25 0 1 0 191300140 54628352 12131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542170 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 13337 12131 299 55 0 12229 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 53348 [startup+30.0148 s] /proc/loadavg: 0.90 0.94 0.91 2/64 15756 /proc/meminfo: memFree=1373864/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=59548 CPUtime=29.98 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 19740 0 0 0 2950 48 0 0 25 0 1 0 191300140 60977152 13694 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 14887 13694 299 55 0 13779 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 59548 [startup+40.0218 s] /proc/loadavg: 0.92 0.94 0.91 2/64 15756 /proc/meminfo: memFree=1363752/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=69720 CPUtime=39.98 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 22272 0 0 0 3945 53 0 0 25 0 1 0 191300140 71393280 16226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 17430 16226 299 55 0 16322 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 69720 [startup+50.0287 s] /proc/loadavg: 0.93 0.94 0.91 2/64 15756 /proc/meminfo: memFree=1362088/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=71276 CPUtime=49.99 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 22686 0 0 0 4942 57 0 0 25 0 1 0 191300140 72986624 16640 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 17819 16640 299 55 0 16711 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 71276 [startup+60.0357 s] /proc/loadavg: 0.94 0.95 0.91 2/64 15756 /proc/meminfo: memFree=1357928/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=75496 CPUtime=59.99 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 23716 0 0 0 5935 64 0 0 25 0 1 0 191300140 77307904 17670 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529300 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 18874 17670 299 55 0 17766 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 75496 [startup+70.0427 s] /proc/loadavg: 0.95 0.95 0.91 2/64 15756 /proc/meminfo: memFree=1351528/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=81828 CPUtime=69.99 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 25313 0 0 0 6929 70 0 0 25 0 1 0 191300140 83791872 19267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 20457 19267 299 55 0 19349 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 81828 [startup+80.0496 s] /proc/loadavg: 0.96 0.95 0.91 2/64 15756 /proc/meminfo: memFree=1347560/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=85764 CPUtime=80 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 26309 0 0 0 7925 75 0 0 25 0 1 0 191300140 87822336 20263 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 21441 20263 299 55 0 20333 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 85764 [startup+90.0566 s] /proc/loadavg: 0.96 0.95 0.91 2/64 15756 /proc/meminfo: memFree=1343336/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=89988 CPUtime=90 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 27355 0 0 0 8923 77 0 0 25 0 1 0 191300140 92147712 21309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 22497 21309 299 55 0 21389 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 89988 [startup+100.064 s] /proc/loadavg: 0.97 0.95 0.91 2/64 15756 /proc/meminfo: memFree=1340904/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=92468 CPUtime=100 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 27965 0 0 0 9920 80 0 0 25 0 1 0 191300140 94687232 21919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 23117 21919 299 55 0 22009 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 92468 [startup+110.071 s] /proc/loadavg: 0.97 0.95 0.91 2/64 15756 /proc/meminfo: memFree=1339688/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=93656 CPUtime=110.01 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 28260 0 0 0 10918 83 0 0 25 0 1 0 191300140 95903744 22214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719430 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 23414 22214 299 55 0 22306 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 93656 [startup+120.077 s] /proc/loadavg: 0.98 0.95 0.91 2/64 15756 /proc/meminfo: memFree=1338728/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=94576 CPUtime=120.01 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 28501 0 0 0 11917 84 0 0 25 0 1 0 191300140 96845824 22455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 23644 22455 299 55 0 22536 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 94576 [startup+130.082 s] /proc/loadavg: 0.98 0.95 0.91 2/64 15756 /proc/meminfo: memFree=1337960/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=95368 CPUtime=130.01 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 28694 0 0 0 12916 85 0 0 25 0 1 0 191300140 97656832 22648 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534835 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 23842 22648 299 55 0 22734 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 95368 [startup+140.089 s] /proc/loadavg: 0.98 0.95 0.91 2/64 15756 /proc/meminfo: memFree=1336808/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=96556 CPUtime=140.02 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 28980 0 0 0 13915 87 0 0 25 0 1 0 191300140 98873344 22934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 24139 22934 299 55 0 23031 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 96556 [startup+150.096 s] /proc/loadavg: 0.98 0.95 0.91 2/64 15756 /proc/meminfo: memFree=1335592/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=97740 CPUtime=150.02 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 29284 0 0 0 14914 88 0 0 25 0 1 0 191300140 100085760 23238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 24435 23238 299 55 0 23327 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 97740 [startup+160.102 s] /proc/loadavg: 0.99 0.96 0.91 2/64 15756 /proc/meminfo: memFree=1331688/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=101564 CPUtime=160.02 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 30250 0 0 0 15911 91 0 0 25 0 1 0 191300140 104001536 24204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 25391 24204 299 55 0 24283 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 101564 [startup+170.108 s] /proc/loadavg: 0.99 0.96 0.91 2/64 15756 /proc/meminfo: memFree=1329064/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=104200 CPUtime=170.02 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 30896 0 0 0 16908 94 0 0 25 0 1 0 191300140 106700800 24850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548534 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 26050 24850 299 55 0 24942 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 104200 [startup+180.115 s] /proc/loadavg: 0.99 0.96 0.91 2/64 15756 /proc/meminfo: memFree=1326888/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=106288 CPUtime=180.02 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 31432 0 0 0 17906 96 0 0 25 0 1 0 191300140 108838912 25386 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 26572 25386 299 55 0 25464 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 106288 [startup+190.121 s] /proc/loadavg: 0.99 0.96 0.91 2/64 15756 /proc/meminfo: memFree=1325352/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=107936 CPUtime=190.03 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 31831 0 0 0 18903 100 0 0 25 0 1 0 191300140 110526464 25785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 26984 25785 299 55 0 25876 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 107936 [startup+200.127 s] /proc/loadavg: 0.99 0.96 0.91 2/64 15756 /proc/meminfo: memFree=1324520/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=108728 CPUtime=200.03 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 32047 0 0 0 19901 102 0 0 25 0 1 0 191300140 111337472 26001 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 27182 26001 299 55 0 26074 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 108728 [startup+210.133 s] /proc/loadavg: 0.99 0.96 0.91 2/64 15756 /proc/meminfo: memFree=1323304/2055920 swapFree=4182220/4192956 ################ # More data... # ################ /proc/15756/statm: 68874 67689 299 55 0 67766 0 Current children cumulated CPU time (s) 1760.41 Current children cumulated vsize (Kb) 275496 [startup+1771.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1156648/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=276024 CPUtime=1770.41 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74100 0 0 0 176705 336 0 0 25 0 1 0 191300140 282648576 67815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69006 67815 299 55 0 67898 0 Current children cumulated CPU time (s) 1770.41 Current children cumulated vsize (Kb) 276024 [startup+1781.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155880/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=276816 CPUtime=1780.41 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74291 0 0 0 177703 338 0 0 25 0 1 0 191300140 283459584 68006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69204 68006 299 55 0 68096 0 Current children cumulated CPU time (s) 1780.41 Current children cumulated vsize (Kb) 276816 [startup+1782.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155880/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=276816 CPUtime=1781.41 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74294 0 0 0 177803 338 0 0 25 0 1 0 191300140 283459584 68009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69204 68009 299 55 0 68096 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 276816 [startup+1783.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155880/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=276816 CPUtime=1782.43 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74297 0 0 0 177904 339 0 0 25 0 1 0 191300140 283459584 68012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533966 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69204 68012 299 55 0 68096 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 276816 [startup+1784.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155816/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=276816 CPUtime=1783.43 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74303 0 0 0 178004 339 0 0 25 0 1 0 191300140 283459584 68018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69204 68018 299 55 0 68096 0 Current children cumulated CPU time (s) 1783.43 Current children cumulated vsize (Kb) 276816 [startup+1785.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155816/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=276816 CPUtime=1784.43 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74308 0 0 0 178104 339 0 0 25 0 1 0 191300140 283459584 68023 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69204 68023 299 55 0 68096 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 276816 [startup+1786.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155752/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=276948 CPUtime=1785.44 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74319 0 0 0 178205 339 0 0 25 0 1 0 191300140 283594752 68034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69237 68034 299 55 0 68129 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (Kb) 276948 [startup+1787.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155688/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=276948 CPUtime=1786.44 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74339 0 0 0 178305 339 0 0 25 0 1 0 191300140 283594752 68054 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69237 68054 299 55 0 68129 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 276948 [startup+1788.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155624/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277080 CPUtime=1787.44 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74348 0 0 0 178405 339 0 0 25 0 1 0 191300140 283729920 68063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69270 68063 299 55 0 68162 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 277080 [startup+1789.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155624/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277080 CPUtime=1788.46 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74355 0 0 0 178506 340 0 0 25 0 1 0 191300140 283729920 68070 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69270 68070 299 55 0 68162 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 277080 [startup+1790.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155560/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277080 CPUtime=1789.46 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74367 0 0 0 178606 340 0 0 25 0 1 0 191300140 283729920 68082 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69270 68082 299 55 0 68162 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 277080 [startup+1791.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155560/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277080 CPUtime=1790.46 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74372 0 0 0 178706 340 0 0 25 0 1 0 191300140 283729920 68087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69270 68087 299 55 0 68162 0 Current children cumulated CPU time (s) 1790.46 Current children cumulated vsize (Kb) 277080 [startup+1792.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155496/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277212 CPUtime=1791.47 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74387 0 0 0 178807 340 0 0 25 0 1 0 191300140 283865088 68102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69303 68102 299 55 0 68195 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 277212 [startup+1793.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155496/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277212 CPUtime=1792.47 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74390 0 0 0 178907 340 0 0 25 0 1 0 191300140 283865088 68105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69303 68105 299 55 0 68195 0 Current children cumulated CPU time (s) 1792.47 Current children cumulated vsize (Kb) 277212 [startup+1794.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155432/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277212 CPUtime=1793.47 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74405 0 0 0 179007 340 0 0 25 0 1 0 191300140 283865088 68120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69303 68120 299 55 0 68195 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 277212 [startup+1795.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1155368/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277344 CPUtime=1794.48 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74421 0 0 0 179108 340 0 0 25 0 1 0 191300140 284000256 68136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69336 68136 299 55 0 68228 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 277344 [startup+1796.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1154984/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277608 CPUtime=1795.49 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74508 0 0 0 179208 341 0 0 25 0 1 0 191300140 284270592 68223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69402 68223 299 55 0 68294 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 277608 [startup+1797.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1154984/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277608 CPUtime=1796.49 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74508 0 0 0 179308 341 0 0 25 0 1 0 191300140 284270592 68223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69402 68223 299 55 0 68294 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (Kb) 277608 [startup+1798.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1154984/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277608 CPUtime=1797.5 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74508 0 0 0 179409 341 0 0 25 0 1 0 191300140 284270592 68223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69402 68223 299 55 0 68294 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 277608 [startup+1799.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1154984/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277608 CPUtime=1798.5 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74508 0 0 0 179509 341 0 0 25 0 1 0 191300140 284270592 68223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69402 68223 299 55 0 68294 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 277608 [startup+1800.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15951 /proc/meminfo: memFree=1154984/2055920 swapFree=4182220/4192956 [pid=15756] ppid=15754 vsize=277608 CPUtime=1799.5 /proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74508 0 0 0 179609 341 0 0 25 0 1 0 191300140 284270592 68223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15756/statm: 69402 68223 299 55 0 68294 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 277608 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.05 CPU user time (s): 1796.59 CPU system time (s): 3.45847 CPU usage (%): 99.96 Max. virtual memory (cumulated for all children) (Kb): 277608
Begin job on node73 on Fri Jun 2 13:52:34 UTC 2006 FILE ID= 39830-1149256354 PBS_JOBID= 298401 BENCH NAME= ROOT/tmp/node73/39830-1149256354/instance-39830-1149256354.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/39830-1149256354/instance-39830-1149256354.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-39830-1149256354 -o ROOT/results/node73/solver-39830-1149256354 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/39830-1149256354/instance-39830-1149256354.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a93c44578e8ffcb65ad1c65e578ef076 RANDOM SEED= 754552146 /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: 1427496 kB Buffers: 38228 kB Cached: 517680 kB SwapCached: 2508 kB Active: 112628 kB Inactive: 452032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1427496 kB SwapTotal: 4192956 kB SwapFree: 4182220 kB Dirty: 176 kB Writeback: 0 kB Mapped: 15120 kB Slab: 49844 kB Committed_AS: 209504 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node73 on Fri Jun 2 14:22:35 UTC 2006