Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 862.217 | 862.465 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-fiber.opb |
MD5SUM | c3570b707fa12d3d9c0d2ae31848c1b3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 81843431 |
Best CPU time to get the best result obtained on this benchmark | 1801.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65313511 |
Optimality of the best value was proved | NO |
Number of variables | 2574 |
Total number of constraints | 363 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 327 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 1254 |
Biggest coefficient in the objective function | 72966962 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 4807778524 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 4807778524 |
Number of bits of the biggest sum of numbers | 33 |
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 BIG Int formula... 0.05 c Initial problem consists of 2574 variables and 711 constraints. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.06 0.07 c After prepocess the problem consists of 2066 variables and 590 constraints. 0.07 c Initial Lower Bound: 690360 0.10 c Restart #1 #Var: 2066 LB: 690360 @ 0.096 0.19 c Restart #2 #Var: 2066 LB: 690360 @ 0.185 0.33 c Restart #3 #Var: 2066 LB: 690360 @ 0.32 0.51 c Restart #4 #Var: 2066 LB: 690360 @ 0.502 0.73 c Restart #5 #Var: 2066 LB: 690360 @ 0.721 1.04 c Restart #6 #Var: 2066 LB: 690360 @ 1.031 1.34 c Restart #7 #Var: 2066 LB: 690360 @ 1.338 1.45 c Restart #8 #Var: 2066 LB: 690360 @ 1.444 1.59 c Restart #9 #Var: 2066 LB: 690360 @ 1.579 1.72 c Restart #10 #Var: 2066 LB: 690360 @ 1.716 1.88 c Restart #11 #Var: 2066 LB: 690360 @ 1.876 2.02 c Restart #12 #Var: 2066 LB: 690360 @ 2.015 2.22 c Restart #13 #Var: 2066 LB: 690360 @ 2.216 2.47 c Restart #14 #Var: 2066 LB: 690360 @ 2.463 2.67 c Restart #15 #Var: 2066 LB: 690360 @ 2.663 2.87 c Restart #16 #Var: 2066 LB: 690360 @ 2.862 3.08 c Restart #17 #Var: 2066 LB: 690360 @ 3.071 3.31 c Restart #18 #Var: 2066 LB: 690360 @ 3.3 3.54 c Restart #19 #Var: 2066 LB: 690360 @ 3.527 3.78 c Restart #20 #Var: 2066 LB: 690360 @ 3.767 4.01 c Restart #21 #Var: 2066 LB: 690360 @ 3.994 4.23 c Restart #22 #Var: 2066 LB: 690360 @ 4.214 4.51 c Restart #23 #Var: 2066 LB: 690360 @ 4.503 4.91 c Restart #24 #Var: 2066 LB: 690360 @ 4.897 5.26 c Restart #25 #Var: 2066 LB: 690360 @ 5.252 5.99 c Restart #26 #Var: 2066 LB: 690360 @ 5.978 6.61 c Restart #27 #Var: 2066 LB: 690360 @ 6.598 7.52 c Restart #28 #Var: 2066 LB: 690360 @ 7.502 7.90 c Restart #29 #Var: 2066 LB: 690360 @ 7.889 8.86 c Restart #30 #Var: 2066 LB: 690360 @ 8.852 9.31 c Restart #31 #Var: 2066 LB: 690360 @ 9.3 10.27 c Restart #32 #Var: 2066 LB: 690360 @ 10.255 10.87 c Restart #33 #Var: 2066 LB: 690360 @ 10.853 11.77 c Restart #34 #Var: 2066 LB: 690360 @ 11.753 12.30 c Restart #35 #Var: 2066 LB: 690360 @ 12.288 13.23 c Restart #36 #Var: 2066 LB: 690360 @ 13.219 13.94 c Restart #37 #Var: 2066 LB: 690360 @ 13.926 14.87 c Restart #38 #Var: 2066 LB: 690360 @ 14.855 15.34 c Restart #39 #Var: 2066 LB: 690360 @ 15.328 15.98 c Restart #40 #Var: 2066 LB: 690360 @ 15.96 16.70 c Restart #41 #Var: 2066 LB: 690360 @ 16.686 17.61 c Restart #42 #Var: 2066 LB: 690360 @ 17.598 18.85 c Restart #43 #Var: 2066 LB: 690360 @ 18.839 20.20 c Restart #44 #Var: 2066 LB: 690360 @ 20.189 21.36 c Restart #45 #Var: 2066 LB: 690360 @ 21.341 22.38 c Restart #46 #Var: 2066 LB: 690360 @ 22.367 22.90 c Restart #47 #Var: 2066 LB: 690360 @ 22.879 26.13 c Restart #48 #Var: 2066 LB: 690360 @ 26.117 27.38 c Restart #49 #Var: 2066 LB: 690360 @ 27.359 27.98 c Restart #50 #Var: 2066 LB: 690360 @ 27.965 29.33 c Restart #51 #Var: 2066 LB: 690360 @ 29.313 32.84 c Restart #52 #Var: 2066 LB: 690360 @ 32.82 38.75 c Restart #53 #Var: 2066 LB: 690360 @ 38.733 44.60 c Restart #54 #Var: 2066 LB: 690360 @ 44.58 50.54 c Restart #55 #Var: 2066 LB: 690360 @ 50.52 54.75 c Restart #56 #Var: 2066 LB: 690360 @ 54.728 55.86 c Restart #57 #Var: 2066 LB: 690360 @ 55.835 58.05 c Restart #58 #Var: 2066 LB: 690360 @ 58.028 60.13 c Restart #59 #Var: 2066 LB: 690360 @ 60.1 63.92 c Restart #60 #Var: 2066 LB: 690360 @ 63.887 67.41 c Restart #61 #Var: 2066 LB: 690360 @ 67.385 71.79 c Restart #62 #Var: 2066 LB: 690360 @ 71.757 72.70 c Restart #63 #Var: 2066 LB: 690360 @ 72.669 73.82 c Restart #64 #Var: 2066 LB: 690360 @ 73.792 76.11 c Restart #65 #Var: 2066 LB: 690360 @ 76.08 78.02 c Restart #66 #Var: 2066 LB: 690360 @ 77.992 81.54 c Restart #67 #Var: 2066 LB: 690360 @ 81.506 85.12 c Restart #68 #Var: 2066 LB: 690360 @ 85.083 89.89 c Restart #69 #Var: 2066 LB: 690360 @ 89.856 94.54 c Restart #70 #Var: 2066 LB: 690360 @ 94.501 100.20 c Restart #71 #Var: 2066 LB: 690360 @ 100.17 104.44 c Restart #72 #Var: 2066 LB: 690360 @ 104.4 110.86 c Restart #73 #Var: 2066 LB: 690360 @ 110.82 115.74 c Restart #74 #Var: 2066 LB: 690360 @ 115.7 122.48 c Restart #75 #Var: 2066 LB: 690360 @ 122.43 129.27 c Restart #76 #Var: 2066 LB: 690360 @ 129.22 137.95 c Restart #77 #Var: 2066 LB: 690360 @ 137.9 143.15 c Restart #78 #Var: 2066 LB: 690360 @ 143.1 151.46 c Restart #79 #Var: 2066 LB: 690360 @ 151.41 161.91 c Restart #80 #Var: 2066 LB: 690360 @ 161.86 171.27 c Restart #81 #Var: 2066 LB: 690360 @ 171.22 181.40 c Restart #82 #Var: 2066 LB: 690360 @ 181.34 191.94 c Restart #83 #Var: 2066 LB: 690360 @ 191.88 201.46 c Restart #84 #Var: 2066 LB: 690360 @ 201.39 217.09 c Restart #85 #Var: 2066 LB: 690360 @ 217.02 228.04 c Restart #86 #Var: 2066 LB: 690360 @ 227.97 238.54 c Restart #87 #Var: 2066 LB: 690360 @ 238.46 251.08 c Restart #88 #Var: 2066 LB: 690360 @ 251 261.20 c Restart #89 #Var: 2066 LB: 690360 @ 261.12 272.05 c Restart #90 #Var: 2066 LB: 690360 @ 271.97 283.18 c Restart #91 #Var: 2066 LB: 690360 @ 283.09 293.83 c Restart #92 #Var: 2066 LB: 690360 @ 293.74 310.98 c Restart #93 #Var: 2066 LB: 690360 @ 310.88 325.12 c Restart #94 #Var: 2066 LB: 690360 @ 325.02 332.86 c Restart #95 #Var: 2066 LB: 690360 @ 332.76 349.28 c Restart #96 #Var: 2066 LB: 690360 @ 349.17 367.09 c Restart #97 #Var: 2066 LB: 690360 @ 366.99 381.15 c Restart #98 #Var: 2066 LB: 690360 @ 381.04 401.43 c Restart #99 #Var: 2066 LB: 690360 @ 401.31 422.48 c Restart #100 #Var: 2066 LB: 690360 @ 422.36 441.76 c Restart #101 #Var: 2066 LB: 690360 @ 441.63 456.97 c Restart #102 #Var: 2066 LB: 690360 @ 456.83 475.84 c Restart #103 #Var: 2066 LB: 690360 @ 475.7 497.83 c Restart #104 #Var: 2066 LB: 690360 @ 497.69 501.09 c Restart #105 #Var: 2066 LB: 690360 @ 500.94 510.60 c Restart #106 #Var: 2066 LB: 690360 @ 510.45 514.30 c Restart #107 #Var: 2066 LB: 690360 @ 514.15 527.99 c Restart #108 #Var: 2066 LB: 690360 @ 527.83 546.77 c Restart #109 #Var: 2066 LB: 690360 @ 546.61 566.16 c Restart #110 #Var: 2066 LB: 690360 @ 566 569.69 c Restart #111 #Var: 2066 LB: 690360 @ 569.52 574.56 c Restart #112 #Var: 2066 LB: 690360 @ 574.39 580.13 c Restart #113 #Var: 2066 LB: 690360 @ 579.96 583.54 c Restart #114 #Var: 2066 LB: 690360 @ 583.37 593.91 c Restart #115 #Var: 2066 LB: 690360 @ 593.74 602.68 c Restart #116 #Var: 2066 LB: 690360 @ 602.51 613.61 c Restart #117 #Var: 2066 LB: 690360 @ 613.43 622.38 c Restart #118 #Var: 2066 LB: 690360 @ 622.2 636.01 c Restart #119 #Var: 2066 LB: 690360 @ 635.83 649.63 c Restart #120 #Var: 2066 LB: 690360 @ 649.45 660.44 c Restart #121 #Var: 2066 LB: 690360 @ 660.25 677.77 c Restart #122 #Var: 2066 LB: 690360 @ 677.57 700.03 c Restart #123 #Var: 2066 LB: 690360 @ 699.83 711.12 c Restart #124 #Var: 2066 LB: 690360 @ 710.92 733.33 c Restart #125 #Var: 2066 LB: 690360 @ 733.12 739.50 c Restart #126 #Var: 2066 LB: 690360 @ 739.29 744.02 c Restart #127 #Var: 2066 LB: 690360 @ 743.81 747.48 c Restart #128 #Var: 2066 LB: 690360 @ 747.27 752.07 c Restart #129 #Var: 2066 LB: 690360 @ 751.86 758.12 c Restart #130 #Var: 2066 LB: 690360 @ 757.91 775.35 c Restart #131 #Var: 2066 LB: 690360 @ 775.13 789.09 c Restart #132 #Var: 2066 LB: 690360 @ 788.87 853.22 c Restart #133 #Var: 2066 LB: 690360 @ 852.98
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/node11/watcher-40744-1149314989 -o ROOT/results/node11/solver-40744-1149314989 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40744-1149314989/instance-40744-1149314989.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 1/64 3574 /proc/meminfo: memFree=1825728/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=4664 CPUtime=0 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 140 0 0 0 0 0 0 0 19 0 1 0 197161415 4775936 121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7983192 0 0 4096 0 0 0 0 17 1 0 0 /proc/3574/statm: 1166 123 103 55 0 46 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1705408/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=124624 CPUtime=9.98 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 30385 0 0 0 964 34 0 0 25 0 1 0 197161415 127614976 30299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 31156 30299 300 55 0 30048 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 124624 [startup+20.0097 s] /proc/loadavg: 0.94 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1631568/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=198492 CPUtime=19.98 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 48833 0 0 0 1951 47 0 0 25 0 1 0 197161415 203255808 48742 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 49623 48743 300 55 0 48515 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 198492 [startup+30.0159 s] /proc/loadavg: 0.95 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1564432/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=265760 CPUtime=29.99 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 65606 0 0 0 2940 59 0 0 25 0 1 0 197161415 272138240 65512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 66440 65512 300 55 0 65332 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 265760 [startup+40.0221 s] /proc/loadavg: 0.96 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1543056/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=287212 CPUtime=39.99 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 70933 0 0 0 3936 63 0 0 25 0 1 0 197161415 294105088 70835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 71803 70835 300 55 0 70695 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 287212 [startup+50.0283 s] /proc/loadavg: 0.96 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1523280/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=306936 CPUtime=50 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 75889 0 0 0 4932 68 0 0 25 0 1 0 197161415 314302464 75786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 76734 75786 300 55 0 75626 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 306936 [startup+60.0345 s] /proc/loadavg: 0.97 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1478800/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=351480 CPUtime=60 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 86990 0 0 0 5924 76 0 0 25 0 1 0 197161415 359915520 86882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 87870 86882 300 55 0 86762 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 351480 [startup+70.0407 s] /proc/loadavg: 0.97 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1448016/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=382360 CPUtime=70 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 94675 0 0 0 6920 80 0 0 25 0 1 0 197161415 391536640 94561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 95590 94561 300 55 0 94482 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 382360 [startup+80.0469 s] /proc/loadavg: 0.98 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1380816/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=449612 CPUtime=80.01 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 111448 0 0 0 7909 92 0 0 25 0 1 0 197161415 460402688 111333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 112403 111333 300 55 0 111295 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 449612 [startup+90.0531 s] /proc/loadavg: 0.98 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1344528/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=485976 CPUtime=90.01 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 120508 0 0 0 8901 100 0 0 25 0 1 0 197161415 497639424 120383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 121494 120383 300 55 0 120386 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 485976 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1314128/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=516524 CPUtime=100.02 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 128109 0 0 0 9896 106 0 0 25 0 1 0 197161415 528920576 127975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 129131 127975 300 55 0 128023 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 516524 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1283536/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=547240 CPUtime=110.02 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 135743 0 0 0 10890 112 0 0 25 0 1 0 197161415 560373760 135599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 136810 135599 300 55 0 135702 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 547240 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1254096/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=576640 CPUtime=120.02 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 143092 0 0 0 11883 119 0 0 25 0 1 0 197161415 590479360 142944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 144160 142944 300 55 0 143052 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 576640 [startup+130.078 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1232080/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=598844 CPUtime=130.02 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 148599 0 0 0 12878 124 0 0 25 0 1 0 197161415 613216256 148439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548420 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 149711 148439 300 55 0 148603 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 598844 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1210192/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=620840 CPUtime=140.03 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 154074 0 0 0 13875 128 0 0 25 0 1 0 197161415 635740160 153910 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 155210 153910 300 55 0 154102 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 620840 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1184272/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=646724 CPUtime=150.03 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 160544 0 0 0 14870 133 0 0 25 0 1 0 197161415 662245376 160369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 161681 160369 300 55 0 160573 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 646724 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1165520/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=665600 CPUtime=160.04 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 165243 0 0 0 15868 136 0 0 25 0 1 0 197161415 681574400 165048 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 166400 165048 300 55 0 165292 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 665600 [startup+170.102 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1148432/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=683088 CPUtime=170.03 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 169525 0 0 0 16865 138 0 0 25 0 1 0 197161415 699482112 169321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 170772 169321 300 55 0 169664 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 683088 [startup+180.108 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1129808/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=701912 CPUtime=180.04 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 174190 0 0 0 17863 141 0 0 25 0 1 0 197161415 718757888 173981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 175478 173981 300 55 0 174370 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 701912 [startup+190.115 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1114064/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=717440 CPUtime=190.04 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 178099 0 0 0 18861 143 0 0 25 0 1 0 197161415 734658560 177885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 179360 177885 300 55 0 178252 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 717440 [startup+200.12 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1091600/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=739784 CPUtime=200.05 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 183696 0 0 0 19857 148 0 0 25 0 1 0 197161415 757538816 183482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 184946 183482 300 55 0 183838 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 739784 [startup+210.126 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=1079504/2055920 swapFree=4181380/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 650.21 Current children cumulated vsize (Kb) 1507776 [startup+660.407 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=304272/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1531696 CPUtime=660.21 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 382179 0 0 0 65729 292 0 0 25 0 1 0 197161415 1568456704 379904 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 382924 379904 300 55 0 381816 0 Current children cumulated CPU time (s) 660.21 Current children cumulated vsize (Kb) 1531696 [startup+670.414 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=291856/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1544084 CPUtime=670.21 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 385289 0 0 0 66726 295 0 0 25 0 1 0 197161415 1581142016 383010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 386021 383010 300 55 0 384913 0 Current children cumulated CPU time (s) 670.21 Current children cumulated vsize (Kb) 1544084 [startup+680.421 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=279888/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1555928 CPUtime=680.22 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 388277 0 0 0 67724 298 0 0 25 0 1 0 197161415 1593270272 385988 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 388982 385988 300 55 0 387874 0 Current children cumulated CPU time (s) 680.22 Current children cumulated vsize (Kb) 1555928 [startup+690.427 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=271248/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1564748 CPUtime=690.22 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 390445 0 0 0 68722 300 0 0 25 0 1 0 197161415 1602301952 388145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 391187 388145 300 55 0 390079 0 Current children cumulated CPU time (s) 690.22 Current children cumulated vsize (Kb) 1564748 [startup+700.433 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=256656/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1579400 CPUtime=700.22 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 394102 0 0 0 69719 303 0 0 25 0 1 0 197161415 1617305600 391784 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 394850 391784 300 55 0 393742 0 Current children cumulated CPU time (s) 700.22 Current children cumulated vsize (Kb) 1579400 [startup+710.439 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=235024/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1601104 CPUtime=710.23 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 399522 0 0 0 70714 309 0 0 25 0 1 0 197161415 1639530496 397200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 400276 397201 300 55 0 399168 0 Current children cumulated CPU time (s) 710.23 Current children cumulated vsize (Kb) 1601104 [startup+720.445 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=230288/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1605836 CPUtime=720.23 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 400692 0 0 0 71714 309 0 0 25 0 1 0 197161415 1644376064 398367 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 401459 398367 300 55 0 400351 0 Current children cumulated CPU time (s) 720.23 Current children cumulated vsize (Kb) 1605836 [startup+730.452 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=209296/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1626756 CPUtime=730.23 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 405931 0 0 0 72711 312 0 0 25 0 1 0 197161415 1665798144 403604 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 406689 403604 300 55 0 405581 0 Current children cumulated CPU time (s) 730.23 Current children cumulated vsize (Kb) 1626756 [startup+740.458 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=182288/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1653804 CPUtime=740.23 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 412739 0 0 0 73706 317 0 0 25 0 1 0 197161415 1693495296 410320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 413451 410320 300 55 0 412343 0 Current children cumulated CPU time (s) 740.23 Current children cumulated vsize (Kb) 1653804 [startup+750.464 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=119120/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1717180 CPUtime=750.25 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 428539 0 0 0 74694 331 0 0 25 0 1 0 197161415 1758392320 426111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 429295 426111 300 55 0 428187 0 Current children cumulated CPU time (s) 750.25 Current children cumulated vsize (Kb) 1717180 [startup+760.47 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=82704/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1753924 CPUtime=760.24 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 437635 0 0 0 75687 337 0 0 25 0 1 0 197161415 1796018176 435182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 438481 435182 300 55 0 437373 0 Current children cumulated CPU time (s) 760.24 Current children cumulated vsize (Kb) 1753924 [startup+770.476 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=65680/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1771404 CPUtime=770.25 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 441997 0 0 0 76684 341 0 0 25 0 1 0 197161415 1813917696 439442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 442851 439442 300 55 0 441743 0 Current children cumulated CPU time (s) 770.25 Current children cumulated vsize (Kb) 1771404 [startup+780.482 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=53328/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1783644 CPUtime=780.26 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 445075 0 0 0 77682 344 0 0 25 0 1 0 197161415 1826451456 442510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 445911 442510 300 55 0 444803 0 Current children cumulated CPU time (s) 780.26 Current children cumulated vsize (Kb) 1783644 [startup+790.489 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=31504/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1805708 CPUtime=790.26 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 450544 0 0 0 78679 347 0 0 25 0 1 0 197161415 1849044992 447962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 451427 447962 300 55 0 450319 0 Current children cumulated CPU time (s) 790.26 Current children cumulated vsize (Kb) 1805708 [startup+800.495 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=30864/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1806236 CPUtime=800.25 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 450705 0 0 0 79678 347 0 0 25 0 1 0 197161415 1849585664 448123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 451559 448123 300 55 0 450451 0 Current children cumulated CPU time (s) 800.25 Current children cumulated vsize (Kb) 1806236 [startup+810.501 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=28880/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1808216 CPUtime=810.26 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 451195 0 0 0 80678 348 0 0 25 0 1 0 197161415 1851613184 448613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 452054 448613 300 55 0 450946 0 Current children cumulated CPU time (s) 810.26 Current children cumulated vsize (Kb) 1808216 [startup+820.507 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=24720/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1812384 CPUtime=820.27 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 452228 0 0 0 81677 350 0 0 25 0 1 0 197161415 1855881216 449644 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 453096 449644 300 55 0 451988 0 Current children cumulated CPU time (s) 820.27 Current children cumulated vsize (Kb) 1812384 [startup+830.513 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=17552/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1819840 CPUtime=830.27 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 454049 0 0 0 82675 352 0 0 25 0 1 0 197161415 1863516160 451455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 454960 451455 300 55 0 453852 0 Current children cumulated CPU time (s) 830.27 Current children cumulated vsize (Kb) 1819840 [startup+840.52 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=16272/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1827364 CPUtime=840.27 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 455939 0 0 0 83673 354 0 0 25 0 1 0 197161415 1871220736 453345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 456841 453345 300 55 0 455733 0 Current children cumulated CPU time (s) 840.27 Current children cumulated vsize (Kb) 1827364 [startup+850.526 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=16272/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1830532 CPUtime=850.28 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 456744 0 0 0 84672 356 0 0 25 0 1 0 197161415 1874464768 454150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 457633 454150 300 55 0 456525 0 Current children cumulated CPU time (s) 850.28 Current children cumulated vsize (Kb) 1830532 [startup+860.532 s] /proc/loadavg: 0.99 0.98 0.96 2/64 3574 /proc/meminfo: memFree=16080/2055920 swapFree=4181380/4192956 [pid=3574] ppid=3572 vsize=1838708 CPUtime=860.28 /proc/3574/stat : 3574 (bsolo) R 3572 3574 3528 0 -1 0 458769 0 0 0 85671 357 0 0 25 0 1 0 197161415 1882836992 456167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540638 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3574/statm: 459677 456167 300 55 0 458569 0 Current children cumulated CPU time (s) 860.28 Current children cumulated vsize (Kb) 1838708 Child ended because it received signal 11 (SIGSEGV) Real time (s): 862.465 CPU time (s): 862.217 CPU user time (s): 858.348 CPU system time (s): 3.86841 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (Kb): 1838708 The end
Begin job on node11 on Sat Jun 3 06:09:49 UTC 2006 FILE ID= 40744-1149314989 PBS_JOBID= 308290 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40744-1149314989/instance-40744-1149314989.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-40744-1149314989 -o ROOT/results/node11/solver-40744-1149314989 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40744-1149314989/instance-40744-1149314989.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c3570b707fa12d3d9c0d2ae31848c1b3 RANDOM SEED= 492233526 /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.222 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 : 5931.00 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.222 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: 1825944 kB Buffers: 17472 kB Cached: 143964 kB SwapCached: 3260 kB Active: 34728 kB Inactive: 135340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1825944 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14740 kB Slab: 45912 kB Committed_AS: 357504 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node11 on Sat Jun 3 06:24:11 UTC 2006