Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? (TO) | 1800.72 | 1801.24 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3700.opb |
MD5SUM | 86879a5871daa11ed8529c30e9ca3bf0 |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4726350847 |
Optimality of the best value was proved | NO |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29631666774144 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29631666774144 |
Number of bits of the biggest sum of numbers | 45 |
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... 6.43 c Initial problem consists of 155000 variables and 5300 constraints. 6.88 c No problem reductions applied in OPT. instance. 6.88 c preprocess terminated. Elapsed time: 6.864 6.88 c After prepocess the problem consists of 93998 variables and 5300 constraints. 6.88 c Initial Lower Bound: 0 8.97 c Restart #1 #Var: 93998 LB: 0 @ 8.955 12.22 c Restart #2 #Var: 93998 LB: 0 @ 12.206 16.12 c Restart #3 #Var: 93998 LB: 0 @ 16.105 21.07 c Restart #4 #Var: 93998 LB: 0 @ 21.046 27.32 c Restart #5 #Var: 93998 LB: 0 @ 27.298 34.40 c Restart #6 #Var: 93998 LB: 0 @ 34.375 42.38 c Restart #7 #Var: 93998 LB: 0 @ 42.351 51.51 c Restart #8 #Var: 93998 LB: 0 @ 51.487 63.39 c Restart #9 #Var: 93998 LB: 0 @ 63.363 88.00 c Restart #10 #Var: 93998 LB: 0 @ 87.962 97.60 c Restart #11 #Var: 93998 LB: 0 @ 97.56 108.32 c Restart #12 #Var: 93998 LB: 0 @ 108.28 146.65 c Restart #13 #Var: 93998 LB: 0 @ 146.6 157.25 c Restart #14 #Var: 93998 LB: 0 @ 157.2 167.56 c Restart #15 #Var: 93998 LB: 0 @ 167.5 178.50 c Restart #16 #Var: 93998 LB: 0 @ 178.43 192.30 c Restart #17 #Var: 93998 LB: 0 @ 192.24 207.80 c Restart #18 #Var: 93998 LB: 0 @ 207.73 223.22 c Restart #19 #Var: 93998 LB: 0 @ 223.14 238.47 c Restart #20 #Var: 93998 LB: 0 @ 238.39 255.58 c Restart #21 #Var: 93998 LB: 0 @ 255.5 318.77 c Restart #22 #Var: 93998 LB: 0 @ 318.67 340.83 c Restart #23 #Var: 93998 LB: 0 @ 340.73 356.70 c Restart #24 #Var: 93998 LB: 0 @ 356.59 382.05 c Restart #25 #Var: 93998 LB: 0 @ 381.93 403.87 c Restart #26 #Var: 93998 LB: 0 @ 403.75 421.91 c Restart #27 #Var: 93998 LB: 0 @ 421.78 445.91 c Restart #28 #Var: 93998 LB: 0 @ 445.78 469.54 c Restart #29 #Var: 93998 LB: 0 @ 469.4 497.73 c Restart #30 #Var: 93998 LB: 0 @ 497.57 523.41 c Restart #31 #Var: 93998 LB: 0 @ 523.26 546.86 c Restart #32 #Var: 93998 LB: 0 @ 546.7 576.10 c Restart #33 #Var: 93998 LB: 0 @ 575.93 1086.57 c CHANGE Heuristic... 1086.57 c Restart #0 #Var: 93998 LB: 0 @ 1086.3 1090.52 c Restart #1 #Var: 93998 LB: 0 @ 1090.2 1094.11 c Restart #2 #Var: 93998 LB: 0 @ 1093.8 1113.49 c Restart #3 #Var: 93998 LB: 0 @ 1113.2 1141.98 c Restart #4 #Var: 93998 LB: 0 @ 1141.7 1263.40 c Restart #5 #Var: 93998 LB: 0 @ 1263 1801.19 c Caught signal: 15 1801.19 s UNKNOWN 1801.19 c Exit Code: 0
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/node35/watcher-40552-1149303855 -o ROOT/results/node35/solver-40552-1149303855 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40552-1149303855/instance-40552-1149303855.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 3596 /proc/meminfo: memFree=1534808/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=3436 CPUtime=0 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 68 0 0 0 0 0 0 0 18 0 1 0 196049512 3518464 50 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1464973 0 0 4096 0 0 0 0 17 1 0 0 /proc/3596/statm: 1156 55 41 55 0 44 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.90 2/64 3596 /proc/meminfo: memFree=1354648/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=190864 CPUtime=9.97 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 165147 0 0 0 938 59 0 0 25 0 1 0 196049512 195444736 45227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 47716 45227 297 55 0 46608 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 190864 [startup+20.0095 s] /proc/loadavg: 0.94 0.96 0.91 2/64 3596 /proc/meminfo: memFree=1354776/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=190844 CPUtime=19.98 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 165163 0 0 0 1925 73 0 0 25 0 1 0 196049512 195424256 45243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 47711 45243 297 55 0 46603 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 190844 [startup+30.0167 s] /proc/loadavg: 0.95 0.96 0.91 2/64 3596 /proc/meminfo: memFree=1354904/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=190844 CPUtime=29.99 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 165173 0 0 0 2910 89 0 0 25 0 1 0 196049512 195424256 45241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 47711 45241 297 55 0 46603 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 190844 [startup+40.0229 s] /proc/loadavg: 0.95 0.96 0.91 2/64 3596 /proc/meminfo: memFree=1354904/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=190848 CPUtime=39.99 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 165196 0 0 0 3899 100 0 0 25 0 1 0 196049512 195428352 45241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 47712 45241 297 55 0 46604 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 190848 [startup+50.0291 s] /proc/loadavg: 0.96 0.96 0.91 2/64 3596 /proc/meminfo: memFree=1354968/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=190844 CPUtime=49.99 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 165198 0 0 0 4889 110 0 0 25 0 1 0 196049512 195424256 45243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 47711 45243 297 55 0 46603 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 190844 [startup+60.0353 s] /proc/loadavg: 0.97 0.96 0.91 2/64 3596 /proc/meminfo: memFree=1354904/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=190976 CPUtime=60 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 165223 0 0 0 5875 125 0 0 25 0 1 0 196049512 195559424 45268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 47744 45268 297 55 0 46636 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 190976 [startup+70.0415 s] /proc/loadavg: 0.97 0.96 0.91 2/64 3596 /proc/meminfo: memFree=1353240/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=192636 CPUtime=70 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 165666 0 0 0 6842 158 0 0 25 0 1 0 196049512 197259264 45675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718274 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 48159 45675 297 55 0 47051 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 192636 [startup+80.0477 s] /proc/loadavg: 0.98 0.96 0.91 2/64 3596 /proc/meminfo: memFree=1352344/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=193556 CPUtime=80.01 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 165892 0 0 0 7808 193 0 0 25 0 1 0 196049512 198201344 45901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 48389 45901 297 55 0 47281 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 193556 [startup+90.054 s] /proc/loadavg: 0.98 0.96 0.91 2/64 3596 /proc/meminfo: memFree=1351960/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=193684 CPUtime=90.01 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 166046 0 0 0 8791 210 0 0 25 0 1 0 196049512 198332416 45955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 48421 45955 297 55 0 47313 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 193684 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.91 2/64 3596 /proc/meminfo: memFree=1351960/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=193684 CPUtime=100 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 166046 0 0 0 9786 214 0 0 25 0 1 0 196049512 198332416 45955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 48421 45955 297 55 0 47313 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 193684 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.91 2/64 3596 /proc/meminfo: memFree=1351960/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=193684 CPUtime=110.01 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 166161 0 0 0 10782 219 0 0 25 0 1 0 196049512 198332416 45965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 48421 45965 297 55 0 47313 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 193684 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1342168/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=203732 CPUtime=120.01 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 168642 0 0 0 11781 220 0 0 25 0 1 0 196049512 208621568 48446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 50933 48446 297 55 0 49825 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 203732 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1334552/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=211244 CPUtime=130.02 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170551 0 0 0 12780 222 0 0 25 0 1 0 196049512 216313856 50346 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 52811 50346 297 55 0 51703 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 211244 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1334488/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=211244 CPUtime=140.02 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170559 0 0 0 13780 222 0 0 25 0 1 0 196049512 216313856 50354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 52811 50354 297 55 0 51703 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 211244 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1334488/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=211244 CPUtime=150.02 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170560 0 0 0 14780 222 0 0 25 0 1 0 196049512 216313856 50355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 52811 50355 297 55 0 51703 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 211244 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1334488/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=211244 CPUtime=160.02 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170560 0 0 0 15780 222 0 0 25 0 1 0 196049512 216313856 50355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 52811 50355 297 55 0 51703 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 211244 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1334488/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=211244 CPUtime=170.03 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170560 0 0 0 16781 222 0 0 25 0 1 0 196049512 216313856 50355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 52811 50355 297 55 0 51703 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 211244 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1334488/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=211244 CPUtime=180.03 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170560 0 0 0 17781 222 0 0 25 0 1 0 196049512 216313856 50355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 52811 50355 297 55 0 51703 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 211244 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1334488/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=211244 CPUtime=190.04 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170560 0 0 0 18781 223 0 0 25 0 1 0 196049512 216313856 50355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 52811 50355 297 55 0 51703 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 211244 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1334488/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=211244 CPUtime=200.04 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170560 0 0 0 19781 223 0 0 25 0 1 0 196049512 216313856 50355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 52811 50355 297 55 0 51703 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 211244 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1334488/2055920 swapFree=4180888/4192956 ################ # More data... # ################ [pid=3596] ppid=3594 vsize=206184 CPUtime=1781.58 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 177911 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 206184 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1782.58 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 178011 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 206184 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1783.59 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 178112 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 206184 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1784.59 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 178212 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 206184 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1785.6 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 178313 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 206184 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1786.6 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 178413 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 206184 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1787.61 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 178514 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 206184 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1788.61 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 178614 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 206184 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1789.62 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 178715 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 206184 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1790.62 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 178815 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 206184 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1791.63 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 178916 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 206184 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1792.63 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 179016 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 206184 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1793.63 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 179116 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 206184 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1794.64 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 179217 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 206184 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1795.64 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 179317 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 206184 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1796.65 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 179418 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 206184 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1797.65 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 179518 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 206184 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1798.66 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 179619 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 206184 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1799.66 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 179719 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 206184 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1800.67 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 179820 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 206184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3596 /proc/meminfo: memFree=1337816/2055920 swapFree=4180888/4192956 [pid=3596] ppid=3594 vsize=206184 CPUtime=1800.67 /proc/3596/stat : 3596 (bsolo) R 3594 3596 3550 0 -1 0 170646 0 0 0 179820 247 0 0 25 0 1 0 196049512 211132416 49499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3596/statm: 51546 49499 297 55 0 50438 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 206184 Sending SIGTERM to -3596 Sleeping 2 seconds Child status: 0 Real time (s): 1801.24 CPU time (s): 1800.72 CPU user time (s): 1798.21 CPU system time (s): 2.51262 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (Kb): 211244
Begin job on node35 on Sat Jun 3 03:04:16 UTC 2006 FILE ID= 40552-1149303855 PBS_JOBID= 307521 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40552-1149303855/instance-40552-1149303855.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-40552-1149303855 -o ROOT/results/node35/solver-40552-1149303855 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40552-1149303855/instance-40552-1149303855.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 86879a5871daa11ed8529c30e9ca3bf0 RANDOM SEED= 686965288 /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.210 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.210 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: 1535016 kB Buffers: 28048 kB Cached: 424224 kB SwapCached: 3872 kB Active: 88820 kB Inactive: 372284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1535016 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14936 kB Slab: 45860 kB Committed_AS: 350592 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node35 on Sat Jun 3 03:34:18 UTC 2006