Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 377.072 | 377.469 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb |
MD5SUM | a5c62cef1e86c64304fd5ef232ab5991 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 348966092800 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 299074813804544 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 348966092800 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 299074813804544 |
Number of bits of the biggest sum of numbers | 49 |
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... 15.71 c Initial problem consists of 107808 variables and 5184 constraints. 16.00 c No problem reductions applied in OPT. instance. 16.00 c preprocess terminated. Elapsed time: 15.975 16.00 c After prepocess the problem consists of 68716 variables and 5184 constraints. 16.00 c Initial Lower Bound: 0 17.74 c Restart #1 #Var: 68716 LB: 0 @ 17.709 19.73 c Restart #2 #Var: 68716 LB: 0 @ 19.708 23.51 c Restart #3 #Var: 68716 LB: 0 @ 23.485 27.53 c Restart #4 #Var: 68716 LB: 0 @ 27.505 32.91 c Restart #5 #Var: 68716 LB: 0 @ 32.878 39.93 c Restart #6 #Var: 68716 LB: 0 @ 39.894 46.03 c Restart #7 #Var: 68716 LB: 0 @ 45.992 52.84 c Restart #8 #Var: 68716 LB: 0 @ 52.798 60.58 c Restart #9 #Var: 68716 LB: 0 @ 60.536 65.76 c Restart #10 #Var: 68716 LB: 0 @ 65.718 69.12 c Restart #11 #Var: 68716 LB: 0 @ 69.072 71.69 c Restart #12 #Var: 68716 LB: 0 @ 71.643 72.51 c Restart #13 #Var: 68716 LB: 0 @ 72.464 72.78 c Restart #14 #Var: 68716 LB: 0 @ 72.731 73.05 c Restart #15 #Var: 68716 LB: 0 @ 73.004 73.37 c Restart #16 #Var: 68716 LB: 0 @ 73.322 73.71 c Restart #17 #Var: 68716 LB: 0 @ 73.661 74.06 c Restart #18 #Var: 68716 LB: 0 @ 74.012 74.47 c Restart #19 #Var: 68716 LB: 0 @ 74.426 74.88 c Restart #20 #Var: 68716 LB: 0 @ 74.836 75.69 c Restart #21 #Var: 68716 LB: 0 @ 75.644 76.08 c Restart #22 #Var: 68716 LB: 0 @ 76.036 76.51 c Restart #23 #Var: 68716 LB: 0 @ 76.466 76.96 c Restart #24 #Var: 68716 LB: 0 @ 76.916 77.48 c Restart #25 #Var: 68716 LB: 0 @ 77.435 78.05 c Restart #26 #Var: 68716 LB: 0 @ 78.006 78.93 c Restart #27 #Var: 68716 LB: 0 @ 78.884 80.15 c Restart #28 #Var: 68716 LB: 0 @ 80.106 81.28 c Restart #29 #Var: 68716 LB: 0 @ 81.234 82.10 c Restart #30 #Var: 68716 LB: 0 @ 82.051 82.81 c Restart #31 #Var: 68716 LB: 0 @ 82.76 83.58 c Restart #32 #Var: 68716 LB: 0 @ 83.527 84.37 c Restart #33 #Var: 68716 LB: 0 @ 84.32 85.42 c Restart #34 #Var: 68716 LB: 0 @ 85.37 86.46 c Restart #35 #Var: 68716 LB: 0 @ 86.407 87.26 c Restart #36 #Var: 68716 LB: 0 @ 87.213 88.32 c Restart #37 #Var: 68716 LB: 0 @ 88.267 89.23 c Restart #38 #Var: 68716 LB: 0 @ 89.177 90.34 c Restart #39 #Var: 68716 LB: 0 @ 90.29 91.33 c Restart #40 #Var: 68716 LB: 0 @ 91.274 92.50 c Restart #41 #Var: 68716 LB: 0 @ 92.449 93.56 c Restart #42 #Var: 68716 LB: 0 @ 93.509 94.75 c Restart #43 #Var: 68716 LB: 0 @ 94.699 95.97 c Restart #44 #Var: 68716 LB: 0 @ 95.915 97.06 c Restart #45 #Var: 68716 LB: 0 @ 97.001 98.42 c Restart #46 #Var: 68716 LB: 0 @ 98.358 99.74 c Restart #47 #Var: 68716 LB: 0 @ 99.684 101.10 c Restart #48 #Var: 68716 LB: 0 @ 101.05 102.50 c Restart #49 #Var: 68716 LB: 0 @ 102.44 104.09 c Restart #50 #Var: 68716 LB: 0 @ 104.03 105.36 c Restart #51 #Var: 68716 LB: 0 @ 105.3 107.03 c Restart #52 #Var: 68716 LB: 0 @ 106.97 108.61 c Restart #53 #Var: 68716 LB: 0 @ 108.55 110.11 c Restart #54 #Var: 68716 LB: 0 @ 110.05 111.77 c Restart #55 #Var: 68716 LB: 0 @ 111.71 113.55 c Restart #56 #Var: 68716 LB: 0 @ 113.49 115.03 c Restart #57 #Var: 68716 LB: 0 @ 114.97 116.86 c Restart #58 #Var: 68716 LB: 0 @ 116.8 118.62 c Restart #59 #Var: 68716 LB: 0 @ 118.56 120.57 c Restart #60 #Var: 68716 LB: 0 @ 120.51 122.22 c Restart #61 #Var: 68716 LB: 0 @ 122.15 124.18 c Restart #62 #Var: 68716 LB: 0 @ 124.11 125.92 c Restart #63 #Var: 68716 LB: 0 @ 125.85 127.94 c Restart #64 #Var: 68716 LB: 0 @ 127.87 130.19 c Restart #65 #Var: 68716 LB: 0 @ 130.12 132.26 c Restart #66 #Var: 68716 LB: 0 @ 132.19 134.51 c Restart #67 #Var: 68716 LB: 0 @ 134.44 136.96 c Restart #68 #Var: 68716 LB: 0 @ 136.89 139.47 c Restart #69 #Var: 68716 LB: 0 @ 139.39 142.09 c Restart #70 #Var: 68716 LB: 0 @ 142.01 145.30 c Restart #71 #Var: 68716 LB: 0 @ 145.23 147.71 c Restart #72 #Var: 68716 LB: 0 @ 147.64 150.10 c Restart #73 #Var: 68716 LB: 0 @ 150.02 152.63 c Restart #74 #Var: 68716 LB: 0 @ 152.55 154.96 c Restart #75 #Var: 68716 LB: 0 @ 154.88 157.82 c Restart #76 #Var: 68716 LB: 0 @ 157.74 160.68 c Restart #77 #Var: 68716 LB: 0 @ 160.6 163.95 c Restart #78 #Var: 68716 LB: 0 @ 163.87 167.11 c Restart #79 #Var: 68716 LB: 0 @ 167.02 169.82 c Restart #80 #Var: 68716 LB: 0 @ 169.74 172.92 c Restart #81 #Var: 68716 LB: 0 @ 172.84 176.14 c Restart #82 #Var: 68716 LB: 0 @ 176.06 179.53 c Restart #83 #Var: 68716 LB: 0 @ 179.44 182.83 c Restart #84 #Var: 68716 LB: 0 @ 182.74 186.91 c Restart #85 #Var: 68716 LB: 0 @ 186.82 190.24 c Restart #86 #Var: 68716 LB: 0 @ 190.15 193.98 c Restart #87 #Var: 68716 LB: 0 @ 193.88 197.06 c Restart #88 #Var: 68716 LB: 0 @ 196.97 200.56 c Restart #89 #Var: 68716 LB: 0 @ 200.46 204.21 c Restart #90 #Var: 68716 LB: 0 @ 204.12 207.92 c Restart #91 #Var: 68716 LB: 0 @ 207.82 211.24 c Restart #92 #Var: 68716 LB: 0 @ 211.13 214.94 c Restart #93 #Var: 68716 LB: 0 @ 214.84 218.69 c Restart #94 #Var: 68716 LB: 0 @ 218.58 222.79 c Restart #95 #Var: 68716 LB: 0 @ 222.69 226.36 c Restart #96 #Var: 68716 LB: 0 @ 226.25 230.48 c Restart #97 #Var: 68716 LB: 0 @ 230.38 234.38 c Restart #98 #Var: 68716 LB: 0 @ 234.27 239.04 c Restart #99 #Var: 68716 LB: 0 @ 238.93 243.05 c Restart #100 #Var: 68716 LB: 0 @ 242.94 247.15 c Restart #101 #Var: 68716 LB: 0 @ 247.04 251.06 c Restart #102 #Var: 68716 LB: 0 @ 250.95 256.29 c Restart #103 #Var: 68716 LB: 0 @ 256.17 260.19 c Restart #104 #Var: 68716 LB: 0 @ 260.07 264.83 c Restart #105 #Var: 68716 LB: 0 @ 264.71 268.75 c Restart #106 #Var: 68716 LB: 0 @ 268.63 274.02 c Restart #107 #Var: 68716 LB: 0 @ 273.89 278.41 c Restart #108 #Var: 68716 LB: 0 @ 278.28 282.84 c Restart #109 #Var: 68716 LB: 0 @ 282.71 290.59 c Restart #110 #Var: 68709 LB: 0 @ 290.46 294.51 c Restart #111 #Var: 68709 LB: 0 @ 294.38 298.55 c Restart #112 #Var: 68709 LB: 0 @ 298.42 304.92 c Restart #113 #Var: 68708 LB: 0 @ 304.78 310.99 c Restart #114 #Var: 68707 LB: 0 @ 310.86 315.86 c Restart #115 #Var: 68707 LB: 0 @ 315.72 321.26 c Restart #116 #Var: 68707 LB: 0 @ 321.12 325.86 c Restart #117 #Var: 68707 LB: 0 @ 325.71 331.03 c Restart #118 #Var: 68707 LB: 0 @ 330.88 335.65 c Restart #119 #Var: 68707 LB: 0 @ 335.49 340.91 c Restart #120 #Var: 68707 LB: 0 @ 340.71 350.85 c Restart #121 #Var: 68690 LB: 0 @ 350.62 356.45 c Restart #122 #Var: 68690 LB: 0 @ 356.19 361.67 c Restart #123 #Var: 68690 LB: 0 @ 361.37 367.54 c Restart #124 #Var: 68690 LB: 0 @ 367.21 372.84 c Restart #125 #Var: 68690 LB: 0 @ 372.48
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/node80/watcher-40620-1149309136 -o ROOT/results/node80/solver-40620-1149309136 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/40620-1149309136/instance-40620-1149309136.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1641288/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=4672 CPUtime=0 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 141 0 0 0 0 0 0 0 19 0 1 0 196552159 4784128 123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11410340 0 0 4096 0 0 0 0 17 1 0 0 /proc/4955/statm: 1168 123 102 55 0 46 0 [startup+10.0016 s] /proc/loadavg: 0.93 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1578768/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=67996 CPUtime=9.97 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 1827622 0 0 0 513 484 0 0 25 0 1 0 196552159 69627904 15983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4955/statm: 16999 15983 278 55 0 15890 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 67996 [startup+20.0087 s] /proc/loadavg: 0.94 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1515152/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=134416 CPUtime=19.97 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2981867 0 0 0 1197 800 0 0 25 0 1 0 196552159 137641984 31866 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 33604 31866 294 55 0 32495 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 134416 [startup+30.0148 s] /proc/loadavg: 0.95 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1514960/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=134676 CPUtime=29.97 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2981965 0 0 0 2177 820 0 0 25 0 1 0 196552159 137908224 31931 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 33669 31931 294 55 0 32560 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 134676 [startup+40.0208 s] /proc/loadavg: 0.96 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1515024/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=134676 CPUtime=39.98 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2981969 0 0 0 3159 839 0 0 25 0 1 0 196552159 137908224 31935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 33669 31935 294 55 0 32560 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 134676 [startup+50.0279 s] /proc/loadavg: 0.96 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1514832/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=134808 CPUtime=49.98 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2982004 0 0 0 4144 854 0 0 25 0 1 0 196552159 138043392 31970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 33702 31970 294 55 0 32593 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 134808 [startup+60.034 s] /proc/loadavg: 0.97 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1514832/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=134808 CPUtime=59.98 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2982010 0 0 0 5120 878 0 0 25 0 1 0 196552159 138043392 31976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 33702 31976 294 55 0 32593 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 134808 [startup+70.0401 s] /proc/loadavg: 0.97 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1510864/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=138772 CPUtime=69.99 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2982995 0 0 0 6093 906 0 0 25 0 1 0 196552159 142102528 32961 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 34693 32961 294 55 0 33584 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 138772 [startup+80.0461 s] /proc/loadavg: 0.98 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1438736/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=211088 CPUtime=79.99 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3001018 0 0 0 7073 926 0 0 25 0 1 0 196552159 216154112 50974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 52772 50974 294 55 0 51663 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 211088 [startup+90.0522 s] /proc/loadavg: 0.98 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1360656/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=289536 CPUtime=89.99 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3020538 0 0 0 8062 937 0 0 25 0 1 0 196552159 296484864 70453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 72384 70453 294 55 0 71275 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 289536 [startup+100.058 s] /proc/loadavg: 0.98 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1282704/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=368068 CPUtime=99.99 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3040107 0 0 0 9049 950 0 0 25 0 1 0 196552159 376901632 89903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 92017 89903 294 55 0 90908 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 368068 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1208080/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=442372 CPUtime=109.99 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3058721 0 0 0 10039 960 0 0 25 0 1 0 196552159 452988928 108502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 110593 108502 294 55 0 109484 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 442372 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1137296/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=513936 CPUtime=120 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3076654 0 0 0 11028 972 0 0 25 0 1 0 196552159 526270464 126160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 128484 126160 294 55 0 127375 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 513936 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1067408/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=584644 CPUtime=130 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3094409 0 0 0 12019 981 0 0 25 0 1 0 196552159 598675456 143625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 146161 143625 294 55 0 145052 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 584644 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=1007952/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=644548 CPUtime=140 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3109538 0 0 0 13010 990 0 0 25 0 1 0 196552159 660017152 158464 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 161137 158464 294 55 0 160028 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 644548 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=948240/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=703480 CPUtime=150.01 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3124500 0 0 0 14002 999 0 0 25 0 1 0 196552159 720363520 173344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 175870 173344 294 55 0 174761 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 703480 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=885712/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=766360 CPUtime=160.01 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3140521 0 0 0 14994 1007 0 0 25 0 1 0 196552159 784752640 188955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 191590 188955 294 55 0 190481 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 766360 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=831952/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=821012 CPUtime=170.01 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3154379 0 0 0 15986 1015 0 0 25 0 1 0 196552159 840716288 202309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 205253 202309 294 55 0 204144 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 821012 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=778768/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=875024 CPUtime=180.01 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3168096 0 0 0 16978 1023 0 0 25 0 1 0 196552159 896024576 215616 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 218756 215616 294 55 0 217647 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 875024 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=725136/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=928860 CPUtime=190.01 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3181648 0 0 0 17969 1032 0 0 25 0 1 0 196552159 951152640 229006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 232215 229006 294 55 0 231106 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 928860 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=668368/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=987188 CPUtime=200.01 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3196530 0 0 0 18961 1040 0 0 25 0 1 0 196552159 1010880512 243160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 246797 243160 294 55 0 245688 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 987188 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=616784/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1038280 CPUtime=210.01 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3209411 0 0 0 19954 1047 0 0 25 0 1 0 196552159 1063198720 256041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 259570 256041 294 55 0 258461 0 Current children cumulated CPU time (s) 210.01 Current children cumulated vsize (Kb) 1038280 [startup+220.131 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=565904/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1088880 CPUtime=220.02 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3222245 0 0 0 20947 1055 0 0 25 0 1 0 196552159 1115013120 268780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 272220 268780 294 55 0 271111 0 Current children cumulated CPU time (s) 220.02 Current children cumulated vsize (Kb) 1088880 [startup+230.137 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=508240/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1145828 CPUtime=230.02 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3236674 0 0 0 21939 1063 0 0 25 0 1 0 196552159 1173327872 283117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 286457 283117 294 55 0 285348 0 Current children cumulated CPU time (s) 230.02 Current children cumulated vsize (Kb) 1145828 [startup+240.143 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=462096/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1192072 CPUtime=240.03 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3248367 0 0 0 22934 1069 0 0 25 0 1 0 196552159 1220681728 294641 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 298018 294641 294 55 0 296909 0 Current children cumulated CPU time (s) 240.03 Current children cumulated vsize (Kb) 1192072 [startup+250.149 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=403728/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1249560 CPUtime=250.02 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3262955 0 0 0 23924 1078 0 0 25 0 1 0 196552159 1279549440 309223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 312390 309223 294 55 0 311281 0 Current children cumulated CPU time (s) 250.02 Current children cumulated vsize (Kb) 1249560 [startup+260.155 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=357008/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1297096 CPUtime=260.03 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3274995 0 0 0 24919 1084 0 0 25 0 1 0 196552159 1328226304 320859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 324274 320859 294 55 0 323165 0 Current children cumulated CPU time (s) 260.03 Current children cumulated vsize (Kb) 1297096 [startup+270.162 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=309328/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1344700 CPUtime=270.03 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3287000 0 0 0 25910 1093 0 0 25 0 1 0 196552159 1376972800 332768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 336175 332768 294 55 0 335066 0 Current children cumulated CPU time (s) 270.03 Current children cumulated vsize (Kb) 1344700 [startup+280.168 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=259216/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1394656 CPUtime=280.04 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3299588 0 0 0 26903 1101 0 0 25 0 1 0 196552159 1428127744 345274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 348664 345274 294 55 0 347555 0 Current children cumulated CPU time (s) 280.04 Current children cumulated vsize (Kb) 1394656 [startup+290.174 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=219408/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1434180 CPUtime=290.03 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3309581 0 0 0 27896 1107 0 0 25 0 1 0 196552159 1468600320 355185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 358545 355185 294 55 0 357436 0 Current children cumulated CPU time (s) 290.03 Current children cumulated vsize (Kb) 1434180 [startup+300.18 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=167056/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1488324 CPUtime=300.03 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3323295 0 0 0 28888 1115 0 0 25 0 1 0 196552159 1524043776 368244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 372081 368244 294 55 0 370972 0 Current children cumulated CPU time (s) 300.03 Current children cumulated vsize (Kb) 1488324 [startup+310.186 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=123856/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1531296 CPUtime=310.04 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3334097 0 0 0 29883 1121 0 0 25 0 1 0 196552159 1568047104 379043 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 382824 379043 294 55 0 381715 0 Current children cumulated CPU time (s) 310.04 Current children cumulated vsize (Kb) 1531296 [startup+320.192 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=76944/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1577632 CPUtime=320.04 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3345795 0 0 0 30875 1129 0 0 25 0 1 0 196552159 1615495168 390741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 394408 390742 294 55 0 393299 0 Current children cumulated CPU time (s) 320.04 Current children cumulated vsize (Kb) 1577632 [startup+330.198 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=23888/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1630924 CPUtime=330.04 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3359353 0 0 0 31868 1136 0 0 25 0 1 0 196552159 1670066176 403975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 407731 403975 294 55 0 406622 0 Current children cumulated CPU time (s) 330.04 Current children cumulated vsize (Kb) 1630924 [startup+340.204 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=16272/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1683916 CPUtime=340 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3372794 0 0 0 32855 1145 0 0 25 0 1 0 196552159 1724329984 416770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 420979 416770 294 55 0 419870 0 Current children cumulated CPU time (s) 340 Current children cumulated vsize (Kb) 1683916 [startup+350.211 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=15952/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1712648 CPUtime=349.97 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3380353 0 0 0 33849 1148 0 0 25 0 1 0 196552159 1753751552 423523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 428162 423523 294 55 0 427053 0 Current children cumulated CPU time (s) 349.97 Current children cumulated vsize (Kb) 1712648 [startup+360.218 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=15824/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1759444 CPUtime=359.92 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3392111 0 0 0 34836 1156 0 0 25 0 1 0 196552159 1801670656 435278 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 439861 435278 294 55 0 438752 0 Current children cumulated CPU time (s) 359.92 Current children cumulated vsize (Kb) 1759444 [startup+370.225 s] /proc/loadavg: 0.99 0.98 0.99 2/67 4955 /proc/meminfo: memFree=15056/2055888 swapFree=4085432/4096564 [pid=4955] ppid=4953 vsize=1807608 CPUtime=369.87 /proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3404383 0 0 0 35822 1165 0 0 25 0 1 0 196552159 1850990592 446902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4955/statm: 451902 446902 294 55 0 450793 0 Current children cumulated CPU time (s) 369.87 Current children cumulated vsize (Kb) 1807608 Child ended because it received signal 11 (SIGSEGV) Real time (s): 377.469 CPU time (s): 377.072 CPU user time (s): 365.104 CPU system time (s): 11.9672 CPU usage (%): 99.8948 Max. virtual memory (cumulated for all children) (Kb): 1807608 The end
Begin job on node80 on Sat Jun 3 04:32:16 UTC 2006 FILE ID= 40620-1149309136 PBS_JOBID= 307793 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/40620-1149309136/instance-40620-1149309136.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node80/watcher-40620-1149309136 -o ROOT/results/node80/solver-40620-1149309136 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/40620-1149309136/instance-40620-1149309136.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a5c62cef1e86c64304fd5ef232ab5991 RANDOM SEED= 656749674 /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.264 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.16 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.264 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1641688 kB Buffers: 27948 kB Cached: 317856 kB SwapCached: 2356 kB Active: 39632 kB Inactive: 314852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1641688 kB SwapTotal: 4096564 kB SwapFree: 4085432 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16588 kB Slab: 46388 kB Committed_AS: 344188 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node80 on Sat Jun 3 04:38:34 UTC 2006