Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.07 | 1800.79 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb |
MD5SUM | 6bb807214e0d1b3ab69b4b6ee86db452 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 168.826 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 721 |
Number of bits of the biggest sum of numbers | 10 |
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.06 c Initial problem consists of 231 variables and 2707 constraints. 0.07 c Using non-optimization problem switches. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.072 0.07 c After prepocess the problem consists of 231 variables and 2586 constraints. 0.11 c Restart #1 #Var: 231 LB: 0 @ 0.107 0.22 c Restart #2 #Var: 231 LB: 0 @ 0.219 0.35 c Restart #3 #Var: 231 LB: 0 @ 0.35 0.56 c Restart #4 #Var: 231 LB: 0 @ 0.557 0.75 c Restart #5 #Var: 231 LB: 0 @ 0.742 0.98 c Restart #6 #Var: 231 LB: 0 @ 0.982 1.25 c Restart #7 #Var: 231 LB: 0 @ 1.243 1.62 c Restart #8 #Var: 231 LB: 0 @ 1.617 2.10 c Restart #9 #Var: 231 LB: 0 @ 2.097 2.56 c Restart #10 #Var: 231 LB: 0 @ 2.561 3.23 c Restart #11 #Var: 231 LB: 0 @ 3.229 3.97 c Restart #12 #Var: 231 LB: 0 @ 3.967 4.92 c Restart #13 #Var: 231 LB: 0 @ 4.912 6.16 c Restart #14 #Var: 231 LB: 0 @ 6.152 7.55 c Restart #15 #Var: 231 LB: 0 @ 7.543 9.53 c Restart #16 #Var: 231 LB: 0 @ 9.517 11.11 c Restart #17 #Var: 231 LB: 0 @ 11.103 13.31 c Restart #18 #Var: 231 LB: 0 @ 13.298 15.21 c Restart #19 #Var: 231 LB: 0 @ 15.199 17.76 c Restart #20 #Var: 231 LB: 0 @ 17.745 20.18 c Restart #21 #Var: 231 LB: 0 @ 20.169 23.50 c Restart #22 #Var: 231 LB: 0 @ 23.484 27.18 c Restart #23 #Var: 231 LB: 0 @ 27.165 30.82 c Restart #24 #Var: 231 LB: 0 @ 30.804 34.62 c Restart #25 #Var: 231 LB: 0 @ 34.606 39.30 c Restart #26 #Var: 231 LB: 0 @ 39.277 45.23 c Restart #27 #Var: 231 LB: 0 @ 45.209 50.53 c Restart #28 #Var: 231 LB: 0 @ 50.508 57.41 c Restart #29 #Var: 231 LB: 0 @ 57.389 64.51 c Restart #30 #Var: 231 LB: 0 @ 64.481 72.23 c Restart #31 #Var: 231 LB: 0 @ 72.203 80.35 c Restart #32 #Var: 231 LB: 0 @ 80.313 87.88 c Restart #33 #Var: 231 LB: 0 @ 87.842 96.89 c Restart #34 #Var: 231 LB: 0 @ 96.853 107.54 c Restart #35 #Var: 231 LB: 0 @ 107.5 121.32 c Restart #36 #Var: 231 LB: 0 @ 121.27 133.52 c Restart #37 #Var: 231 LB: 0 @ 133.47 142.84 c Restart #38 #Var: 231 LB: 0 @ 142.78 157.07 c Restart #39 #Var: 231 LB: 0 @ 157.01 171.20 c Restart #40 #Var: 231 LB: 0 @ 171.13 185.77 c Restart #41 #Var: 231 LB: 0 @ 185.7 198.15 c Restart #42 #Var: 231 LB: 0 @ 198.08 215.19 c Restart #43 #Var: 231 LB: 0 @ 215.11 230.08 c Restart #44 #Var: 231 LB: 0 @ 229.99 246.77 c Restart #45 #Var: 231 LB: 0 @ 246.68 267.66 c Restart #46 #Var: 231 LB: 0 @ 267.56 294.51 c Restart #47 #Var: 231 LB: 0 @ 294.4 315.60 c Restart #48 #Var: 231 LB: 0 @ 315.48 334.02 c Restart #49 #Var: 231 LB: 0 @ 333.9 365.08 c Restart #50 #Var: 231 LB: 0 @ 364.95 393.73 c Restart #51 #Var: 231 LB: 0 @ 393.58 421.59 c Restart #52 #Var: 231 LB: 0 @ 421.44 447.75 c Restart #53 #Var: 231 LB: 0 @ 447.59 484.65 c Restart #54 #Var: 231 LB: 0 @ 484.48 516.83 c Restart #55 #Var: 231 LB: 0 @ 516.64 555.65 c Restart #56 #Var: 231 LB: 0 @ 555.45 580.22 c Restart #57 #Var: 231 LB: 0 @ 580.01 618.82 c Restart #58 #Var: 231 LB: 0 @ 618.6 658.34 c Restart #59 #Var: 231 LB: 0 @ 658.11 697.61 c Restart #60 #Var: 231 LB: 0 @ 697.36 737.85 c Restart #61 #Var: 231 LB: 0 @ 737.58 787.99 c Restart #62 #Var: 231 LB: 0 @ 787.71 843.08 c Restart #63 #Var: 231 LB: 0 @ 842.78 886.09 c Restart #64 #Var: 231 LB: 0 @ 885.77 948.33 c CHANGE Heuristic... 948.33 c Restart #0 #Var: 231 LB: 0 @ 947.99 957.13 c Restart #1 #Var: 231 LB: 0 @ 956.79 961.25 c Restart #2 #Var: 231 LB: 0 @ 960.9 966.32 c Restart #3 #Var: 231 LB: 0 @ 965.97 973.62 c Restart #4 #Var: 231 LB: 0 @ 973.27 980.42 c Restart #5 #Var: 231 LB: 0 @ 980.07 987.70 c Restart #6 #Var: 231 LB: 0 @ 987.35 995.66 c Restart #7 #Var: 231 LB: 0 @ 995.31 1005.30 c Restart #8 #Var: 231 LB: 0 @ 1004.9 1015.92 c Restart #9 #Var: 231 LB: 0 @ 1015.6 1028.60 c Restart #10 #Var: 231 LB: 0 @ 1028.2 1043.12 c Restart #11 #Var: 231 LB: 0 @ 1042.7 1057.25 c Restart #12 #Var: 231 LB: 0 @ 1056.9 1074.69 c Restart #13 #Var: 231 LB: 0 @ 1074.3 1088.48 c Restart #14 #Var: 231 LB: 0 @ 1088.1 1107.51 c Restart #15 #Var: 231 LB: 0 @ 1107.1 1125.54 c Restart #16 #Var: 231 LB: 0 @ 1125.1 1141.03 c Restart #17 #Var: 231 LB: 0 @ 1140.6 1161.37 c Restart #18 #Var: 231 LB: 0 @ 1161 1182.46 c Restart #19 #Var: 231 LB: 0 @ 1182 1200.57 c Restart #20 #Var: 231 LB: 0 @ 1200.1 1219.63 c Restart #21 #Var: 231 LB: 0 @ 1219.2 1244.52 c Restart #22 #Var: 231 LB: 0 @ 1244.1 1259.90 c Restart #23 #Var: 231 LB: 0 @ 1259.4 1284.31 c Restart #24 #Var: 231 LB: 0 @ 1283.8 1307.42 c Restart #25 #Var: 231 LB: 0 @ 1307 1328.06 c Restart #26 #Var: 231 LB: 0 @ 1327.6 1351.62 c Restart #27 #Var: 231 LB: 0 @ 1351.1 1384.00 c Restart #28 #Var: 231 LB: 0 @ 1383.4 1409.28 c Restart #29 #Var: 231 LB: 0 @ 1408.7 1449.28 c Restart #30 #Var: 231 LB: 0 @ 1448.7 1473.63 c Restart #31 #Var: 231 LB: 0 @ 1473 1507.96 c Restart #32 #Var: 231 LB: 0 @ 1507.3 1543.44 c Restart #33 #Var: 231 LB: 0 @ 1542.8 1573.19 c Restart #34 #Var: 231 LB: 0 @ 1572.5 1600.39 c Restart #35 #Var: 231 LB: 0 @ 1599.7 1641.08 c Restart #36 #Var: 231 LB: 0 @ 1640.4 1672.25 c Restart #37 #Var: 231 LB: 0 @ 1671.6 1717.06 c Restart #38 #Var: 231 LB: 0 @ 1716.4 1776.86 c Restart #39 #Var: 231 LB: 0 @ 1776.1 1800.73 s UNKNOWN 1800.73 c Exit Code: 0 1800.73 c Total time: 1800 s
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/node75/watcher-39603-1149223113 -o ROOT/results/node75/solver-39603-1149223113 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/39603-1149223113/instance-39603-1149223113.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.93 2/64 7178 /proc/meminfo: memFree=1601096/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=4624 CPUtime=0 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 73 0 0 0 0 0 0 0 19 0 1 0 187974694 4734976 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6734628 0 0 4096 0 0 0 0 17 1 0 0 /proc/7178/statm: 1164 55 41 55 0 44 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.93 2/64 7178 /proc/meminfo: memFree=1583128/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=22432 CPUtime=9.98 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 4870 0 0 0 994 4 0 0 25 0 1 0 187974694 22970368 4785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 5608 4785 296 55 0 4500 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 22432 [startup+20.0081 s] /proc/loadavg: 0.94 0.96 0.93 2/64 7178 /proc/meminfo: memFree=1572760/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=32860 CPUtime=19.99 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 7461 0 0 0 1990 9 0 0 25 0 1 0 187974694 33648640 7376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 8215 7376 296 55 0 7107 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 32860 [startup+30.0141 s] /proc/loadavg: 0.95 0.96 0.93 2/64 7178 /proc/meminfo: memFree=1564888/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=40648 CPUtime=29.99 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 9425 0 0 0 2986 13 0 0 25 0 1 0 187974694 41623552 9340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 10162 9340 296 55 0 9054 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 40648 [startup+40.0201 s] /proc/loadavg: 0.95 0.96 0.93 2/64 7178 /proc/meminfo: memFree=1557912/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=47644 CPUtime=39.99 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 11155 0 0 0 3984 15 0 0 25 0 1 0 187974694 48787456 11070 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 11911 11070 296 55 0 10803 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 47644 [startup+50.0261 s] /proc/loadavg: 0.96 0.96 0.93 2/64 7178 /proc/meminfo: memFree=1551640/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=53848 CPUtime=50 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 12718 0 0 0 4982 18 0 0 25 0 1 0 187974694 55140352 12633 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 13462 12633 296 55 0 12354 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 53848 [startup+60.0321 s] /proc/loadavg: 0.97 0.96 0.93 2/64 7178 /proc/meminfo: memFree=1545944/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=59540 CPUtime=60 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 14134 0 0 0 5978 22 0 0 25 0 1 0 187974694 60968960 14049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 14885 14049 296 55 0 13777 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 59540 [startup+70.0381 s] /proc/loadavg: 0.97 0.96 0.93 2/64 7178 /proc/meminfo: memFree=1541272/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=64292 CPUtime=70 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 15309 0 0 0 6975 25 0 0 25 0 1 0 187974694 65835008 15224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 16073 15224 296 55 0 14965 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 64292 [startup+80.0441 s] /proc/loadavg: 0.98 0.96 0.93 2/64 7178 /proc/meminfo: memFree=1536088/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=69444 CPUtime=80 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 16597 0 0 0 7973 27 0 0 25 0 1 0 187974694 71110656 16512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7169659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 17361 16512 296 55 0 16253 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 69444 [startup+90.0501 s] /proc/loadavg: 0.98 0.96 0.93 2/64 7178 /proc/meminfo: memFree=1530712/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=74868 CPUtime=90 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 17935 0 0 0 8972 28 0 0 25 0 1 0 187974694 76664832 17850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 18717 17850 296 55 0 17609 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 74868 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.93 2/64 7178 /proc/meminfo: memFree=1525912/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=79616 CPUtime=100 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 19133 0 0 0 9970 30 0 0 25 0 1 0 187974694 81526784 19048 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 19904 19048 296 55 0 18796 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 79616 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.93 2/64 7178 /proc/meminfo: memFree=1521688/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=83852 CPUtime=110.01 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 20186 0 0 0 10969 32 0 0 25 0 1 0 187974694 85864448 20101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 20963 20101 296 55 0 19855 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 83852 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7178 /proc/meminfo: memFree=1518424/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=87024 CPUtime=120.01 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 20992 0 0 0 11968 33 0 0 25 0 1 0 187974694 89112576 20906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 21756 20906 296 55 0 20648 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 87024 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7178 /proc/meminfo: memFree=1515032/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=90468 CPUtime=130.02 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 21858 0 0 0 12967 35 0 0 25 0 1 0 187974694 92639232 21772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 22617 21772 296 55 0 21509 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 90468 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7178 /proc/meminfo: memFree=1509592/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=95888 CPUtime=140.02 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 23205 0 0 0 13965 37 0 0 25 0 1 0 187974694 98189312 23119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 23972 23119 296 55 0 22864 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 95888 [startup+150.091 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7178 /proc/meminfo: memFree=1504920/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=100680 CPUtime=150.02 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 24375 0 0 0 14962 40 0 0 25 0 1 0 187974694 103096320 24288 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 25170 24288 296 55 0 24062 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 100680 [startup+160.097 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7178 /proc/meminfo: memFree=1501336/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=104264 CPUtime=160.03 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 25264 0 0 0 15961 42 0 0 25 0 1 0 187974694 106766336 25176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 26066 25176 296 55 0 24958 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 104264 [startup+170.104 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7178 /proc/meminfo: memFree=1497816/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=107828 CPUtime=170.03 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 26156 0 0 0 16960 43 0 0 25 0 1 0 187974694 110415872 26068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 26957 26068 296 55 0 25849 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 107828 [startup+180.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7178 /proc/meminfo: memFree=1494424/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=111140 CPUtime=180.04 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 26987 0 0 0 17959 45 0 0 25 0 1 0 187974694 113807360 26899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 27785 26899 296 55 0 26677 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 111140 [startup+190.116 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7178 /proc/meminfo: memFree=1490712/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=114988 CPUtime=190.03 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 27917 0 0 0 18957 46 0 0 25 0 1 0 187974694 117747712 27827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 28747 27827 296 55 0 27639 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 114988 [startup+200.122 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7178 /proc/meminfo: memFree=1485784/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=119936 CPUtime=200.04 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 29156 0 0 0 19956 48 0 0 25 0 1 0 187974694 122814464 29065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 29984 29065 296 55 0 28876 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 119936 [startup+210.128 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7178 /proc/meminfo: memFree=1483224/2055920 swapFree=4182500/4192956 ################ # More data... # ################ /proc/7178/statm: 99514 97917 296 55 0 98406 0 Current children cumulated CPU time (s) 1760.37 Current children cumulated vsize (Kb) 398056 [startup+1771.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1208536/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=399308 CPUtime=1770.37 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98359 0 0 0 176853 184 0 0 25 0 1 0 187974694 408891392 98176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 99827 98176 296 55 0 98719 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 399308 [startup+1781.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1207640/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=400380 CPUtime=1780.37 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98590 0 0 0 177853 184 0 0 25 0 1 0 187974694 409989120 98405 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100095 98405 296 55 0 98987 0 Current children cumulated CPU time (s) 1780.37 Current children cumulated vsize (Kb) 400380 [startup+1782.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1207512/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=400380 CPUtime=1781.38 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98613 0 0 0 177954 184 0 0 25 0 1 0 187974694 409989120 98428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100095 98428 296 55 0 98987 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 400380 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1207384/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=400512 CPUtime=1782.38 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98649 0 0 0 178054 184 0 0 25 0 1 0 187974694 410124288 98464 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7169659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100128 98464 296 55 0 99020 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 400512 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1207320/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=400652 CPUtime=1783.38 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98664 0 0 0 178154 184 0 0 25 0 1 0 187974694 410267648 98479 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100163 98479 296 55 0 99055 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 400652 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1207256/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=400652 CPUtime=1784.39 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98674 0 0 0 178255 184 0 0 25 0 1 0 187974694 410267648 98489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100163 98489 296 55 0 99055 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 400652 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1207192/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=400788 CPUtime=1785.39 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98697 0 0 0 178355 184 0 0 25 0 1 0 187974694 410406912 98512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100197 98512 296 55 0 99089 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 400788 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1207128/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=400920 CPUtime=1786.41 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98714 0 0 0 178456 185 0 0 25 0 1 0 187974694 410542080 98529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100230 98529 296 55 0 99122 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 400920 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1206936/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=401052 CPUtime=1787.41 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98751 0 0 0 178556 185 0 0 25 0 1 0 187974694 410677248 98566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100263 98566 296 55 0 99155 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 401052 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.93 3/64 7373 /proc/meminfo: memFree=1206872/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=401052 CPUtime=1788.41 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98776 0 0 0 178656 185 0 0 25 0 1 0 187974694 410677248 98591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100263 98591 296 55 0 99155 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 401052 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1206744/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=401196 CPUtime=1789.42 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98805 0 0 0 178757 185 0 0 25 0 1 0 187974694 410824704 98620 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100299 98620 296 55 0 99191 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 401196 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1206552/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=401460 CPUtime=1790.42 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98853 0 0 0 178857 185 0 0 25 0 1 0 187974694 411095040 98668 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100365 98668 296 55 0 99257 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 401460 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1206424/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=401592 CPUtime=1791.43 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98884 0 0 0 178958 185 0 0 25 0 1 0 187974694 411230208 98699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100398 98699 296 55 0 99290 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 401592 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1206360/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=401592 CPUtime=1792.43 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98903 0 0 0 179058 185 0 0 25 0 1 0 187974694 411230208 98718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100398 98718 296 55 0 99290 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 401592 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1206232/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=401724 CPUtime=1793.44 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98940 0 0 0 179159 185 0 0 25 0 1 0 187974694 411365376 98755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100431 98755 296 55 0 99323 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 401724 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1206104/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=401856 CPUtime=1794.44 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98970 0 0 0 179259 185 0 0 25 0 1 0 187974694 411500544 98785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100464 98785 296 55 0 99356 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 401856 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1205976/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=401988 CPUtime=1795.45 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 99005 0 0 0 179360 185 0 0 25 0 1 0 187974694 411635712 98820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100497 98820 296 55 0 99389 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 401988 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1205720/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=402252 CPUtime=1796.45 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 99063 0 0 0 179460 185 0 0 25 0 1 0 187974694 411906048 98878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100563 98878 296 55 0 99455 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 402252 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1205592/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=402384 CPUtime=1797.45 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 99099 0 0 0 179560 185 0 0 25 0 1 0 187974694 412041216 98914 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100596 98914 296 55 0 99488 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 402384 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1205400/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=402516 CPUtime=1798.46 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 99146 0 0 0 179661 185 0 0 25 0 1 0 187974694 412176384 98961 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100629 98961 296 55 0 99521 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 402516 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.93 2/64 7373 /proc/meminfo: memFree=1205080/2055920 swapFree=4182500/4192956 [pid=7178] ppid=7176 vsize=402912 CPUtime=1799.46 /proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 99223 0 0 0 179761 185 0 0 25 0 1 0 187974694 412581888 99038 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7178/statm: 100728 99038 296 55 0 99620 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 402912 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.07 CPU user time (s): 1798.15 CPU system time (s): 1.91571 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (Kb): 402912
Begin job on node75 on Fri Jun 2 04:38:33 UTC 2006 FILE ID= 39603-1149223113 PBS_JOBID= 295591 BENCH NAME= ROOT/tmp/node75/39603-1149223113/instance-39603-1149223113.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/39603-1149223113/instance-39603-1149223113.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-39603-1149223113 -o ROOT/results/node75/solver-39603-1149223113 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/39603-1149223113/instance-39603-1149223113.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 6bb807214e0d1b3ab69b4b6ee86db452 RANDOM SEED= 914890481 /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.259 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.259 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1601304 kB Buffers: 39508 kB Cached: 337888 kB SwapCached: 2452 kB Active: 110508 kB Inactive: 275848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1601304 kB SwapTotal: 4192956 kB SwapFree: 4182500 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16020 kB Slab: 54192 kB Committed_AS: 236976 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node75 on Fri Jun 2 05:08:34 UTC 2006