Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 1643.36 | 1643.94 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb |
MD5SUM | 1f089a89b25a106d39527c716bfdba75 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 197999 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 197642 |
Optimality of the best value was proved | NO |
Number of variables | 6363 |
Total number of constraints | 785 |
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 | 785 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 141 |
Number of terms in the objective function | 3774 |
Biggest coefficient in the objective function | 3908 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 526487 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 165132 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526487 |
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.21 c Initial problem consists of 6363 variables and 1079 constraints. 0.23 c No problem reductions applied in OPT. instance. 0.23 c preprocess terminated. Elapsed time: 0.212 0.23 c After prepocess the problem consists of 6363 variables and 1079 constraints. 0.23 c Initial Lower Bound: 0 0.55 c Restart #1 #Var: 6363 LB: 0 @ 0.537 1.20 c Restart #2 #Var: 6363 LB: 0 @ 1.185 2.04 c Restart #3 #Var: 6363 LB: 0 @ 2.021 3.22 c Restart #4 #Var: 6363 LB: 0 @ 3.199 4.45 c Restart #5 #Var: 6363 LB: 0 @ 4.435 5.37 c Restart #6 #Var: 6363 LB: 0 @ 5.355 5.92 c Restart #7 #Var: 6363 LB: 0 @ 5.901 6.24 c Restart #8 #Var: 6363 LB: 0 @ 6.221 6.48 c Restart #9 #Var: 6363 LB: 0 @ 6.459 6.73 c Restart #10 #Var: 6363 LB: 0 @ 6.713 7.15 c Restart #11 #Var: 6363 LB: 0 @ 7.129 7.31 c Restart #12 #Var: 6363 LB: 0 @ 7.288 7.42 c Restart #13 #Var: 6363 LB: 0 @ 7.399 7.76 c Restart #14 #Var: 6363 LB: 0 @ 7.744 8.02 c Restart #15 #Var: 6363 LB: 0 @ 8.003 8.29 c Restart #16 #Var: 6363 LB: 0 @ 8.272 8.63 c Restart #17 #Var: 6363 LB: 0 @ 8.612 9.03 c Restart #18 #Var: 6363 LB: 0 @ 9.014 9.45 c Restart #19 #Var: 6363 LB: 0 @ 9.432 9.78 c Restart #20 #Var: 6363 LB: 0 @ 9.758 10.11 c Restart #21 #Var: 6363 LB: 0 @ 10.094 10.36 c Restart #22 #Var: 6363 LB: 0 @ 10.335 10.95 c Restart #23 #Var: 6363 LB: 0 @ 10.928 11.36 c Restart #24 #Var: 6363 LB: 0 @ 11.342 12.04 c Restart #25 #Var: 6363 LB: 0 @ 12.022 12.56 c Restart #26 #Var: 6363 LB: 0 @ 12.535 13.34 c Restart #27 #Var: 6363 LB: 0 @ 13.318 14.05 c Restart #28 #Var: 6363 LB: 0 @ 14.028 15.58 c Restart #29 #Var: 6363 LB: 0 @ 15.555 17.72 c Restart #30 #Var: 6363 LB: 0 @ 17.692 18.69 c Restart #31 #Var: 6363 LB: 0 @ 18.671 20.60 c Restart #32 #Var: 6363 LB: 0 @ 20.579 22.93 c Restart #33 #Var: 6363 LB: 0 @ 22.905 24.08 c Restart #34 #Var: 6363 LB: 0 @ 24.052 25.31 c Restart #35 #Var: 6363 LB: 0 @ 25.287 27.26 c Restart #36 #Var: 6363 LB: 0 @ 27.233 28.21 c Restart #37 #Var: 6363 LB: 0 @ 28.183 29.24 c Restart #38 #Var: 6363 LB: 0 @ 29.209 30.76 c Restart #39 #Var: 6363 LB: 0 @ 30.73 32.70 c Restart #40 #Var: 6363 LB: 0 @ 32.675 41.48 c Restart #41 #Var: 6363 LB: 0 @ 41.449 44.76 c Restart #42 #Var: 6363 LB: 0 @ 44.733 47.70 c Restart #43 #Var: 6363 LB: 0 @ 47.668 50.44 c Restart #44 #Var: 6363 LB: 0 @ 50.402 51.65 c Restart #45 #Var: 6363 LB: 0 @ 51.62 56.22 c Restart #46 #Var: 6362 LB: 0 @ 56.184 63.33 c Restart #47 #Var: 6362 LB: 0 @ 63.298 66.61 c Restart #48 #Var: 6362 LB: 0 @ 66.57 68.62 c Restart #49 #Var: 6362 LB: 0 @ 68.579 71.12 c Restart #50 #Var: 6362 LB: 0 @ 71.082 73.30 c Restart #51 #Var: 6362 LB: 0 @ 73.258 77.01 c Restart #52 #Var: 6362 LB: 0 @ 76.969 78.88 c Restart #53 #Var: 6362 LB: 0 @ 78.837 87.58 c Restart #54 #Var: 6362 LB: 0 @ 87.536 97.87 c Restart #55 #Var: 6362 LB: 0 @ 97.828 102.12 c Restart #56 #Var: 6362 LB: 0 @ 102.08 108.93 c Restart #57 #Var: 6362 LB: 0 @ 108.88 119.85 c Restart #58 #Var: 6362 LB: 0 @ 119.8 121.79 c Restart #59 #Var: 6362 LB: 0 @ 121.74 135.08 c Restart #60 #Var: 6362 LB: 0 @ 135.02 140.36 c Restart #61 #Var: 6362 LB: 0 @ 140.3 147.09 c Restart #62 #Var: 6362 LB: 0 @ 147.03 148.03 c Restart #63 #Var: 6362 LB: 0 @ 147.97 158.70 c Restart #64 #Var: 6362 LB: 0 @ 158.64 162.28 c Restart #65 #Var: 6362 LB: 0 @ 162.22 163.15 c Restart #66 #Var: 6362 LB: 0 @ 163.09 165.47 c Restart #67 #Var: 6362 LB: 0 @ 165.4 167.42 c Restart #68 #Var: 6362 LB: 0 @ 167.35 179.69 c Restart #69 #Var: 6362 LB: 0 @ 179.62 192.02 c Restart #70 #Var: 6362 LB: 0 @ 191.94 194.10 c Restart #71 #Var: 6362 LB: 0 @ 194.02 204.84 c Restart #72 #Var: 6362 LB: 0 @ 204.77 211.14 c Restart #73 #Var: 6362 LB: 0 @ 211.06 216.63 c Restart #74 #Var: 6362 LB: 0 @ 216.55 229.70 c Restart #75 #Var: 6362 LB: 0 @ 229.62 253.78 c Restart #76 #Var: 6362 LB: 0 @ 253.69 270.46 c Restart #77 #Var: 6362 LB: 0 @ 270.37 279.38 c Restart #78 #Var: 6362 LB: 0 @ 279.28 321.51 c Restart #79 #Var: 6362 LB: 0 @ 321.4 327.36 c Restart #80 #Var: 6362 LB: 0 @ 327.25 334.36 c Restart #81 #Var: 6362 LB: 0 @ 334.25 346.11 c Restart #82 #Var: 6362 LB: 0 @ 346 358.08 c Restart #83 #Var: 6362 LB: 0 @ 357.95 381.21 c Restart #84 #Var: 6362 LB: 0 @ 381.08 398.93 c Restart #85 #Var: 6362 LB: 0 @ 398.79 406.66 c Restart #86 #Var: 6362 LB: 0 @ 406.52 425.55 c Restart #87 #Var: 6362 LB: 0 @ 425.41 449.95 c Restart #88 #Var: 6362 LB: 0 @ 449.81 454.63 c Restart #89 #Var: 6362 LB: 0 @ 454.49 462.12 c Restart #90 #Var: 6362 LB: 0 @ 461.97 512.02 c Restart #91 #Var: 6362 LB: 0 @ 511.85 555.14 c Restart #92 #Var: 6362 LB: 0 @ 554.96 565.87 c Restart #93 #Var: 6362 LB: 0 @ 565.69 596.36 c Restart #94 #Var: 6362 LB: 0 @ 596.17 603.43 c Restart #95 #Var: 6362 LB: 0 @ 603.24 624.75 c Restart #96 #Var: 6362 LB: 0 @ 624.55 632.78 c Restart #97 #Var: 6362 LB: 0 @ 632.58 678.11 c Restart #98 #Var: 6362 LB: 0 @ 677.89 720.32 c Restart #99 #Var: 6362 LB: 0 @ 720.09 759.42 c Restart #100 #Var: 6362 LB: 0 @ 759.18 773.39 c Restart #101 #Var: 6362 LB: 0 @ 773.15 783.58 c Restart #102 #Var: 6362 LB: 0 @ 783.33 813.78 c Restart #103 #Var: 6362 LB: 0 @ 813.52 830.78 c Restart #104 #Var: 6362 LB: 0 @ 830.52 861.38 c Restart #105 #Var: 6362 LB: 0 @ 861.11 881.99 c Restart #106 #Var: 6362 LB: 0 @ 881.72 998.15 c CHANGE Heuristic... 998.15 c Restart #0 #Var: 6362 LB: 0 @ 997.84 999.89 c Restart #1 #Var: 6362 LB: 0 @ 999.58 1000.73 c Restart #2 #Var: 6362 LB: 0 @ 1000.4 1003.18 c Restart #3 #Var: 6362 LB: 0 @ 1002.9 1005.77 c Restart #4 #Var: 6362 LB: 0 @ 1005.5 1007.63 c Restart #5 #Var: 6362 LB: 0 @ 1007.3 1007.73 c Restart #6 #Var: 6362 LB: 0 @ 1007.4 1016.03 c Restart #7 #Var: 6362 LB: 0 @ 1015.7 1023.24 c Restart #8 #Var: 6362 LB: 0 @ 1022.9 1023.92 c Restart #9 #Var: 6362 LB: 0 @ 1023.6 1024.88 c Restart #10 #Var: 6362 LB: 0 @ 1024.6 1025.17 c Restart #11 #Var: 6362 LB: 0 @ 1024.9 1025.61 c Restart #12 #Var: 6362 LB: 0 @ 1025.3 1026.14 c Restart #13 #Var: 6362 LB: 0 @ 1025.8 1026.77 c Restart #14 #Var: 6362 LB: 0 @ 1026.5 1034.98 c Restart #15 #Var: 6362 LB: 0 @ 1034.7 1038.11 c Restart #16 #Var: 6362 LB: 0 @ 1037.8 1040.56 c Restart #17 #Var: 6362 LB: 0 @ 1040.2 1046.94 c Restart #18 #Var: 6362 LB: 0 @ 1046.6 1062.37 c Restart #19 #Var: 6362 LB: 0 @ 1062 1073.11 c Restart #20 #Var: 6362 LB: 0 @ 1072.8 1093.24 c Restart #21 #Var: 6362 LB: 0 @ 1092.9 1112.70 c Restart #22 #Var: 6362 LB: 0 @ 1112.4 1116.41 c Restart #23 #Var: 6362 LB: 0 @ 1116.1 1127.09 c Restart #24 #Var: 6362 LB: 0 @ 1126.7 1129.55 c Restart #25 #Var: 6362 LB: 0 @ 1129.2 1145.08 c Restart #26 #Var: 6362 LB: 0 @ 1144.7 1160.32 c Restart #27 #Var: 6362 LB: 0 @ 1160 1170.07 c Restart #28 #Var: 6362 LB: 0 @ 1169.7 1182.11 c Restart #29 #Var: 6362 LB: 0 @ 1181.8 1199.09 c Restart #30 #Var: 6362 LB: 0 @ 1198.7 1199.35 c Restart #31 #Var: 6362 LB: 0 @ 1199 1199.64 c Restart #32 #Var: 6362 LB: 0 @ 1199.3 1199.97 c Restart #33 #Var: 6362 LB: 0 @ 1199.6 1200.42 c Restart #34 #Var: 6362 LB: 0 @ 1200.1 1200.82 c Restart #35 #Var: 6362 LB: 0 @ 1200.5 1201.32 c Restart #36 #Var: 6362 LB: 0 @ 1200.9 1201.95 c Restart #37 #Var: 6362 LB: 0 @ 1201.6 1202.52 c Restart #38 #Var: 6362 LB: 0 @ 1202.2 1203.05 c Restart #39 #Var: 6362 LB: 0 @ 1202.7 1203.97 c Restart #40 #Var: 6362 LB: 0 @ 1203.6 1204.90 c Restart #41 #Var: 6362 LB: 0 @ 1204.5 1205.70 c Restart #42 #Var: 6362 LB: 0 @ 1205.3 1206.53 c Restart #43 #Var: 6362 LB: 0 @ 1206.2 1207.30 c Restart #44 #Var: 6362 LB: 0 @ 1206.9 1208.16 c Restart #45 #Var: 6362 LB: 0 @ 1207.8 1209.08 c Restart #46 #Var: 6362 LB: 0 @ 1208.7 1209.86 c Restart #47 #Var: 6362 LB: 0 @ 1209.5 1215.45 c Restart #48 #Var: 6362 LB: 0 @ 1215.1 1227.88 c Restart #49 #Var: 6362 LB: 0 @ 1227.5 1232.23 c Restart #50 #Var: 6362 LB: 0 @ 1231.9 1235.30 c Restart #51 #Var: 6362 LB: 0 @ 1234.9 1244.31 c Restart #52 #Var: 6362 LB: 0 @ 1243.9 1251.66 c Restart #53 #Var: 6362 LB: 0 @ 1251.3 1308.70 c Restart #54 #Var: 6362 LB: 0 @ 1308.3 1353.35 c Restart #55 #Var: 6362 LB: 0 @ 1352.9 1391.49 c Restart #56 #Var: 6362 LB: 0 @ 1391.1 1399.46 c Restart #57 #Var: 6362 LB: 0 @ 1399 1424.32 c Restart #58 #Var: 6362 LB: 0 @ 1423.9 1445.89 c Restart #59 #Var: 6362 LB: 0 @ 1445.5 1481.85 c Restart #60 #Var: 6362 LB: 0 @ 1481.4 1487.09 c Restart #61 #Var: 6362 LB: 0 @ 1486.6 1490.76 c Restart #62 #Var: 6362 LB: 0 @ 1490.3 1494.08 c Restart #63 #Var: 6362 LB: 0 @ 1493.6 1496.98 c Restart #64 #Var: 6362 LB: 0 @ 1496.5 1502.99 c Restart #65 #Var: 6362 LB: 0 @ 1502.5 1508.85 c Restart #66 #Var: 6362 LB: 0 @ 1508.4 1512.85 c Restart #67 #Var: 6362 LB: 0 @ 1512.4 1517.18 c Restart #68 #Var: 6362 LB: 0 @ 1516.7 1524.74 c Restart #69 #Var: 6362 LB: 0 @ 1524.3 1526.85 c Restart #70 #Var: 6362 LB: 0 @ 1526.4 1536.12 c Restart #71 #Var: 6362 LB: 0 @ 1535.7 1538.24 c Restart #72 #Var: 6362 LB: 0 @ 1537.8 1545.68 c Restart #73 #Var: 6362 LB: 0 @ 1545.2 1547.73 c Restart #74 #Var: 6362 LB: 0 @ 1547.3 1571.18 c Restart #75 #Var: 6362 LB: 0 @ 1570.7 1585.91 c Restart #76 #Var: 6362 LB: 0 @ 1585.4 1588.25 c Restart #77 #Var: 6362 LB: 0 @ 1587.8 1608.64 c Restart #78 #Var: 6362 LB: 0 @ 1608.1 1611.09 c Restart #79 #Var: 6362 LB: 0 @ 1610.6 1613.39 c Restart #80 #Var: 6362 LB: 0 @ 1612.9 1637.16 c Restart #81 #Var: 6362 LB: 0 @ 1636.6 1640.01 c Restart #82 #Var: 6362 LB: 0 @ 1639.5 1642.68 c Restart #83 #Var: 6362 LB: 0 @ 1642.1
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/node23/watcher-40031-1149357970 -o ROOT/results/node23/solver-40031-1149357970 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40031-1149357970/instance-40031-1149357970.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1741600/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=4932 CPUtime=0 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 364 0 0 0 0 0 0 0 19 0 1 0 201460668 5050368 328 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2777415 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 1233 330 226 55 0 125 0 [startup+10.0024 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1670576/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=75564 CPUtime=9.97 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 18110 0 0 0 962 35 0 0 25 0 1 0 201460668 77377536 18025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 18891 18025 297 55 0 17783 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 75564 [startup+20.0086 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1598320/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=147772 CPUtime=19.98 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 36142 0 0 0 1950 48 0 0 25 0 1 0 201460668 151318528 36057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 36943 36057 297 55 0 35835 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 147772 [startup+30.0147 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1556528/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=189496 CPUtime=29.97 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 46560 0 0 0 2943 54 0 0 25 0 1 0 201460668 194043904 46475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 47374 46475 297 55 0 46266 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 189496 [startup+40.0208 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1536688/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=209296 CPUtime=39.98 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 51505 0 0 0 3938 60 0 0 25 0 1 0 201460668 214319104 51420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 52324 51420 297 55 0 51216 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 209296 [startup+50.027 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1513200/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=232668 CPUtime=49.98 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 57374 0 0 0 4930 68 0 0 25 0 1 0 201460668 238252032 57289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 58167 57290 297 55 0 57059 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 232668 [startup+60.0331 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1492016/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=253916 CPUtime=59.99 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 62670 0 0 0 5924 75 0 0 25 0 1 0 201460668 260009984 62585 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 63479 62585 297 55 0 62371 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 253916 [startup+70.0392 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1459504/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=286392 CPUtime=69.99 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 70776 0 0 0 6917 82 0 0 25 0 1 0 201460668 293265408 70689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 71598 70689 297 55 0 70490 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 286392 [startup+80.0454 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1419760/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=326160 CPUtime=80 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 80686 0 0 0 7911 89 0 0 25 0 1 0 201460668 333987840 80597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 81540 80597 297 55 0 80432 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 326160 [startup+90.0515 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1403888/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=342000 CPUtime=89.99 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 84657 0 0 0 8906 93 0 0 25 0 1 0 201460668 350208000 84568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718470 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 85500 84568 297 55 0 84392 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 342000 [startup+100.058 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1391216/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=354704 CPUtime=100 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 87817 0 0 0 9901 99 0 0 25 0 1 0 201460668 363216896 87727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 88676 87727 297 55 0 87568 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 354704 [startup+110.064 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1377072/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=368828 CPUtime=110 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 91349 0 0 0 10896 104 0 0 25 0 1 0 201460668 377679872 91259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 92207 91259 297 55 0 91099 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 368828 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1370288/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=375560 CPUtime=120.01 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 93028 0 0 0 11893 108 0 0 25 0 1 0 201460668 384573440 92938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 93890 92938 297 55 0 92782 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 375560 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1351536/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=394488 CPUtime=130.01 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 97716 0 0 0 12888 113 0 0 25 0 1 0 201460668 403955712 97623 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 98622 97623 297 55 0 97514 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 394488 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1328944/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=416952 CPUtime=140.02 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 103347 0 0 0 13883 119 0 0 25 0 1 0 201460668 426958848 103254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 104238 103254 297 55 0 103130 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 416952 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1295920/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=450116 CPUtime=150.02 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 111600 0 0 0 14876 126 0 0 25 0 1 0 201460668 460918784 111505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 112529 111505 297 55 0 111421 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 450116 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1288880/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=457240 CPUtime=160.02 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 113361 0 0 0 15873 129 0 0 25 0 1 0 201460668 468213760 113266 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 114310 113266 297 55 0 113202 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 457240 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1247664/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=498448 CPUtime=170.03 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 123636 0 0 0 16866 137 0 0 25 0 1 0 201460668 510410752 123534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 124612 123534 297 55 0 123504 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 498448 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1231216/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=514992 CPUtime=180.03 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 127754 0 0 0 17863 140 0 0 25 0 1 0 201460668 527351808 127649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 128748 127649 297 55 0 127640 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 514992 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1226672/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=519496 CPUtime=190.04 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 128888 0 0 0 18862 142 0 0 25 0 1 0 201460668 531963904 128782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 129874 128782 297 55 0 128766 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 519496 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1202992/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=543200 CPUtime=200.04 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 134799 0 0 0 19857 147 0 0 25 0 1 0 201460668 556236800 134687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 135800 134687 297 55 0 134692 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 543200 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.95 2/64 27225 /proc/meminfo: memFree=1187440/2055920 swapFree=4180884/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1430.43 Current children cumulated vsize (Kb) 1462184 [startup+1440.88 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=286200/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1463776 CPUtime=1440.44 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 363803 0 0 0 143614 430 0 0 25 0 1 0 201460668 1498906624 363370 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719391 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 365944 363370 297 55 0 364836 0 Current children cumulated CPU time (s) 1440.44 Current children cumulated vsize (Kb) 1463776 [startup+1450.89 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=277304/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1472776 CPUtime=1450.45 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 366046 0 0 0 144612 433 0 0 25 0 1 0 201460668 1508122624 365613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 368194 365613 297 55 0 367086 0 Current children cumulated CPU time (s) 1450.45 Current children cumulated vsize (Kb) 1472776 [startup+1460.9 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=276216/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1473868 CPUtime=1460.45 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 366304 0 0 0 145611 434 0 0 25 0 1 0 201460668 1509240832 365871 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 368467 365871 297 55 0 367359 0 Current children cumulated CPU time (s) 1460.45 Current children cumulated vsize (Kb) 1473868 [startup+1470.9 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=271480/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1478488 CPUtime=1470.45 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 367486 0 0 0 146610 435 0 0 25 0 1 0 201460668 1513971712 367053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 369622 367053 297 55 0 368514 0 Current children cumulated CPU time (s) 1470.45 Current children cumulated vsize (Kb) 1478488 [startup+1480.91 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=268024/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1482052 CPUtime=1480.45 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 368349 0 0 0 147609 436 0 0 25 0 1 0 201460668 1517621248 367916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 370513 367916 297 55 0 369405 0 Current children cumulated CPU time (s) 1480.45 Current children cumulated vsize (Kb) 1482052 [startup+1490.91 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=240760/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1509472 CPUtime=1490.45 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 375239 0 0 0 148604 441 0 0 25 0 1 0 201460668 1545699328 374723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 377368 374723 297 55 0 376260 0 Current children cumulated CPU time (s) 1490.45 Current children cumulated vsize (Kb) 1509472 [startup+1500.92 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=205368/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1544896 CPUtime=1500.45 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 384069 0 0 0 149597 448 0 0 25 0 1 0 201460668 1581973504 383549 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 386224 383550 297 55 0 385116 0 Current children cumulated CPU time (s) 1500.45 Current children cumulated vsize (Kb) 1544896 [startup+1510.93 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=181624/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1568760 CPUtime=1510.46 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 390005 0 0 0 150594 452 0 0 25 0 1 0 201460668 1606410240 389477 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 392190 389478 297 55 0 391082 0 Current children cumulated CPU time (s) 1510.46 Current children cumulated vsize (Kb) 1568760 [startup+1520.93 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=149496/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1600884 CPUtime=1520.47 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 398013 0 0 0 151587 460 0 0 25 0 1 0 201460668 1639305216 397473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 400221 397473 297 55 0 399113 0 Current children cumulated CPU time (s) 1520.47 Current children cumulated vsize (Kb) 1600884 [startup+1530.94 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=121208/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1629312 CPUtime=1530.47 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 405083 0 0 0 152583 464 0 0 25 0 1 0 201460668 1668415488 404534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 407328 404534 297 55 0 406220 0 Current children cumulated CPU time (s) 1530.47 Current children cumulated vsize (Kb) 1629312 [startup+1540.95 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=88120/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1662648 CPUtime=1540.47 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 413362 0 0 0 153576 471 0 0 25 0 1 0 201460668 1702551552 412799 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 415662 412799 297 55 0 414554 0 Current children cumulated CPU time (s) 1540.47 Current children cumulated vsize (Kb) 1662648 [startup+1550.95 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=58616/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1692280 CPUtime=1550.47 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 420733 0 0 0 154572 475 0 0 25 0 1 0 201460668 1732894720 420153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 423070 420153 297 55 0 421962 0 Current children cumulated CPU time (s) 1550.47 Current children cumulated vsize (Kb) 1692280 [startup+1560.96 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=52344/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1698536 CPUtime=1560.48 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 422305 0 0 0 155570 478 0 0 25 0 1 0 201460668 1739300864 421721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 424634 421721 297 55 0 423526 0 Current children cumulated CPU time (s) 1560.48 Current children cumulated vsize (Kb) 1698536 [startup+1570.96 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=48568/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1702364 CPUtime=1570.48 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 423253 0 0 0 156569 479 0 0 25 0 1 0 201460668 1743220736 422669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 425591 422669 297 55 0 424483 0 Current children cumulated CPU time (s) 1570.48 Current children cumulated vsize (Kb) 1702364 [startup+1580.97 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=37752/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1713364 CPUtime=1580.48 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 425956 0 0 0 157566 482 0 0 25 0 1 0 201460668 1754484736 425364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 428341 425364 297 55 0 427233 0 Current children cumulated CPU time (s) 1580.48 Current children cumulated vsize (Kb) 1713364 [startup+1590.98 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=15736/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1735808 CPUtime=1590.49 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 431558 0 0 0 158562 487 0 0 25 0 1 0 201460668 1777467392 430863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 433952 430863 297 55 0 432844 0 Current children cumulated CPU time (s) 1590.49 Current children cumulated vsize (Kb) 1735808 [startup+1600.98 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=15224/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1744124 CPUtime=1600.48 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 433634 0 0 0 159559 489 0 0 25 0 1 0 201460668 1785982976 432939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 436031 432939 297 55 0 434923 0 Current children cumulated CPU time (s) 1600.48 Current children cumulated vsize (Kb) 1744124 [startup+1610.99 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=15160/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1767364 CPUtime=1610.46 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 439467 0 0 0 160552 494 0 0 25 0 1 0 201460668 1809780736 438772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 441841 438772 297 55 0 440733 0 Current children cumulated CPU time (s) 1610.46 Current children cumulated vsize (Kb) 1767364 [startup+1620.99 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=15608/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1790576 CPUtime=1620.45 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 445241 0 0 0 161547 498 0 0 25 0 1 0 201460668 1833549824 444536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 447644 444536 297 55 0 446536 0 Current children cumulated CPU time (s) 1620.45 Current children cumulated vsize (Kb) 1790576 [startup+1631 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=16184/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1797912 CPUtime=1630.48 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 447090 0 0 0 162547 501 0 0 25 0 1 0 201460668 1841061888 446383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 449478 446383 297 55 0 448370 0 Current children cumulated CPU time (s) 1630.48 Current children cumulated vsize (Kb) 1797912 [startup+1641.04 s] /proc/loadavg: 1.00 0.99 0.96 2/64 27225 /proc/meminfo: memFree=16248/2055920 swapFree=4180884/4192956 [pid=27225] ppid=27223 vsize=1826084 CPUtime=1640.47 /proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 454048 0 0 0 163541 506 0 0 25 0 1 0 201460668 1869910016 453321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27225/statm: 456521 453321 297 55 0 455413 0 Current children cumulated CPU time (s) 1640.47 Current children cumulated vsize (Kb) 1826084 Child ended because it received signal 11 (SIGSEGV) Real time (s): 1643.94 CPU time (s): 1643.36 CPU user time (s): 1638.01 CPU system time (s): 5.35019 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (Kb): 1826084 The end
Begin job on node23 on Sat Jun 3 18:06:10 UTC 2006 FILE ID= 40031-1149357970 PBS_JOBID= 311350 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40031-1149357970/instance-40031-1149357970.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-40031-1149357970 -o ROOT/results/node23/solver-40031-1149357970 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40031-1149357970/instance-40031-1149357970.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 1f089a89b25a106d39527c716bfdba75 RANDOM SEED= 106657794 /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.213 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 : 5931.00 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.213 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: 1741808 kB Buffers: 12792 kB Cached: 241448 kB SwapCached: 3412 kB Active: 47252 kB Inactive: 215292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1741808 kB SwapTotal: 4192956 kB SwapFree: 4180884 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14696 kB Slab: 37596 kB Committed_AS: 374944 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Sat Jun 3 18:33:34 UTC 2006