Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 23 | 1800.43 | 1797.37 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_4.opb |
MD5SUM | 740b964ee569656e2f29dedde6e3939b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
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 | 12 |
Minimum length of a constraint | 62 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1486 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4969 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.1.1.v20090612 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1342000320 0.08/0.15 c Max memory 1344274432 0.08/0.15 c Total memory 1344274432 0.08/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c MiniSAT restarts strategy 0.22/0.22 c Memory based learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c solving HOME/instance-1856727-1244922912.opb 0.22/0.22 c reading problem ... 0.33/0.31 c ... done. Wall clock time 0.089s. 0.33/0.31 c #vars 146 0.33/0.31 c #constraints 12 0.33/0.31 c constraints type 0.33/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 12 0.72/0.56 c SATISFIABLE 0.72/0.56 c OPTIMIZING... 0.72/0.56 c Got one! Elapsed wall clock time (in seconds):0.345 0.72/0.56 o 2877 0.88/0.64 c Got one! Elapsed wall clock time (in seconds):0.42 0.88/0.64 o 2613 0.88/0.67 c Got one! Elapsed wall clock time (in seconds):0.453 0.88/0.67 o 2612 1.02/0.70 c Got one! Elapsed wall clock time (in seconds):0.488 1.02/0.70 o 2610 1.02/0.74 c Got one! Elapsed wall clock time (in seconds):0.523 1.02/0.74 o 2609 1.02/0.77 c Got one! Elapsed wall clock time (in seconds):0.552 1.02/0.77 o 2608 1.02/0.80 c Got one! Elapsed wall clock time (in seconds):0.58 1.02/0.80 o 2600 1.18/0.83 c Got one! Elapsed wall clock time (in seconds):0.616 1.18/0.83 o 2354 1.18/0.86 c Got one! Elapsed wall clock time (in seconds):0.643 1.18/0.86 o 2353 1.18/0.88 c Got one! Elapsed wall clock time (in seconds):0.666 1.18/0.88 o 2349 1.32/0.90 c Got one! Elapsed wall clock time (in seconds):0.689 1.32/0.91 o 2264 1.32/0.93 c Got one! Elapsed wall clock time (in seconds):0.712 1.32/0.93 o 2263 1.32/0.95 c Got one! Elapsed wall clock time (in seconds):0.736 1.32/0.95 o 2249 1.32/0.97 c Got one! Elapsed wall clock time (in seconds):0.759 1.32/0.97 o 2248 1.45/1.00 c Got one! Elapsed wall clock time (in seconds):0.788 1.45/1.00 o 2191 1.45/1.03 c Got one! Elapsed wall clock time (in seconds):0.816 1.45/1.03 o 2082 1.45/1.06 c Got one! Elapsed wall clock time (in seconds):0.843 1.45/1.06 o 2081 1.45/1.09 c Got one! Elapsed wall clock time (in seconds):0.873 1.45/1.09 o 2065 1.55/1.11 c Got one! Elapsed wall clock time (in seconds):0.898 1.55/1.11 o 2064 1.55/1.14 c Got one! Elapsed wall clock time (in seconds):0.924 1.55/1.14 o 2050 1.55/1.19 c Got one! Elapsed wall clock time (in seconds):0.974 1.55/1.19 o 2049 1.74/1.23 c Got one! Elapsed wall clock time (in seconds):1.011 1.74/1.23 o 2048 1.74/1.25 c Got one! Elapsed wall clock time (in seconds):1.036 1.74/1.25 o 1999 1.74/1.29 c Got one! Elapsed wall clock time (in seconds):1.079 1.74/1.30 o 1792 1.93/1.37 c Got one! Elapsed wall clock time (in seconds):1.15 1.93/1.37 o 1791 2.34/1.52 c Got one! Elapsed wall clock time (in seconds):1.309 2.34/1.52 o 1789 2.34/1.55 c Got one! Elapsed wall clock time (in seconds):1.331 2.34/1.55 o 1787 2.34/1.57 c Got one! Elapsed wall clock time (in seconds):1.352 2.34/1.57 o 1785 2.34/1.59 c Got one! Elapsed wall clock time (in seconds):1.375 2.34/1.59 o 1783 2.53/1.61 c Got one! Elapsed wall clock time (in seconds):1.399 2.53/1.61 o 1782 2.53/1.64 c Got one! Elapsed wall clock time (in seconds):1.42 2.53/1.64 o 1759 2.73/1.71 c Got one! Elapsed wall clock time (in seconds):1.499 2.73/1.71 o 1757 2.73/1.77 c Got one! Elapsed wall clock time (in seconds):1.558 2.73/1.77 o 569 2.90/1.82 c Got one! Elapsed wall clock time (in seconds):1.604 2.90/1.82 o 568 2.90/1.89 c Got one! Elapsed wall clock time (in seconds):1.677 2.90/1.89 o 567 3.01/1.95 c Got one! Elapsed wall clock time (in seconds):1.735 3.01/1.95 o 566 3.12/2.00 c Got one! Elapsed wall clock time (in seconds):1.783 3.12/2.00 o 560 3.12/2.05 c Got one! Elapsed wall clock time (in seconds):1.836 3.12/2.06 o 558 3.12/2.10 c Got one! Elapsed wall clock time (in seconds):1.884 3.12/2.10 o 556 3.22/2.15 c Got one! Elapsed wall clock time (in seconds):1.936 3.22/2.15 o 554 3.22/2.19 c Got one! Elapsed wall clock time (in seconds):1.977 3.22/2.19 o 553 3.33/2.24 c Got one! Elapsed wall clock time (in seconds):2.027 3.33/2.24 o 551 3.33/2.29 c Got one! Elapsed wall clock time (in seconds):2.078 3.33/2.29 o 550 3.42/2.34 c Got one! Elapsed wall clock time (in seconds):2.128 3.42/2.34 o 548 3.42/2.40 c Got one! Elapsed wall clock time (in seconds):2.181 3.42/2.40 o 546 3.52/2.45 c Got one! Elapsed wall clock time (in seconds):2.238 3.52/2.45 o 544 3.62/2.51 c Got one! Elapsed wall clock time (in seconds):2.294 3.62/2.51 o 542 3.62/2.57 c Got one! Elapsed wall clock time (in seconds):2.351 3.62/2.57 o 541 3.72/2.61 c Got one! Elapsed wall clock time (in seconds):2.399 3.72/2.61 o 539 3.72/2.68 c Got one! Elapsed wall clock time (in seconds):2.462 3.72/2.68 o 537 3.82/2.72 c Got one! Elapsed wall clock time (in seconds):2.509 3.82/2.72 o 532 3.82/2.78 c Got one! Elapsed wall clock time (in seconds):2.566 3.82/2.78 o 531 3.99/2.87 c Got one! Elapsed wall clock time (in seconds):2.653 3.99/2.87 o 530 4.10/2.93 c Got one! Elapsed wall clock time (in seconds):2.71 4.10/2.93 o 529 4.10/2.99 c Got one! Elapsed wall clock time (in seconds):2.77 4.10/2.99 o 527 4.20/3.05 c Got one! Elapsed wall clock time (in seconds):2.832 4.20/3.05 o 301 4.37/3.12 c Got one! Elapsed wall clock time (in seconds):2.901 4.37/3.12 o 299 4.37/3.16 c Got one! Elapsed wall clock time (in seconds):2.941 4.37/3.16 o 298 4.66/3.44 c Got one! Elapsed wall clock time (in seconds):3.22 4.66/3.44 o 294 4.88/3.64 c Got one! Elapsed wall clock time (in seconds):3.426 4.88/3.64 o 293 4.98/3.72 c Got one! Elapsed wall clock time (in seconds):3.502 4.98/3.72 o 291 5.08/3.84 c Got one! Elapsed wall clock time (in seconds):3.621 5.08/3.84 o 289 5.18/3.92 c Got one! Elapsed wall clock time (in seconds):3.709 5.18/3.92 o 287 5.28/4.02 c Got one! Elapsed wall clock time (in seconds):3.809 5.28/4.02 o 285 5.38/4.12 c Got one! Elapsed wall clock time (in seconds):3.909 5.38/4.12 o 284 5.38/4.19 c Got one! Elapsed wall clock time (in seconds):3.975 5.38/4.19 o 282 5.48/4.29 c Got one! Elapsed wall clock time (in seconds):4.071 5.48/4.29 o 280 5.59/4.40 c Got one! Elapsed wall clock time (in seconds):4.184 5.59/4.40 o 278 5.69/4.47 c Got one! Elapsed wall clock time (in seconds):4.25 5.69/4.47 o 277 5.80/4.52 c Got one! Elapsed wall clock time (in seconds):4.302 5.80/4.52 o 276 5.91/4.63 c Got one! Elapsed wall clock time (in seconds):4.418 5.91/4.63 o 274 6.21/4.96 c Got one! Elapsed wall clock time (in seconds):4.742 6.21/4.96 o 272 6.31/5.08 c Got one! Elapsed wall clock time (in seconds):4.862 6.31/5.08 o 268 6.41/5.17 c Got one! Elapsed wall clock time (in seconds):4.949 6.41/5.17 o 266 6.54/5.26 c Got one! Elapsed wall clock time (in seconds):5.044 6.54/5.26 o 265 6.64/5.39 c Got one! Elapsed wall clock time (in seconds):5.172 6.64/5.39 o 264 6.74/5.50 c Got one! Elapsed wall clock time (in seconds):5.282 6.74/5.50 o 262 6.84/5.59 c Got one! Elapsed wall clock time (in seconds):5.376 6.84/5.59 o 261 6.93/5.66 c Got one! Elapsed wall clock time (in seconds):5.443 6.93/5.66 o 259 7.03/5.78 c Got one! Elapsed wall clock time (in seconds):5.56 7.03/5.78 o 257 7.13/5.87 c Got one! Elapsed wall clock time (in seconds):5.651 7.13/5.87 o 255 7.23/5.97 c Got one! Elapsed wall clock time (in seconds):5.754 7.23/5.97 o 254 7.43/6.14 c Got one! Elapsed wall clock time (in seconds):5.924 7.43/6.14 o 252 7.53/6.27 c Got one! Elapsed wall clock time (in seconds):6.059 7.53/6.28 o 251 7.63/6.39 c Got one! Elapsed wall clock time (in seconds):6.171 7.63/6.39 o 250 7.83/6.59 c Got one! Elapsed wall clock time (in seconds):6.376 7.83/6.59 o 249 9.45/8.18 c Got one! Elapsed wall clock time (in seconds):7.966 9.45/8.18 o 247 9.65/8.33 c Got one! Elapsed wall clock time (in seconds):8.118 9.65/8.33 o 246 9.75/8.45 c Got one! Elapsed wall clock time (in seconds):8.232 9.75/8.45 o 244 9.95/8.63 c Got one! Elapsed wall clock time (in seconds):8.415 9.95/8.63 o 243 10.25/8.93 c Got one! Elapsed wall clock time (in seconds):8.718 10.25/8.93 o 241 10.45/9.13 c Got one! Elapsed wall clock time (in seconds):8.917 10.45/9.13 o 239 10.65/9.34 c Got one! Elapsed wall clock time (in seconds):9.127 10.65/9.34 o 237 11.05/9.75 c Got one! Elapsed wall clock time (in seconds):9.535 11.05/9.75 o 235 12.58/11.28 c Got one! Elapsed wall clock time (in seconds):11.064 12.58/11.28 o 233 12.78/11.46 c Got one! Elapsed wall clock time (in seconds):11.24 12.78/11.46 o 231 12.89/11.59 c Got one! Elapsed wall clock time (in seconds):11.371 12.89/11.59 o 229 13.20/11.81 c Got one! Elapsed wall clock time (in seconds):11.595 13.20/11.81 o 227 13.40/12.02 c Got one! Elapsed wall clock time (in seconds):11.807 13.40/12.02 o 226 13.60/12.20 c Got one! Elapsed wall clock time (in seconds):11.983 13.60/12.20 o 224 13.90/12.57 c Got one! Elapsed wall clock time (in seconds):12.353 13.90/12.57 o 223 14.50/13.18 c Got one! Elapsed wall clock time (in seconds):12.961 14.50/13.18 o 221 14.90/13.54 c Got one! Elapsed wall clock time (in seconds):13.321 14.90/13.54 o 219 15.20/13.88 c Got one! Elapsed wall clock time (in seconds):13.667 15.20/13.88 o 217 15.40/14.09 c Got one! Elapsed wall clock time (in seconds):13.877 15.40/14.09 o 216 15.80/14.41 c Got one! Elapsed wall clock time (in seconds):14.196 15.80/14.41 o 214 16.11/14.73 c Got one! Elapsed wall clock time (in seconds):14.511 16.11/14.73 o 213 16.31/14.92 c Got one! Elapsed wall clock time (in seconds):14.708 16.31/14.92 o 211 16.51/15.14 c Got one! Elapsed wall clock time (in seconds):14.926 16.51/15.14 o 210 17.54/16.12 c Got one! Elapsed wall clock time (in seconds):15.907 17.54/16.12 o 209 17.74/16.35 c Got one! Elapsed wall clock time (in seconds):16.129 17.74/16.35 o 208 18.04/16.70 c Got one! Elapsed wall clock time (in seconds):16.48 18.04/16.70 o 206 18.34/16.90 c Got one! Elapsed wall clock time (in seconds):16.686 18.34/16.90 o 205 18.64/17.21 c Got one! Elapsed wall clock time (in seconds):16.994 18.64/17.21 o 203 19.04/17.63 c Got one! Elapsed wall clock time (in seconds):17.417 19.04/17.63 o 202 19.74/18.37 c Got one! Elapsed wall clock time (in seconds):18.158 19.74/18.37 o 200 20.14/18.76 c Got one! Elapsed wall clock time (in seconds):18.549 20.14/18.76 o 199 20.74/19.31 c Got one! Elapsed wall clock time (in seconds):19.097 20.74/19.31 o 198 21.14/19.75 c Got one! Elapsed wall clock time (in seconds):19.538 21.14/19.75 o 196 25.88/24.40 c Got one! Elapsed wall clock time (in seconds):24.183 25.88/24.40 o 195 26.18/24.75 c Got one! Elapsed wall clock time (in seconds):24.535 26.18/24.75 o 193 26.48/25.03 c Got one! Elapsed wall clock time (in seconds):24.818 26.48/25.03 o 191 26.78/25.36 c Got one! Elapsed wall clock time (in seconds):25.145 26.78/25.36 o 189 27.48/26.07 c Got one! Elapsed wall clock time (in seconds):25.858 27.48/26.07 o 176 27.78/26.38 c Got one! Elapsed wall clock time (in seconds):26.161 27.78/26.38 o 174 29.43/27.94 c Got one! Elapsed wall clock time (in seconds):27.721 29.43/27.94 o 173 29.73/28.23 c Got one! Elapsed wall clock time (in seconds):28.011 29.73/28.23 o 172 30.63/29.19 c Got one! Elapsed wall clock time (in seconds):28.976 30.63/29.19 o 171 31.23/29.74 c Got one! Elapsed wall clock time (in seconds):29.526 31.23/29.74 o 170 31.43/29.94 c Got one! Elapsed wall clock time (in seconds):29.721 31.43/29.94 o 168 31.63/30.13 c Got one! Elapsed wall clock time (in seconds):29.913 31.63/30.13 o 167 32.52/31.01 c Got one! Elapsed wall clock time (in seconds):30.796 32.52/31.01 o 165 32.92/31.42 c Got one! Elapsed wall clock time (in seconds):31.206 32.92/31.42 o 163 33.12/31.64 c Got one! Elapsed wall clock time (in seconds):31.429 33.12/31.64 o 161 33.52/32.01 c Got one! Elapsed wall clock time (in seconds):31.796 33.52/32.01 o 160 34.03/32.58 c Got one! Elapsed wall clock time (in seconds):32.369 34.03/32.58 o 157 34.43/32.97 c Got one! Elapsed wall clock time (in seconds):32.756 34.43/32.97 o 153 35.12/33.67 c Got one! Elapsed wall clock time (in seconds):33.459 35.12/33.67 o 152 35.48/33.90 c Got one! Elapsed wall clock time (in seconds):33.689 35.48/33.90 o 151 36.48/34.92 c Got one! Elapsed wall clock time (in seconds):34.708 36.48/34.92 o 150 36.88/35.37 c Got one! Elapsed wall clock time (in seconds):35.152 36.88/35.37 o 149 37.08/35.57 c Got one! Elapsed wall clock time (in seconds):35.357 37.08/35.57 o 148 37.88/36.37 c Got one! Elapsed wall clock time (in seconds):36.151 37.88/36.37 o 147 41.69/40.11 c Got one! Elapsed wall clock time (in seconds):39.89 41.69/40.11 o 146 41.98/40.47 c Got one! Elapsed wall clock time (in seconds):40.252 41.98/40.47 o 145 43.74/42.14 c Got one! Elapsed wall clock time (in seconds):41.927 43.74/42.14 o 141 44.54/42.98 c Got one! Elapsed wall clock time (in seconds):42.76 44.54/42.98 o 140 46.14/44.55 c Got one! Elapsed wall clock time (in seconds):44.333 46.14/44.55 o 138 48.94/47.30 c Got one! Elapsed wall clock time (in seconds):47.086 48.94/47.30 o 137 49.74/48.15 c Got one! Elapsed wall clock time (in seconds):47.932 49.74/48.15 o 135 50.73/49.10 c Got one! Elapsed wall clock time (in seconds):48.882 50.73/49.10 o 134 51.23/49.68 c Got one! Elapsed wall clock time (in seconds):49.46 51.23/49.68 o 133 52.88/51.22 c Got one! Elapsed wall clock time (in seconds):51.009 52.88/51.22 o 131 53.58/51.96 c Got one! Elapsed wall clock time (in seconds):51.742 53.58/51.96 o 129 54.88/53.29 c Got one! Elapsed wall clock time (in seconds):53.07 54.88/53.29 o 127 55.68/54.02 c Got one! Elapsed wall clock time (in seconds):53.807 55.68/54.02 o 126 56.18/54.52 c Got one! Elapsed wall clock time (in seconds):54.307 56.18/54.52 o 125 56.48/54.83 c Got one! Elapsed wall clock time (in seconds):54.612 56.48/54.83 o 124 58.18/56.52 c Got one! Elapsed wall clock time (in seconds):56.303 58.18/56.52 o 122 58.58/56.98 c Got one! Elapsed wall clock time (in seconds):56.765 58.58/56.98 o 121 61.48/59.85 c Got one! Elapsed wall clock time (in seconds):59.635 61.48/59.85 o 120 65.21/63.51 c Got one! Elapsed wall clock time (in seconds):63.292 65.21/63.51 o 119 65.61/63.98 c Got one! Elapsed wall clock time (in seconds):63.767 65.61/63.98 o 118 66.61/64.97 c Got one! Elapsed wall clock time (in seconds):64.756 66.61/64.97 o 117 67.41/65.74 c Got one! Elapsed wall clock time (in seconds):65.529 67.41/65.74 o 115 68.71/67.08 c Got one! Elapsed wall clock time (in seconds):66.869 68.71/67.09 o 113 69.71/68.09 c Got one! Elapsed wall clock time (in seconds):67.872 69.71/68.09 o 111 73.41/71.73 c Got one! Elapsed wall clock time (in seconds):71.517 73.41/71.73 o 110 75.41/73.71 c Got one! Elapsed wall clock time (in seconds):73.493 75.41/73.71 o 108 78.24/76.57 c Got one! Elapsed wall clock time (in seconds):76.351 78.24/76.57 o 107 80.24/78.52 c Got one! Elapsed wall clock time (in seconds):78.305 80.24/78.52 o 106 80.74/79.08 c Got one! Elapsed wall clock time (in seconds):78.867 80.74/79.08 o 105 82.54/80.84 c Got one! Elapsed wall clock time (in seconds):80.625 82.54/80.84 o 104 83.04/81.32 c Got one! Elapsed wall clock time (in seconds):81.106 83.04/81.32 o 102 86.04/84.33 c Got one! Elapsed wall clock time (in seconds):84.11 86.04/84.33 o 100 88.76/87.04 c Got one! Elapsed wall clock time (in seconds):86.828 88.76/87.04 o 98 90.46/88.76 c Got one! Elapsed wall clock time (in seconds):88.546 90.46/88.76 o 97 106.38/104.61 c Got one! Elapsed wall clock time (in seconds):104.398 106.38/104.61 o 95 110.97/109.25 c Got one! Elapsed wall clock time (in seconds):109.031 110.97/109.25 o 94 111.87/110.17 c Got one! Elapsed wall clock time (in seconds):109.956 111.87/110.17 o 93 116.40/114.67 c Got one! Elapsed wall clock time (in seconds):114.45 116.40/114.67 o 92 118.10/116.32 c Got one! Elapsed wall clock time (in seconds):116.103 118.10/116.32 o 91 119.40/117.66 c Got one! Elapsed wall clock time (in seconds):117.448 119.40/117.66 o 90 120.80/119.07 c Got one! Elapsed wall clock time (in seconds):118.857 120.80/119.07 o 88 123.60/121.84 c Got one! Elapsed wall clock time (in seconds):121.625 123.60/121.84 o 87 124.30/122.51 c Got one! Elapsed wall clock time (in seconds):122.29 124.30/122.51 o 86 127.10/125.34 c Got one! Elapsed wall clock time (in seconds):125.129 127.10/125.34 o 85 129.30/127.51 c Got one! Elapsed wall clock time (in seconds):127.294 129.30/127.51 o 83 132.42/130.69 c Got one! Elapsed wall clock time (in seconds):130.47 132.42/130.69 o 77 137.72/135.91 c Got one! Elapsed wall clock time (in seconds):135.693 137.72/135.91 o 75 140.92/139.12 c Got one! Elapsed wall clock time (in seconds):138.908 140.92/139.12 o 73 145.25/143.41 c Got one! Elapsed wall clock time (in seconds):143.197 145.25/143.41 o 71 148.05/146.25 c Got one! Elapsed wall clock time (in seconds):146.038 148.05/146.25 o 69 151.05/149.28 c Got one! Elapsed wall clock time (in seconds):149.064 151.05/149.28 o 67 178.78/176.98 c Got one! Elapsed wall clock time (in seconds):176.759 178.78/176.98 o 66 182.18/180.39 c Got one! Elapsed wall clock time (in seconds):180.171 182.18/180.39 o 64 185.08/183.22 c Got one! Elapsed wall clock time (in seconds):183.006 185.08/183.22 o 63 188.48/186.69 c Got one! Elapsed wall clock time (in seconds):186.478 188.48/186.69 o 62 191.48/189.64 c Got one! Elapsed wall clock time (in seconds):189.425 191.48/189.64 o 60 215.62/213.74 c Got one! Elapsed wall clock time (in seconds):213.527 215.62/213.74 o 59 220.92/219.03 c Got one! Elapsed wall clock time (in seconds):218.811 220.92/219.03 o 58 246.63/244.76 c Got one! Elapsed wall clock time (in seconds):244.548 246.63/244.76 o 56 252.64/250.74 c Got one! Elapsed wall clock time (in seconds):250.525 252.64/250.74 o 55 262.26/260.35 c Got one! Elapsed wall clock time (in seconds):260.135 262.26/260.35 o 54 273.96/272.09 c Got one! Elapsed wall clock time (in seconds):271.87 273.96/272.09 o 53 300.88/299.00 c Got one! Elapsed wall clock time (in seconds):298.78 300.88/299.00 o 51 303.28/301.37 c Got one! Elapsed wall clock time (in seconds):301.156 303.28/301.37 o 49 307.18/305.22 c Got one! Elapsed wall clock time (in seconds):305.002 307.18/305.22 o 47 353.92/351.96 c Got one! Elapsed wall clock time (in seconds):351.742 353.92/351.96 o 45 382.54/380.51 c Got one! Elapsed wall clock time (in seconds):380.298 382.54/380.51 o 44 431.58/429.53 c Got one! Elapsed wall clock time (in seconds):429.313 431.58/429.53 o 42 443.58/441.55 c Got one! Elapsed wall clock time (in seconds):441.338 443.58/441.55 o 40 486.40/484.32 c Got one! Elapsed wall clock time (in seconds):484.108 486.40/484.32 o 39 495.73/493.67 c Got one! Elapsed wall clock time (in seconds):493.45 495.73/493.67 o 38 520.43/518.32 c Got one! Elapsed wall clock time (in seconds):518.1 520.43/518.32 o 37 592.98/590.88 c Got one! Elapsed wall clock time (in seconds):590.668 592.98/590.88 o 36 724.21/721.93 c Got one! Elapsed wall clock time (in seconds):721.717 724.21/721.93 o 35 806.49/804.16 c Got one! Elapsed wall clock time (in seconds):803.943 806.49/804.16 o 34 1154.52/1151.94 c Got one! Elapsed wall clock time (in seconds):1151.72 1154.52/1151.94 o 32 1274.35/1271.70 c Got one! Elapsed wall clock time (in seconds):1271.483 1274.35/1271.70 o 31 1283.95/1281.39 c Got one! Elapsed wall clock time (in seconds):1281.175 1283.95/1281.39 o 30 1365.50/1362.85 c Got one! Elapsed wall clock time (in seconds):1362.63 1365.50/1362.85 o 28 1473.77/1471.04 c Got one! Elapsed wall clock time (in seconds):1470.822 1473.77/1471.04 o 26 1641.32/1638.54 c Got one! Elapsed wall clock time (in seconds):1638.321 1641.32/1638.54 o 24 1674.98/1672.15 c Got one! Elapsed wall clock time (in seconds):1671.939 1674.98/1672.15 o 23 1800.02/1797.11 c starts : 1086 1800.02/1797.11 c conflicts : 791577 1800.02/1797.11 c decisions : 952225 1800.02/1797.11 c propagations : 10824461 1800.02/1797.11 c inspects : 4692876918 1800.02/1797.11 c learnt literals : 0 1800.02/1797.11 c learnt binary clauses : 0 1800.02/1797.11 c learnt ternary clauses : 0 1800.02/1797.11 c learnt clauses : 791577 1800.02/1797.11 c ignored clauses : 0 1800.02/1797.11 c root simplifications : 0 1800.02/1797.11 c removed literals (reason simplification) : 8524870 1800.02/1797.11 c reason swapping (by a shorter reason) : 0 1800.02/1797.11 c Calls to reduceDB : 0 1800.02/1797.11 c speed (assignments/second) : 86626.18041550626 1800.02/1797.11 c non guided choices 4998 1800.22/1797.25 c learnt constraints type 1800.22/1797.25 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 791593 1800.22/1797.25 c constraints type 1800.22/1797.25 c org.sat4j.pb.constraints.pb.MaxWatchPb => 13 1800.22/1797.25 s SATISFIABLE 1800.22/1797.25 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 x103 x104 -x105 -x106 x107 x108 -x109 -x110 x111 -x112 -x113 x114 x115 x116 x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 x127 x128 x129 -x130 x131 x132 -x133 -x134 x135 -x136 x137 -x138 -x139 x140 x141 x142 -x143 -x144 x145 x146 1800.22/1797.25 c objective function=23 1800.22/1797.25 c Total wall clock time (in seconds): 1797.036
OK 23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856727-1244922912/watcher-1856727-1244922912 -o /tmp/evaluation-result-1856727-1244922912/solver-1856727-1244922912 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856727-1244922912.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 13206 /proc/meminfo: memFree=1326840/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=152 CPUtime=0 /proc/13206/stat : 13206 (java6) R 13204 13206 13125 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 159891628 155648 26 1992294400 134512640 134550932 4294956176 18446744073709551615 4677931 0 0 4096 0 0 0 0 17 1 0 0 /proc/13206/statm: 38 26 19 9 0 4 0 [startup+0.048058 s] /proc/loadavg: 0.92 0.98 0.99 3/64 13206 /proc/meminfo: memFree=1326840/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1469440 CPUtime=0.04 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 3128 0 1 0 2 2 0 0 18 0 5 0 159891628 1504706560 2875 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 367360 2875 979 9 0 364711 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1469440 [startup+0.101062 s] /proc/loadavg: 0.92 0.98 0.99 3/64 13206 /proc/meminfo: memFree=1326840/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1472584 CPUtime=0.08 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 3605 0 1 0 6 2 0 0 18 0 12 0 159891628 1507926016 3348 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 368146 3348 1066 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.301072 s] /proc/loadavg: 0.92 0.98 0.99 3/64 13206 /proc/meminfo: memFree=1326840/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1475740 CPUtime=0.33 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 5018 0 1 0 29 4 0 0 18 0 12 0 159891628 1511157760 4755 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 368935 4755 1352 9 0 366278 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1475740 [startup+0.701103 s] /proc/loadavg: 0.92 0.98 0.99 3/64 13206 /proc/meminfo: memFree=1326840/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1479844 CPUtime=1.02 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 7902 0 1 0 98 4 0 0 18 0 13 0 159891628 1515360256 6986 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 369961 6986 1413 9 0 367304 0 Current children cumulated CPU time (s) 1.02 Current children cumulated vsize (KiB) 1479844 [startup+1.50215 s] /proc/loadavg: 0.92 0.98 0.99 2/77 13219 /proc/meminfo: memFree=1291984/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1490224 CPUtime=2.34 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 18108 0 1 0 225 9 0 0 18 0 13 0 159891628 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 372556 15089 1421 9 0 369899 0 [pid=13206/tid=13208] ppid=13204 vsize=1490224 CPUtime=1.05 /proc/13206/task/13208/stat : 13208 (java) R 13204 13206 13125 0 -1 64 10621 0 1 0 100 5 0 0 18 0 13 0 159891630 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4109582237 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13209] ppid=13204 vsize=1490224 CPUtime=0 /proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13125 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 159891631 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13210] ppid=13204 vsize=1490224 CPUtime=0 /proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 159891631 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13211] ppid=13204 vsize=1490224 CPUtime=0 /proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13125 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 159891633 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13212] ppid=13204 vsize=1490224 CPUtime=0 /proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13125 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 159891633 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13213] ppid=13204 vsize=1490224 CPUtime=0 /proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13125 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 159891633 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13214] ppid=13204 vsize=1490224 CPUtime=0 /proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159891638 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13215] ppid=13204 vsize=1490224 CPUtime=0.61 /proc/13206/task/13215/stat : 13215 (java) S 13204 13206 13125 0 -1 64 2580 0 0 0 61 0 0 0 17 0 13 0 159891638 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13216] ppid=13204 vsize=1490224 CPUtime=0.63 /proc/13206/task/13216/stat : 13216 (java) R 13204 13206 13125 0 -1 64 4158 0 0 0 62 1 0 0 17 0 13 0 159891638 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 103143483 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13217] ppid=13204 vsize=1490224 CPUtime=0 /proc/13206/task/13217/stat : 13217 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159891638 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13218] ppid=13204 vsize=1490224 CPUtime=0 /proc/13206/task/13218/stat : 13218 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159891638 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13219] ppid=13204 vsize=1490224 CPUtime=0 /proc/13206/task/13219/stat : 13219 (java) S 13204 13206 13125 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 159891660 1525989376 15089 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 1490224 [startup+3.10226 s] /proc/loadavg: 0.92 0.98 0.99 2/77 13219 /proc/meminfo: memFree=1246224/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1489760 CPUtime=4.37 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 36656 0 1 0 420 17 0 0 18 0 13 0 159891628 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 372440 31211 1423 9 0 369783 0 [pid=13206/tid=13208] ppid=13204 vsize=1489760 CPUtime=2.52 /proc/13206/task/13208/stat : 13208 (java) R 13204 13206 13125 0 -1 64 26573 0 1 0 240 12 0 0 21 0 13 0 159891630 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4109483064 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13209] ppid=13204 vsize=1489760 CPUtime=0 /proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13125 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 159891631 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13210] ppid=13204 vsize=1489760 CPUtime=0 /proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 159891631 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13211] ppid=13204 vsize=1489760 CPUtime=0 /proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13125 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159891633 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13212] ppid=13204 vsize=1489760 CPUtime=0 /proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13125 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 159891633 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13213] ppid=13204 vsize=1489760 CPUtime=0 /proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13125 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 159891633 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13214] ppid=13204 vsize=1489760 CPUtime=0 /proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159891638 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13215] ppid=13204 vsize=1489760 CPUtime=0.87 /proc/13206/task/13215/stat : 13215 (java) S 13204 13206 13125 0 -1 64 3610 0 0 0 86 1 0 0 17 0 13 0 159891638 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13216] ppid=13204 vsize=1489760 CPUtime=0.95 /proc/13206/task/13216/stat : 13216 (java) S 13204 13206 13125 0 -1 64 5724 0 0 0 93 2 0 0 17 0 13 0 159891638 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13217] ppid=13204 vsize=1489760 CPUtime=0 /proc/13206/task/13217/stat : 13217 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159891638 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13218] ppid=13204 vsize=1489760 CPUtime=0 /proc/13206/task/13218/stat : 13218 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159891638 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13219] ppid=13204 vsize=1489760 CPUtime=0 /proc/13206/task/13219/stat : 13219 (java) S 13204 13206 13125 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 159891660 1525514240 31211 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.37 Current children cumulated vsize (KiB) 1489760 [startup+6.30145 s] /proc/loadavg: 0.93 0.98 0.99 2/77 13219 /proc/meminfo: memFree=1185104/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1488928 CPUtime=7.63 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 42299 0 1 0 743 20 0 0 18 0 13 0 159891628 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 372232 36576 1432 9 0 369575 0 [pid=13206/tid=13208] ppid=13204 vsize=1488928 CPUtime=5.69 /proc/13206/task/13208/stat : 13208 (java) R 13204 13206 13125 0 -1 64 30983 0 1 0 555 14 0 0 25 0 13 0 159891630 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4109483341 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13209] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13125 0 -1 64 626 0 0 0 0 0 0 0 16 0 13 0 159891631 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13210] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13125 0 -1 64 588 0 0 0 0 0 0 0 16 0 13 0 159891631 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13211] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13125 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 159891633 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13212] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13125 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159891633 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13213] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13125 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159891633 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13214] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159891638 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13215] ppid=13204 vsize=1488928 CPUtime=0.87 /proc/13206/task/13215/stat : 13215 (java) S 13204 13206 13125 0 -1 64 3610 0 0 0 86 1 0 0 16 0 13 0 159891638 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13216] ppid=13204 vsize=1488928 CPUtime=1 /proc/13206/task/13216/stat : 13216 (java) S 13204 13206 13125 0 -1 64 5737 0 0 0 98 2 0 0 17 0 13 0 159891638 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13217] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13217/stat : 13217 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159891638 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13218] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13218/stat : 13218 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159891638 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13219] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13219/stat : 13219 (java) S 13204 13206 13125 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 159891660 1524662272 36576 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.63 Current children cumulated vsize (KiB) 1488928 [startup+12.7029 s] /proc/loadavg: 0.93 0.98 0.99 2/77 13219 /proc/meminfo: memFree=1169240/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1488928 CPUtime=14.1 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 46325 0 1 0 1388 22 0 0 18 0 13 0 159891628 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 372232 40543 1432 9 0 369575 0 [pid=13206/tid=13208] ppid=13204 vsize=1488928 CPUtime=12.03 /proc/13206/task/13208/stat : 13208 (java) R 13204 13206 13125 0 -1 64 30985 0 1 0 1189 14 0 0 25 0 13 0 159891630 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4109524671 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13209] ppid=13204 vsize=1488928 CPUtime=0.05 /proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13125 0 -1 64 2648 0 0 0 4 1 0 0 16 0 13 0 159891631 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13210] ppid=13204 vsize=1488928 CPUtime=0.05 /proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13125 0 -1 64 2583 0 0 0 4 1 0 0 17 0 13 0 159891631 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13211] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13125 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 159891633 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13212] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13125 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159891633 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13213] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13125 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159891633 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13214] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159891638 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13215] ppid=13204 vsize=1488928 CPUtime=0.87 /proc/13206/task/13215/stat : 13215 (java) S 13204 13206 13125 0 -1 64 3610 0 0 0 86 1 0 0 16 0 13 0 159891638 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13216] ppid=13204 vsize=1488928 CPUtime=1.04 /proc/13206/task/13216/stat : 13216 (java) S 13204 13206 13125 0 -1 64 5738 0 0 0 102 2 0 0 16 0 13 0 159891638 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13217] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13217/stat : 13217 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159891638 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13218] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13218/stat : 13218 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159891638 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13219] ppid=13204 vsize=1488928 CPUtime=0 /proc/13206/task/13219/stat : 13219 (java) S 13204 13206 13125 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 159891660 1524662272 40543 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.1 Current children cumulated vsize (KiB) 1488928 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/77 13219 /proc/meminfo: memFree=1155288/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1488928 CPUtime=26.98 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 49858 0 1 0 2674 24 0 0 18 0 13 0 159891628 1524662272 44017 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 372232 44017 1432 9 0 369575 0 [pid=13206/tid=13208] ppid=13204 vsize=1488928 CPUtime=24.74 /proc/13206/task/13208/stat : 13208 (java) R 13204 13206 13125 0 -1 64 30987 0 1 0 2459 15 0 0 25 0 13 0 159891630 1524662272 44017 1992294400 134512640 134550932 4294956016 18446744073709551615 4109483230 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13209] ppid=13204 vsize=1488928 CPUtime=0.13 /proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13125 0 -1 64 4555 0 0 0 11 2 0 0 16 0 13 0 159891631 1524662272 44017 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13210] ppid=13204 vsize=1488928 CPUtime=0.13 /proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13125 0 -1 64 4200 0 0 0 11 2 0 0 17 0 13 0 159891631 1524662272 44017 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13211] ppid=13204 vsize=1488928 CPUtime=0 ################ # More data... # ################ [pid=13206/tid=13211] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13125 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13212] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13125 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13213] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13125 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13214] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159891638 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13215] ppid=13204 vsize=1488380 CPUtime=0.87 /proc/13206/task/13215/stat : 13215 (java) S 13204 13206 13125 0 -1 64 3610 0 0 0 86 1 0 0 16 0 13 0 159891638 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13216] ppid=13204 vsize=1488380 CPUtime=1.08 /proc/13206/task/13216/stat : 13216 (java) S 13204 13206 13125 0 -1 64 5741 0 0 0 106 2 0 0 17 0 13 0 159891638 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13217] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13217/stat : 13217 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159891638 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13218] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13218/stat : 13218 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159891638 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13219] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13219/stat : 13219 (java) S 13204 13206 13125 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 159891660 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1665.19 Current children cumulated vsize (KiB) 1488380 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13225 /proc/meminfo: memFree=952920/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1488380 CPUtime=1725.17 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 102633 0 1 0 172464 53 0 0 18 0 13 0 159891628 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 372095 94320 1432 9 0 369438 0 [pid=13206/tid=13208] ppid=13204 vsize=1488380 CPUtime=1719.13 /proc/13206/task/13208/stat : 13208 (java) R 13204 13206 13125 0 -1 64 31035 0 1 0 171895 18 0 0 25 0 13 0 159891630 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4109524671 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13209] ppid=13204 vsize=1488380 CPUtime=2.01 /proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13125 0 -1 64 31063 0 0 0 187 14 0 0 17 0 13 0 159891631 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13210] ppid=13204 vsize=1488380 CPUtime=2.02 /proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13125 0 -1 64 30417 0 0 0 187 15 0 0 16 0 13 0 159891631 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13211] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13125 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13212] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13125 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13213] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13125 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13214] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159891638 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13215] ppid=13204 vsize=1488380 CPUtime=0.87 /proc/13206/task/13215/stat : 13215 (java) S 13204 13206 13125 0 -1 64 3610 0 0 0 86 1 0 0 16 0 13 0 159891638 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13216] ppid=13204 vsize=1488380 CPUtime=1.08 /proc/13206/task/13216/stat : 13216 (java) S 13204 13206 13125 0 -1 64 5741 0 0 0 106 2 0 0 17 0 13 0 159891638 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13217] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13217/stat : 13217 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159891638 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13218] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13218/stat : 13218 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159891638 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13219] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13219/stat : 13219 (java) S 13204 13206 13125 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 159891660 1524101120 94320 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1725.17 Current children cumulated vsize (KiB) 1488380 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13225 /proc/meminfo: memFree=945496/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1488380 CPUtime=1785.22 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 104507 0 1 0 178468 54 0 0 18 0 13 0 159891628 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 372095 96154 1432 9 0 369438 0 [pid=13206/tid=13208] ppid=13204 vsize=1488380 CPUtime=1779.05 /proc/13206/task/13208/stat : 13208 (java) R 13204 13206 13125 0 -1 64 31036 0 1 0 177887 18 0 0 25 0 13 0 159891630 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4109483230 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13209] ppid=13204 vsize=1488380 CPUtime=2.06 /proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13125 0 -1 64 32671 0 0 0 192 14 0 0 16 0 13 0 159891631 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13210] ppid=13204 vsize=1488380 CPUtime=2.08 /proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13125 0 -1 64 30682 0 0 0 193 15 0 0 17 0 13 0 159891631 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13211] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13125 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13212] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13125 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13213] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13125 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13214] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159891638 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13215] ppid=13204 vsize=1488380 CPUtime=0.87 /proc/13206/task/13215/stat : 13215 (java) S 13204 13206 13125 0 -1 64 3610 0 0 0 86 1 0 0 16 0 13 0 159891638 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13216] ppid=13204 vsize=1488380 CPUtime=1.08 /proc/13206/task/13216/stat : 13216 (java) S 13204 13206 13125 0 -1 64 5741 0 0 0 106 2 0 0 17 0 13 0 159891638 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13217] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13217/stat : 13217 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159891638 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13218] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13218/stat : 13218 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159891638 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13219] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13219/stat : 13219 (java) S 13204 13206 13125 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 159891660 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1785.22 Current children cumulated vsize (KiB) 1488380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.1 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13225 /proc/meminfo: memFree=945496/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1488380 CPUtime=1800.02 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 104507 0 1 0 179948 54 0 0 18 0 13 0 159891628 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13206/statm: 372095 96154 1432 9 0 369438 0 [pid=13206/tid=13208] ppid=13204 vsize=1488380 CPUtime=1793.85 /proc/13206/task/13208/stat : 13208 (java) R 13204 13206 13125 0 -1 64 31036 0 1 0 179367 18 0 0 25 0 13 0 159891630 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4109578367 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13209] ppid=13204 vsize=1488380 CPUtime=2.06 /proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13125 0 -1 64 32671 0 0 0 192 14 0 0 16 0 13 0 159891631 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13210] ppid=13204 vsize=1488380 CPUtime=2.08 /proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13125 0 -1 64 30682 0 0 0 193 15 0 0 17 0 13 0 159891631 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13211] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13125 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13212] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13125 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13213] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13125 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159891633 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13214] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159891638 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13215] ppid=13204 vsize=1488380 CPUtime=0.87 /proc/13206/task/13215/stat : 13215 (java) S 13204 13206 13125 0 -1 64 3610 0 0 0 86 1 0 0 16 0 13 0 159891638 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13216] ppid=13204 vsize=1488380 CPUtime=1.08 /proc/13206/task/13216/stat : 13216 (java) S 13204 13206 13125 0 -1 64 5741 0 0 0 106 2 0 0 17 0 13 0 159891638 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13217] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13217/stat : 13217 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159891638 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13218] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13218/stat : 13218 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159891638 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13219] ppid=13204 vsize=1488380 CPUtime=0 /proc/13206/task/13219/stat : 13219 (java) S 13204 13206 13125 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 159891660 1524101120 96154 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1488380 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.21 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13225 /proc/meminfo: memFree=945496/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=1489028 CPUtime=1800.22 /proc/13206/stat : 13206 (java) S 13204 13206 13125 0 -1 0 104532 0 1 0 179968 54 0 0 16 0 15 0 159891628 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13206/statm: 372257 96179 1434 9 0 369600 0 [pid=13206/tid=13208] ppid=13204 vsize=1489028 CPUtime=1793.96 /proc/13206/task/13208/stat : 13208 (java) R 13204 13206 13125 0 -1 64 31036 0 1 0 179378 18 0 0 25 0 15 0 159891630 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4109524668 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13209] ppid=13204 vsize=1489028 CPUtime=2.06 /proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13125 0 -1 64 32671 0 0 0 192 14 0 0 16 0 15 0 159891631 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13210] ppid=13204 vsize=1489028 CPUtime=2.08 /proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13125 0 -1 64 30682 0 0 0 193 15 0 0 17 0 15 0 159891631 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13211] ppid=13204 vsize=1489028 CPUtime=0 /proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13125 0 -1 64 20 0 0 0 0 0 0 0 16 0 15 0 159891633 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13206/tid=13212] ppid=13204 vsize=1489028 CPUtime=0 /proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13125 0 -1 64 11 0 0 0 0 0 0 0 16 0 15 0 159891633 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13213] ppid=13204 vsize=1489028 CPUtime=0 /proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13125 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 159891633 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13214] ppid=13204 vsize=1489028 CPUtime=0 /proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13125 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 159891638 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13215] ppid=13204 vsize=1489028 CPUtime=0.87 /proc/13206/task/13215/stat : 13215 (java) S 13204 13206 13125 0 -1 64 3610 0 0 0 86 1 0 0 16 0 15 0 159891638 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13216] ppid=13204 vsize=1489028 CPUtime=1.12 /proc/13206/task/13216/stat : 13216 (java) S 13204 13206 13125 0 -1 64 5746 0 0 0 110 2 0 0 16 0 15 0 159891638 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13217] ppid=13204 vsize=1489028 CPUtime=0 /proc/13206/task/13217/stat : 13217 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 25 0 15 0 159891638 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13218] ppid=13204 vsize=1489028 CPUtime=0 /proc/13206/task/13218/stat : 13218 (java) S 13204 13206 13125 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 159891638 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13206/tid=13219] ppid=13204 vsize=1489028 CPUtime=0 /proc/13206/task/13219/stat : 13219 (java) S 13204 13206 13125 0 -1 64 5 0 0 0 0 0 0 0 20 0 15 0 159891660 1524764672 96179 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 1489028 [startup+1797.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 13228 /proc/meminfo: memFree=968784/2055920 swapFree=4191900/4192956 [pid=13206] ppid=13204 vsize=0 CPUtime=1800.36 /proc/13206/stat : 13206 (java) Z 13204 13206 13125 0 -1 1036 104535 0 1 0 179982 54 0 0 15 0 2 0 159891628 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13206/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1797.37 CPU time (s): 1800.43 CPU user time (s): 1799.82 CPU system time (s): 0.606907 CPU usage (%): 100.17 Max. virtual memory (cumulated for all children) (KiB): 1492832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.606907 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104535 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37766 involuntary context switches= 30265 runsolver used 2.54161 second user time and 4.04338 second system time The end
Begin job on node22 at 2009-06-13 21:55:12 IDJOB=1856727 IDBENCH=2925 IDSOLVER=682 FILE ID=node22/1856727-1244922912 PBS_JOBID= 9354649 Free space on /tmp= 66224 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_4.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856727-1244922912/watcher-1856727-1244922912 -o /tmp/evaluation-result-1856727-1244922912/solver-1856727-1244922912 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856727-1244922912.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b RANDOM SEED=2052997113 node22.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.231 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.231 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: 1327256 kB Buffers: 60628 kB Cached: 598724 kB SwapCached: 384 kB Active: 49100 kB Inactive: 623104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1327256 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 300 kB Writeback: 0 kB Mapped: 21288 kB Slab: 42520 kB Committed_AS: 126872 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66224 MiB End job on node22 at 2009-06-13 22:25:11