Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.07 | 1800.62 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb |
MD5SUM | 733d8edd6a6cbfe19e20f4970079db5a |
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 | 111.863 |
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 | 687 |
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.08 c Using non-optimization problem switches. 0.08 c No problem reductions applied in OPT. instance. 0.08 c preprocess terminated. Elapsed time: 0.068 0.08 c After prepocess the problem consists of 231 variables and 2586 constraints. 0.11 c Restart #1 #Var: 231 LB: 0 @ 0.106 0.24 c Restart #2 #Var: 231 LB: 0 @ 0.23 0.39 c Restart #3 #Var: 231 LB: 0 @ 0.386 0.59 c Restart #4 #Var: 231 LB: 0 @ 0.585 0.80 c Restart #5 #Var: 231 LB: 0 @ 0.795 1.03 c Restart #6 #Var: 231 LB: 0 @ 1.02 1.35 c Restart #7 #Var: 231 LB: 0 @ 1.34 1.68 c Restart #8 #Var: 231 LB: 0 @ 1.67 2.12 c Restart #9 #Var: 231 LB: 0 @ 2.113 2.59 c Restart #10 #Var: 231 LB: 0 @ 2.582 3.16 c Restart #11 #Var: 231 LB: 0 @ 3.155 3.69 c Restart #12 #Var: 231 LB: 0 @ 3.684 4.37 c Restart #13 #Var: 231 LB: 0 @ 4.363 5.18 c Restart #14 #Var: 231 LB: 0 @ 5.175 6.40 c Restart #15 #Var: 231 LB: 0 @ 6.392 7.49 c Restart #16 #Var: 231 LB: 0 @ 7.476 9.03 c Restart #17 #Var: 231 LB: 0 @ 9.025 10.34 c Restart #18 #Var: 231 LB: 0 @ 10.325 12.99 c Restart #19 #Var: 231 LB: 0 @ 12.982 15.18 c Restart #20 #Var: 231 LB: 0 @ 15.17 17.82 c Restart #21 #Var: 231 LB: 0 @ 17.801 20.97 c Restart #22 #Var: 231 LB: 0 @ 20.953 27.99 c Restart #23 #Var: 231 LB: 0 @ 27.973 31.60 c Restart #24 #Var: 231 LB: 0 @ 31.581 39.90 c Restart #25 #Var: 231 LB: 0 @ 39.877 45.28 c Restart #26 #Var: 231 LB: 0 @ 45.261 49.89 c Restart #27 #Var: 231 LB: 0 @ 49.863 55.35 c Restart #28 #Var: 231 LB: 0 @ 55.33 61.85 c Restart #29 #Var: 231 LB: 0 @ 61.828 67.81 c Restart #30 #Var: 231 LB: 0 @ 67.785 76.24 c Restart #31 #Var: 231 LB: 0 @ 76.207 84.13 c Restart #32 #Var: 231 LB: 0 @ 84.103 93.96 c Restart #33 #Var: 231 LB: 0 @ 93.93 102.61 c Restart #34 #Var: 231 LB: 0 @ 102.58 112.46 c Restart #35 #Var: 231 LB: 0 @ 112.42 126.70 c Restart #36 #Var: 231 LB: 0 @ 126.66 138.74 c Restart #37 #Var: 231 LB: 0 @ 138.7 151.65 c Restart #38 #Var: 231 LB: 0 @ 151.6 166.32 c Restart #39 #Var: 231 LB: 0 @ 166.27 180.65 c Restart #40 #Var: 231 LB: 0 @ 180.59 197.44 c Restart #41 #Var: 231 LB: 0 @ 197.38 214.16 c Restart #42 #Var: 231 LB: 0 @ 214.1 232.43 c Restart #43 #Var: 231 LB: 0 @ 232.36 252.20 c Restart #44 #Var: 231 LB: 0 @ 252.12 271.26 c Restart #45 #Var: 231 LB: 0 @ 271.18 300.53 c Restart #46 #Var: 231 LB: 0 @ 300.45 321.85 c Restart #47 #Var: 231 LB: 0 @ 321.76 337.53 c Restart #48 #Var: 231 LB: 0 @ 337.44 365.49 c Restart #49 #Var: 231 LB: 0 @ 365.39 405.41 c Restart #50 #Var: 231 LB: 0 @ 405.3 433.16 c Restart #51 #Var: 231 LB: 0 @ 433.04 459.69 c Restart #52 #Var: 231 LB: 0 @ 459.57 502.54 c Restart #53 #Var: 231 LB: 0 @ 502.41 529.41 c Restart #54 #Var: 231 LB: 0 @ 529.26 555.92 c Restart #55 #Var: 231 LB: 0 @ 555.77 591.60 c Restart #56 #Var: 231 LB: 0 @ 591.45 632.73 c Restart #57 #Var: 231 LB: 0 @ 632.56 676.87 c Restart #58 #Var: 231 LB: 0 @ 676.68 714.99 c Restart #59 #Var: 231 LB: 0 @ 714.8 753.63 c Restart #60 #Var: 231 LB: 0 @ 753.43 795.77 c Restart #61 #Var: 231 LB: 0 @ 795.56 845.35 c Restart #62 #Var: 231 LB: 0 @ 845.13 887.74 c Restart #63 #Var: 231 LB: 0 @ 887.51 936.10 c CHANGE Heuristic... 936.10 c Restart #0 #Var: 231 LB: 0 @ 935.86 946.18 c Restart #1 #Var: 231 LB: 0 @ 945.93 951.40 c Restart #2 #Var: 231 LB: 0 @ 951.15 956.17 c Restart #3 #Var: 231 LB: 0 @ 955.92 962.82 c Restart #4 #Var: 231 LB: 0 @ 962.57 973.72 c Restart #5 #Var: 231 LB: 0 @ 973.47 981.01 c Restart #6 #Var: 231 LB: 0 @ 980.75 992.58 c Restart #7 #Var: 231 LB: 0 @ 992.32 1002.53 c Restart #8 #Var: 231 LB: 0 @ 1002.3 1013.89 c Restart #9 #Var: 231 LB: 0 @ 1013.6 1028.31 c Restart #10 #Var: 231 LB: 0 @ 1028 1040.02 c Restart #11 #Var: 231 LB: 0 @ 1039.8 1052.49 c Restart #12 #Var: 231 LB: 0 @ 1052.2 1061.62 c Restart #13 #Var: 231 LB: 0 @ 1061.3 1079.38 c Restart #14 #Var: 231 LB: 0 @ 1079.1 1093.69 c Restart #15 #Var: 231 LB: 0 @ 1093.4 1104.71 c Restart #16 #Var: 231 LB: 0 @ 1104.4 1118.48 c Restart #17 #Var: 231 LB: 0 @ 1118.2 1138.49 c Restart #18 #Var: 231 LB: 0 @ 1138.2 1154.85 c Restart #19 #Var: 231 LB: 0 @ 1154.6 1185.45 c Restart #20 #Var: 231 LB: 0 @ 1185.1 1206.39 c Restart #21 #Var: 231 LB: 0 @ 1206.1 1224.78 c Restart #22 #Var: 231 LB: 0 @ 1224.5 1253.92 c Restart #23 #Var: 231 LB: 0 @ 1253.6 1276.02 c Restart #24 #Var: 231 LB: 0 @ 1275.7 1295.24 c Restart #25 #Var: 231 LB: 0 @ 1294.9 1320.90 c Restart #26 #Var: 231 LB: 0 @ 1320.6 1348.51 c Restart #27 #Var: 231 LB: 0 @ 1348.2 1367.56 c Restart #28 #Var: 231 LB: 0 @ 1367.2 1398.02 c Restart #29 #Var: 231 LB: 0 @ 1397.7 1427.27 c Restart #30 #Var: 231 LB: 0 @ 1426.9 1454.26 c Restart #31 #Var: 231 LB: 0 @ 1453.9 1492.09 c Restart #32 #Var: 231 LB: 0 @ 1491.7 1514.06 c Restart #33 #Var: 231 LB: 0 @ 1513.7 1547.30 c Restart #34 #Var: 231 LB: 0 @ 1546.9 1583.36 c Restart #35 #Var: 231 LB: 0 @ 1583 1610.74 c Restart #36 #Var: 231 LB: 0 @ 1610.2 1649.85 c Restart #37 #Var: 231 LB: 0 @ 1649.3 1692.28 c Restart #38 #Var: 231 LB: 0 @ 1691.8 1725.42 c Restart #39 #Var: 231 LB: 0 @ 1724.9 1800.54 s UNKNOWN 1800.54 c Exit Code: 0 1800.54 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/node26/watcher-39601-1149222871 -o ROOT/results/node26/solver-39601-1149222871 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/39601-1149222871/instance-39601-1149222871.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.55 0.88 0.89 2/64 11434 /proc/meminfo: memFree=1730632/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=4616 CPUtime=0 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 5458023 4726784 146 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11434/statm: 1154 155 114 55 0 46 0 [startup+10.0027 s] /proc/loadavg: 0.62 0.88 0.89 2/64 11434 /proc/meminfo: memFree=1708488/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=26652 CPUtime=9.98 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 5920 0 0 0 992 6 0 0 25 0 1 0 5458023 27291648 5835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 6663 5835 296 55 0 5555 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 26652 [startup+20.0087 s] /proc/loadavg: 0.68 0.88 0.89 2/64 11434 /proc/meminfo: memFree=1698312/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=36820 CPUtime=19.99 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 8459 0 0 0 1989 10 0 0 25 0 1 0 5458023 37703680 8374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533543 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 9205 8374 296 55 0 8097 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 36820 [startup+30.0147 s] /proc/loadavg: 0.73 0.89 0.89 2/64 11434 /proc/meminfo: memFree=1692616/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=42496 CPUtime=29.99 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 9878 0 0 0 2987 12 0 0 25 0 1 0 5458023 43515904 9793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 10624 9793 296 55 0 9516 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 42496 [startup+40.0207 s] /proc/loadavg: 0.77 0.89 0.89 2/64 11434 /proc/meminfo: memFree=1686984/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=48040 CPUtime=39.99 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 11278 0 0 0 3985 14 0 0 25 0 1 0 5458023 49192960 11193 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 12010 11193 296 55 0 10902 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 48040 [startup+50.0267 s] /proc/loadavg: 0.80 0.89 0.90 2/64 11434 /proc/meminfo: memFree=1679688/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=55432 CPUtime=50 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 13104 0 0 0 4982 18 0 0 25 0 1 0 5458023 56762368 13019 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 13858 13019 296 55 0 12750 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 55432 [startup+60.0327 s] /proc/loadavg: 0.83 0.89 0.90 2/64 11434 /proc/meminfo: memFree=1673032/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=62036 CPUtime=59.99 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 14757 0 0 0 5978 21 0 0 25 0 1 0 5458023 63524864 14672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 15509 14672 296 55 0 14401 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 62036 [startup+70.0387 s] /proc/loadavg: 0.86 0.90 0.90 2/64 11434 /proc/meminfo: memFree=1666888/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=68112 CPUtime=70 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 16284 0 0 0 6977 23 0 0 25 0 1 0 5458023 69746688 16199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533989 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 17028 16199 296 55 0 15920 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 68112 [startup+80.0446 s] /proc/loadavg: 0.88 0.90 0.90 2/64 11434 /proc/meminfo: memFree=1661960/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=73128 CPUtime=80 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 17530 0 0 0 7974 26 0 0 25 0 1 0 5458023 74883072 17445 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 18282 17445 296 55 0 17174 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 73128 [startup+90.0506 s] /proc/loadavg: 0.90 0.90 0.90 2/64 11434 /proc/meminfo: memFree=1656008/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=79076 CPUtime=90.01 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 19021 0 0 0 8973 28 0 0 25 0 1 0 5458023 80973824 18936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 19769 18936 296 55 0 18661 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 79076 [startup+100.057 s] /proc/loadavg: 0.91 0.91 0.90 2/64 11434 /proc/meminfo: memFree=1651080/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=83976 CPUtime=100.01 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 20248 0 0 0 9970 31 0 0 25 0 1 0 5458023 85991424 20163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 20994 20163 296 55 0 19886 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 83976 [startup+110.063 s] /proc/loadavg: 0.93 0.91 0.90 2/64 11434 /proc/meminfo: memFree=1646088/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=89000 CPUtime=110.01 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 21484 0 0 0 10969 32 0 0 25 0 1 0 5458023 91136000 21399 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 22250 21399 296 55 0 21142 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 89000 [startup+120.069 s] /proc/loadavg: 0.94 0.91 0.90 2/64 11434 /proc/meminfo: memFree=1642504/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=92564 CPUtime=120.02 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 22384 0 0 0 11968 34 0 0 25 0 1 0 5458023 94785536 22299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 23141 22299 296 55 0 22033 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 92564 [startup+130.075 s] /proc/loadavg: 0.95 0.91 0.90 2/64 11434 /proc/meminfo: memFree=1638024/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=97052 CPUtime=130.02 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 23496 0 0 0 12966 36 0 0 25 0 1 0 5458023 99381248 23411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 24263 23411 296 55 0 23155 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 97052 [startup+140.081 s] /proc/loadavg: 0.95 0.92 0.90 2/64 11434 /proc/meminfo: memFree=1633416/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=101684 CPUtime=140.03 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 24645 0 0 0 13965 38 0 0 25 0 1 0 5458023 104124416 24560 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 25421 24560 296 55 0 24313 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 101684 [startup+150.087 s] /proc/loadavg: 0.96 0.92 0.91 2/64 11434 /proc/meminfo: memFree=1629192/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=105904 CPUtime=150.03 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 25703 0 0 0 14964 39 0 0 25 0 1 0 5458023 108445696 25617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 26476 25617 296 55 0 25368 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 105904 [startup+160.093 s] /proc/loadavg: 0.97 0.92 0.91 2/64 11434 /proc/meminfo: memFree=1625032/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=110012 CPUtime=160.03 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 26733 0 0 0 15962 41 0 0 25 0 1 0 5458023 112652288 26647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 27503 26647 296 55 0 26395 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 110012 [startup+170.099 s] /proc/loadavg: 0.97 0.92 0.91 2/64 11434 /proc/meminfo: memFree=1620744/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=114368 CPUtime=170.04 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 27823 0 0 0 16960 44 0 0 25 0 1 0 5458023 117112832 27737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 28592 27737 296 55 0 27484 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 114368 [startup+180.105 s] /proc/loadavg: 0.97 0.92 0.91 2/64 11434 /proc/meminfo: memFree=1616584/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=118600 CPUtime=180.04 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 28859 0 0 0 17958 46 0 0 25 0 1 0 5458023 121446400 28772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 29650 28772 296 55 0 28542 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 118600 [startup+190.112 s] /proc/loadavg: 0.98 0.93 0.91 2/64 11434 /proc/meminfo: memFree=1612744/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=122424 CPUtime=190.05 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 29805 0 0 0 18957 48 0 0 25 0 1 0 5458023 125362176 29718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 30606 29718 296 55 0 29498 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 122424 [startup+200.118 s] /proc/loadavg: 0.98 0.93 0.91 2/64 11434 /proc/meminfo: memFree=1608648/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=126532 CPUtime=200.05 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 30826 0 0 0 19956 49 0 0 25 0 1 0 5458023 129568768 30739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 31633 30739 296 55 0 30525 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 126532 [startup+210.124 s] /proc/loadavg: 0.98 0.93 0.91 2/64 11434 /proc/meminfo: memFree=1604488/2055920 swapFree=4192956/4192956 ################ # More data... # ################ /proc/11434/statm: 110895 109365 296 55 0 109787 0 Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 443580 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1292168/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=444240 CPUtime=1770.52 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 109692 0 0 0 176849 203 0 0 25 0 1 0 5458023 454901760 109535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111060 109535 296 55 0 109952 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 444240 [startup+1781.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1291336/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=445028 CPUtime=1780.52 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 109897 0 0 0 177848 204 0 0 25 0 1 0 5458023 455708672 109740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111257 109740 296 55 0 110149 0 Current children cumulated CPU time (s) 1780.52 Current children cumulated vsize (Kb) 445028 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1291208/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=445160 CPUtime=1781.52 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 109927 0 0 0 177948 204 0 0 25 0 1 0 5458023 455843840 109770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111290 109770 296 55 0 110182 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 445160 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1291080/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=445288 CPUtime=1782.52 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 109967 0 0 0 178048 204 0 0 25 0 1 0 5458023 455974912 109810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111322 109810 296 55 0 110214 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 445288 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1290952/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=445420 CPUtime=1783.53 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 109993 0 0 0 178149 204 0 0 25 0 1 0 5458023 456110080 109836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111355 109836 296 55 0 110247 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 445420 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1290824/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=445420 CPUtime=1784.53 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110022 0 0 0 178249 204 0 0 25 0 1 0 5458023 456110080 109865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111355 109865 296 55 0 110247 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 445420 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1290760/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=445552 CPUtime=1785.54 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110052 0 0 0 178350 204 0 0 25 0 1 0 5458023 456245248 109895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111388 109895 296 55 0 110280 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 445552 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1290568/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=445684 CPUtime=1786.54 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110089 0 0 0 178450 204 0 0 25 0 1 0 5458023 456380416 109932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111421 109932 296 55 0 110313 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 445684 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1290440/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=445948 CPUtime=1787.55 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110133 0 0 0 178551 204 0 0 25 0 1 0 5458023 456650752 109976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529373 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111487 109976 296 55 0 110379 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 445948 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1290248/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=446080 CPUtime=1788.55 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110175 0 0 0 178651 204 0 0 25 0 1 0 5458023 456785920 110018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111520 110018 296 55 0 110412 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 446080 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1290056/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=446412 CPUtime=1789.56 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110221 0 0 0 178752 204 0 0 25 0 1 0 5458023 457125888 110061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111603 110061 296 55 0 110495 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 446412 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1290056/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=446412 CPUtime=1790.56 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110221 0 0 0 178852 204 0 0 25 0 1 0 5458023 457125888 110061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111603 110061 296 55 0 110495 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 446412 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1289928/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=446544 CPUtime=1791.56 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110259 0 0 0 178952 204 0 0 25 0 1 0 5458023 457261056 110099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111636 110099 296 55 0 110528 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 446544 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1289800/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=446676 CPUtime=1792.57 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110292 0 0 0 179053 204 0 0 25 0 1 0 5458023 457396224 110132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111669 110132 296 55 0 110561 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 446676 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1289608/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=446808 CPUtime=1793.57 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110332 0 0 0 179153 204 0 0 25 0 1 0 5458023 457531392 110172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111702 110172 296 55 0 110594 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 446808 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1289352/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=447136 CPUtime=1794.59 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110401 0 0 0 179254 205 0 0 25 0 1 0 5458023 457867264 110232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111784 110232 296 55 0 110676 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 447136 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1289288/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=447268 CPUtime=1795.59 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110422 0 0 0 179354 205 0 0 25 0 1 0 5458023 458002432 110253 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111817 110253 296 55 0 110709 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 447268 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1289224/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=447268 CPUtime=1796.6 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110440 0 0 0 179455 205 0 0 25 0 1 0 5458023 458002432 110271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111817 110271 296 55 0 110709 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 447268 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1289160/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=447400 CPUtime=1797.6 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110462 0 0 0 179555 205 0 0 25 0 1 0 5458023 458137600 110293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111850 110293 296 55 0 110742 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 447400 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1288968/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=447532 CPUtime=1798.6 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110497 0 0 0 179655 205 0 0 25 0 1 0 5458023 458272768 110328 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111883 110328 296 55 0 110775 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 447532 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11629 /proc/meminfo: memFree=1288776/2055920 swapFree=4192956/4192956 [pid=11434] ppid=11432 vsize=447664 CPUtime=1799.61 /proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110547 0 0 0 179756 205 0 0 25 0 1 0 5458023 458407936 110378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11434/statm: 111916 110378 296 55 0 110808 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 447664 Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.07 CPU user time (s): 1797.95 CPU system time (s): 2.12168 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (Kb): 447664
Begin job on node26 on Fri Jun 2 04:34:31 UTC 2006 FILE ID= 39601-1149222871 PBS_JOBID= 295562 BENCH NAME= ROOT/tmp/node26/39601-1149222871/instance-39601-1149222871.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/39601-1149222871/instance-39601-1149222871.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-39601-1149222871 -o ROOT/results/node26/solver-39601-1149222871 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/39601-1149222871/instance-39601-1149222871.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 733d8edd6a6cbfe19e20f4970079db5a RANDOM SEED= 608417726 /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.247 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.247 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: 1730840 kB Buffers: 23136 kB Cached: 246892 kB SwapCached: 0 kB Active: 203424 kB Inactive: 81116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1730840 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 124 kB Writeback: 0 kB Mapped: 24900 kB Slab: 26528 kB Committed_AS: 146568 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node26 on Fri Jun 2 05:04:32 UTC 2006