Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 200.863 | 201.17 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opb |
MD5SUM | 4a4829ccfb158b9e23ea953e29870120 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 69 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 69 |
Optimality of the best value was proved | NO |
Number of variables | 4600 |
Total number of constraints | 310 |
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 | 310 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 147 |
Number of terms in the objective function | 3424 |
Biggest coefficient in the objective function | 3121 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 527152 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262140 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 527152 |
Number of bits of the biggest sum of numbers | 20 |
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.12 c INFO: OSL Context initialized. 0.24 c Initial problem consists of 4600 variables and 374 constraints. 0.25 c No problem reductions applied in OPT. instance. 0.25 c preprocess terminated. Elapsed time: 0.134 0.25 c After prepocess the problem consists of 4600 variables and 374 constraints. 0.25 c Initial Lower Bound: 0 0.33 c Restart #1 #Var: 4600 LB: 0 @ 0.216 0.46 c Restart #2 #Var: 4600 LB: 0 @ 0.343 0.61 c Restart #3 #Var: 4600 LB: 0 @ 0.499 0.81 c Restart #4 #Var: 4600 LB: 0 @ 0.696 0.99 c Restart #5 #Var: 4600 LB: 0 @ 0.874 1.21 c Restart #6 #Var: 4600 LB: 0 @ 1.092 1.52 c Restart #7 #Var: 4600 LB: 0 @ 1.409 2.22 c Restart #8 #Var: 4600 LB: 0 @ 2.103 2.33 c Restart #9 #Var: 4600 LB: 0 @ 2.213 2.45 c Restart #10 #Var: 4600 LB: 0 @ 2.333 2.58 c Restart #11 #Var: 4600 LB: 0 @ 2.462 2.74 c Restart #12 #Var: 4600 LB: 0 @ 2.622 2.90 c Restart #13 #Var: 4600 LB: 0 @ 2.788 3.07 c Restart #14 #Var: 4600 LB: 0 @ 2.958 3.25 c Restart #15 #Var: 4600 LB: 0 @ 3.133 3.46 c Restart #16 #Var: 4600 LB: 0 @ 3.346 3.68 c Restart #17 #Var: 4600 LB: 0 @ 3.567 3.97 c Restart #18 #Var: 4600 LB: 0 @ 3.857 4.24 c Restart #19 #Var: 4600 LB: 0 @ 4.125 4.58 c Restart #20 #Var: 4600 LB: 0 @ 4.467 4.93 c Restart #21 #Var: 4600 LB: 0 @ 4.814 5.28 c Restart #22 #Var: 4600 LB: 0 @ 5.158 5.72 c Restart #23 #Var: 4600 LB: 0 @ 5.604 6.23 c Restart #24 #Var: 4600 LB: 0 @ 6.109 6.80 c Restart #25 #Var: 4600 LB: 0 @ 6.682 7.27 c Restart #26 #Var: 4600 LB: 0 @ 7.146 7.93 c Restart #27 #Var: 4600 LB: 0 @ 7.81 8.76 c Restart #28 #Var: 4600 LB: 0 @ 8.643 9.59 c Restart #29 #Var: 4600 LB: 0 @ 9.473 10.24 c Restart #30 #Var: 4600 LB: 0 @ 10.115 11.08 c Restart #31 #Var: 4600 LB: 0 @ 10.957 11.89 c Restart #32 #Var: 4600 LB: 0 @ 11.772 12.61 c Restart #33 #Var: 4600 LB: 0 @ 12.486 13.25 c Restart #34 #Var: 4600 LB: 0 @ 13.126 14.25 c Restart #35 #Var: 4600 LB: 0 @ 14.126 14.95 c Restart #36 #Var: 4600 LB: 0 @ 14.823 15.77 c Restart #37 #Var: 4600 LB: 0 @ 15.648 16.67 c Restart #38 #Var: 4600 LB: 0 @ 16.544 17.40 c Restart #39 #Var: 4600 LB: 0 @ 17.278 18.41 c Restart #40 #Var: 4600 LB: 0 @ 18.289 19.40 c Restart #41 #Var: 4600 LB: 0 @ 19.278 20.32 c Restart #42 #Var: 4600 LB: 0 @ 20.193 21.50 c Restart #43 #Var: 4600 LB: 0 @ 21.379 23.07 c Restart #44 #Var: 4600 LB: 0 @ 22.946 24.27 c Restart #45 #Var: 4600 LB: 0 @ 24.142 25.58 c Restart #46 #Var: 4600 LB: 0 @ 25.459 27.28 c Restart #47 #Var: 4600 LB: 0 @ 27.15 28.60 c Restart #48 #Var: 4600 LB: 0 @ 28.469 29.87 c Restart #49 #Var: 4600 LB: 0 @ 29.748 31.10 c Restart #50 #Var: 4600 LB: 0 @ 30.974 32.23 c Restart #51 #Var: 4600 LB: 0 @ 32.106 33.71 c Restart #52 #Var: 4600 LB: 0 @ 33.582 35.01 c Restart #53 #Var: 4600 LB: 0 @ 34.883 36.65 c Restart #54 #Var: 4600 LB: 0 @ 36.518 38.30 c Restart #55 #Var: 4600 LB: 0 @ 38.172 39.86 c Restart #56 #Var: 4600 LB: 0 @ 39.733 41.41 c Restart #57 #Var: 4600 LB: 0 @ 41.284 43.00 c Restart #58 #Var: 4600 LB: 0 @ 42.869 44.75 c Restart #59 #Var: 4600 LB: 0 @ 44.616 46.16 c Restart #60 #Var: 4600 LB: 0 @ 46.032 47.86 c Restart #61 #Var: 4600 LB: 0 @ 47.722 49.34 c Restart #62 #Var: 4600 LB: 0 @ 49.207 51.22 c Restart #63 #Var: 4600 LB: 0 @ 51.085 52.77 c Restart #64 #Var: 4600 LB: 0 @ 52.639 54.69 c Restart #65 #Var: 4600 LB: 0 @ 54.559 56.47 c Restart #66 #Var: 4600 LB: 0 @ 56.335 58.43 c Restart #67 #Var: 4600 LB: 0 @ 58.298 60.36 c Restart #68 #Var: 4600 LB: 0 @ 60.228 62.54 c Restart #69 #Var: 4600 LB: 0 @ 62.398 64.69 c Restart #70 #Var: 4600 LB: 0 @ 64.55 66.69 c Restart #71 #Var: 4600 LB: 0 @ 66.556 69.06 c Restart #72 #Var: 4600 LB: 0 @ 68.922 71.14 c Restart #73 #Var: 4600 LB: 0 @ 71.004 73.53 c Restart #74 #Var: 4600 LB: 0 @ 73.39 75.98 c Restart #75 #Var: 4600 LB: 0 @ 75.841 78.55 c Restart #76 #Var: 4600 LB: 0 @ 78.406 81.02 c Restart #77 #Var: 4600 LB: 0 @ 80.88 83.49 c Restart #78 #Var: 4600 LB: 0 @ 83.349 86.14 c Restart #79 #Var: 4600 LB: 0 @ 85.993 88.44 c Restart #80 #Var: 4600 LB: 0 @ 88.291 91.27 c Restart #81 #Var: 4600 LB: 0 @ 91.125 93.70 c Restart #82 #Var: 4600 LB: 0 @ 93.554 96.52 c Restart #83 #Var: 4600 LB: 0 @ 96.369 99.64 c Restart #84 #Var: 4600 LB: 0 @ 99.492 102.79 c Restart #85 #Var: 4600 LB: 0 @ 102.64 105.67 c Restart #86 #Var: 4600 LB: 0 @ 105.52 108.42 c Restart #87 #Var: 4600 LB: 0 @ 108.27 111.04 c Restart #88 #Var: 4600 LB: 0 @ 110.89 114.15 c Restart #89 #Var: 4600 LB: 0 @ 114 116.99 c Restart #90 #Var: 4600 LB: 0 @ 116.84 120.30 c Restart #91 #Var: 4600 LB: 0 @ 120.15 123.54 c Restart #92 #Var: 4600 LB: 0 @ 123.39 126.40 c Restart #93 #Var: 4600 LB: 0 @ 126.24 129.77 c Restart #94 #Var: 4600 LB: 0 @ 129.61 133.33 c Restart #95 #Var: 4600 LB: 0 @ 133.17 137.11 c Restart #96 #Var: 4600 LB: 0 @ 136.95 141.20 c Restart #97 #Var: 4600 LB: 0 @ 141.04 144.59 c Restart #98 #Var: 4600 LB: 0 @ 144.42 148.24 c Restart #99 #Var: 4600 LB: 0 @ 148.07 151.60 c Restart #100 #Var: 4600 LB: 0 @ 151.44 155.05 c Restart #101 #Var: 4600 LB: 0 @ 154.89 158.41 c Restart #102 #Var: 4600 LB: 0 @ 158.24 161.89 c Restart #103 #Var: 4600 LB: 0 @ 161.72 165.23 c Restart #104 #Var: 4600 LB: 0 @ 165.06 169.18 c Restart #105 #Var: 4600 LB: 0 @ 169.01 172.94 c Restart #106 #Var: 4600 LB: 0 @ 172.77 176.82 c Restart #107 #Var: 4600 LB: 0 @ 176.64 180.76 c Restart #108 #Var: 4600 LB: 0 @ 180.58 184.93 c Restart #109 #Var: 4600 LB: 0 @ 184.76 189.08 c Restart #110 #Var: 4600 LB: 0 @ 188.9 193.33 c Restart #111 #Var: 4600 LB: 0 @ 193.15 198.00 c Restart #112 #Var: 4600 LB: 0 @ 197.82
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/node15/watcher-40040-1149360392 -o ROOT/results/node15/solver-40040-1149360392 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node15/40040-1149360392/instance-40040-1149360392.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.99 2/64 9861 /proc/meminfo: memFree=1592768/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=2900 CPUtime=0 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 201701997 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7512868 0 0 4096 0 0 0 0 17 1 0 0 /proc/9861/statm: 725 27 19 55 0 38 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.98 0.99 2/64 9861 /proc/meminfo: memFree=1456600/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=140936 CPUtime=9.88 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 34359 0 0 0 959 29 0 0 25 0 1 0 201701997 144318464 34242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 35234 34242 297 55 0 34126 0 Current children cumulated CPU time (s) 9.88 Current children cumulated vsize (Kb) 140936 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.99 2/64 9861 /proc/meminfo: memFree=1333272/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=264836 CPUtime=19.88 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 65226 0 0 0 1941 47 0 0 25 0 1 0 201701997 271192064 65065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 66209 65065 297 55 0 65101 0 Current children cumulated CPU time (s) 19.88 Current children cumulated vsize (Kb) 264836 [startup+30.0147 s] /proc/loadavg: 0.95 0.98 0.99 2/64 9861 /proc/meminfo: memFree=1237336/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=361004 CPUtime=29.88 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 89313 0 0 0 2928 60 0 0 25 0 1 0 201701997 369668096 88976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 90251 88976 297 55 0 89143 0 Current children cumulated CPU time (s) 29.88 Current children cumulated vsize (Kb) 361004 [startup+40.0204 s] /proc/loadavg: 0.95 0.98 0.99 2/64 9861 /proc/meminfo: memFree=1131608/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=467092 CPUtime=39.88 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 116016 0 0 0 3915 73 0 0 25 0 1 0 201701997 478302208 115341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 116773 115341 297 55 0 115665 0 Current children cumulated CPU time (s) 39.88 Current children cumulated vsize (Kb) 467092 [startup+50.0271 s] /proc/loadavg: 0.96 0.98 0.99 2/64 9861 /proc/meminfo: memFree=1023576/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=575540 CPUtime=49.88 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 143274 0 0 0 4900 88 0 0 25 0 1 0 201701997 589352960 142331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 143885 142331 297 55 0 142777 0 Current children cumulated CPU time (s) 49.88 Current children cumulated vsize (Kb) 575540 [startup+60.0329 s] /proc/loadavg: 0.97 0.98 0.99 2/64 9861 /proc/meminfo: memFree=919512/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=679672 CPUtime=59.88 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 169356 0 0 0 5886 102 0 0 25 0 1 0 201701997 695984128 168314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 169918 168315 297 55 0 168810 0 Current children cumulated CPU time (s) 59.88 Current children cumulated vsize (Kb) 679672 [startup+70.0386 s] /proc/loadavg: 0.97 0.98 0.99 2/64 9861 /proc/meminfo: memFree=828760/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=772108 CPUtime=69.89 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 192737 0 0 0 6873 116 0 0 25 0 1 0 201701997 790638592 190953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 193027 190954 297 55 0 191919 0 Current children cumulated CPU time (s) 69.89 Current children cumulated vsize (Kb) 772108 [startup+80.0443 s] /proc/loadavg: 0.98 0.98 0.99 2/64 9861 /proc/meminfo: memFree=739416/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=860796 CPUtime=79.89 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 215179 0 0 0 7860 129 0 0 25 0 1 0 201701997 881455104 213231 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 215199 213231 297 55 0 214091 0 Current children cumulated CPU time (s) 79.89 Current children cumulated vsize (Kb) 860796 [startup+90.05 s] /proc/loadavg: 0.98 0.98 0.99 2/64 9861 /proc/meminfo: memFree=648856/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=951632 CPUtime=89.9 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 238048 0 0 0 8848 142 0 0 25 0 1 0 201701997 974471168 235846 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 237908 235846 297 55 0 236800 0 Current children cumulated CPU time (s) 89.9 Current children cumulated vsize (Kb) 951632 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/64 9861 /proc/meminfo: memFree=569880/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=1030748 CPUtime=99.9 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 257894 0 0 0 9839 151 0 0 25 0 1 0 201701997 1055485952 255529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 257687 255529 297 55 0 256579 0 Current children cumulated CPU time (s) 99.9 Current children cumulated vsize (Kb) 1030748 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.99 2/64 9861 /proc/meminfo: memFree=480856/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=1120092 CPUtime=109.9 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 280426 0 0 0 10826 164 0 0 25 0 1 0 201701997 1146974208 277735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 280023 277735 297 55 0 278915 0 Current children cumulated CPU time (s) 109.9 Current children cumulated vsize (Kb) 1120092 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/64 9861 /proc/meminfo: memFree=394968/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=1205628 CPUtime=119.91 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 301861 0 0 0 11815 176 0 0 25 0 1 0 201701997 1234563072 299168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 301407 299168 297 55 0 300299 0 Current children cumulated CPU time (s) 119.91 Current children cumulated vsize (Kb) 1205628 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.99 2/64 9861 /proc/meminfo: memFree=314840/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=1286164 CPUtime=129.9 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 322290 0 0 0 12802 188 0 0 25 0 1 0 201701997 1317031936 319109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 321541 319109 297 55 0 320433 0 Current children cumulated CPU time (s) 129.9 Current children cumulated vsize (Kb) 1286164 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.99 2/64 9861 /proc/meminfo: memFree=240088/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=1361128 CPUtime=139.91 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 341168 0 0 0 13790 201 0 0 25 0 1 0 201701997 1393795072 337825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 340282 337825 297 55 0 339174 0 Current children cumulated CPU time (s) 139.91 Current children cumulated vsize (Kb) 1361128 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.99 2/64 9861 /proc/meminfo: memFree=159256/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=1444792 CPUtime=149.91 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 362481 0 0 0 14778 213 0 0 25 0 1 0 201701997 1479467008 357992 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 361198 357992 297 55 0 360090 0 Current children cumulated CPU time (s) 149.91 Current children cumulated vsize (Kb) 1444792 [startup+160.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 9861 /proc/meminfo: memFree=78104/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=1526292 CPUtime=159.91 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 382883 0 0 0 15767 224 0 0 25 0 1 0 201701997 1562923008 378226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 381573 378226 297 55 0 380465 0 Current children cumulated CPU time (s) 159.91 Current children cumulated vsize (Kb) 1526292 [startup+170.096 s] /proc/loadavg: 0.99 0.98 0.99 2/64 9861 /proc/meminfo: memFree=15192/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=1602960 CPUtime=169.91 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 402124 0 0 0 16754 237 0 0 25 0 1 0 201701997 1641431040 397365 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 400740 397365 297 55 0 399632 0 Current children cumulated CPU time (s) 169.91 Current children cumulated vsize (Kb) 1602960 [startup+180.102 s] /proc/loadavg: 0.99 0.98 0.99 2/64 9861 /proc/meminfo: memFree=15192/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=1693260 CPUtime=179.92 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 424734 0 0 0 17742 250 0 0 25 0 1 0 201701997 1733898240 419975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 423315 419975 297 55 0 422207 0 Current children cumulated CPU time (s) 179.92 Current children cumulated vsize (Kb) 1693260 [startup+190.107 s] /proc/loadavg: 0.99 0.98 0.99 2/64 9861 /proc/meminfo: memFree=14872/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=1755432 CPUtime=189.92 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 440435 0 0 0 18732 260 0 0 25 0 1 0 201701997 1797562368 435676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 438858 435676 297 55 0 437750 0 Current children cumulated CPU time (s) 189.92 Current children cumulated vsize (Kb) 1755432 [startup+200.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 9861 /proc/meminfo: memFree=15576/2055920 swapFree=4181408/4192956 [pid=9861] ppid=9859 vsize=1831820 CPUtime=199.82 /proc/9861/stat : 9861 (bsolo) R 9859 9861 9815 0 -1 0 459763 0 0 0 19710 272 0 0 25 0 1 0 201701997 1875783680 454592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9861/statm: 457955 454592 297 55 0 456847 0 Current children cumulated CPU time (s) 199.82 Current children cumulated vsize (Kb) 1831820 Child ended because it received signal 6 (SIGABRT) Real time (s): 201.17 CPU time (s): 200.863 CPU user time (s): 197.854 CPU system time (s): 3.00954 CPU usage (%): 99.8478 Max. virtual memory (cumulated for all children) (Kb): 1831820 The end
Begin job on node15 on Sat Jun 3 18:46:32 UTC 2006 FILE ID= 40040-1149360392 PBS_JOBID= 311474 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node15/40040-1149360392/instance-40040-1149360392.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-40040-1149360392 -o ROOT/results/node15/solver-40040-1149360392 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node15/40040-1149360392/instance-40040-1149360392.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 4a4829ccfb158b9e23ea953e29870120 RANDOM SEED= 277996751 /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.285 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.285 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: 1592976 kB Buffers: 37064 kB Cached: 352324 kB SwapCached: 3176 kB Active: 39444 kB Inactive: 358572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1592976 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14692 kB Slab: 50924 kB Committed_AS: 360336 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Sat Jun 3 18:49:53 UTC 2006