Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 196.257 | 196.333 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb |
MD5SUM | c346de7e1ba29a95ee9f392619231545 |
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 | 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 | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 180407058264 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 180407058264 |
Number of bits of the biggest sum of numbers | 38 |
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.13 c Initial problem consists of 4600 variables and 374 constraints. 0.14 c No problem reductions applied in OPT. instance. 0.14 c preprocess terminated. Elapsed time: 0.131 0.14 c After prepocess the problem consists of 4600 variables and 374 constraints. 0.14 c Initial Lower Bound: 0 0.23 c Restart #1 #Var: 4600 LB: 0 @ 0.218 0.36 c Restart #2 #Var: 4600 LB: 0 @ 0.349 0.53 c Restart #3 #Var: 4600 LB: 0 @ 0.513 0.73 c Restart #4 #Var: 4600 LB: 0 @ 0.715 0.91 c Restart #5 #Var: 4600 LB: 0 @ 0.898 1.14 c Restart #6 #Var: 4600 LB: 0 @ 1.124 1.46 c Restart #7 #Var: 4600 LB: 0 @ 1.449 1.80 c Restart #8 #Var: 4600 LB: 0 @ 1.791 2.11 c Restart #9 #Var: 4600 LB: 0 @ 2.102 2.42 c Restart #10 #Var: 4600 LB: 0 @ 2.41 2.69 c Restart #11 #Var: 4600 LB: 0 @ 2.675 2.87 c Restart #12 #Var: 4600 LB: 0 @ 2.862 3.05 c Restart #13 #Var: 4600 LB: 0 @ 3.034 3.23 c Restart #14 #Var: 4600 LB: 0 @ 3.214 3.43 c Restart #15 #Var: 4600 LB: 0 @ 3.417 3.66 c Restart #16 #Var: 4600 LB: 0 @ 3.648 3.89 c Restart #17 #Var: 4600 LB: 0 @ 3.873 4.15 c Restart #18 #Var: 4600 LB: 0 @ 4.141 4.41 c Restart #19 #Var: 4600 LB: 0 @ 4.397 4.73 c Restart #20 #Var: 4600 LB: 0 @ 4.715 5.05 c Restart #21 #Var: 4600 LB: 0 @ 5.039 5.37 c Restart #22 #Var: 4600 LB: 0 @ 5.352 5.79 c Restart #23 #Var: 4600 LB: 0 @ 5.778 6.24 c Restart #24 #Var: 4600 LB: 0 @ 6.225 6.73 c Restart #25 #Var: 4600 LB: 0 @ 6.715 7.16 c Restart #26 #Var: 4600 LB: 0 @ 7.149 7.80 c Restart #27 #Var: 4600 LB: 0 @ 7.782 8.35 c Restart #28 #Var: 4600 LB: 0 @ 8.331 9.05 c Restart #29 #Var: 4600 LB: 0 @ 9.033 9.64 c Restart #30 #Var: 4600 LB: 0 @ 9.624 10.15 c Restart #31 #Var: 4600 LB: 0 @ 10.128 10.72 c Restart #32 #Var: 4600 LB: 0 @ 10.7 11.36 c Restart #33 #Var: 4600 LB: 0 @ 11.343 12.05 c Restart #34 #Var: 4600 LB: 0 @ 12.033 12.83 c Restart #35 #Var: 4600 LB: 0 @ 12.815 13.57 c Restart #36 #Var: 4600 LB: 0 @ 13.553 14.30 c Restart #37 #Var: 4600 LB: 0 @ 14.279 15.12 c Restart #38 #Var: 4600 LB: 0 @ 15.095 15.91 c Restart #39 #Var: 4600 LB: 0 @ 15.886 16.73 c Restart #40 #Var: 4600 LB: 0 @ 16.706 17.64 c Restart #41 #Var: 4600 LB: 0 @ 17.616 18.39 c Restart #42 #Var: 4600 LB: 0 @ 18.373 19.46 c Restart #43 #Var: 4600 LB: 0 @ 19.435 20.52 c Restart #44 #Var: 4600 LB: 0 @ 20.496 21.63 c Restart #45 #Var: 4600 LB: 0 @ 21.607 22.71 c Restart #46 #Var: 4600 LB: 0 @ 22.69 23.86 c Restart #47 #Var: 4600 LB: 0 @ 23.84 24.98 c Restart #48 #Var: 4600 LB: 0 @ 24.956 26.14 c Restart #49 #Var: 4600 LB: 0 @ 26.114 27.44 c Restart #50 #Var: 4600 LB: 0 @ 27.411 28.45 c Restart #51 #Var: 4600 LB: 0 @ 28.429 29.72 c Restart #52 #Var: 4600 LB: 0 @ 29.691 31.17 c Restart #53 #Var: 4600 LB: 0 @ 31.141 32.54 c Restart #54 #Var: 4600 LB: 0 @ 32.513 34.10 c Restart #55 #Var: 4600 LB: 0 @ 34.071 35.48 c Restart #56 #Var: 4600 LB: 0 @ 35.452 37.27 c Restart #57 #Var: 4600 LB: 0 @ 37.248 38.63 c Restart #58 #Var: 4600 LB: 0 @ 38.602 40.23 c Restart #59 #Var: 4600 LB: 0 @ 40.203 41.60 c Restart #60 #Var: 4600 LB: 0 @ 41.572 43.14 c Restart #61 #Var: 4600 LB: 0 @ 43.111 44.57 c Restart #62 #Var: 4600 LB: 0 @ 44.544 46.21 c Restart #63 #Var: 4600 LB: 0 @ 46.178 47.73 c Restart #64 #Var: 4600 LB: 0 @ 47.703 49.39 c Restart #65 #Var: 4600 LB: 0 @ 49.362 50.94 c Restart #66 #Var: 4600 LB: 0 @ 50.914 52.75 c Restart #67 #Var: 4600 LB: 0 @ 52.72 54.46 c Restart #68 #Var: 4600 LB: 0 @ 54.429 56.38 c Restart #69 #Var: 4600 LB: 0 @ 56.343 58.18 c Restart #70 #Var: 4600 LB: 0 @ 58.146 60.16 c Restart #71 #Var: 4600 LB: 0 @ 60.124 62.05 c Restart #72 #Var: 4600 LB: 0 @ 62.016 64.14 c Restart #73 #Var: 4600 LB: 0 @ 64.101 66.22 c Restart #74 #Var: 4600 LB: 0 @ 66.19 68.08 c Restart #75 #Var: 4600 LB: 0 @ 68.048 70.47 c Restart #76 #Var: 4600 LB: 0 @ 70.432 72.51 c Restart #77 #Var: 4600 LB: 0 @ 72.471 74.88 c Restart #78 #Var: 4600 LB: 0 @ 74.838 77.49 c Restart #79 #Var: 4600 LB: 0 @ 77.452 79.83 c Restart #80 #Var: 4600 LB: 0 @ 79.795 82.34 c Restart #81 #Var: 4600 LB: 0 @ 82.302 85.08 c Restart #82 #Var: 4600 LB: 0 @ 85.043 87.24 c Restart #83 #Var: 4600 LB: 0 @ 87.197 90.13 c Restart #84 #Var: 4600 LB: 0 @ 90.089 92.75 c Restart #85 #Var: 4600 LB: 0 @ 92.704 95.70 c Restart #86 #Var: 4600 LB: 0 @ 95.656 99.10 c Restart #87 #Var: 4600 LB: 0 @ 99.053 102.09 c Restart #88 #Var: 4600 LB: 0 @ 102.05 105.60 c Restart #89 #Var: 4600 LB: 0 @ 105.56 108.57 c Restart #90 #Var: 4600 LB: 0 @ 108.52 112.07 c Restart #91 #Var: 4600 LB: 0 @ 112.02 115.66 c Restart #92 #Var: 4600 LB: 0 @ 115.61 119.10 c Restart #93 #Var: 4600 LB: 0 @ 119.05 122.93 c Restart #94 #Var: 4600 LB: 0 @ 122.88 126.09 c Restart #95 #Var: 4600 LB: 0 @ 126.04 130.07 c Restart #96 #Var: 4600 LB: 0 @ 130.02 134.55 c Restart #97 #Var: 4600 LB: 0 @ 134.5 137.94 c Restart #98 #Var: 4600 LB: 0 @ 137.89 141.73 c Restart #99 #Var: 4600 LB: 0 @ 141.67 145.18 c Restart #100 #Var: 4600 LB: 0 @ 145.12 149.08 c Restart #101 #Var: 4600 LB: 0 @ 149.02 152.73 c Restart #102 #Var: 4600 LB: 0 @ 152.67 157.03 c Restart #103 #Var: 4600 LB: 0 @ 156.97 160.82 c Restart #104 #Var: 4600 LB: 0 @ 160.76 165.29 c Restart #105 #Var: 4600 LB: 0 @ 165.23 168.91 c Restart #106 #Var: 4600 LB: 0 @ 168.84 172.72 c Restart #107 #Var: 4600 LB: 0 @ 172.65 176.15 c Restart #108 #Var: 4600 LB: 0 @ 176.09 180.44 c Restart #109 #Var: 4600 LB: 0 @ 180.37 184.35 c Restart #110 #Var: 4600 LB: 0 @ 184.28 188.53 c Restart #111 #Var: 4600 LB: 0 @ 188.46 192.70 c Restart #112 #Var: 4600 LB: 0 @ 192.63
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/node78/watcher-40782-1149317831 -o ROOT/results/node78/solver-40782-1149317831 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node78/40782-1149317831/instance-40782-1149317831.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.94 0.98 0.97 2/67 15946 /proc/meminfo: memFree=1408000/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=2900 CPUtime=0 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 196812012 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11469748 0 0 4096 0 0 0 0 17 1 0 0 /proc/15946/statm: 725 27 19 55 0 38 0 [startup+10.0018 s] /proc/loadavg: 0.95 0.98 0.97 2/67 15946 /proc/meminfo: memFree=1262592/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=150588 CPUtime=9.98 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 36791 0 0 0 965 33 0 0 25 0 1 0 196812012 154202112 36674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 37647 36674 294 55 0 36538 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 150588 [startup+20.0079 s] /proc/loadavg: 0.96 0.98 0.97 2/67 15946 /proc/meminfo: memFree=1125888/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=287896 CPUtime=19.97 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 70939 0 0 0 1946 51 0 0 25 0 1 0 196812012 294805504 70769 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 71974 70769 294 55 0 70865 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 287896 [startup+30.014 s] /proc/loadavg: 0.96 0.98 0.97 2/67 15946 /proc/meminfo: memFree=1008960/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=405224 CPUtime=29.98 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 100436 0 0 0 2932 66 0 0 25 0 1 0 196812012 414949376 99921 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 101306 99921 294 55 0 100197 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 405224 [startup+40.0201 s] /proc/loadavg: 0.97 0.98 0.97 2/67 15946 /proc/meminfo: memFree=897984/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=516520 CPUtime=39.98 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 128406 0 0 0 3920 78 0 0 25 0 1 0 196812012 528916480 127627 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 129130 127627 294 55 0 128021 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 516520 [startup+50.0262 s] /proc/loadavg: 0.97 0.98 0.97 2/67 15946 /proc/meminfo: memFree=785984/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=628240 CPUtime=49.99 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 156358 0 0 0 4906 93 0 0 25 0 1 0 196812012 643317760 155573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 157060 155573 294 55 0 155951 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 628240 [startup+60.0312 s] /proc/loadavg: 0.98 0.98 0.97 2/67 15946 /proc/meminfo: memFree=674560/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=740984 CPUtime=59.98 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 184570 0 0 0 5890 108 0 0 25 0 1 0 196812012 758767616 183357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 185246 183357 294 55 0 184137 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 740984 [startup+70.0363 s] /proc/loadavg: 0.98 0.98 0.97 2/67 15946 /proc/meminfo: memFree=570560/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=845492 CPUtime=69.99 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 210863 0 0 0 6876 123 0 0 25 0 1 0 196812012 865783808 209319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 211373 209319 294 55 0 210264 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 845492 [startup+80.0424 s] /proc/loadavg: 0.98 0.98 0.97 2/67 15946 /proc/meminfo: memFree=479936/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=936028 CPUtime=79.99 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 233592 0 0 0 7864 135 0 0 25 0 1 0 196812012 958492672 231880 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 234007 231880 294 55 0 232898 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 936028 [startup+90.0485 s] /proc/loadavg: 0.98 0.98 0.97 2/67 15946 /proc/meminfo: memFree=386240/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=1029856 CPUtime=89.99 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 257201 0 0 0 8849 150 0 0 25 0 1 0 196812012 1054572544 255313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 257464 255313 294 55 0 256355 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 1029856 [startup+100.055 s] /proc/loadavg: 0.99 0.98 0.97 2/67 15946 /proc/meminfo: memFree=308736/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=1107832 CPUtime=100 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 276872 0 0 0 9839 161 0 0 25 0 1 0 196812012 1134419968 274652 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 276958 274652 294 55 0 275849 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 1107832 [startup+110.061 s] /proc/loadavg: 0.99 0.98 0.97 2/67 15946 /proc/meminfo: memFree=226944/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=1190172 CPUtime=110 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 297606 0 0 0 10829 171 0 0 25 0 1 0 196812012 1218736128 295060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 297543 295060 294 55 0 296434 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 1190172 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.97 2/67 15946 /proc/meminfo: memFree=156096/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=1260716 CPUtime=120.01 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 315377 0 0 0 11821 180 0 0 25 0 1 0 196812012 1290973184 312749 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 315179 312749 294 55 0 314070 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 1260716 [startup+130.072 s] /proc/loadavg: 0.99 0.98 0.97 2/67 15946 /proc/meminfo: memFree=77440/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=1338668 CPUtime=130.01 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 334987 0 0 0 12810 191 0 0 25 0 1 0 196812012 1370796032 332351 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 334667 332351 294 55 0 333558 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 1338668 [startup+140.078 s] /proc/loadavg: 0.99 0.98 0.97 2/67 15946 /proc/meminfo: memFree=15744/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=1409592 CPUtime=140.02 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 352935 0 0 0 13801 201 0 0 25 0 1 0 196812012 1443422208 350055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 352398 350055 294 55 0 351289 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 1409592 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.97 2/67 15946 /proc/meminfo: memFree=15424/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=1486464 CPUtime=150.01 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 372491 0 0 0 14792 209 0 0 25 0 1 0 196812012 1522139136 368475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 371616 368475 294 55 0 370507 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 1486464 [startup+160.09 s] /proc/loadavg: 0.99 0.98 0.97 2/67 15946 /proc/meminfo: memFree=15552/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=1569824 CPUtime=160.02 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 393412 0 0 0 15784 218 0 0 25 0 1 0 196812012 1607499776 389392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 392456 389393 294 55 0 391347 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 1569824 [startup+170.096 s] /proc/loadavg: 0.99 0.98 0.97 2/67 15946 /proc/meminfo: memFree=15744/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=1635308 CPUtime=170.02 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 409989 0 0 0 16774 228 0 0 25 0 1 0 196812012 1674555392 405476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 408827 405476 294 55 0 407718 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 1635308 [startup+180.102 s] /proc/loadavg: 0.99 0.98 0.97 2/67 15946 /proc/meminfo: memFree=15808/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=1723756 CPUtime=180.02 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 432329 0 0 0 17760 242 0 0 25 0 1 0 196812012 1765126144 427730 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 430939 427730 294 55 0 429830 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 1723756 [startup+190.108 s] /proc/loadavg: 1.07 1.00 0.97 2/67 15946 /proc/meminfo: memFree=15488/2055892 swapFree=4085732/4096564 [pid=15946] ppid=15944 vsize=1793576 CPUtime=190.03 /proc/15946/stat : 15946 (bsolo) R 15944 15946 15900 0 -1 0 449897 0 0 0 18750 253 0 0 25 0 1 0 196812012 1836621824 445136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11905067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15946/statm: 448394 445136 294 55 0 447285 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 1793576 Child ended because it received signal 11 (SIGSEGV) Real time (s): 196.333 CPU time (s): 196.257 CPU user time (s): 193.38 CPU system time (s): 2.87756 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (Kb): 1793576 The end
Begin job on node78 on Sat Jun 3 06:57:12 UTC 2006 FILE ID= 40782-1149317831 PBS_JOBID= 308440 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node78/40782-1149317831/instance-40782-1149317831.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node78/watcher-40782-1149317831 -o ROOT/results/node78/solver-40782-1149317831 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node78/40782-1149317831/instance-40782-1149317831.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c346de7e1ba29a95ee9f392619231545 RANDOM SEED= 699915489 /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.225 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.17 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.225 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1408336 kB Buffers: 37700 kB Cached: 539208 kB SwapCached: 2520 kB Active: 144716 kB Inactive: 441008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1408336 kB SwapTotal: 4096564 kB SwapFree: 4085732 kB Dirty: 172 kB Writeback: 0 kB Mapped: 15136 kB Slab: 48288 kB Committed_AS: 328404 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node78 on Sat Jun 3 07:00:28 UTC 2006