Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.15 | 1800.86 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb |
MD5SUM | 8e9a545df4abbe3f7a2b003048b42200 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 103872 |
Total number of constraints | 3312 |
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 | 3312 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 725 |
Number of terms in the objective function | 37632 |
Biggest coefficient in the objective function | 1116 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 555552 |
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 | 555552 |
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.05 c INFO: OSL Context initialized. 14.37 c Initial problem consists of 103872 variables and 4560 constraints. 14.65 c No problem reductions applied in OPT. instance. 14.65 c preprocess terminated. Elapsed time: 14.598 14.65 c After prepocess the problem consists of 68940 variables and 4560 constraints. 14.65 c Initial Lower Bound: 0 15.72 c Restart #1 #Var: 68940 LB: 0 @ 15.666 16.27 c Restart #2 #Var: 68940 LB: 0 @ 16.218 19.88 c Restart #3 #Var: 68940 LB: 0 @ 19.824 24.50 c Restart #4 #Var: 68940 LB: 0 @ 24.438 31.81 c Restart #5 #Var: 68940 LB: 0 @ 31.741 37.66 c Restart #6 #Var: 68940 LB: 0 @ 37.591 44.04 c Restart #7 #Var: 68940 LB: 0 @ 43.973 48.30 c Restart #8 #Var: 68940 LB: 0 @ 48.225 52.06 c Restart #9 #Var: 68940 LB: 0 @ 51.99 54.25 c Restart #10 #Var: 68940 LB: 0 @ 54.174 56.30 c Restart #11 #Var: 68940 LB: 0 @ 56.224 57.90 c Restart #12 #Var: 68940 LB: 0 @ 57.828 61.56 c Restart #13 #Var: 68926 LB: 0 @ 61.483 64.77 c Restart #14 #Var: 68926 LB: 0 @ 64.693 75.07 c Restart #15 #Var: 68926 LB: 0 @ 74.985 79.72 c Restart #16 #Var: 68913 LB: 0 @ 79.638 81.14 c Restart #17 #Var: 68913 LB: 0 @ 81.053 89.73 c Restart #18 #Var: 68913 LB: 0 @ 89.647 98.83 c Restart #19 #Var: 68891 LB: 0 @ 98.744 102.19 c Restart #20 #Var: 68891 LB: 0 @ 102.1 108.69 c Restart #21 #Var: 68866 LB: 0 @ 108.6 119.11 c Restart #22 #Var: 68866 LB: 0 @ 119.02 123.58 c Restart #23 #Var: 68865 LB: 0 @ 123.49 134.11 c Restart #24 #Var: 68865 LB: 0 @ 134.01 142.94 c Restart #25 #Var: 68856 LB: 0 @ 142.83 158.08 c Restart #26 #Var: 68856 LB: 0 @ 157.97 163.10 c Restart #27 #Var: 68856 LB: 0 @ 162.99 192.12 c Restart #28 #Var: 68856 LB: 0 @ 192 206.85 c Restart #29 #Var: 68856 LB: 0 @ 206.72 211.79 c Restart #30 #Var: 68856 LB: 0 @ 211.67 219.45 c Restart #31 #Var: 68856 LB: 0 @ 219.32 232.23 c Restart #32 #Var: 68855 LB: 0 @ 232.1 246.85 c Restart #33 #Var: 68834 LB: 0 @ 246.72 250.26 c Restart #34 #Var: 68834 LB: 0 @ 250.12 267.71 c Restart #35 #Var: 68834 LB: 0 @ 267.56 281.72 c Restart #36 #Var: 68834 LB: 0 @ 281.57 303.66 c Restart #37 #Var: 68834 LB: 0 @ 303.5 316.86 c Restart #38 #Var: 68834 LB: 0 @ 316.7 333.45 c Restart #39 #Var: 68823 LB: 0 @ 333.28 344.40 c Restart #40 #Var: 68823 LB: 0 @ 344.23 351.15 c Restart #41 #Var: 68823 LB: 0 @ 350.97 366.16 c Restart #42 #Var: 68823 LB: 0 @ 365.98 388.61 c Restart #43 #Var: 68815 LB: 0 @ 388.42 403.67 c Restart #44 #Var: 68814 LB: 0 @ 403.48 433.06 c Restart #45 #Var: 68814 LB: 0 @ 432.86 450.90 c Restart #46 #Var: 68813 LB: 0 @ 450.69 475.91 c Restart #47 #Var: 68812 LB: 0 @ 475.7 498.71 c Restart #48 #Var: 68812 LB: 0 @ 498.48 531.03 c Restart #49 #Var: 68811 LB: 0 @ 530.79 562.92 c Restart #50 #Var: 68810 LB: 0 @ 562.67 576.07 c Restart #51 #Var: 68810 LB: 0 @ 575.83 589.74 c Restart #52 #Var: 68810 LB: 0 @ 589.48 646.93 c Restart #53 #Var: 68810 LB: 0 @ 646.66 732.74 c Restart #54 #Var: 68810 LB: 0 @ 732.44 766.15 c Restart #55 #Var: 68810 LB: 0 @ 765.79 884.98 c Restart #56 #Var: 68799 LB: 0 @ 884.58 917.20 c CHANGE Heuristic... 917.20 c Restart #0 #Var: 68799 LB: 0 @ 916.79 917.40 c Restart #1 #Var: 68794 LB: 0 @ 916.99 917.85 c Restart #2 #Var: 68765 LB: 0 @ 917.44 919.35 c Restart #3 #Var: 68681 LB: 0 @ 918.94 920.06 c Restart #4 #Var: 68681 LB: 0 @ 919.65 920.48 c Restart #5 #Var: 68673 LB: 0 @ 920.07 921.28 c Restart #6 #Var: 68673 LB: 0 @ 920.87 921.95 c Restart #7 #Var: 68667 LB: 0 @ 921.54 922.61 c Restart #8 #Var: 68667 LB: 0 @ 922.2 923.34 c Restart #9 #Var: 68667 LB: 0 @ 922.93 925.44 c Restart #10 #Var: 68667 LB: 0 @ 925.02 926.75 c Restart #11 #Var: 68658 LB: 0 @ 926.34 936.60 c Restart #12 #Var: 68657 LB: 0 @ 936.18 951.13 c Restart #13 #Var: 68657 LB: 0 @ 950.71 957.68 c Restart #14 #Var: 68657 LB: 0 @ 957.26 980.91 c Restart #15 #Var: 68657 LB: 0 @ 980.48 990.01 c Restart #16 #Var: 68657 LB: 0 @ 989.58 1023.71 c Restart #17 #Var: 68657 LB: 0 @ 1023.3 1034.83 c Restart #18 #Var: 68657 LB: 0 @ 1034.4 1068.20 c Restart #19 #Var: 68657 LB: 0 @ 1067.7 1091.48 c Restart #20 #Var: 68657 LB: 0 @ 1091 1108.59 c Restart #21 #Var: 68657 LB: 0 @ 1108.1 1128.02 c Restart #22 #Var: 68657 LB: 0 @ 1127.5 1135.72 c Restart #23 #Var: 68657 LB: 0 @ 1135.2 1162.14 c Restart #24 #Var: 68657 LB: 0 @ 1161.6 1248.41 c Restart #25 #Var: 68657 LB: 0 @ 1247.9 1292.74 c Restart #26 #Var: 68657 LB: 0 @ 1292.2 1311.79 c Restart #27 #Var: 68657 LB: 0 @ 1311.3 1358.32 c Restart #28 #Var: 68657 LB: 0 @ 1357.8 1399.72 c Restart #29 #Var: 68657 LB: 0 @ 1399.2 1422.86 c Restart #30 #Var: 68657 LB: 0 @ 1422.3 1445.67 c Restart #31 #Var: 68657 LB: 0 @ 1445.1 1456.27 c Restart #32 #Var: 68657 LB: 0 @ 1455.7 1509.17 c Restart #33 #Var: 68657 LB: 0 @ 1508.6 1535.28 c Restart #34 #Var: 68657 LB: 0 @ 1534.7 1558.58 c Restart #35 #Var: 68657 LB: 0 @ 1558 1575.30 c Restart #36 #Var: 68657 LB: 0 @ 1574.7 1600.45 c Restart #37 #Var: 68657 LB: 0 @ 1599.8 1607.35 c Restart #38 #Var: 68657 LB: 0 @ 1606.7 1627.13 c Restart #39 #Var: 68657 LB: 0 @ 1626.5 1676.42 c Restart #40 #Var: 68657 LB: 0 @ 1675.8 1691.18 c Restart #41 #Var: 68657 LB: 0 @ 1690.5 1741.98 c Restart #42 #Var: 68656 LB: 0 @ 1741.3 1771.11 c Restart #43 #Var: 68656 LB: 0 @ 1770.4 1800.35 c Restart #44 #Var: 68656 LB: 0 @ 1799.6 1800.79 s UNKNOWN 1800.79 c Exit Code: 0 1800.79 c Total time: 1800.1 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/node17/watcher-39868-1149266920 -o ROOT/results/node17/solver-39868-1149266920 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/39868-1149266920/instance-39868-1149266920.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 23812 /proc/meminfo: memFree=1454888/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=4928 CPUtime=0 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 351 0 0 0 0 0 0 0 18 0 1 0 192355370 5046272 316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159459024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 1233 328 224 55 0 125 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.90 2/64 23812 /proc/meminfo: memFree=1393392/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=66692 CPUtime=9.94 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 1797459 0 0 0 514 480 0 0 25 0 1 0 192355370 68292608 15680 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 16673 15689 281 55 0 15565 0 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (Kb) 66692 [startup+20.0079 s] /proc/loadavg: 0.94 0.96 0.91 2/64 23812 /proc/meminfo: memFree=1333376/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=129508 CPUtime=19.94 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2673028 0 0 0 1272 722 0 0 25 0 1 0 192355370 132616192 30663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 32377 30663 297 55 0 31269 0 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 129508 [startup+30.0138 s] /proc/loadavg: 0.95 0.96 0.91 2/64 23812 /proc/meminfo: memFree=1333440/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=129576 CPUtime=29.94 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2673103 0 0 0 2250 744 0 0 25 0 1 0 192355370 132685824 30682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 32394 30682 297 55 0 31286 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 129576 [startup+40.0196 s] /proc/loadavg: 0.95 0.96 0.91 2/64 23812 /proc/meminfo: memFree=1333440/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=129692 CPUtime=39.95 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2673130 0 0 0 3238 757 0 0 25 0 1 0 192355370 132804608 30709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 32423 30709 297 55 0 31315 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 129692 [startup+50.0254 s] /proc/loadavg: 0.96 0.96 0.91 2/64 23812 /proc/meminfo: memFree=1332800/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=130476 CPUtime=49.95 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2673296 0 0 0 4222 773 0 0 25 0 1 0 192355370 133607424 30875 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 32619 30875 297 55 0 31511 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 130476 [startup+60.0313 s] /proc/loadavg: 0.97 0.96 0.91 2/64 23812 /proc/meminfo: memFree=1326464/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=136860 CPUtime=59.95 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2674894 0 0 0 5214 781 0 0 25 0 1 0 192355370 140144640 32473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 34215 32473 297 55 0 33107 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 136860 [startup+70.0371 s] /proc/loadavg: 0.97 0.96 0.91 2/64 23812 /proc/meminfo: memFree=1325312/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=137916 CPUtime=69.95 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2675183 0 0 0 6212 783 0 0 25 0 1 0 192355370 141225984 32762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 34479 32762 297 55 0 33371 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 137916 [startup+80.043 s] /proc/loadavg: 0.98 0.96 0.91 2/64 23812 /proc/meminfo: memFree=1323264/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=140004 CPUtime=79.96 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2675697 0 0 0 7211 785 0 0 25 0 1 0 192355370 143364096 33276 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 35001 33276 297 55 0 33893 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 140004 [startup+90.0488 s] /proc/loadavg: 0.98 0.96 0.91 2/64 23812 /proc/meminfo: memFree=1316864/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=146336 CPUtime=89.95 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2677279 0 0 0 8207 788 0 0 25 0 1 0 192355370 149848064 34858 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 36584 34858 297 55 0 35476 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 146336 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.91 2/64 23812 /proc/meminfo: memFree=1314304/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=148908 CPUtime=99.96 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2677919 0 0 0 9205 791 0 0 25 0 1 0 192355370 152481792 35498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 37227 35498 297 55 0 36119 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 148908 [startup+110.06 s] /proc/loadavg: 0.98 0.96 0.91 2/64 23812 /proc/meminfo: memFree=1309824/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=153372 CPUtime=109.96 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2679035 0 0 0 10203 793 0 0 25 0 1 0 192355370 157052928 36614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 38343 36614 297 55 0 37235 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 153372 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23812 /proc/meminfo: memFree=1306496/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=156672 CPUtime=119.96 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2679871 0 0 0 11200 796 0 0 25 0 1 0 192355370 160432128 37450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 39168 37450 297 55 0 38060 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 156672 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23812 /proc/meminfo: memFree=1304000/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=159200 CPUtime=129.97 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2680503 0 0 0 12199 798 0 0 25 0 1 0 192355370 163020800 38072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 39800 38072 297 55 0 38692 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 159200 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23812 /proc/meminfo: memFree=1300224/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=163028 CPUtime=139.97 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2681447 0 0 0 13196 801 0 0 25 0 1 0 192355370 166940672 39016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 40757 39016 297 55 0 39649 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 163028 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23812 /proc/meminfo: memFree=1296896/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=166324 CPUtime=149.97 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2682270 0 0 0 14195 802 0 0 25 0 1 0 192355370 170315776 39839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528735 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 41581 39839 297 55 0 40473 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 166324 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23812 /proc/meminfo: memFree=1293120/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=170020 CPUtime=159.98 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2683215 0 0 0 15193 805 0 0 25 0 1 0 192355370 174100480 40784 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 42505 40784 297 55 0 41397 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 170020 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23812 /proc/meminfo: memFree=1288192/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=174900 CPUtime=169.98 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2684458 0 0 0 16192 806 0 0 25 0 1 0 192355370 179097600 42011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718912 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 43725 42011 297 55 0 42617 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 174900 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23812 /proc/meminfo: memFree=1288192/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=175032 CPUtime=179.98 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2684463 0 0 0 17192 806 0 0 25 0 1 0 192355370 179232768 42016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 43758 42016 297 55 0 42650 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 175032 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23812 /proc/meminfo: memFree=1288128/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=175032 CPUtime=189.98 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2684466 0 0 0 18192 806 0 0 25 0 1 0 192355370 179232768 42019 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 43758 42019 297 55 0 42650 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 175032 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23812 /proc/meminfo: memFree=1286976/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=176088 CPUtime=199.98 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2684751 0 0 0 19191 807 0 0 25 0 1 0 192355370 180314112 42304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534013 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 44022 42304 297 55 0 42914 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 176088 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23812 /proc/meminfo: memFree=1282688/2055920 swapFree=4180996/4192956 ################ # More data... # ################ /proc/23812/statm: 111759 110034 297 55 0 110651 0 Current children cumulated CPU time (s) 1760.36 Current children cumulated vsize (Kb) 447036 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1012032/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=450464 CPUtime=1770.37 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754162 0 0 0 176064 973 0 0 25 0 1 0 192355370 461275136 110884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 112616 110884 297 55 0 111508 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 450464 [startup+1781.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=452416 CPUtime=1780.36 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754634 0 0 0 177063 973 0 0 25 0 1 0 192355370 463273984 111356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113104 111356 297 55 0 111996 0 Current children cumulated CPU time (s) 1780.36 Current children cumulated vsize (Kb) 452416 [startup+1782.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=452416 CPUtime=1781.37 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754634 0 0 0 177164 973 0 0 25 0 1 0 192355370 463273984 111356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113104 111356 297 55 0 111996 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 452416 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=452416 CPUtime=1782.37 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754634 0 0 0 177264 973 0 0 25 0 1 0 192355370 463273984 111356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113104 111356 297 55 0 111996 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (Kb) 452416 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=452392 CPUtime=1783.38 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754634 0 0 0 177365 973 0 0 25 0 1 0 192355370 463249408 111356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113098 111356 297 55 0 111990 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 452392 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=452392 CPUtime=1784.38 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754637 0 0 0 177465 973 0 0 25 0 1 0 192355370 463249408 111359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113098 111359 297 55 0 111990 0 Current children cumulated CPU time (s) 1784.38 Current children cumulated vsize (Kb) 452392 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1010112/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=452392 CPUtime=1785.39 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754638 0 0 0 177566 973 0 0 25 0 1 0 192355370 463249408 111360 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113098 111360 297 55 0 111990 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 452392 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1010048/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=452392 CPUtime=1786.39 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754644 0 0 0 177666 973 0 0 25 0 1 0 192355370 463249408 111366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113098 111366 297 55 0 111990 0 Current children cumulated CPU time (s) 1786.39 Current children cumulated vsize (Kb) 452392 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1010048/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=452392 CPUtime=1787.39 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754652 0 0 0 177766 973 0 0 25 0 1 0 192355370 463249408 111374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113098 111374 297 55 0 111990 0 Current children cumulated CPU time (s) 1787.39 Current children cumulated vsize (Kb) 452392 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1009984/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=452524 CPUtime=1788.4 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754661 0 0 0 177867 973 0 0 25 0 1 0 192355370 463384576 111383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113131 111383 297 55 0 112023 0 Current children cumulated CPU time (s) 1788.4 Current children cumulated vsize (Kb) 452524 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1009856/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=452628 CPUtime=1789.4 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754699 0 0 0 177967 973 0 0 25 0 1 0 192355370 463491072 111421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113157 111421 297 55 0 112049 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (Kb) 452628 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1009472/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=453040 CPUtime=1790.41 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2754783 0 0 0 178067 974 0 0 25 0 1 0 192355370 463912960 111505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113260 111505 297 55 0 112152 0 Current children cumulated CPU time (s) 1790.41 Current children cumulated vsize (Kb) 453040 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1008640/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=453832 CPUtime=1791.42 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755002 0 0 0 178168 974 0 0 25 0 1 0 192355370 464723968 111724 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113458 111724 297 55 0 112350 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 453832 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1007936/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=454624 CPUtime=1792.42 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755178 0 0 0 178268 974 0 0 25 0 1 0 192355370 465534976 111900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113656 111900 297 55 0 112548 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 454624 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1007104/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=455416 CPUtime=1793.42 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755388 0 0 0 178368 974 0 0 25 0 1 0 192355370 466345984 112110 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 113854 112110 297 55 0 112746 0 Current children cumulated CPU time (s) 1793.42 Current children cumulated vsize (Kb) 455416 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1006272/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=456208 CPUtime=1794.42 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755594 0 0 0 178468 974 0 0 25 0 1 0 192355370 467156992 112316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 114052 112316 297 55 0 112944 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (Kb) 456208 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1005952/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=456472 CPUtime=1795.43 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755667 0 0 0 178568 975 0 0 25 0 1 0 192355370 467427328 112389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 114118 112389 297 55 0 113010 0 Current children cumulated CPU time (s) 1795.43 Current children cumulated vsize (Kb) 456472 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1005952/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=456472 CPUtime=1796.44 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755667 0 0 0 178669 975 0 0 25 0 1 0 192355370 467427328 112389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 114118 112389 297 55 0 113010 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 456472 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1005952/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=456472 CPUtime=1797.44 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755667 0 0 0 178769 975 0 0 25 0 1 0 192355370 467427328 112389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 114118 112389 297 55 0 113010 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (Kb) 456472 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1005952/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=456472 CPUtime=1798.45 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755667 0 0 0 178870 975 0 0 25 0 1 0 192355370 467427328 112389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 114118 112389 297 55 0 113010 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (Kb) 456472 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24007 /proc/meminfo: memFree=1005952/2055920 swapFree=4180996/4192956 [pid=23812] ppid=23810 vsize=456472 CPUtime=1799.45 /proc/23812/stat : 23812 (bsolo) R 23810 23812 23766 0 -1 0 2755667 0 0 0 178970 975 0 0 25 0 1 0 192355370 467427328 112389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23812/statm: 114118 112389 297 55 0 113010 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (Kb) 456472 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.15 CPU user time (s): 1790.33 CPU system time (s): 9.82351 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (Kb): 456472
Begin job on node17 on Fri Jun 2 16:48:41 UTC 2006 FILE ID= 39868-1149266920 PBS_JOBID= 298899 BENCH NAME= ROOT/tmp/node17/39868-1149266920/instance-39868-1149266920.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/39868-1149266920/instance-39868-1149266920.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-39868-1149266920 -o ROOT/results/node17/solver-39868-1149266920 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/39868-1149266920/instance-39868-1149266920.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 8e9a545df4abbe3f7a2b003048b42200 RANDOM SEED= 765460963 /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.278 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.278 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: 1455288 kB Buffers: 34660 kB Cached: 501644 kB SwapCached: 3752 kB Active: 352020 kB Inactive: 193068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1455288 kB SwapTotal: 4192956 kB SwapFree: 4180996 kB Dirty: 136 kB Writeback: 0 kB Mapped: 14716 kB Slab: 41504 kB Committed_AS: 263692 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node17 on Fri Jun 2 17:18:42 UTC 2006