Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.09 | 1800.59 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb |
MD5SUM | c93baf194c905dcd2c2597569ae179ef |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.003998 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 273 |
Total number of constraints | 222 |
Number of constraints which are clauses | 195 |
Number of constraints which are cardinality constraints (but not clauses) | 27 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 14 |
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 | 15 |
Number of bits of the biggest sum of numbers | 4 |
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.02 c Initial problem consists of 273 variables and 222 constraints. 0.02 c Using non-optimization problem switches. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.021 0.02 c After prepocess the problem consists of 273 variables and 222 constraints. 0.04 c Restart #1 #Var: 273 LB: 0 @ 0.037 0.06 c Restart #2 #Var: 273 LB: 0 @ 0.058 0.10 c Restart #3 #Var: 273 LB: 0 @ 0.093 0.17 c Restart #4 #Var: 273 LB: 0 @ 0.165 0.27 c Restart #5 #Var: 273 LB: 0 @ 0.264 0.39 c Restart #6 #Var: 273 LB: 0 @ 0.386 0.58 c Restart #7 #Var: 273 LB: 0 @ 0.574 0.83 c Restart #8 #Var: 273 LB: 0 @ 0.823 1.12 c Restart #9 #Var: 273 LB: 0 @ 1.113 1.45 c Restart #10 #Var: 273 LB: 0 @ 1.447 1.93 c Restart #11 #Var: 273 LB: 0 @ 1.921 2.51 c Restart #12 #Var: 273 LB: 0 @ 2.501 3.20 c Restart #13 #Var: 273 LB: 0 @ 3.193 4.40 c Restart #14 #Var: 273 LB: 0 @ 4.394 5.35 c Restart #15 #Var: 273 LB: 0 @ 5.343 7.46 c Restart #16 #Var: 273 LB: 0 @ 7.451 8.08 c Restart #17 #Var: 273 LB: 0 @ 8.07 10.27 c Restart #18 #Var: 273 LB: 0 @ 10.259 12.14 c Restart #19 #Var: 273 LB: 0 @ 12.134 14.31 c Restart #20 #Var: 273 LB: 0 @ 14.299 17.22 c Restart #21 #Var: 273 LB: 0 @ 17.205 20.86 c Restart #22 #Var: 273 LB: 0 @ 20.851 26.54 c Restart #23 #Var: 273 LB: 0 @ 26.53 37.76 c Restart #24 #Var: 273 LB: 0 @ 37.741 45.32 c Restart #25 #Var: 273 LB: 0 @ 45.3 54.94 c Restart #26 #Var: 273 LB: 0 @ 54.915 67.56 c Restart #27 #Var: 273 LB: 0 @ 67.534 76.26 c Restart #28 #Var: 273 LB: 0 @ 76.23 90.93 c Restart #29 #Var: 273 LB: 0 @ 90.899 96.20 c Restart #30 #Var: 273 LB: 0 @ 96.167 103.13 c Restart #31 #Var: 273 LB: 0 @ 103.09 111.09 c Restart #32 #Var: 273 LB: 0 @ 111.05 129.39 c Restart #33 #Var: 273 LB: 0 @ 129.34 139.92 c Restart #34 #Var: 273 LB: 0 @ 139.87 147.03 c Restart #35 #Var: 273 LB: 0 @ 146.99 158.48 c Restart #36 #Var: 273 LB: 0 @ 158.43 172.55 c Restart #37 #Var: 273 LB: 0 @ 172.5 190.64 c Restart #38 #Var: 273 LB: 0 @ 190.58 226.51 c Restart #39 #Var: 273 LB: 0 @ 226.44 243.19 c Restart #40 #Var: 273 LB: 0 @ 243.11 266.19 c Restart #41 #Var: 273 LB: 0 @ 266.11 289.67 c Restart #42 #Var: 273 LB: 0 @ 289.58 319.84 c Restart #43 #Var: 273 LB: 0 @ 319.74 368.69 c Restart #44 #Var: 273 LB: 0 @ 368.58 411.13 c Restart #45 #Var: 273 LB: 0 @ 411.01 446.92 c Restart #46 #Var: 273 LB: 0 @ 446.79 482.11 c Restart #47 #Var: 273 LB: 0 @ 481.97 517.14 c Restart #48 #Var: 273 LB: 0 @ 516.99 573.15 c Restart #49 #Var: 273 LB: 0 @ 572.99 625.21 c Restart #50 #Var: 273 LB: 0 @ 625.03 672.54 c Restart #51 #Var: 273 LB: 0 @ 672.35 721.94 c Restart #52 #Var: 273 LB: 0 @ 721.74 766.93 c Restart #53 #Var: 273 LB: 0 @ 766.71 825.19 c Restart #54 #Var: 273 LB: 0 @ 824.96 876.73 c Restart #55 #Var: 273 LB: 0 @ 876.49 939.84 c CHANGE Heuristic... 939.84 c Restart #0 #Var: 273 LB: 0 @ 939.58 941.18 c Restart #1 #Var: 273 LB: 0 @ 940.92 949.04 c Restart #2 #Var: 273 LB: 0 @ 948.77 959.95 c Restart #3 #Var: 273 LB: 0 @ 959.68 973.41 c Restart #4 #Var: 273 LB: 0 @ 973.14 990.86 c Restart #5 #Var: 273 LB: 0 @ 990.58 992.26 c Restart #6 #Var: 273 LB: 0 @ 991.98 1012.16 c Restart #7 #Var: 273 LB: 0 @ 1011.9 1033.38 c Restart #8 #Var: 273 LB: 0 @ 1033.1 1052.51 c Restart #9 #Var: 273 LB: 0 @ 1052.2 1073.90 c Restart #10 #Var: 273 LB: 0 @ 1073.6 1091.91 c Restart #11 #Var: 273 LB: 0 @ 1091.6 1117.50 c Restart #12 #Var: 273 LB: 0 @ 1117.2 1135.40 c Restart #13 #Var: 273 LB: 0 @ 1135.1 1144.73 c Restart #14 #Var: 273 LB: 0 @ 1144.4 1151.38 c Restart #15 #Var: 273 LB: 0 @ 1151.1 1180.85 c Restart #16 #Var: 273 LB: 0 @ 1180.5 1202.29 c Restart #17 #Var: 273 LB: 0 @ 1202 1232.07 c Restart #18 #Var: 273 LB: 0 @ 1231.7 1262.19 c Restart #19 #Var: 273 LB: 0 @ 1261.8 1281.07 c Restart #20 #Var: 273 LB: 0 @ 1280.7 1312.97 c Restart #21 #Var: 273 LB: 0 @ 1312.6 1347.45 c Restart #22 #Var: 273 LB: 0 @ 1347.1 1381.51 c Restart #23 #Var: 273 LB: 0 @ 1381.1 1413.80 c Restart #24 #Var: 273 LB: 0 @ 1413.4 1466.21 c Restart #25 #Var: 273 LB: 0 @ 1465.8 1504.72 c Restart #26 #Var: 273 LB: 0 @ 1504.3 1533.82 c Restart #27 #Var: 273 LB: 0 @ 1533.4 1577.44 c Restart #28 #Var: 273 LB: 0 @ 1577 1627.35 c Restart #29 #Var: 273 LB: 0 @ 1626.9 1670.04 c Restart #30 #Var: 273 LB: 0 @ 1669.6 1728.40 c Restart #31 #Var: 273 LB: 0 @ 1727.9 1774.08 c Restart #32 #Var: 273 LB: 0 @ 1773.6 1800.51 s UNKNOWN 1800.51 c Exit Code: 0 1800.51 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/node85/watcher-39680-1149232747 -o ROOT/results/node85/solver-39680-1149232747 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node85/39680-1149232747/instance-39680-1149232747.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/68 10749 /proc/meminfo: memFree=1604872/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=4672 CPUtime=0 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 154 0 0 0 0 0 0 0 18 0 1 0 188914006 4784128 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11705652 0 0 4096 0 0 0 0 17 1 0 0 /proc/10749/statm: 1168 136 106 55 0 46 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.95 0.90 2/68 10749 /proc/meminfo: memFree=1577608/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=32048 CPUtime=9.98 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 7264 0 0 0 990 8 0 0 25 0 1 0 188914006 32817152 7180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12171307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 8012 7180 294 55 0 6903 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 32048 [startup+20.0086 s] /proc/loadavg: 0.94 0.96 0.91 2/68 10749 /proc/meminfo: memFree=1559496/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=50216 CPUtime=19.99 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 11783 0 0 0 1986 13 0 0 25 0 1 0 188914006 51421184 11697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 12554 11697 294 55 0 11445 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 50216 [startup+30.0148 s] /proc/loadavg: 0.95 0.96 0.91 2/68 10749 /proc/meminfo: memFree=1551688/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=58200 CPUtime=29.99 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 13735 0 0 0 2983 16 0 0 25 0 1 0 188914006 59596800 13647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 14550 13647 294 55 0 13441 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 58200 [startup+40.021 s] /proc/loadavg: 0.95 0.96 0.91 2/68 10749 /proc/meminfo: memFree=1546440/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=63516 CPUtime=40 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 15043 0 0 0 3981 19 0 0 25 0 1 0 188914006 65040384 14953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 15879 14953 294 55 0 14770 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 63516 [startup+50.0271 s] /proc/loadavg: 0.96 0.96 0.91 2/68 10749 /proc/meminfo: memFree=1541384/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=68532 CPUtime=50 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 16300 0 0 0 4979 21 0 0 25 0 1 0 188914006 70176768 16210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 17133 16210 294 55 0 16024 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 68532 [startup+60.0333 s] /proc/loadavg: 0.97 0.96 0.91 2/68 10749 /proc/meminfo: memFree=1538184/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=71736 CPUtime=60 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 17103 0 0 0 5977 23 0 0 25 0 1 0 188914006 73457664 17011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 17934 17011 294 55 0 16825 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 71736 [startup+70.0394 s] /proc/loadavg: 0.97 0.96 0.91 2/68 10749 /proc/meminfo: memFree=1534728/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=75316 CPUtime=70 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 17967 0 0 0 6975 25 0 0 25 0 1 0 188914006 77123584 17873 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533989 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 18829 17873 294 55 0 17720 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 75316 [startup+80.0456 s] /proc/loadavg: 0.98 0.96 0.91 2/68 10749 /proc/meminfo: memFree=1529928/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=80124 CPUtime=80 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 19159 0 0 0 7973 27 0 0 25 0 1 0 188914006 82046976 19063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12171307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 20031 19063 294 55 0 18922 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 80124 [startup+90.0518 s] /proc/loadavg: 0.98 0.96 0.91 2/68 10749 /proc/meminfo: memFree=1525320/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=84692 CPUtime=90.01 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 20308 0 0 0 8972 29 0 0 25 0 1 0 188914006 86724608 20207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 21173 20207 294 55 0 20064 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 84692 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.91 2/68 10749 /proc/meminfo: memFree=1515848/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=94428 CPUtime=100.02 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 22688 0 0 0 9970 32 0 0 25 0 1 0 188914006 96694272 22581 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 23607 22581 294 55 0 22498 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 94428 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/68 10749 /proc/meminfo: memFree=1505736/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=104720 CPUtime=110.02 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 25204 0 0 0 10967 35 0 0 25 0 1 0 188914006 107233280 25095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12171307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 26180 25095 294 55 0 25071 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 104720 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 10749 /proc/meminfo: memFree=1500424/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=110172 CPUtime=120.02 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 26542 0 0 0 11966 36 0 0 25 0 1 0 188914006 112816128 26422 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 27543 26422 294 55 0 26434 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 110172 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/68 10749 /proc/meminfo: memFree=1495112/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=115588 CPUtime=130.02 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 27877 0 0 0 12964 38 0 0 25 0 1 0 188914006 118362112 27751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 28897 27751 294 55 0 27788 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 115588 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.91 2/68 10749 /proc/meminfo: memFree=1487048/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=123716 CPUtime=140.03 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 29889 0 0 0 13961 42 0 0 25 0 1 0 188914006 126685184 29759 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 30929 29759 294 55 0 29820 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 123716 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 10749 /proc/meminfo: memFree=1477832/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=132884 CPUtime=150.03 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 32190 0 0 0 14957 46 0 0 25 0 1 0 188914006 136073216 32056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 33221 32056 294 55 0 32112 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 132884 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.91 2/68 10749 /proc/meminfo: memFree=1469704/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=141256 CPUtime=160.04 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 34234 0 0 0 15956 48 0 0 25 0 1 0 188914006 144646144 34092 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 35314 34092 294 55 0 34205 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 141256 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.91 2/68 10749 /proc/meminfo: memFree=1463176/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=147596 CPUtime=170.04 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 35851 0 0 0 16953 51 0 0 25 0 1 0 188914006 151138304 35709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 36899 35709 294 55 0 35790 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 147596 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.91 2/68 10749 /proc/meminfo: memFree=1458056/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=152984 CPUtime=180.05 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 37133 0 0 0 17952 53 0 0 25 0 1 0 188914006 156655616 36983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 38246 36983 294 55 0 37137 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 152984 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.91 2/68 10749 /proc/meminfo: memFree=1452168/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=158984 CPUtime=190.04 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 38626 0 0 0 18950 54 0 0 25 0 1 0 188914006 162799616 38470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 39746 38470 294 55 0 38637 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 158984 [startup+200.121 s] /proc/loadavg: 0.99 0.97 0.91 2/68 10749 /proc/meminfo: memFree=1449928/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=161396 CPUtime=200.05 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 39187 0 0 0 19949 56 0 0 25 0 1 0 188914006 165269504 39029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 40349 39029 294 55 0 39240 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 161396 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.91 2/68 10749 /proc/meminfo: memFree=1446984/2055892 swapFree=4085348/4096564 ################ # More data... # ################ /proc/10749/statm: 123659 120088 294 55 0 122550 0 Current children cumulated CPU time (s) 1760.58 Current children cumulated vsize (Kb) 494636 [startup+1771.08 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1123208/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=496220 CPUtime=1770.59 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 122742 0 0 0 176881 178 0 0 25 0 1 0 188914006 508129280 120462 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 124055 120462 294 55 0 122946 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 496220 [startup+1781.09 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1121672/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=497860 CPUtime=1780.58 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123214 0 0 0 177880 178 0 0 25 0 1 0 188914006 509808640 120852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 124465 120852 294 55 0 123356 0 Current children cumulated CPU time (s) 1780.58 Current children cumulated vsize (Kb) 497860 [startup+1782.09 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1121352/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=498124 CPUtime=1781.59 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123284 0 0 0 177981 178 0 0 25 0 1 0 188914006 510078976 120922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 124531 120922 294 55 0 123422 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 498124 [startup+1783.1 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1121160/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=498388 CPUtime=1782.6 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123342 0 0 0 178081 179 0 0 25 0 1 0 188914006 510349312 120980 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 124597 120980 294 55 0 123488 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 498388 [startup+1784.1 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1120904/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=498652 CPUtime=1783.61 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123408 0 0 0 178182 179 0 0 25 0 1 0 188914006 510619648 121046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 124663 121046 294 55 0 123554 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 498652 [startup+1785.11 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1120712/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=498784 CPUtime=1784.61 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123445 0 0 0 178282 179 0 0 25 0 1 0 188914006 510754816 121083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 124696 121083 294 55 0 123587 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 498784 [startup+1786.11 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1120648/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=498784 CPUtime=1785.61 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123460 0 0 0 178382 179 0 0 25 0 1 0 188914006 510754816 121098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 124696 121098 294 55 0 123587 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 498784 [startup+1787.12 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1120328/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=499180 CPUtime=1786.62 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123547 0 0 0 178483 179 0 0 25 0 1 0 188914006 511160320 121185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 124795 121185 294 55 0 123686 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 499180 [startup+1788.12 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1120072/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=499444 CPUtime=1787.62 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123610 0 0 0 178583 179 0 0 25 0 1 0 188914006 511430656 121248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 124861 121248 294 55 0 123752 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 499444 [startup+1789.13 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1119688/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=499708 CPUtime=1788.62 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123704 0 0 0 178683 179 0 0 25 0 1 0 188914006 511700992 121342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 124927 121342 294 55 0 123818 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 499708 [startup+1790.13 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1119496/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=499972 CPUtime=1789.63 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123758 0 0 0 178784 179 0 0 25 0 1 0 188914006 511971328 121396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 124993 121396 294 55 0 123884 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 499972 [startup+1791.14 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1119304/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=500104 CPUtime=1790.63 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123804 0 0 0 178884 179 0 0 25 0 1 0 188914006 512106496 121442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 125026 121442 294 55 0 123917 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (Kb) 500104 [startup+1792.14 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1118984/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=500500 CPUtime=1791.63 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123888 0 0 0 178984 179 0 0 25 0 1 0 188914006 512512000 121526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 125125 121526 294 55 0 124016 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 500500 [startup+1793.15 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1118600/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=500764 CPUtime=1792.64 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 123977 0 0 0 179085 179 0 0 25 0 1 0 188914006 512782336 121615 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 125191 121615 294 55 0 124082 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 500764 [startup+1794.15 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1118280/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=501160 CPUtime=1793.64 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124057 0 0 0 179185 179 0 0 25 0 1 0 188914006 513187840 121695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 125290 121695 294 55 0 124181 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 501160 [startup+1795.15 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1117960/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=501424 CPUtime=1794.65 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124136 0 0 0 179286 179 0 0 25 0 1 0 188914006 513458176 121774 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 125356 121774 294 55 0 124247 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 501424 [startup+1796.16 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1117768/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=501688 CPUtime=1795.65 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124191 0 0 0 179386 179 0 0 25 0 1 0 188914006 513728512 121829 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 125422 121829 294 55 0 124313 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 501688 [startup+1797.16 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1117512/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=501952 CPUtime=1796.66 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124257 0 0 0 179487 179 0 0 25 0 1 0 188914006 513998848 121895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548426 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 125488 121895 294 55 0 124379 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 501952 [startup+1798.17 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1117384/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=502084 CPUtime=1797.67 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124288 0 0 0 179587 180 0 0 25 0 1 0 188914006 514134016 121926 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 125521 121926 294 55 0 124412 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 502084 [startup+1799.17 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1117128/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=502216 CPUtime=1798.67 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124345 0 0 0 179687 180 0 0 25 0 1 0 188914006 514269184 121983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 125554 121983 294 55 0 124445 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 502216 [startup+1800.18 s] /proc/loadavg: 1.00 0.99 0.91 2/68 10751 /proc/meminfo: memFree=1116936/2055892 swapFree=4085348/4096564 [pid=10749] ppid=10747 vsize=502480 CPUtime=1799.68 /proc/10749/stat : 10749 (bsolo) R 10747 10749 10704 0 -1 0 124392 0 0 0 179788 180 0 0 25 0 1 0 188914006 514539520 122030 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10749/statm: 125620 122030 294 55 0 124511 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 502480 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.09 CPU user time (s): 1798.21 CPU system time (s): 1.87671 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (Kb): 502480
Begin job on node85 on Fri Jun 2 07:19:08 UTC 2006 FILE ID= 39680-1149232747 PBS_JOBID= 296589 BENCH NAME= ROOT/tmp/node85/39680-1149232747/instance-39680-1149232747.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node85/39680-1149232747/instance-39680-1149232747.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node85/watcher-39680-1149232747 -o ROOT/results/node85/solver-39680-1149232747 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node85/39680-1149232747/instance-39680-1149232747.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c93baf194c905dcd2c2597569ae179ef RANDOM SEED= 80528408 /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.218 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.18 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.218 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1605272 kB Buffers: 29344 kB Cached: 345820 kB SwapCached: 2508 kB Active: 39496 kB Inactive: 344440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1605272 kB SwapTotal: 4096564 kB SwapFree: 4085348 kB Dirty: 184 kB Writeback: 0 kB Mapped: 16748 kB Slab: 53292 kB Committed_AS: 221084 kB PageTables: 1292 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node85 on Fri Jun 2 07:49:09 UTC 2006