Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.06 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-2.opb |
MD5SUM | 0b8531b64d2ca93b44d439b9cb9fcfaa |
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 | 6352 |
Total number of constraints | 13429 |
Number of constraints which are clauses | 13429 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02 c Time Limit set via PBTIMEOUT to 1800 0.12 c INFO: OSL Context initialized. 0.37 c Initial problem consists of 6352 variables and 13429 constraints. 0.41 c No problem reductions applied in OPT. instance. 0.41 c preprocess terminated. Elapsed time: 0.29 0.41 c After prepocess the problem consists of 4784 variables and 9654 constraints. 0.41 c Initial Lower Bound: 784 1.15 c Restart #1 #Var: 4784 LB: 784 @ 1.024 2.64 c Restart #2 #Var: 4784 LB: 784 @ 2.52 4.34 c Restart #3 #Var: 4784 LB: 784 @ 4.216 6.90 c Restart #4 #Var: 4784 LB: 784 @ 6.773 9.96 c Restart #5 #Var: 4784 LB: 784 @ 9.839 13.49 c Restart #6 #Var: 4784 LB: 784 @ 13.356 17.70 c Restart #7 #Var: 4784 LB: 784 @ 17.57 22.37 c Restart #8 #Var: 4784 LB: 784 @ 22.236 27.39 c Restart #9 #Var: 4784 LB: 784 @ 27.258 33.48 c Restart #10 #Var: 4784 LB: 784 @ 33.348 40.47 c Restart #11 #Var: 4784 LB: 784 @ 40.331 48.20 c Restart #12 #Var: 4784 LB: 784 @ 48.06 56.58 c Restart #13 #Var: 4784 LB: 784 @ 56.435 66.70 c Restart #14 #Var: 4784 LB: 784 @ 66.556 77.61 c Restart #15 #Var: 4784 LB: 784 @ 77.458 88.79 c Restart #16 #Var: 4784 LB: 784 @ 88.616 100.30 c Restart #17 #Var: 4784 LB: 784 @ 100.08 112.28 c Restart #18 #Var: 4780 LB: 786 @ 112.06 125.87 c Restart #19 #Var: 4780 LB: 786 @ 125.64 138.69 c Restart #20 #Var: 4780 LB: 786 @ 138.46 152.04 c Restart #21 #Var: 4780 LB: 786 @ 151.8 167.10 c Restart #22 #Var: 4780 LB: 786 @ 166.86 182.05 c Restart #23 #Var: 4780 LB: 786 @ 181.8 198.05 c Restart #24 #Var: 4780 LB: 786 @ 197.81 214.37 c Restart #25 #Var: 4780 LB: 786 @ 214.12 246.37 c Restart #26 #Var: 4780 LB: 786 @ 246.11 280.61 c Restart #27 #Var: 4780 LB: 786 @ 280.34 303.36 c Restart #28 #Var: 4780 LB: 786 @ 303.09 326.14 c Restart #29 #Var: 4780 LB: 786 @ 325.85 349.96 c Restart #30 #Var: 4780 LB: 786 @ 349.67 376.28 c Restart #31 #Var: 4780 LB: 786 @ 375.99 405.41 c Restart #32 #Var: 4780 LB: 786 @ 405.1 437.81 c Restart #33 #Var: 4780 LB: 786 @ 437.5 470.11 c Restart #34 #Var: 4780 LB: 786 @ 469.78 505.30 c Restart #35 #Var: 4780 LB: 786 @ 504.97 543.02 c Restart #36 #Var: 4780 LB: 786 @ 542.68 580.96 c Restart #37 #Var: 4780 LB: 786 @ 580.6 620.24 c Restart #38 #Var: 4780 LB: 786 @ 619.87 664.07 c Restart #39 #Var: 4780 LB: 786 @ 663.69 713.07 c Restart #40 #Var: 4780 LB: 786 @ 712.68 760.41 c Restart #41 #Var: 4780 LB: 786 @ 760 815.13 c Restart #42 #Var: 4780 LB: 786 @ 814.71 869.28 c Restart #43 #Var: 4780 LB: 786 @ 868.84 926.59 c CHANGE Heuristic... 926.59 c Restart #0 #Var: 4780 LB: 786 @ 926.14 927.19 c Restart #1 #Var: 4780 LB: 786 @ 926.74 929.84 c Restart #2 #Var: 4780 LB: 786 @ 929.39 932.04 c Restart #3 #Var: 4780 LB: 786 @ 931.59 934.87 c Restart #4 #Var: 4780 LB: 786 @ 934.41 938.07 c Restart #5 #Var: 4780 LB: 786 @ 937.62 942.11 c Restart #6 #Var: 4780 LB: 786 @ 941.65 947.15 c Restart #7 #Var: 4780 LB: 786 @ 946.69 952.48 c Restart #8 #Var: 4780 LB: 786 @ 952.02 958.85 c Restart #9 #Var: 4780 LB: 786 @ 958.39 965.77 c Restart #10 #Var: 4780 LB: 786 @ 965.3 973.48 c Restart #11 #Var: 4780 LB: 786 @ 973.02 983.51 c Restart #12 #Var: 4780 LB: 786 @ 983.04 994.53 c Restart #13 #Var: 4780 LB: 786 @ 994.05 1007.21 c Restart #14 #Var: 4780 LB: 786 @ 1006.7 1019.87 c Restart #15 #Var: 4780 LB: 786 @ 1019.4 1032.31 c Restart #16 #Var: 4780 LB: 786 @ 1031.8 1048.56 c Restart #17 #Var: 4780 LB: 786 @ 1048.1 1065.75 c Restart #18 #Var: 4780 LB: 786 @ 1065.3 1086.17 c Restart #19 #Var: 4780 LB: 786 @ 1085.7 1107.53 c Restart #20 #Var: 4780 LB: 786 @ 1107 1128.84 c Restart #21 #Var: 4780 LB: 786 @ 1128.3 1151.20 c Restart #22 #Var: 4780 LB: 786 @ 1150.7 1173.90 c Restart #23 #Var: 4780 LB: 786 @ 1173.4 1197.52 c Restart #24 #Var: 4780 LB: 786 @ 1197 1223.68 c Restart #25 #Var: 4780 LB: 786 @ 1223.1 1251.86 c Restart #26 #Var: 4780 LB: 786 @ 1251.3 1282.59 c Restart #27 #Var: 4780 LB: 786 @ 1282 1312.62 c Restart #28 #Var: 4780 LB: 786 @ 1312.1 1344.53 c Restart #29 #Var: 4780 LB: 786 @ 1344 1376.56 c Restart #30 #Var: 4780 LB: 786 @ 1376 1410.61 c Restart #31 #Var: 4780 LB: 786 @ 1410 1451.04 c Restart #32 #Var: 4780 LB: 786 @ 1450.4 1492.91 c Restart #33 #Var: 4780 LB: 786 @ 1492.3 1532.25 c Restart #34 #Var: 4780 LB: 786 @ 1531.6 1574.64 c Restart #35 #Var: 4780 LB: 786 @ 1574 1618.44 c Restart #36 #Var: 4780 LB: 786 @ 1617.8 1662.32 c Restart #37 #Var: 4780 LB: 786 @ 1661.7 1703.97 c Restart #38 #Var: 4780 LB: 786 @ 1703.3 1753.29 c Restart #39 #Var: 4780 LB: 786 @ 1752.6 1793.31 c Restart #40 #Var: 4780 LB: 786 @ 1792.6 1800.73 s UNKNOWN 1800.73 c Exit Code: 0 1800.73 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/node84/watcher-40408-1149278378 -o ROOT/results/node84/solver-40408-1149278378 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40408-1149278378/instance-40408-1149278378.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.00 0.18 0.57 2/67 18010 /proc/meminfo: memFree=1505896/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=18544 CPUtime=0 /proc/18010/stat : 18010 (runsolver) R 18008 18010 17964 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 193477103 18989056 278 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 256103740439 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/18010/statm: 4636 278 242 16 0 2626 0 [startup+10.0029 s] /proc/loadavg: 0.15 0.20 0.57 2/67 18010 /proc/meminfo: memFree=1491624/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=18984 CPUtime=9.87 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 3956 0 0 0 985 2 0 0 25 0 1 0 193477103 19439616 3872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 4746 3872 293 55 0 3637 0 Current children cumulated CPU time (s) 9.87 Current children cumulated vsize (Kb) 18984 [startup+20.0089 s] /proc/loadavg: 0.28 0.23 0.57 2/67 18010 /proc/meminfo: memFree=1489448/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=21096 CPUtime=19.87 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 4492 0 0 0 1984 3 0 0 25 0 1 0 193477103 21602304 4408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 5274 4408 293 55 0 4165 0 Current children cumulated CPU time (s) 19.87 Current children cumulated vsize (Kb) 21096 [startup+30.015 s] /proc/loadavg: 0.39 0.25 0.58 2/67 18010 /proc/meminfo: memFree=1486952/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=23736 CPUtime=29.87 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 5124 0 0 0 2983 4 0 0 25 0 1 0 193477103 24305664 5040 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 5934 5040 293 55 0 4825 0 Current children cumulated CPU time (s) 29.87 Current children cumulated vsize (Kb) 23736 [startup+40.02 s] /proc/loadavg: 0.49 0.28 0.58 2/67 18010 /proc/meminfo: memFree=1485160/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=25452 CPUtime=39.87 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 5566 0 0 0 3982 5 0 0 25 0 1 0 193477103 26062848 5482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 6363 5482 293 55 0 5254 0 Current children cumulated CPU time (s) 39.87 Current children cumulated vsize (Kb) 25452 [startup+50.0261 s] /proc/loadavg: 0.56 0.30 0.58 2/67 18010 /proc/meminfo: memFree=1483176/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=27432 CPUtime=49.88 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 6058 0 0 0 4982 6 0 0 25 0 1 0 193477103 28090368 5974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 6858 5974 293 55 0 5749 0 Current children cumulated CPU time (s) 49.88 Current children cumulated vsize (Kb) 27432 [startup+60.0322 s] /proc/loadavg: 0.63 0.32 0.59 2/67 18010 /proc/meminfo: memFree=1481128/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=29412 CPUtime=59.88 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 6568 0 0 0 5981 7 0 0 25 0 1 0 193477103 30117888 6484 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529520 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 7353 6484 293 55 0 6244 0 Current children cumulated CPU time (s) 59.88 Current children cumulated vsize (Kb) 29412 [startup+70.0382 s] /proc/loadavg: 0.69 0.34 0.59 2/67 18010 /proc/meminfo: memFree=1480168/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=30332 CPUtime=69.88 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 6800 0 0 0 6981 7 0 0 25 0 1 0 193477103 31059968 6716 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 7583 6716 293 55 0 6474 0 Current children cumulated CPU time (s) 69.88 Current children cumulated vsize (Kb) 30332 [startup+80.0443 s] /proc/loadavg: 0.73 0.37 0.60 2/67 18010 /proc/meminfo: memFree=1478696/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=31784 CPUtime=79.88 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 7167 0 0 0 7981 7 0 0 25 0 1 0 193477103 32546816 7083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528674 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 7946 7083 293 55 0 6837 0 Current children cumulated CPU time (s) 79.88 Current children cumulated vsize (Kb) 31784 [startup+90.0504 s] /proc/loadavg: 0.77 0.39 0.60 2/73 18081 /proc/meminfo: memFree=1475384/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=33896 CPUtime=89.87 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 7695 0 0 0 8978 9 0 0 25 0 1 0 193477103 34709504 7611 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 8474 7611 293 55 0 7365 0 Current children cumulated CPU time (s) 89.87 Current children cumulated vsize (Kb) 33896 [startup+100.056 s] /proc/loadavg: 0.81 0.41 0.60 2/67 18205 /proc/meminfo: memFree=1474088/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=36008 CPUtime=99.83 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 8216 0 0 0 9973 10 0 0 25 0 1 0 193477103 36872192 8132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 9002 8132 293 55 0 7893 0 Current children cumulated CPU time (s) 99.83 Current children cumulated vsize (Kb) 36008 [startup+110.062 s] /proc/loadavg: 0.84 0.42 0.61 2/67 18205 /proc/meminfo: memFree=1472296/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=37984 CPUtime=109.84 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 8697 0 0 0 10973 11 0 0 25 0 1 0 193477103 38895616 8613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 9496 8613 293 55 0 8387 0 Current children cumulated CPU time (s) 109.84 Current children cumulated vsize (Kb) 37984 [startup+120.069 s] /proc/loadavg: 0.86 0.44 0.61 2/67 18205 /proc/meminfo: memFree=1470312/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=39964 CPUtime=119.84 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 9209 0 0 0 11972 12 0 0 25 0 1 0 193477103 40923136 9125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534760 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 9991 9125 293 55 0 8882 0 Current children cumulated CPU time (s) 119.84 Current children cumulated vsize (Kb) 39964 [startup+130.075 s] /proc/loadavg: 0.88 0.46 0.62 2/67 18205 /proc/meminfo: memFree=1468392/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=42076 CPUtime=129.83 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 9709 0 0 0 12971 12 0 0 25 0 1 0 193477103 43085824 9625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 10519 9625 293 55 0 9410 0 Current children cumulated CPU time (s) 129.83 Current children cumulated vsize (Kb) 42076 [startup+140.081 s] /proc/loadavg: 0.90 0.48 0.62 2/67 18205 /proc/meminfo: memFree=1465896/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=44452 CPUtime=139.84 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 10314 0 0 0 13970 14 0 0 25 0 1 0 193477103 45518848 10230 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 11113 10230 293 55 0 10004 0 Current children cumulated CPU time (s) 139.84 Current children cumulated vsize (Kb) 44452 [startup+150.088 s] /proc/loadavg: 0.92 0.50 0.62 2/67 18205 /proc/meminfo: memFree=1463272/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=47088 CPUtime=149.85 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 10967 0 0 0 14970 15 0 0 25 0 1 0 193477103 48218112 10883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 11772 10883 293 55 0 10663 0 Current children cumulated CPU time (s) 149.85 Current children cumulated vsize (Kb) 47088 [startup+160.093 s] /proc/loadavg: 0.93 0.51 0.63 2/67 18205 /proc/meminfo: memFree=1461032/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=49332 CPUtime=159.85 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 11548 0 0 0 15969 16 0 0 25 0 1 0 193477103 50515968 11464 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 12333 11464 293 55 0 11224 0 Current children cumulated CPU time (s) 159.85 Current children cumulated vsize (Kb) 49332 [startup+170.099 s] /proc/loadavg: 0.94 0.53 0.63 2/67 18205 /proc/meminfo: memFree=1459176/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=51180 CPUtime=169.85 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 12001 0 0 0 16968 17 0 0 25 0 1 0 193477103 52408320 11917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529158 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 12795 11917 293 55 0 11686 0 Current children cumulated CPU time (s) 169.85 Current children cumulated vsize (Kb) 51180 [startup+180.105 s] /proc/loadavg: 0.95 0.54 0.64 2/67 18205 /proc/meminfo: memFree=1457128/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=53304 CPUtime=179.86 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 12512 0 0 0 17968 18 0 0 25 0 1 0 193477103 54583296 12428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 13326 12428 293 55 0 12217 0 Current children cumulated CPU time (s) 179.86 Current children cumulated vsize (Kb) 53304 [startup+190.111 s] /proc/loadavg: 0.95 0.56 0.64 2/67 18205 /proc/meminfo: memFree=1455272/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=55144 CPUtime=189.86 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 12977 0 0 0 18967 19 0 0 25 0 1 0 193477103 56467456 12893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 13786 12893 293 55 0 12677 0 Current children cumulated CPU time (s) 189.86 Current children cumulated vsize (Kb) 55144 [startup+200.117 s] /proc/loadavg: 0.96 0.57 0.64 2/67 18205 /proc/meminfo: memFree=1453352/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=56992 CPUtime=199.86 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 13447 0 0 0 19966 20 0 0 25 0 1 0 193477103 58359808 13363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 14248 13363 293 55 0 13139 0 Current children cumulated CPU time (s) 199.86 Current children cumulated vsize (Kb) 56992 [startup+210.123 s] /proc/loadavg: 0.97 0.58 0.64 2/67 18205 /proc/meminfo: memFree=1451240/2055892 swapFree=4085292/4096564 ################ # More data... # ################ /proc/18010/statm: 43430 42495 293 55 0 42321 0 Current children cumulated CPU time (s) 1760.34 Current children cumulated vsize (Kb) 173720 [startup+1771.05 s] /proc/loadavg: 1.01 0.99 0.90 2/67 18205 /proc/meminfo: memFree=1335336/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=174776 CPUtime=1770.35 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 42866 0 0 0 176944 91 0 0 25 0 1 0 193477103 178970624 42782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 43694 42782 293 55 0 42585 0 Current children cumulated CPU time (s) 1770.35 Current children cumulated vsize (Kb) 174776 [startup+1781.06 s] /proc/loadavg: 1.01 0.99 0.90 2/67 18205 /proc/meminfo: memFree=1334312/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=175832 CPUtime=1780.35 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43113 0 0 0 177944 91 0 0 25 0 1 0 193477103 180051968 43029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 43958 43029 293 55 0 42849 0 Current children cumulated CPU time (s) 1780.35 Current children cumulated vsize (Kb) 175832 [startup+1782.06 s] /proc/loadavg: 1.01 0.99 0.90 2/67 18205 /proc/meminfo: memFree=1334184/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=175964 CPUtime=1781.35 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43140 0 0 0 178044 91 0 0 25 0 1 0 193477103 180187136 43056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 43991 43056 293 55 0 42882 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 175964 [startup+1783.07 s] /proc/loadavg: 1.01 0.99 0.90 2/67 18205 /proc/meminfo: memFree=1334184/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=175964 CPUtime=1782.36 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43140 0 0 0 178144 92 0 0 25 0 1 0 193477103 180187136 43056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 43991 43056 293 55 0 42882 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 175964 [startup+1784.07 s] /proc/loadavg: 1.01 0.99 0.90 2/67 18205 /proc/meminfo: memFree=1334184/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=175964 CPUtime=1783.37 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43140 0 0 0 178245 92 0 0 25 0 1 0 193477103 180187136 43056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 43991 43056 293 55 0 42882 0 Current children cumulated CPU time (s) 1783.37 Current children cumulated vsize (Kb) 175964 [startup+1785.08 s] /proc/loadavg: 1.01 0.99 0.90 2/67 18205 /proc/meminfo: memFree=1334184/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=175964 CPUtime=1784.37 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43143 0 0 0 178345 92 0 0 25 0 1 0 193477103 180187136 43059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 43991 43059 293 55 0 42882 0 Current children cumulated CPU time (s) 1784.37 Current children cumulated vsize (Kb) 175964 [startup+1786.08 s] /proc/loadavg: 1.01 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1334056/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176096 CPUtime=1785.37 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43182 0 0 0 178445 92 0 0 25 0 1 0 193477103 180322304 43098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44024 43098 293 55 0 42915 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 176096 [startup+1787.09 s] /proc/loadavg: 1.01 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333992/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176096 CPUtime=1786.38 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43186 0 0 0 178546 92 0 0 25 0 1 0 193477103 180322304 43102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44024 43102 293 55 0 42915 0 Current children cumulated CPU time (s) 1786.38 Current children cumulated vsize (Kb) 176096 [startup+1788.09 s] /proc/loadavg: 1.01 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333800/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176360 CPUtime=1787.38 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43236 0 0 0 178646 92 0 0 25 0 1 0 193477103 180592640 43152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44090 43152 293 55 0 42981 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 176360 [startup+1789.1 s] /proc/loadavg: 1.01 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333672/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176492 CPUtime=1788.39 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43266 0 0 0 178747 92 0 0 25 0 1 0 193477103 180727808 43182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44123 43182 293 55 0 43014 0 Current children cumulated CPU time (s) 1788.39 Current children cumulated vsize (Kb) 176492 [startup+1790.1 s] /proc/loadavg: 1.01 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333544/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176492 CPUtime=1789.39 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43296 0 0 0 178847 92 0 0 25 0 1 0 193477103 180727808 43212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44123 43212 293 55 0 43014 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 176492 [startup+1791.11 s] /proc/loadavg: 1.01 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333416/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176624 CPUtime=1790.4 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43331 0 0 0 178948 92 0 0 25 0 1 0 193477103 180862976 43247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44156 43247 293 55 0 43047 0 Current children cumulated CPU time (s) 1790.4 Current children cumulated vsize (Kb) 176624 [startup+1792.11 s] /proc/loadavg: 1.01 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333416/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176756 CPUtime=1791.4 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43337 0 0 0 179048 92 0 0 25 0 1 0 193477103 180998144 43253 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44189 43253 293 55 0 43080 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (Kb) 176756 [startup+1793.11 s] /proc/loadavg: 1.01 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333416/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176756 CPUtime=1792.4 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43339 0 0 0 179148 92 0 0 25 0 1 0 193477103 180998144 43255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528656 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44189 43255 293 55 0 43080 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 176756 [startup+1794.12 s] /proc/loadavg: 1.01 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333352/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176756 CPUtime=1793.41 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43348 0 0 0 179249 92 0 0 25 0 1 0 193477103 180998144 43264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44189 43264 293 55 0 43080 0 Current children cumulated CPU time (s) 1793.41 Current children cumulated vsize (Kb) 176756 [startup+1795.12 s] /proc/loadavg: 1.01 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333352/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176756 CPUtime=1794.41 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43348 0 0 0 179349 92 0 0 25 0 1 0 193477103 180998144 43264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44189 43264 293 55 0 43080 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (Kb) 176756 [startup+1796.13 s] /proc/loadavg: 1.00 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333352/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176756 CPUtime=1795.41 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43353 0 0 0 179449 92 0 0 25 0 1 0 193477103 180998144 43269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44189 43269 293 55 0 43080 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 176756 [startup+1797.13 s] /proc/loadavg: 1.00 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333224/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176888 CPUtime=1796.42 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43373 0 0 0 179550 92 0 0 25 0 1 0 193477103 181133312 43289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44222 43289 293 55 0 43113 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 176888 [startup+1798.14 s] /proc/loadavg: 1.00 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333224/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=176888 CPUtime=1797.42 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43386 0 0 0 179650 92 0 0 25 0 1 0 193477103 181133312 43302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44222 43302 293 55 0 43113 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (Kb) 176888 [startup+1799.14 s] /proc/loadavg: 1.00 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1333096/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=177020 CPUtime=1798.43 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43415 0 0 0 179751 92 0 0 25 0 1 0 193477103 181268480 43331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44255 43331 293 55 0 43146 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 177020 [startup+1800.15 s] /proc/loadavg: 1.00 0.99 0.91 2/67 18205 /proc/meminfo: memFree=1332968/2055892 swapFree=4085292/4096564 [pid=18010] ppid=18008 vsize=177152 CPUtime=1799.43 /proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43438 0 0 0 179851 92 0 0 25 0 1 0 193477103 181403648 43354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18010/statm: 44288 43354 293 55 0 43179 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 177152 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.06 CPU user time (s): 1799.1 CPU system time (s): 0.956854 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (Kb): 177152
Begin job on node84 on Fri Jun 2 19:59:38 UTC 2006 FILE ID= 40408-1149278378 PBS_JOBID= 305917 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40408-1149278378/instance-40408-1149278378.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node84/watcher-40408-1149278378 -o ROOT/results/node84/solver-40408-1149278378 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40408-1149278378/instance-40408-1149278378.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 0b8531b64d2ca93b44d439b9cb9fcfaa RANDOM SEED= 116281235 /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.231 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 : 6006.15 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.231 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1506104 kB Buffers: 29904 kB Cached: 448880 kB SwapCached: 2520 kB Active: 123724 kB Inactive: 363800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1506104 kB SwapTotal: 4096564 kB SwapFree: 4085292 kB Dirty: 268 kB Writeback: 0 kB Mapped: 16424 kB Slab: 48908 kB Committed_AS: 321492 kB PageTables: 1272 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node84 on Fri Jun 2 20:29:39 UTC 2006