Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.07 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb |
MD5SUM | de8002a7213606f6cc39967e9305bae2 |
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 | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 154999 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 654248 |
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 | 654248 |
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.01 c INFO: OSL Context initialized. 5.68 c Initial problem consists of 155000 variables and 5300 constraints. 6.13 c No problem reductions applied in OPT. instance. 6.13 c preprocess terminated. Elapsed time: 6.117 6.13 c After prepocess the problem consists of 96991 variables and 5300 constraints. 6.13 c Initial Lower Bound: 0 8.49 c Restart #1 #Var: 96991 LB: 0 @ 8.473 11.83 c Restart #2 #Var: 96991 LB: 0 @ 11.818 16.32 c Restart #3 #Var: 96991 LB: 0 @ 16.307 21.90 c Restart #4 #Var: 96991 LB: 0 @ 21.878 28.33 c Restart #5 #Var: 96991 LB: 0 @ 28.313 35.93 c Restart #6 #Var: 96991 LB: 0 @ 35.905 45.04 c Restart #7 #Var: 96991 LB: 0 @ 45.017 57.10 c Restart #8 #Var: 96991 LB: 0 @ 57.073 69.76 c Restart #9 #Var: 96991 LB: 0 @ 69.732 85.42 c Restart #10 #Var: 96991 LB: 0 @ 85.387 121.07 c Restart #11 #Var: 96991 LB: 0 @ 121.03 230.79 c Restart #12 #Var: 96991 LB: 0 @ 230.72 337.53 c Restart #13 #Var: 96991 LB: 0 @ 337.43 356.12 c Restart #14 #Var: 96991 LB: 0 @ 356.02 375.45 c Restart #15 #Var: 96991 LB: 0 @ 375.35 403.02 c Restart #16 #Var: 96991 LB: 0 @ 402.92 428.25 c Restart #17 #Var: 96991 LB: 0 @ 428.14 450.90 c Restart #18 #Var: 96991 LB: 0 @ 450.78 488.22 c Restart #19 #Var: 96991 LB: 0 @ 488.1 514.98 c Restart #20 #Var: 96991 LB: 0 @ 514.84 541.05 c Restart #21 #Var: 96991 LB: 0 @ 540.9 580.68 c Restart #22 #Var: 96991 LB: 0 @ 580.53 617.25 c Restart #23 #Var: 96991 LB: 0 @ 617.09 671.51 c Restart #24 #Var: 96991 LB: 0 @ 671.34 728.65 c Restart #25 #Var: 96991 LB: 0 @ 728.46 778.62 c Restart #26 #Var: 96991 LB: 0 @ 778.42 833.95 c Restart #27 #Var: 96991 LB: 0 @ 833.74 884.66 c Restart #28 #Var: 96991 LB: 0 @ 884.43 951.54 c CHANGE Heuristic... 951.54 c Restart #0 #Var: 96991 LB: 0 @ 951.3 952.65 c Restart #1 #Var: 96991 LB: 0 @ 952.41 955.31 c Restart #2 #Var: 96991 LB: 0 @ 955.08 966.18 c Restart #3 #Var: 96991 LB: 0 @ 965.94 971.28 c Restart #4 #Var: 96991 LB: 0 @ 971.03 980.32 c Restart #5 #Var: 96991 LB: 0 @ 980.07 989.88 c Restart #6 #Var: 96991 LB: 0 @ 989.63 999.15 c Restart #7 #Var: 96991 LB: 0 @ 998.9 1010.14 c Restart #8 #Var: 96991 LB: 0 @ 1009.9 1026.73 c Restart #9 #Var: 96991 LB: 0 @ 1026.5 1042.94 c Restart #10 #Var: 96991 LB: 0 @ 1042.7 1057.81 c Restart #11 #Var: 96991 LB: 0 @ 1057.5 1101.68 c Restart #12 #Var: 96991 LB: 0 @ 1101.4 1124.92 c Restart #13 #Var: 96991 LB: 0 @ 1124.6 1170.26 c Restart #14 #Var: 96991 LB: 0 @ 1170 1203.60 c Restart #15 #Var: 96991 LB: 0 @ 1203.3 1230.72 c Restart #16 #Var: 96991 LB: 0 @ 1230.4 1266.63 c Restart #17 #Var: 96991 LB: 0 @ 1266.3 1293.41 c Restart #18 #Var: 96991 LB: 0 @ 1293.1 1327.05 c Restart #19 #Var: 96991 LB: 0 @ 1326.7 1366.64 c Restart #20 #Var: 96991 LB: 0 @ 1366.3 1395.53 c Restart #21 #Var: 96991 LB: 0 @ 1395.2 1432.30 c Restart #22 #Var: 96991 LB: 0 @ 1432 1487.89 c Restart #23 #Var: 96991 LB: 0 @ 1487.5 1531.00 c Restart #24 #Var: 96991 LB: 0 @ 1530.6 1588.26 c Restart #25 #Var: 96991 LB: 0 @ 1587.9 1694.03 c Restart #26 #Var: 96991 LB: 0 @ 1693.6 1734.65 c Restart #27 #Var: 96991 LB: 0 @ 1734.2 1800.48 s UNKNOWN 1800.48 c Exit Code: 0 1800.48 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/node43/watcher-39791-1149247817 -o ROOT/results/node43/solver-39791-1149247817 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39791-1149247817/instance-39791-1149247817.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1550448/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=4932 CPUtime=0 /proc/31427/stat : 31427 (bsolo) D 31425 31427 31381 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 190448474 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/31427/statm: 1233 330 226 55 0 125 0 [startup+10.0018 s] /proc/loadavg: 0.87 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1369976/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=190788 CPUtime=9.98 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 165220 0 0 0 934 64 0 0 25 0 1 0 190448474 195366912 45300 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 47697 45300 297 55 0 46589 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 190788 [startup+20.0076 s] /proc/loadavg: 0.89 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1370040/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=191176 CPUtime=19.98 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 165428 0 0 0 1920 78 0 0 25 0 1 0 190448474 195764224 45369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524676 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 47794 45369 297 55 0 46686 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 191176 [startup+30.0135 s] /proc/loadavg: 0.91 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1370296/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=190904 CPUtime=29.98 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 165625 0 0 0 2905 93 0 0 25 0 1 0 190448474 195485696 45314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 47726 45314 297 55 0 46618 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 190904 [startup+40.0194 s] /proc/loadavg: 0.92 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1370232/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=191068 CPUtime=39.99 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 165798 0 0 0 3895 104 0 0 25 0 1 0 190448474 195653632 45355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 47767 45355 297 55 0 46659 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 191068 [startup+50.0252 s] /proc/loadavg: 0.93 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1369400/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=191912 CPUtime=49.99 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 166221 0 0 0 4886 113 0 0 25 0 1 0 190448474 196517888 45575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 47978 45575 297 55 0 46870 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 191912 [startup+60.0301 s] /proc/loadavg: 0.94 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1368696/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=192640 CPUtime=59.99 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 166423 0 0 0 5875 124 0 0 25 0 1 0 190448474 197263360 45767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48160 45767 297 55 0 47052 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 192640 [startup+70.036 s] /proc/loadavg: 0.95 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366648/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194560 CPUtime=70 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 166941 0 0 0 6871 129 0 0 25 0 1 0 190448474 199229440 46246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48640 46246 297 55 0 47532 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 194560 [startup+80.0418 s] /proc/loadavg: 0.96 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366648/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194560 CPUtime=80 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 166941 0 0 0 7869 131 0 0 25 0 1 0 190448474 199229440 46246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48640 46246 297 55 0 47532 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 194560 [startup+90.0477 s] /proc/loadavg: 0.96 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366648/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194560 CPUtime=90 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 166941 0 0 0 8867 133 0 0 25 0 1 0 190448474 199229440 46246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48640 46246 297 55 0 47532 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 194560 [startup+100.054 s] /proc/loadavg: 0.97 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366648/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194560 CPUtime=100.01 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 166941 0 0 0 9867 134 0 0 25 0 1 0 190448474 199229440 46246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48640 46246 297 55 0 47532 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 194560 [startup+110.06 s] /proc/loadavg: 0.97 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366648/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194724 CPUtime=110.02 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 166965 0 0 0 10868 134 0 0 25 0 1 0 190448474 199397376 46270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48681 46270 297 55 0 47573 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 194724 [startup+120.066 s] /proc/loadavg: 0.98 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366392/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194988 CPUtime=120.02 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 167022 0 0 0 11868 134 0 0 25 0 1 0 190448474 199667712 46327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48747 46327 297 55 0 47639 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 194988 [startup+130.072 s] /proc/loadavg: 0.98 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366520/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194560 CPUtime=130.02 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 167022 0 0 0 12866 136 0 0 25 0 1 0 190448474 199229440 46247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48640 46247 297 55 0 47532 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 194560 [startup+140.078 s] /proc/loadavg: 0.98 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366520/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194560 CPUtime=140.03 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 167022 0 0 0 13867 136 0 0 25 0 1 0 190448474 199229440 46247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48640 46247 297 55 0 47532 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 194560 [startup+150.084 s] /proc/loadavg: 0.98 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366584/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194560 CPUtime=150.03 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 167022 0 0 0 14867 136 0 0 25 0 1 0 190448474 199229440 46247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48640 46247 297 55 0 47532 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 194560 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366584/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194560 CPUtime=160.03 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 167022 0 0 0 15867 136 0 0 25 0 1 0 190448474 199229440 46247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48640 46247 297 55 0 47532 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 194560 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366264/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=195204 CPUtime=170.04 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 167139 0 0 0 16868 136 0 0 25 0 1 0 190448474 199888896 46364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48801 46364 297 55 0 47693 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 195204 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366264/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=195204 CPUtime=180.04 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 167139 0 0 0 17868 136 0 0 25 0 1 0 190448474 199888896 46364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48801 46364 297 55 0 47693 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 195204 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366520/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194560 CPUtime=190.04 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 167139 0 0 0 18868 136 0 0 25 0 1 0 190448474 199229440 46247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48640 46247 297 55 0 47532 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 194560 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31427 /proc/meminfo: memFree=1366520/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=194560 CPUtime=200.05 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 167139 0 0 0 19869 136 0 0 25 0 1 0 190448474 199229440 46247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 48640 46247 297 55 0 47532 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 194560 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1366200/2055920 swapFree=4180880/4192956 ################ # More data... # ################ /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1760.58 Current children cumulated vsize (Kb) 201768 [startup+1771.03 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1770.58 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 176890 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1770.58 Current children cumulated vsize (Kb) 201768 [startup+1781.03 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1780.58 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 177890 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1780.58 Current children cumulated vsize (Kb) 201768 [startup+1782.04 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1781.59 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 177991 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 201768 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1782.59 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 178091 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 201768 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1783.6 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 178192 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1783.6 Current children cumulated vsize (Kb) 201768 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1784.6 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 178292 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 201768 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1785.61 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 178393 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 201768 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1786.61 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 178493 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547490 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 201768 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1787.61 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 178593 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 201768 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1788.62 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 178694 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 201768 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1789.62 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 178794 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 201768 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1790.63 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 178895 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (Kb) 201768 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1791.63 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 178995 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 201768 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1792.64 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 179096 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 201768 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1793.64 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 179196 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 201768 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1794.65 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 179297 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 201768 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1795.65 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 179397 168 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 201768 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1796.67 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 179498 169 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 201768 [startup+1798.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1797.67 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 179598 169 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 201768 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1798.67 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 179698 169 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 201768 [startup+1800.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 31429 /proc/meminfo: memFree=1357368/2055920 swapFree=4180880/4192956 [pid=31427] ppid=31425 vsize=201768 CPUtime=1799.68 /proc/31427/stat : 31427 (bsolo) R 31425 31427 31381 0 -1 0 171543 0 0 0 179799 169 0 0 25 0 1 0 190448474 206610432 48456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31427/statm: 50442 48456 297 55 0 49334 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 201768 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.07 CPU user time (s): 1798.35 CPU system time (s): 1.72374 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (Kb): 203524
Begin job on node43 on Fri Jun 2 11:30:17 UTC 2006 FILE ID= 39791-1149247817 PBS_JOBID= 297890 BENCH NAME= ROOT/tmp/node43/39791-1149247817/instance-39791-1149247817.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39791-1149247817/instance-39791-1149247817.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-39791-1149247817 -o ROOT/results/node43/solver-39791-1149247817 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39791-1149247817/instance-39791-1149247817.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= de8002a7213606f6cc39967e9305bae2 RANDOM SEED= 339766182 /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.216 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.216 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: 1550656 kB Buffers: 11240 kB Cached: 423304 kB SwapCached: 3716 kB Active: 53116 kB Inactive: 390056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1550656 kB SwapTotal: 4192956 kB SwapFree: 4180880 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14828 kB Slab: 48056 kB Committed_AS: 252860 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Fri Jun 2 12:00:18 UTC 2006