Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | Signal | 1369.97 | 1370.51 |
Name | normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb |
MD5SUM | 9a5e6e5ac9dd04defb35f28c3f495740 |
Bench Category | SATUNSAT-MEDINT (no optimisation, medium 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 | 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 | 86 |
Total number of constraints | 2 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 86 |
Maximum length of a constraint | 86 |
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 | 21733991 |
Number of bits of the biggest number in a constraint | 25 |
Biggest sum of numbers in a constraint | 300042743 |
Number of bits of the biggest sum of numbers | 29 |
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.01 c BIG Int formula... 0.02 c Initial problem consists of 86 variables and 2 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.006 0.02 c After prepocess the problem consists of 86 variables and 2 constraints. 0.02 c Restart #1 #Var: 86 LB: 0 @ 0.015 0.05 c Restart #2 #Var: 86 LB: 0 @ 0.037 0.08 c Restart #3 #Var: 86 LB: 0 @ 0.072 0.13 c Restart #4 #Var: 86 LB: 0 @ 0.123 0.20 c Restart #5 #Var: 86 LB: 0 @ 0.187 0.26 c Restart #6 #Var: 86 LB: 0 @ 0.246 0.33 c Restart #7 #Var: 86 LB: 0 @ 0.316 0.41 c Restart #8 #Var: 86 LB: 0 @ 0.404 0.53 c Restart #9 #Var: 86 LB: 0 @ 0.518 0.68 c Restart #10 #Var: 86 LB: 0 @ 0.666 0.85 c Restart #11 #Var: 86 LB: 0 @ 0.845 1.05 c Restart #12 #Var: 86 LB: 0 @ 1.041 1.30 c Restart #13 #Var: 86 LB: 0 @ 1.293 1.65 c Restart #14 #Var: 86 LB: 0 @ 1.634 1.99 c Restart #15 #Var: 86 LB: 0 @ 1.981 2.46 c Restart #16 #Var: 86 LB: 0 @ 2.45 2.94 c Restart #17 #Var: 86 LB: 0 @ 2.926 3.60 c Restart #18 #Var: 86 LB: 0 @ 3.583 4.36 c Restart #19 #Var: 86 LB: 0 @ 4.347 5.34 c Restart #20 #Var: 86 LB: 0 @ 5.329 5.86 c Restart #21 #Var: 86 LB: 0 @ 5.851 6.60 c Restart #22 #Var: 86 LB: 0 @ 6.586 7.99 c Restart #23 #Var: 86 LB: 0 @ 7.98 9.29 c Restart #24 #Var: 86 LB: 0 @ 9.279 10.75 c Restart #25 #Var: 86 LB: 0 @ 10.737 12.55 c Restart #26 #Var: 86 LB: 0 @ 12.534 14.58 c Restart #27 #Var: 86 LB: 0 @ 14.563 16.26 c Restart #28 #Var: 86 LB: 0 @ 16.246 18.68 c Restart #29 #Var: 86 LB: 0 @ 18.66 21.41 c Restart #30 #Var: 86 LB: 0 @ 21.395 23.91 c Restart #31 #Var: 86 LB: 0 @ 23.89 26.77 c Restart #32 #Var: 86 LB: 0 @ 26.749 29.27 c Restart #33 #Var: 86 LB: 0 @ 29.247 31.94 c Restart #34 #Var: 86 LB: 0 @ 31.916 35.58 c Restart #35 #Var: 86 LB: 0 @ 35.554 38.59 c Restart #36 #Var: 86 LB: 0 @ 38.562 42.04 c Restart #37 #Var: 86 LB: 0 @ 42.017 46.15 c Restart #38 #Var: 86 LB: 0 @ 46.125 49.85 c Restart #39 #Var: 86 LB: 0 @ 49.819 53.10 c Restart #40 #Var: 86 LB: 0 @ 53.072 56.75 c Restart #41 #Var: 86 LB: 0 @ 56.718 60.13 c Restart #42 #Var: 86 LB: 0 @ 60.101 64.97 c Restart #43 #Var: 86 LB: 0 @ 64.941 70.95 c Restart #44 #Var: 86 LB: 0 @ 70.92 76.01 c Restart #45 #Var: 86 LB: 0 @ 75.976 80.90 c Restart #46 #Var: 86 LB: 0 @ 80.863 85.67 c Restart #47 #Var: 86 LB: 0 @ 85.629 92.42 c Restart #48 #Var: 86 LB: 0 @ 92.382 97.81 c Restart #49 #Var: 86 LB: 0 @ 97.773 103.34 c Restart #50 #Var: 86 LB: 0 @ 103.3 112.58 c Restart #51 #Var: 86 LB: 0 @ 112.53 120.30 c Restart #52 #Var: 86 LB: 0 @ 120.25 126.22 c Restart #53 #Var: 86 LB: 0 @ 126.17 135.11 c Restart #54 #Var: 86 LB: 0 @ 135.06 145.26 c Restart #55 #Var: 86 LB: 0 @ 145.2 153.43 c Restart #56 #Var: 86 LB: 0 @ 153.37 161.72 c Restart #57 #Var: 86 LB: 0 @ 161.66 168.57 c Restart #58 #Var: 86 LB: 0 @ 168.5 182.32 c Restart #59 #Var: 86 LB: 0 @ 182.25 191.20 c Restart #60 #Var: 86 LB: 0 @ 191.13 204.49 c Restart #61 #Var: 86 LB: 0 @ 204.41 218.64 c Restart #62 #Var: 86 LB: 0 @ 218.56 226.33 c Restart #63 #Var: 86 LB: 0 @ 226.25 236.73 c Restart #64 #Var: 86 LB: 0 @ 236.65 245.97 c Restart #65 #Var: 86 LB: 0 @ 245.89 258.12 c Restart #66 #Var: 86 LB: 0 @ 258.03 264.84 c Restart #67 #Var: 86 LB: 0 @ 264.75 277.93 c Restart #68 #Var: 86 LB: 0 @ 277.83 288.71 c Restart #69 #Var: 86 LB: 0 @ 288.61 298.09 c Restart #70 #Var: 86 LB: 0 @ 297.98 311.83 c Restart #71 #Var: 86 LB: 0 @ 311.72 325.49 c Restart #72 #Var: 86 LB: 0 @ 325.38 343.38 c Restart #73 #Var: 86 LB: 0 @ 343.26 361.97 c Restart #74 #Var: 86 LB: 0 @ 361.85 374.28 c Restart #75 #Var: 86 LB: 0 @ 374.15 390.71 c Restart #76 #Var: 86 LB: 0 @ 390.58 407.88 c Restart #77 #Var: 86 LB: 0 @ 407.74 428.39 c Restart #78 #Var: 86 LB: 0 @ 428.25 444.31 c Restart #79 #Var: 86 LB: 0 @ 444.16 462.98 c Restart #80 #Var: 86 LB: 0 @ 462.83 480.72 c Restart #81 #Var: 86 LB: 0 @ 480.56 506.64 c Restart #82 #Var: 86 LB: 0 @ 506.48 521.50 c Restart #83 #Var: 86 LB: 0 @ 521.33 543.15 c Restart #84 #Var: 86 LB: 0 @ 542.98 568.91 c Restart #85 #Var: 86 LB: 0 @ 568.73 591.87 c Restart #86 #Var: 86 LB: 0 @ 591.68 609.36 c Restart #87 #Var: 86 LB: 0 @ 609.16 637.94 c Restart #88 #Var: 86 LB: 0 @ 637.73 658.67 c Restart #89 #Var: 86 LB: 0 @ 658.46 674.48 c Restart #90 #Var: 86 LB: 0 @ 674.26 690.69 c Restart #91 #Var: 86 LB: 0 @ 690.46 715.85 c Restart #92 #Var: 86 LB: 0 @ 715.62 755.15 c Restart #93 #Var: 86 LB: 0 @ 754.91 778.24 c Restart #94 #Var: 86 LB: 0 @ 777.99 803.85 c Restart #95 #Var: 86 LB: 0 @ 803.6 825.17 c Restart #96 #Var: 86 LB: 0 @ 824.91 845.28 c Restart #97 #Var: 86 LB: 0 @ 845.01 863.29 c Restart #98 #Var: 86 LB: 0 @ 863.02 896.09 c Restart #99 #Var: 86 LB: 0 @ 895.81 936.64 c CHANGE Heuristic... 936.64 c Restart #0 #Var: 86 LB: 0 @ 936.35 939.58 c Restart #1 #Var: 86 LB: 0 @ 939.28 943.61 c Restart #2 #Var: 86 LB: 0 @ 943.31 954.25 c Restart #3 #Var: 86 LB: 0 @ 953.95 961.17 c Restart #4 #Var: 86 LB: 0 @ 960.87 966.27 c Restart #5 #Var: 86 LB: 0 @ 965.96 975.83 c Restart #6 #Var: 86 LB: 0 @ 975.52 988.45 c Restart #7 #Var: 86 LB: 0 @ 988.13 997.81 c Restart #8 #Var: 86 LB: 0 @ 997.5 1010.72 c Restart #9 #Var: 86 LB: 0 @ 1010.4 1020.27 c Restart #10 #Var: 86 LB: 0 @ 1019.9 1032.92 c Restart #11 #Var: 86 LB: 0 @ 1032.6 1043.14 c Restart #12 #Var: 86 LB: 0 @ 1042.8 1057.79 c Restart #13 #Var: 86 LB: 0 @ 1057.5 1075.21 c Restart #14 #Var: 86 LB: 0 @ 1074.9 1085.63 c Restart #15 #Var: 86 LB: 0 @ 1085.3 1098.97 c Restart #16 #Var: 86 LB: 0 @ 1098.6 1112.01 c Restart #17 #Var: 86 LB: 0 @ 1111.7 1125.90 c Restart #18 #Var: 86 LB: 0 @ 1125.5 1142.44 c Restart #19 #Var: 86 LB: 0 @ 1142.1 1166.15 c Restart #20 #Var: 86 LB: 0 @ 1165.8 1181.27 c Restart #21 #Var: 86 LB: 0 @ 1180.9 1203.38 c Restart #22 #Var: 86 LB: 0 @ 1203 1220.78 c Restart #23 #Var: 86 LB: 0 @ 1220.3 1235.66 c Restart #24 #Var: 86 LB: 0 @ 1235.2 1251.54 c Restart #25 #Var: 86 LB: 0 @ 1251.1 1265.81 c Restart #26 #Var: 86 LB: 0 @ 1265.3 1277.94 c Restart #27 #Var: 86 LB: 0 @ 1277.5 1293.62 c Restart #28 #Var: 86 LB: 0 @ 1293.1 1317.52 c Restart #29 #Var: 86 LB: 0 @ 1317 1336.52 c Restart #30 #Var: 86 LB: 0 @ 1336 1359.38 c Restart #31 #Var: 86 LB: 0 @ 1358.9
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/node33/watcher-40812-1149320463 -o ROOT/results/node33/solver-40812-1149320463 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/40812-1149320463/instance-40812-1149320463.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1775832/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=4664 CPUtime=0 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 139 0 0 0 0 0 0 0 19 0 1 0 197710086 4775936 120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10908864 0 0 4096 0 0 0 0 17 1 0 0 /proc/20026/statm: 1166 123 103 55 0 46 0 [startup+10.003 s] /proc/loadavg: 0.93 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1676000/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=104248 CPUtime=9.98 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 25292 0 0 0 982 16 0 0 25 0 1 0 197710086 106749952 25198 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 26062 25198 296 55 0 24954 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 104248 [startup+20.0103 s] /proc/loadavg: 0.94 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1629920/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=150500 CPUtime=19.98 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 36820 0 0 0 1975 23 0 0 25 0 1 0 197710086 154112000 36715 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 37625 36715 296 55 0 36517 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 150500 [startup+30.0166 s] /proc/loadavg: 0.95 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1591008/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=189440 CPUtime=29.98 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 46545 0 0 0 2967 31 0 0 25 0 1 0 197710086 193986560 46436 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 47360 46436 296 55 0 46252 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 189440 [startup+40.0219 s] /proc/loadavg: 0.96 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1555744/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=224924 CPUtime=39.99 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 55360 0 0 0 3963 36 0 0 25 0 1 0 197710086 230322176 55238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 56231 55238 296 55 0 55123 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 224924 [startup+50.0282 s] /proc/loadavg: 0.96 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1519904/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=260884 CPUtime=49.99 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 64315 0 0 0 4957 42 0 0 25 0 1 0 197710086 267145216 64181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 65221 64181 296 55 0 64113 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 260884 [startup+60.0344 s] /proc/loadavg: 0.97 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1479712/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=300996 CPUtime=60 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 74350 0 0 0 5951 49 0 0 25 0 1 0 197710086 308219904 74216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 75249 74216 296 55 0 74141 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 300996 [startup+70.0407 s] /proc/loadavg: 0.97 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1455392/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=325376 CPUtime=70 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 80426 0 0 0 6948 52 0 0 25 0 1 0 197710086 333185024 80284 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 81344 80284 296 55 0 80236 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 325376 [startup+80.047 s] /proc/loadavg: 0.98 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1427680/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=353004 CPUtime=80 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 87347 0 0 0 7944 56 0 0 25 0 1 0 197710086 361476096 87201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 88251 87201 296 55 0 87143 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 353004 [startup+90.0533 s] /proc/loadavg: 0.98 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1396000/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=384920 CPUtime=90.01 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 95270 0 0 0 8940 61 0 0 25 0 1 0 197710086 394158080 95111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 96230 95111 296 55 0 95122 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 384920 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1368864/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=412188 CPUtime=100 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 102058 0 0 0 9936 64 0 0 25 0 1 0 197710086 422080512 101883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 103047 101884 296 55 0 101939 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 412188 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1349088/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=432052 CPUtime=110.01 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 106981 0 0 0 10933 68 0 0 25 0 1 0 197710086 442421248 106802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 108013 106802 296 55 0 106905 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 432052 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1324384/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=457048 CPUtime=120.01 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 113182 0 0 0 11928 73 0 0 25 0 1 0 197710086 468017152 112990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 114262 112990 296 55 0 113154 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 457048 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1300064/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=481540 CPUtime=130.01 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 119321 0 0 0 12924 77 0 0 25 0 1 0 197710086 493096960 119043 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 120385 119043 296 55 0 119277 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 481540 [startup+140.084 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1280992/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=500724 CPUtime=140.02 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 124091 0 0 0 13921 81 0 0 25 0 1 0 197710086 512741376 123808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551616 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 125181 123808 296 55 0 124073 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 500724 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1266400/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=515184 CPUtime=150.03 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 127725 0 0 0 14918 85 0 0 25 0 1 0 197710086 527548416 127440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 128796 127440 296 55 0 127688 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 515184 [startup+160.097 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1238112/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=543628 CPUtime=160.03 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 134794 0 0 0 15914 89 0 0 25 0 1 0 197710086 556675072 134506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 135907 134506 296 55 0 134799 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 543628 [startup+170.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1212320/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=569420 CPUtime=170.03 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 141221 0 0 0 16909 94 0 0 25 0 1 0 197710086 583086080 140927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 142355 140927 296 55 0 141247 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 569420 [startup+180.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1197792/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=583988 CPUtime=180.03 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 144866 0 0 0 17907 96 0 0 25 0 1 0 197710086 598003712 144563 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 145997 144563 296 55 0 144889 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 583988 [startup+190.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1175712/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=605912 CPUtime=190.04 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 150371 0 0 0 18903 101 0 0 25 0 1 0 197710086 620453888 150068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 151478 150068 296 55 0 150370 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 605912 [startup+200.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1165280/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=616428 CPUtime=200.04 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 152990 0 0 0 19901 103 0 0 25 0 1 0 197710086 631222272 152687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 154107 152687 296 55 0 152999 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 616428 [startup+210.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20026 /proc/meminfo: memFree=1147552/2055920 swapFree=4181356/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1150.35 Current children cumulated vsize (Kb) 1735768 [startup+1160.72 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20026 /proc/meminfo: memFree=46240/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1740576 CPUtime=1160.35 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 435143 0 0 0 115741 294 0 0 25 0 1 0 197710086 1782349824 431821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 435144 431821 296 55 0 434036 0 Current children cumulated CPU time (s) 1160.35 Current children cumulated vsize (Kb) 1740576 [startup+1170.73 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20026 /proc/meminfo: memFree=45024/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1741756 CPUtime=1170.35 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 435443 0 0 0 116741 294 0 0 25 0 1 0 197710086 1783558144 432121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 435439 432121 296 55 0 434331 0 Current children cumulated CPU time (s) 1170.35 Current children cumulated vsize (Kb) 1741756 [startup+1180.74 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20026 /proc/meminfo: memFree=38624/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1748236 CPUtime=1180.36 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 437040 0 0 0 117741 295 0 0 25 0 1 0 197710086 1790193664 433717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 437059 433717 296 55 0 435951 0 Current children cumulated CPU time (s) 1180.36 Current children cumulated vsize (Kb) 1748236 [startup+1190.74 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20026 /proc/meminfo: memFree=36640/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1750212 CPUtime=1190.35 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 437533 0 0 0 118740 295 0 0 25 0 1 0 197710086 1792217088 434210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 437553 434210 296 55 0 436445 0 Current children cumulated CPU time (s) 1190.35 Current children cumulated vsize (Kb) 1750212 [startup+1200.75 s] /proc/loadavg: 1.00 1.00 1.00 2/70 20049 /proc/meminfo: memFree=32488/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1753244 CPUtime=1200.36 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 438312 0 0 0 119739 297 0 0 25 0 1 0 197710086 1795321856 434989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 438311 434989 296 55 0 437203 0 Current children cumulated CPU time (s) 1200.36 Current children cumulated vsize (Kb) 1753244 [startup+1210.76 s] /proc/loadavg: 1.00 1.00 1.00 2/70 20097 /proc/meminfo: memFree=29096/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1756408 CPUtime=1210.35 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 439109 0 0 0 120732 303 0 0 25 0 1 0 197710086 1798561792 435786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 439102 435786 296 55 0 437994 0 Current children cumulated CPU time (s) 1210.35 Current children cumulated vsize (Kb) 1756408 [startup+1220.76 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=23672/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1762596 CPUtime=1220.29 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 440663 0 0 0 121725 304 0 0 25 0 1 0 197710086 1804898304 437340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20026/statm: 440649 437340 296 55 0 439541 0 Current children cumulated CPU time (s) 1220.29 Current children cumulated vsize (Kb) 1762596 [startup+1230.77 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=20960/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1765632 CPUtime=1230.29 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 441395 0 0 0 122724 305 0 0 25 0 1 0 197710086 1808007168 438072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 441408 438072 296 55 0 440300 0 Current children cumulated CPU time (s) 1230.29 Current children cumulated vsize (Kb) 1765632 [startup+1240.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=15200/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1771336 CPUtime=1240.3 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 442839 0 0 0 123724 306 0 0 25 0 1 0 197710086 1813848064 439515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 442834 439515 296 55 0 441726 0 Current children cumulated CPU time (s) 1240.3 Current children cumulated vsize (Kb) 1771336 [startup+1250.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=16096/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1778260 CPUtime=1250.29 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 444545 0 0 0 124723 306 0 0 25 0 1 0 197710086 1820938240 441214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 444565 441214 296 55 0 443457 0 Current children cumulated CPU time (s) 1250.29 Current children cumulated vsize (Kb) 1778260 [startup+1260.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=15264/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1779184 CPUtime=1260.31 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 444784 0 0 0 125724 307 0 0 25 0 1 0 197710086 1821884416 441453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 444796 441453 296 55 0 443688 0 Current children cumulated CPU time (s) 1260.31 Current children cumulated vsize (Kb) 1779184 [startup+1270.8 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=29664/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1788500 CPUtime=1270.31 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 447195 0 0 0 126723 308 0 0 25 0 1 0 197710086 1831424000 443542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 447125 443542 296 55 0 446017 0 Current children cumulated CPU time (s) 1270.31 Current children cumulated vsize (Kb) 1788500 [startup+1280.8 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=20896/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1797276 CPUtime=1280.31 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 449397 0 0 0 127722 309 0 0 25 0 1 0 197710086 1840410624 445743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 449319 445743 296 55 0 448211 0 Current children cumulated CPU time (s) 1280.31 Current children cumulated vsize (Kb) 1797276 [startup+1290.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=14816/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1803344 CPUtime=1290.31 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 450913 0 0 0 128722 309 0 0 25 0 1 0 197710086 1846624256 447259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 450836 447259 296 55 0 449728 0 Current children cumulated CPU time (s) 1290.31 Current children cumulated vsize (Kb) 1803344 [startup+1300.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=15392/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1807436 CPUtime=1300.31 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 451941 0 0 0 129721 310 0 0 25 0 1 0 197710086 1850814464 448287 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 451859 448287 296 55 0 450751 0 Current children cumulated CPU time (s) 1300.31 Current children cumulated vsize (Kb) 1807436 [startup+1310.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=14816/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1812576 CPUtime=1310.32 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 453247 0 0 0 130720 312 0 0 25 0 1 0 197710086 1856077824 449593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 453144 449593 296 55 0 452036 0 Current children cumulated CPU time (s) 1310.32 Current children cumulated vsize (Kb) 1812576 [startup+1320.83 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=15008/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1815476 CPUtime=1320.33 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 453987 0 0 0 131720 313 0 0 25 0 1 0 197710086 1859047424 450333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 453869 450333 296 55 0 452761 0 Current children cumulated CPU time (s) 1320.33 Current children cumulated vsize (Kb) 1815476 [startup+1330.84 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=14880/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1817192 CPUtime=1330.33 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 454415 0 0 0 132720 313 0 0 25 0 1 0 197710086 1860804608 450761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534130 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 454298 450761 296 55 0 453190 0 Current children cumulated CPU time (s) 1330.33 Current children cumulated vsize (Kb) 1817192 [startup+1340.84 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=16160/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1825244 CPUtime=1340.33 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 456431 0 0 0 133719 314 0 0 25 0 1 0 197710086 1869049856 452777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 456311 452777 296 55 0 455203 0 Current children cumulated CPU time (s) 1340.33 Current children cumulated vsize (Kb) 1825244 [startup+1350.85 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=14816/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1828320 CPUtime=1350.33 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 457206 0 0 0 134718 315 0 0 25 0 1 0 197710086 1872199680 453548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 457080 453548 296 55 0 455972 0 Current children cumulated CPU time (s) 1350.33 Current children cumulated vsize (Kb) 1828320 [startup+1360.86 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20221 /proc/meminfo: memFree=15904/2055920 swapFree=4181356/4192956 [pid=20026] ppid=20024 vsize=1835032 CPUtime=1360.33 /proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 458875 0 0 0 135717 316 0 0 25 0 1 0 197710086 1879072768 455217 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20026/statm: 458758 455217 296 55 0 457650 0 Current children cumulated CPU time (s) 1360.33 Current children cumulated vsize (Kb) 1835032 Child ended because it received signal 6 (SIGABRT) Real time (s): 1370.51 CPU time (s): 1369.97 CPU user time (s): 1366.51 CPU system time (s): 3.45847 CPU usage (%): 99.9604 Max. virtual memory (cumulated for all children) (Kb): 1835032 The end
Begin job on node33 on Sat Jun 3 07:41:03 UTC 2006 FILE ID= 40812-1149320463 PBS_JOBID= 308611 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/40812-1149320463/instance-40812-1149320463.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-40812-1149320463 -o ROOT/results/node33/solver-40812-1149320463 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/40812-1149320463/instance-40812-1149320463.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 9a5e6e5ac9dd04defb35f28c3f495740 RANDOM SEED= 826407892 /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.213 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.213 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: 1776040 kB Buffers: 17260 kB Cached: 196440 kB SwapCached: 3288 kB Active: 40592 kB Inactive: 181880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776040 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14912 kB Slab: 43416 kB Committed_AS: 331836 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node33 on Sat Jun 3 08:03:53 UTC 2006