Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.06 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f600.opb |
MD5SUM | 2b1f0bdf934439fa3364f5fdf4570849 |
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 | 1200 |
Total number of constraints | 3150 |
Number of constraints which are clauses | 3150 |
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 | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 1200 |
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 | 1200 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1200 |
Number of bits of the biggest sum of numbers | 11 |
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. 0.07 c Initial problem consists of 1200 variables and 3150 constraints. 0.08 c No problem reductions applied in OPT. instance. 0.08 c preprocess terminated. Elapsed time: 0.07 0.08 c After prepocess the problem consists of 1197 variables and 3147 constraints. 0.08 c Initial Lower Bound: 0 0.17 c Restart #1 #Var: 1197 LB: 0 @ 0.161 0.38 c Restart #2 #Var: 1197 LB: 0 @ 0.367 0.68 c Restart #3 #Var: 1197 LB: 0 @ 0.663 1.13 c Restart #4 #Var: 1197 LB: 0 @ 1.118 1.77 c Restart #5 #Var: 1197 LB: 0 @ 1.756 2.61 c Restart #6 #Var: 1197 LB: 0 @ 2.593 3.69 c Restart #7 #Var: 1197 LB: 0 @ 3.674 5.08 c Restart #8 #Var: 1197 LB: 0 @ 5.065 7.05 c Restart #9 #Var: 1197 LB: 0 @ 7.039 9.15 c Restart #10 #Var: 1197 LB: 0 @ 9.136 11.77 c Restart #11 #Var: 1197 LB: 0 @ 11.754 15.41 c Restart #12 #Var: 1197 LB: 0 @ 15.386 19.55 c Restart #13 #Var: 1197 LB: 0 @ 19.526 25.21 c Restart #14 #Var: 1197 LB: 0 @ 25.183 31.82 c Restart #15 #Var: 1197 LB: 0 @ 31.796 39.14 c Restart #16 #Var: 1197 LB: 0 @ 39.113 47.74 c Restart #17 #Var: 1197 LB: 0 @ 47.709 58.05 c Restart #18 #Var: 1197 LB: 0 @ 58.017 70.87 c Restart #19 #Var: 1197 LB: 0 @ 70.836 85.69 c Restart #20 #Var: 1197 LB: 0 @ 85.655 100.70 c Restart #21 #Var: 1197 LB: 0 @ 100.66 117.72 c Restart #22 #Var: 1197 LB: 0 @ 117.67 138.47 c Restart #23 #Var: 1197 LB: 0 @ 138.42 161.23 c Restart #24 #Var: 1197 LB: 0 @ 161.17 187.76 c Restart #25 #Var: 1197 LB: 0 @ 187.69 217.88 c Restart #26 #Var: 1197 LB: 0 @ 217.81 249.51 c Restart #27 #Var: 1197 LB: 0 @ 249.44 281.94 c Restart #28 #Var: 1197 LB: 0 @ 281.86 320.58 c Restart #29 #Var: 1197 LB: 0 @ 320.48 360.02 c Restart #30 #Var: 1197 LB: 0 @ 359.92 405.02 c Restart #31 #Var: 1197 LB: 0 @ 404.9 457.22 c Restart #32 #Var: 1197 LB: 0 @ 457.1 522.84 c Restart #33 #Var: 1197 LB: 0 @ 522.7 579.93 c Restart #34 #Var: 1197 LB: 0 @ 579.77 656.24 c Restart #35 #Var: 1197 LB: 0 @ 656.06 723.97 c Restart #36 #Var: 1197 LB: 0 @ 723.78 806.16 c Restart #37 #Var: 1197 LB: 0 @ 805.95 883.41 c Restart #38 #Var: 1197 LB: 0 @ 883.17 972.54 c CHANGE Heuristic... 972.54 c Restart #0 #Var: 1197 LB: 0 @ 972.29 975.40 c Restart #1 #Var: 1197 LB: 0 @ 975.15 981.34 c Restart #2 #Var: 1197 LB: 0 @ 981.08 989.57 c Restart #3 #Var: 1197 LB: 0 @ 989.32 999.13 c Restart #4 #Var: 1197 LB: 0 @ 998.87 1011.91 c Restart #5 #Var: 1197 LB: 0 @ 1011.6 1028.01 c Restart #6 #Var: 1197 LB: 0 @ 1027.7 1046.65 c Restart #7 #Var: 1197 LB: 0 @ 1046.4 1067.30 c Restart #8 #Var: 1197 LB: 0 @ 1067 1090.49 c Restart #9 #Var: 1197 LB: 0 @ 1090.2 1119.72 c Restart #10 #Var: 1197 LB: 0 @ 1119.4 1147.00 c Restart #11 #Var: 1197 LB: 0 @ 1146.7 1177.34 c Restart #12 #Var: 1197 LB: 0 @ 1177 1212.76 c Restart #13 #Var: 1197 LB: 0 @ 1212.4 1248.80 c Restart #14 #Var: 1197 LB: 0 @ 1248.5 1291.38 c Restart #15 #Var: 1197 LB: 0 @ 1291.1 1330.98 c Restart #16 #Var: 1197 LB: 0 @ 1330.6 1378.19 c Restart #17 #Var: 1197 LB: 0 @ 1377.8 1430.57 c Restart #18 #Var: 1197 LB: 0 @ 1430.2 1485.57 c Restart #19 #Var: 1197 LB: 0 @ 1485.2 1544.74 c Restart #20 #Var: 1197 LB: 0 @ 1544.3 1609.15 c Restart #21 #Var: 1197 LB: 0 @ 1608.7 1673.85 c Restart #22 #Var: 1197 LB: 0 @ 1673.4 1748.29 c Restart #23 #Var: 1197 LB: 0 @ 1747.8 1800.53 s UNKNOWN 1800.53 c Exit Code: 0 1800.53 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/node25/watcher-40403-1149420783 -o ROOT/results/node25/solver-40403-1149420783 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/40403-1149420783/instance-40403-1149420783.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.95 0.96 2/64 31554 /proc/meminfo: memFree=1602928/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=4664 CPUtime=0 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 155 0 0 0 0 0 0 0 18 0 1 0 207741688 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3768415 0 0 4096 0 0 0 0 17 1 0 0 /proc/31554/statm: 1166 136 106 55 0 46 0 [startup+10.002 s] /proc/loadavg: 0.93 0.96 0.96 2/64 31554 /proc/meminfo: memFree=1588856/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=18684 CPUtime=9.98 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 3937 0 0 0 994 4 0 0 25 0 1 0 207741688 19132416 3852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 4671 3852 296 55 0 3563 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 18684 [startup+20.0079 s] /proc/loadavg: 0.94 0.96 0.96 2/64 31554 /proc/meminfo: memFree=1581952/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=25548 CPUtime=19.98 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 5658 0 0 0 1991 7 0 0 25 0 1 0 207741688 26161152 5573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 6387 5573 296 55 0 5279 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 25548 [startup+30.0149 s] /proc/loadavg: 0.95 0.96 0.96 2/64 31554 /proc/meminfo: memFree=1577472/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=30036 CPUtime=29.99 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 6774 0 0 0 2990 9 0 0 25 0 1 0 207741688 30756864 6689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534840 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 7509 6689 296 55 0 6401 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 30036 [startup+40.0208 s] /proc/loadavg: 0.96 0.96 0.96 2/64 31554 /proc/meminfo: memFree=1573312/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=34260 CPUtime=39.98 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 7812 0 0 0 3987 11 0 0 25 0 1 0 207741688 35082240 7727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 8565 7727 296 55 0 7457 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 34260 [startup+50.0267 s] /proc/loadavg: 0.96 0.96 0.96 2/64 31554 /proc/meminfo: memFree=1569472/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=38088 CPUtime=49.99 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 8789 0 0 0 4987 12 0 0 25 0 1 0 207741688 39002112 8704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 9522 8704 296 55 0 8414 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 38088 [startup+60.0326 s] /proc/loadavg: 0.97 0.96 0.96 2/64 31554 /proc/meminfo: memFree=1565952/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=41652 CPUtime=59.99 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 9668 0 0 0 5985 14 0 0 25 0 1 0 207741688 42651648 9583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 10413 9583 296 55 0 9305 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 41652 [startup+70.0385 s] /proc/loadavg: 0.97 0.96 0.96 2/64 31554 /proc/meminfo: memFree=1563072/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=44424 CPUtime=70 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 10368 0 0 0 6984 16 0 0 25 0 1 0 207741688 45490176 10283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 11106 10283 296 55 0 9998 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 44424 [startup+80.0455 s] /proc/loadavg: 0.98 0.96 0.96 2/64 31554 /proc/meminfo: memFree=1560256/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=47328 CPUtime=80 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 11074 0 0 0 7983 17 0 0 25 0 1 0 207741688 48463872 10989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 11832 10989 296 55 0 10724 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 47328 [startup+90.0514 s] /proc/loadavg: 0.98 0.96 0.96 2/64 31554 /proc/meminfo: memFree=1557504/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=49968 CPUtime=90.01 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 11759 0 0 0 8983 18 0 0 25 0 1 0 207741688 51167232 11674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 12492 11674 296 55 0 11384 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 49968 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.96 2/64 31554 /proc/meminfo: memFree=1554560/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=53004 CPUtime=100.01 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 12496 0 0 0 9982 19 0 0 25 0 1 0 207741688 54276096 12411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 13251 12411 296 55 0 12143 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 53004 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.96 2/64 31555 /proc/meminfo: memFree=1551808/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=55776 CPUtime=110.01 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 13193 0 0 0 10981 20 0 0 25 0 1 0 207741688 57114624 13108 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 13944 13108 296 55 0 12836 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 55776 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31556 /proc/meminfo: memFree=1549312/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=58284 CPUtime=120.01 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 13822 0 0 0 11981 20 0 0 25 0 1 0 207741688 59682816 13737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 14571 13737 296 55 0 13463 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 58284 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31556 /proc/meminfo: memFree=1547136/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=60396 CPUtime=130.01 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 14356 0 0 0 12980 21 0 0 25 0 1 0 207741688 61845504 14271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 15099 14271 296 55 0 13991 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 60396 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31556 /proc/meminfo: memFree=1544832/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=62640 CPUtime=140.03 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 14927 0 0 0 13980 23 0 0 25 0 1 0 207741688 64143360 14842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 15660 14842 296 55 0 14552 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 62640 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31556 /proc/meminfo: memFree=1542720/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=64752 CPUtime=150.03 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 15459 0 0 0 14979 24 0 0 25 0 1 0 207741688 66306048 15374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 16188 15374 296 55 0 15080 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 64752 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31556 /proc/meminfo: memFree=1540544/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=66996 CPUtime=160.03 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 15994 0 0 0 15978 25 0 0 25 0 1 0 207741688 68603904 15909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 16749 15909 296 55 0 15641 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 66996 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31556 /proc/meminfo: memFree=1538560/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=68976 CPUtime=170.03 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 16499 0 0 0 16978 25 0 0 25 0 1 0 207741688 70631424 16414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 17244 16414 296 55 0 16136 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 68976 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31556 /proc/meminfo: memFree=1536640/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=70824 CPUtime=180.03 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 16962 0 0 0 17977 26 0 0 25 0 1 0 207741688 72523776 16877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134601121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 17706 16877 296 55 0 16598 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 70824 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31556 /proc/meminfo: memFree=1534848/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=72672 CPUtime=190.04 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 17416 0 0 0 18977 27 0 0 25 0 1 0 207741688 74416128 17331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 18168 17331 296 55 0 17060 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 72672 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31556 /proc/meminfo: memFree=1532864/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=74520 CPUtime=200.04 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 17902 0 0 0 19976 28 0 0 25 0 1 0 207741688 76308480 17817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 18630 17817 296 55 0 17522 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 74520 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31556 /proc/meminfo: memFree=1531136/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/31554/statm: 55661 54832 296 55 0 54553 0 Current children cumulated CPU time (s) 1760.55 Current children cumulated vsize (Kb) 222644 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1383496/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=223304 CPUtime=1770.55 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55064 0 0 0 176954 101 0 0 25 0 1 0 207741688 228663296 54979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 55826 54979 296 55 0 54718 0 Current children cumulated CPU time (s) 1770.55 Current children cumulated vsize (Kb) 223304 [startup+1781.07 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382984/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=223832 CPUtime=1780.56 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55212 0 0 0 177954 102 0 0 25 0 1 0 207741688 229203968 55127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 55958 55127 296 55 0 54850 0 Current children cumulated CPU time (s) 1780.56 Current children cumulated vsize (Kb) 223832 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382920/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=223964 CPUtime=1781.57 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55223 0 0 0 178055 102 0 0 25 0 1 0 207741688 229339136 55138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 55991 55138 296 55 0 54883 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 223964 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382920/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=223964 CPUtime=1782.57 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55234 0 0 0 178155 102 0 0 25 0 1 0 207741688 229339136 55149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 55991 55149 296 55 0 54883 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 223964 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382792/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=223964 CPUtime=1783.58 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55254 0 0 0 178256 102 0 0 25 0 1 0 207741688 229339136 55169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 55991 55169 296 55 0 54883 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 223964 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382728/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224096 CPUtime=1784.58 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55271 0 0 0 178356 102 0 0 25 0 1 0 207741688 229474304 55186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56024 55186 296 55 0 54916 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 224096 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382664/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224096 CPUtime=1785.58 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55286 0 0 0 178456 102 0 0 25 0 1 0 207741688 229474304 55201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56024 55201 296 55 0 54916 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 224096 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382664/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224228 CPUtime=1786.59 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55297 0 0 0 178557 102 0 0 25 0 1 0 207741688 229609472 55212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56057 55212 296 55 0 54949 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 224228 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382600/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224228 CPUtime=1787.59 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55307 0 0 0 178657 102 0 0 25 0 1 0 207741688 229609472 55222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56057 55222 296 55 0 54949 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 224228 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382536/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224360 CPUtime=1788.6 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55322 0 0 0 178758 102 0 0 25 0 1 0 207741688 229744640 55237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56090 55237 296 55 0 54982 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 224360 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382472/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224360 CPUtime=1789.6 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55334 0 0 0 178858 102 0 0 25 0 1 0 207741688 229744640 55249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56090 55249 296 55 0 54982 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 224360 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382408/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224360 CPUtime=1790.61 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55348 0 0 0 178959 102 0 0 25 0 1 0 207741688 229744640 55263 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56090 55263 296 55 0 54982 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 224360 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382408/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224492 CPUtime=1791.61 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55362 0 0 0 179059 102 0 0 25 0 1 0 207741688 229879808 55277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56123 55277 296 55 0 55015 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 224492 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382344/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224492 CPUtime=1792.61 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55375 0 0 0 179159 102 0 0 25 0 1 0 207741688 229879808 55290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56123 55290 296 55 0 55015 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 224492 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382280/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224492 CPUtime=1793.62 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55387 0 0 0 179260 102 0 0 25 0 1 0 207741688 229879808 55302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56123 55302 296 55 0 55015 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 224492 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382216/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224624 CPUtime=1794.62 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55398 0 0 0 179360 102 0 0 25 0 1 0 207741688 230014976 55313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56156 55313 296 55 0 55048 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 224624 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382216/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224624 CPUtime=1795.63 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55407 0 0 0 179461 102 0 0 25 0 1 0 207741688 230014976 55322 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56156 55322 296 55 0 55048 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 224624 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382152/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224756 CPUtime=1796.63 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55422 0 0 0 179561 102 0 0 25 0 1 0 207741688 230150144 55337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56189 55337 296 55 0 55081 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 224756 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382088/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224756 CPUtime=1797.64 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55438 0 0 0 179662 102 0 0 25 0 1 0 207741688 230150144 55353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56189 55353 296 55 0 55081 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 224756 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1382024/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224756 CPUtime=1798.64 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55451 0 0 0 179762 102 0 0 25 0 1 0 207741688 230150144 55366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56189 55366 296 55 0 55081 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 224756 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 31751 /proc/meminfo: memFree=1381960/2055920 swapFree=4181452/4192956 [pid=31554] ppid=31552 vsize=224888 CPUtime=1799.65 /proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55466 0 0 0 179863 102 0 0 25 0 1 0 207741688 230285312 55381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31554/statm: 56222 55381 296 55 0 55114 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 224888 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.06 CPU user time (s): 1799 CPU system time (s): 1.05984 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (Kb): 224888
Begin job on node25 on Sun Jun 4 11:33:03 UTC 2006 FILE ID= 40403-1149420783 PBS_JOBID= 315796 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f600.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/40403-1149420783/instance-40403-1149420783.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-40403-1149420783 -o ROOT/results/node25/solver-40403-1149420783 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/40403-1149420783/instance-40403-1149420783.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 2b1f0bdf934439fa3364f5fdf4570849 RANDOM SEED= 532839219 /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.236 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.236 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: 1603136 kB Buffers: 29680 kB Cached: 361572 kB SwapCached: 3080 kB Active: 113324 kB Inactive: 286560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1603136 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14716 kB Slab: 38872 kB Committed_AS: 399136 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 node25 on Sun Jun 4 12:03:04 UTC 2006