Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.1 | 1801.06 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb |
MD5SUM | d9b1351aa6c01bb5c883e4233663f5e0 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.003999 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 600 |
Total number of constraints | 70 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 30 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01 c Time Limit set via PBTIMEOUT to 1800 0.27 c INFO: OSL Context initialized. 0.28 c Initial problem consists of 600 variables and 70 constraints. 0.28 c Using non-optimization problem switches. 0.28 c No problem reductions applied in OPT. instance. 0.28 c preprocess terminated. Elapsed time: 0.017 0.28 c After prepocess the problem consists of 600 variables and 70 constraints. 0.30 c Restart #1 #Var: 600 LB: 0 @ 0.031 0.32 c Restart #2 #Var: 600 LB: 0 @ 0.05 0.36 c Restart #3 #Var: 600 LB: 0 @ 0.089 0.43 c Restart #4 #Var: 600 LB: 0 @ 0.161 0.55 c Restart #5 #Var: 600 LB: 0 @ 0.286 0.75 c Restart #6 #Var: 600 LB: 0 @ 0.486 1.00 c Restart #7 #Var: 600 LB: 0 @ 0.731 1.33 c Restart #8 #Var: 600 LB: 0 @ 1.064 1.83 c Restart #9 #Var: 600 LB: 0 @ 1.557 2.67 c Restart #10 #Var: 600 LB: 0 @ 2.399 3.44 c Restart #11 #Var: 600 LB: 0 @ 3.169 4.62 c Restart #12 #Var: 600 LB: 0 @ 4.348 6.30 c Restart #13 #Var: 600 LB: 0 @ 6.034 8.00 c Restart #14 #Var: 600 LB: 0 @ 7.728 9.95 c Restart #15 #Var: 600 LB: 0 @ 9.681 12.40 c Restart #16 #Var: 600 LB: 0 @ 12.123 15.87 c Restart #17 #Var: 600 LB: 0 @ 15.596 20.34 c Restart #18 #Var: 600 LB: 0 @ 20.058 24.81 c Restart #19 #Var: 600 LB: 0 @ 24.533 29.88 c Restart #20 #Var: 600 LB: 0 @ 29.601 34.21 c Restart #21 #Var: 600 LB: 0 @ 33.928 40.05 c Restart #22 #Var: 600 LB: 0 @ 39.762 45.89 c Restart #23 #Var: 600 LB: 0 @ 45.606 52.89 c Restart #24 #Var: 600 LB: 0 @ 52.596 57.49 c Restart #25 #Var: 600 LB: 0 @ 57.197 68.32 c Restart #26 #Var: 600 LB: 0 @ 68.025 78.97 c Restart #27 #Var: 600 LB: 0 @ 78.674 89.95 c Restart #28 #Var: 600 LB: 0 @ 89.65 101.46 c Restart #29 #Var: 600 LB: 0 @ 101.15 117.48 c Restart #30 #Var: 600 LB: 0 @ 117.16 134.51 c Restart #31 #Var: 600 LB: 0 @ 134.19 151.02 c Restart #32 #Var: 600 LB: 0 @ 150.7 173.20 c Restart #33 #Var: 600 LB: 0 @ 172.86 192.25 c Restart #34 #Var: 600 LB: 0 @ 191.91 228.35 c Restart #35 #Var: 600 LB: 0 @ 228 247.67 c Restart #36 #Var: 600 LB: 0 @ 247.31 273.57 c Restart #37 #Var: 600 LB: 0 @ 273.2 299.81 c Restart #38 #Var: 600 LB: 0 @ 299.43 322.53 c Restart #39 #Var: 600 LB: 0 @ 322.15 362.48 c Restart #40 #Var: 600 LB: 0 @ 362.08 403.27 c Restart #41 #Var: 600 LB: 0 @ 402.85 448.22 c Restart #42 #Var: 600 LB: 0 @ 447.79 487.94 c Restart #43 #Var: 600 LB: 0 @ 487.49 526.13 c Restart #44 #Var: 600 LB: 0 @ 525.67 586.32 c Restart #45 #Var: 600 LB: 0 @ 585.83 629.49 c Restart #46 #Var: 600 LB: 0 @ 628.99 662.72 c Restart #47 #Var: 600 LB: 0 @ 662.21 723.79 c Restart #48 #Var: 600 LB: 0 @ 723.25 745.53 c Restart #49 #Var: 600 LB: 0 @ 744.99 817.76 c Restart #50 #Var: 600 LB: 0 @ 817.19 879.06 c Restart #51 #Var: 600 LB: 0 @ 878.43 954.21 c CHANGE Heuristic... 954.21 c Restart #0 #Var: 600 LB: 0 @ 953.56 954.37 c Restart #1 #Var: 600 LB: 0 @ 953.72 954.46 c Restart #2 #Var: 600 LB: 0 @ 953.81 954.51 c Restart #3 #Var: 600 LB: 0 @ 953.86 954.61 c Restart #4 #Var: 600 LB: 0 @ 953.96 954.84 c Restart #5 #Var: 600 LB: 0 @ 954.19 955.02 c Restart #6 #Var: 600 LB: 0 @ 954.37 955.31 c Restart #7 #Var: 600 LB: 0 @ 954.66 955.71 c Restart #8 #Var: 600 LB: 0 @ 955.06 956.24 c Restart #9 #Var: 600 LB: 0 @ 955.59 956.85 c Restart #10 #Var: 600 LB: 0 @ 956.2 957.77 c Restart #11 #Var: 600 LB: 0 @ 957.12 958.63 c Restart #12 #Var: 600 LB: 0 @ 957.98 959.75 c Restart #13 #Var: 600 LB: 0 @ 959.1 961.30 c Restart #14 #Var: 600 LB: 0 @ 960.65 963.16 c Restart #15 #Var: 600 LB: 0 @ 962.51 965.42 c Restart #16 #Var: 600 LB: 0 @ 964.76 968.49 c Restart #17 #Var: 600 LB: 0 @ 967.84 972.83 c Restart #18 #Var: 600 LB: 0 @ 972.17 977.29 c Restart #19 #Var: 600 LB: 0 @ 976.63 984.23 c Restart #20 #Var: 600 LB: 0 @ 983.57 991.90 c Restart #21 #Var: 600 LB: 0 @ 991.24 1011.29 c Restart #22 #Var: 600 LB: 0 @ 1010.6 1028.95 c Restart #23 #Var: 600 LB: 0 @ 1028.3 1042.05 c Restart #24 #Var: 600 LB: 0 @ 1041.4 1059.05 c Restart #25 #Var: 600 LB: 0 @ 1058.4 1074.91 c Restart #26 #Var: 600 LB: 0 @ 1074.2 1089.38 c Restart #27 #Var: 600 LB: 0 @ 1088.7 1117.10 c Restart #28 #Var: 600 LB: 0 @ 1116.4 1135.58 c Restart #29 #Var: 600 LB: 0 @ 1134.9 1162.82 c Restart #30 #Var: 600 LB: 0 @ 1162.1 1189.82 c Restart #31 #Var: 600 LB: 0 @ 1189.1 1215.55 c Restart #32 #Var: 600 LB: 0 @ 1214.8 1248.47 c Restart #33 #Var: 600 LB: 0 @ 1247.7 1280.66 c Restart #34 #Var: 600 LB: 0 @ 1279.9 1314.62 c Restart #35 #Var: 600 LB: 0 @ 1313.8 1350.29 c Restart #36 #Var: 600 LB: 0 @ 1349.5 1385.43 c Restart #37 #Var: 600 LB: 0 @ 1384.6 1426.91 c Restart #38 #Var: 600 LB: 0 @ 1426.1 1469.15 c Restart #39 #Var: 600 LB: 0 @ 1468.3 1506.64 c Restart #40 #Var: 600 LB: 0 @ 1505.8 1550.84 c Restart #41 #Var: 600 LB: 0 @ 1550 1599.31 c Restart #42 #Var: 600 LB: 0 @ 1598.4 1653.51 c Restart #43 #Var: 600 LB: 0 @ 1652.6 1716.58 c Restart #44 #Var: 600 LB: 0 @ 1715.7 1768.83 c Restart #45 #Var: 600 LB: 0 @ 1767.9 1800.96 s UNKNOWN 1800.96 c Exit Code: 0 1800.96 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/node36/watcher-39637-1149227243 -o ROOT/results/node36/solver-39637-1149227243 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/39637-1149227243/instance-39637-1149227243.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.44 0.81 0.86 2/64 20605 /proc/meminfo: memFree=1357920/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=18540 CPUtime=0 /proc/20605/stat : 20605 (runsolver) D 20603 20605 20560 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 188390434 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 258372857127 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0 /proc/20605/statm: 4635 279 243 16 0 2626 0 [startup+10.0022 s] /proc/loadavg: 0.52 0.82 0.86 2/64 20605 /proc/meminfo: memFree=1324392/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=38072 CPUtime=9.72 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 8764 0 0 0 965 7 0 0 25 0 1 0 188390434 38985728 8679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 9518 8679 296 55 0 8410 0 Current children cumulated CPU time (s) 9.72 Current children cumulated vsize (Kb) 38072 [startup+20.0089 s] /proc/loadavg: 0.60 0.82 0.86 2/64 20605 /proc/meminfo: memFree=1313256/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=49528 CPUtime=19.72 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 11584 0 0 0 1962 10 0 0 25 0 1 0 188390434 50716672 11497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 12382 11497 296 55 0 11274 0 Current children cumulated CPU time (s) 19.72 Current children cumulated vsize (Kb) 49528 [startup+30.0148 s] /proc/loadavg: 0.66 0.83 0.86 2/64 20605 /proc/meminfo: memFree=1303784/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=59092 CPUtime=29.72 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 13966 0 0 0 2959 13 0 0 25 0 1 0 188390434 60510208 13876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 14773 13876 296 55 0 13665 0 Current children cumulated CPU time (s) 29.72 Current children cumulated vsize (Kb) 59092 [startup+40.0206 s] /proc/loadavg: 0.71 0.83 0.86 2/64 20605 /proc/meminfo: memFree=1292456/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=70516 CPUtime=39.73 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 16799 0 0 0 3956 17 0 0 25 0 1 0 188390434 72208384 16704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 17629 16704 296 55 0 16521 0 Current children cumulated CPU time (s) 39.73 Current children cumulated vsize (Kb) 70516 [startup+50.0264 s] /proc/loadavg: 0.75 0.84 0.86 2/64 20605 /proc/meminfo: memFree=1283240/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=79812 CPUtime=49.72 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 19106 0 0 0 4953 19 0 0 25 0 1 0 188390434 81727488 19009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1963643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 19953 19009 296 55 0 18845 0 Current children cumulated CPU time (s) 49.72 Current children cumulated vsize (Kb) 79812 [startup+60.0322 s] /proc/loadavg: 0.79 0.84 0.86 2/64 20605 /proc/meminfo: memFree=1272040/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=91164 CPUtime=59.73 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 21898 0 0 0 5951 22 0 0 25 0 1 0 188390434 93351936 21799 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 22791 21799 296 55 0 21683 0 Current children cumulated CPU time (s) 59.73 Current children cumulated vsize (Kb) 91164 [startup+70.038 s] /proc/loadavg: 0.82 0.85 0.87 2/64 20605 /proc/meminfo: memFree=1265000/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=98256 CPUtime=69.74 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 23669 0 0 0 6949 25 0 0 25 0 1 0 188390434 100614144 23566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 24564 23566 296 55 0 23456 0 Current children cumulated CPU time (s) 69.74 Current children cumulated vsize (Kb) 98256 [startup+80.0438 s] /proc/loadavg: 0.85 0.85 0.87 2/64 20605 /proc/meminfo: memFree=1258728/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=104572 CPUtime=79.73 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 25229 0 0 0 7946 27 0 0 25 0 1 0 188390434 107081728 25121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 26143 25121 296 55 0 25035 0 Current children cumulated CPU time (s) 79.73 Current children cumulated vsize (Kb) 104572 [startup+90.0496 s] /proc/loadavg: 0.87 0.86 0.87 2/64 20605 /proc/meminfo: memFree=1251560/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=111784 CPUtime=89.74 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 27021 0 0 0 8945 29 0 0 25 0 1 0 188390434 114466816 26912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 27946 26912 296 55 0 26838 0 Current children cumulated CPU time (s) 89.74 Current children cumulated vsize (Kb) 111784 [startup+100.055 s] /proc/loadavg: 0.89 0.86 0.87 2/64 20605 /proc/meminfo: memFree=1245096/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=118472 CPUtime=99.74 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 28646 0 0 0 9943 31 0 0 25 0 1 0 188390434 121315328 28532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 29618 28532 296 55 0 28510 0 Current children cumulated CPU time (s) 99.74 Current children cumulated vsize (Kb) 118472 [startup+110.061 s] /proc/loadavg: 0.91 0.86 0.87 2/64 20605 /proc/meminfo: memFree=1239976/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=123580 CPUtime=109.74 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 29920 0 0 0 10942 32 0 0 25 0 1 0 188390434 126545920 29804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 30895 29804 296 55 0 29787 0 Current children cumulated CPU time (s) 109.74 Current children cumulated vsize (Kb) 123580 [startup+120.067 s] /proc/loadavg: 0.92 0.87 0.87 2/64 20605 /proc/meminfo: memFree=1235944/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=127552 CPUtime=119.74 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 30925 0 0 0 11941 33 0 0 25 0 1 0 188390434 130613248 30805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 31888 30805 296 55 0 30780 0 Current children cumulated CPU time (s) 119.74 Current children cumulated vsize (Kb) 127552 [startup+130.073 s] /proc/loadavg: 0.93 0.87 0.87 2/64 20605 /proc/meminfo: memFree=1230376/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=133240 CPUtime=129.74 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 32313 0 0 0 12939 35 0 0 25 0 1 0 188390434 136437760 32186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1963643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 33310 32186 296 55 0 32202 0 Current children cumulated CPU time (s) 129.74 Current children cumulated vsize (Kb) 133240 [startup+140.079 s] /proc/loadavg: 0.94 0.88 0.87 2/64 20605 /proc/meminfo: memFree=1225384/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=138252 CPUtime=139.75 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 33560 0 0 0 13938 37 0 0 25 0 1 0 188390434 141570048 33433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 34563 33433 296 55 0 33455 0 Current children cumulated CPU time (s) 139.75 Current children cumulated vsize (Kb) 138252 [startup+150.086 s] /proc/loadavg: 0.95 0.88 0.87 3/64 20605 /proc/meminfo: memFree=1221736/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=142036 CPUtime=149.75 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 34484 0 0 0 14937 38 0 0 25 0 1 0 188390434 145444864 34354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 35509 34354 296 55 0 34401 0 Current children cumulated CPU time (s) 149.75 Current children cumulated vsize (Kb) 142036 [startup+160.092 s] /proc/loadavg: 0.96 0.88 0.87 2/64 20605 /proc/meminfo: memFree=1217768/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=146040 CPUtime=159.75 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 35465 0 0 0 15936 39 0 0 25 0 1 0 188390434 149544960 35335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 36510 35335 296 55 0 35402 0 Current children cumulated CPU time (s) 159.75 Current children cumulated vsize (Kb) 146040 [startup+170.099 s] /proc/loadavg: 0.96 0.89 0.87 2/64 20605 /proc/meminfo: memFree=1213608/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=150320 CPUtime=169.76 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 36508 0 0 0 16935 41 0 0 25 0 1 0 188390434 153927680 36376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 37580 36376 296 55 0 36472 0 Current children cumulated CPU time (s) 169.76 Current children cumulated vsize (Kb) 150320 [startup+180.106 s] /proc/loadavg: 0.97 0.89 0.88 2/64 20605 /proc/meminfo: memFree=1210152/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=153804 CPUtime=179.76 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 37360 0 0 0 17934 42 0 0 25 0 1 0 188390434 157495296 37228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 38451 37228 296 55 0 37343 0 Current children cumulated CPU time (s) 179.76 Current children cumulated vsize (Kb) 153804 [startup+190.112 s] /proc/loadavg: 0.97 0.89 0.88 2/64 20605 /proc/meminfo: memFree=1206312/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=157656 CPUtime=189.77 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 38340 0 0 0 18933 44 0 0 25 0 1 0 188390434 161439744 38208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 39414 38208 296 55 0 38306 0 Current children cumulated CPU time (s) 189.77 Current children cumulated vsize (Kb) 157656 [startup+200.119 s] /proc/loadavg: 0.98 0.89 0.88 2/64 20605 /proc/meminfo: memFree=1203880/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=160128 CPUtime=199.77 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 38952 0 0 0 19932 45 0 0 25 0 1 0 188390434 163971072 38817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 40032 38817 296 55 0 38924 0 Current children cumulated CPU time (s) 199.77 Current children cumulated vsize (Kb) 160128 [startup+210.124 s] /proc/loadavg: 0.98 0.90 0.88 2/64 20605 /proc/meminfo: memFree=1200424/2055920 swapFree=4181460/4192956 ################ # More data... # ################ /proc/20605/statm: 148125 145371 296 55 0 147017 0 Current children cumulated CPU time (s) 1760.13 Current children cumulated vsize (Kb) 592500 [startup+1771.09 s] /proc/loadavg: 1.02 0.99 0.92 2/64 20800 /proc/meminfo: memFree=773544/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=595596 CPUtime=1770.14 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 146616 0 0 0 176806 208 0 0 25 0 1 0 188390434 609890304 146119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 148899 146119 296 55 0 147791 0 Current children cumulated CPU time (s) 1770.14 Current children cumulated vsize (Kb) 595596 [startup+1781.09 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=772264/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=596784 CPUtime=1780.13 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 146932 0 0 0 177805 208 0 0 25 0 1 0 188390434 611106816 146435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149196 146435 296 55 0 148088 0 Current children cumulated CPU time (s) 1780.13 Current children cumulated vsize (Kb) 596784 [startup+1782.1 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=772200/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=596784 CPUtime=1781.14 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 146949 0 0 0 177906 208 0 0 25 0 1 0 188390434 611106816 146452 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534840 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149196 146452 296 55 0 148088 0 Current children cumulated CPU time (s) 1781.14 Current children cumulated vsize (Kb) 596784 [startup+1783.1 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=772008/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597048 CPUtime=1782.14 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 146993 0 0 0 178006 208 0 0 25 0 1 0 188390434 611377152 146496 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149262 146496 296 55 0 148154 0 Current children cumulated CPU time (s) 1782.14 Current children cumulated vsize (Kb) 597048 [startup+1784.11 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771944/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597048 CPUtime=1783.15 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147005 0 0 0 178107 208 0 0 25 0 1 0 188390434 611377152 146508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149262 146508 296 55 0 148154 0 Current children cumulated CPU time (s) 1783.15 Current children cumulated vsize (Kb) 597048 [startup+1785.11 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771816/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597180 CPUtime=1784.15 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147044 0 0 0 178207 208 0 0 25 0 1 0 188390434 611512320 146547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149295 146547 296 55 0 148187 0 Current children cumulated CPU time (s) 1784.15 Current children cumulated vsize (Kb) 597180 [startup+1786.12 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771752/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597312 CPUtime=1785.15 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147061 0 0 0 178307 208 0 0 25 0 1 0 188390434 611647488 146564 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149328 146564 296 55 0 148220 0 Current children cumulated CPU time (s) 1785.15 Current children cumulated vsize (Kb) 597312 [startup+1787.12 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771688/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597312 CPUtime=1786.16 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147071 0 0 0 178408 208 0 0 25 0 1 0 188390434 611647488 146574 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149328 146574 296 55 0 148220 0 Current children cumulated CPU time (s) 1786.16 Current children cumulated vsize (Kb) 597312 [startup+1788.13 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771624/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597444 CPUtime=1787.16 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147093 0 0 0 178508 208 0 0 25 0 1 0 188390434 611782656 146596 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149361 146596 296 55 0 148253 0 Current children cumulated CPU time (s) 1787.16 Current children cumulated vsize (Kb) 597444 [startup+1789.13 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771496/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597576 CPUtime=1788.17 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147123 0 0 0 178609 208 0 0 25 0 1 0 188390434 611917824 146626 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149394 146626 296 55 0 148286 0 Current children cumulated CPU time (s) 1788.17 Current children cumulated vsize (Kb) 597576 [startup+1790.14 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771432/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597576 CPUtime=1789.17 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147132 0 0 0 178709 208 0 0 25 0 1 0 188390434 611917824 146635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149394 146635 296 55 0 148286 0 Current children cumulated CPU time (s) 1789.17 Current children cumulated vsize (Kb) 597576 [startup+1791.14 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771368/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597708 CPUtime=1790.18 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147156 0 0 0 178810 208 0 0 25 0 1 0 188390434 612052992 146659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149427 146659 296 55 0 148319 0 Current children cumulated CPU time (s) 1790.18 Current children cumulated vsize (Kb) 597708 [startup+1792.15 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771368/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597708 CPUtime=1791.18 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147162 0 0 0 178910 208 0 0 25 0 1 0 188390434 612052992 146665 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1963643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149427 146665 296 55 0 148319 0 Current children cumulated CPU time (s) 1791.18 Current children cumulated vsize (Kb) 597708 [startup+1793.15 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771240/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597840 CPUtime=1792.19 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147188 0 0 0 179011 208 0 0 25 0 1 0 188390434 612188160 146691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149460 146691 296 55 0 148352 0 Current children cumulated CPU time (s) 1792.19 Current children cumulated vsize (Kb) 597840 [startup+1794.16 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771176/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597840 CPUtime=1793.19 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147206 0 0 0 179111 208 0 0 25 0 1 0 188390434 612188160 146709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149460 146709 296 55 0 148352 0 Current children cumulated CPU time (s) 1793.19 Current children cumulated vsize (Kb) 597840 [startup+1795.16 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771176/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597840 CPUtime=1794.2 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147207 0 0 0 179212 208 0 0 25 0 1 0 188390434 612188160 146710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149460 146710 296 55 0 148352 0 Current children cumulated CPU time (s) 1794.2 Current children cumulated vsize (Kb) 597840 [startup+1796.17 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=771112/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=597840 CPUtime=1795.2 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147209 0 0 0 179312 208 0 0 25 0 1 0 188390434 612188160 146712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149460 146712 296 55 0 148352 0 Current children cumulated CPU time (s) 1795.2 Current children cumulated vsize (Kb) 597840 [startup+1797.17 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=770664/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=598368 CPUtime=1796.21 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147328 0 0 0 179412 209 0 0 25 0 1 0 188390434 612728832 146831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149592 146831 296 55 0 148484 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (Kb) 598368 [startup+1798.18 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=769960/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=599028 CPUtime=1797.21 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147502 0 0 0 179512 209 0 0 25 0 1 0 188390434 613404672 147005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149757 147005 296 55 0 148649 0 Current children cumulated CPU time (s) 1797.21 Current children cumulated vsize (Kb) 599028 [startup+1799.18 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=769256/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=599688 CPUtime=1798.22 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147673 0 0 0 179613 209 0 0 25 0 1 0 188390434 614080512 147176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149922 147176 296 55 0 148814 0 Current children cumulated CPU time (s) 1798.22 Current children cumulated vsize (Kb) 599688 [startup+1800.19 s] /proc/loadavg: 1.01 0.99 0.92 2/64 20800 /proc/meminfo: memFree=769000/2055920 swapFree=4181460/4192956 [pid=20605] ppid=20603 vsize=599952 CPUtime=1799.22 /proc/20605/stat : 20605 (bsolo) R 20603 20605 20560 0 -1 0 147742 0 0 0 179713 209 0 0 25 0 1 0 188390434 614350848 147245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20605/statm: 149988 147245 296 55 0 148880 0 Current children cumulated CPU time (s) 1799.22 Current children cumulated vsize (Kb) 599952 Child status: 0 Real time (s): 1801.06 CPU time (s): 1800.1 CPU user time (s): 1797.91 CPU system time (s): 2.19067 CPU usage (%): 99.9467 Max. virtual memory (cumulated for all children) (Kb): 599952
Begin job on node36 on Fri Jun 2 05:47:23 UTC 2006 FILE ID= 39637-1149227243 PBS_JOBID= 296026 BENCH NAME= ROOT/tmp/node36/39637-1149227243/instance-39637-1149227243.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/39637-1149227243/instance-39637-1149227243.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-39637-1149227243 -o ROOT/results/node36/solver-39637-1149227243 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/39637-1149227243/instance-39637-1149227243.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d9b1351aa6c01bb5c883e4233663f5e0 RANDOM SEED= 587443593 /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.284 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.284 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: 1358192 kB Buffers: 39988 kB Cached: 581156 kB SwapCached: 3504 kB Active: 191352 kB Inactive: 438812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1358192 kB SwapTotal: 4192956 kB SwapFree: 4181460 kB Dirty: 140 kB Writeback: 0 kB Mapped: 14924 kB Slab: 53540 kB Committed_AS: 182476 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node36 on Fri Jun 2 06:17:24 UTC 2006