Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 19 | 1800.18 | 1788.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb |
MD5SUM | b690996610ff381ef60353517fe5a0e9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 1802.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6 |
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 | 64 |
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 | 1293 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4389 |
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.13/0.44 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.13/0.44 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.13/0.44 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.13/0.45 c no version file found!!! 0.13/0.45 c sun.arch.data.model 32 0.13/0.45 c java.version 1.6.0 0.13/0.45 c os.name Linux 0.13/0.45 c os.version 2.6.9-22.EL.rootsmp 0.13/0.45 c os.arch i386 0.13/0.45 c Free memory 1651659224 0.13/0.45 c Max memory 1654456320 0.13/0.45 c Total memory 1654456320 0.13/0.45 c Number of processors 2 0.22/0.51 --- Begin Solver configuration --- 0.22/0.51 c Stops conflict analysis at the first Unique Implication Point 0.22/0.51 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.22/0.51 c Learn all clauses as in MiniSAT 0.22/0.51 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.51 c VSIDS like heuristics from MiniSAT using a heap 0.22/0.51 c No reason simplification 0.22/0.51 c --- End Solver configuration --- 0.22/0.51 c solving /tmp/evaluation/354839-1176728014/instance-354839-1176728014.opb 0.22/0.51 c reading problem ... 0.32/0.60 c ... done. Wall clock time 0.094s. 0.32/0.60 c CPU time (experimental) 0.26s. 0.32/0.60 c #vars 146 0.32/0.60 c #constraints 12 0.69/0.81 c SATISFIABLE 0.69/0.81 c OPTIMIZING... 0.69/0.81 c Got one! Elapsed wall clock time (in seconds):0.304 0.69/0.81 o 2667 0.69/0.87 c Got one! Elapsed wall clock time (in seconds):0.363 0.69/0.87 o 2665 0.84/0.91 c Got one! Elapsed wall clock time (in seconds):0.4 0.84/0.91 o 2637 0.84/0.94 c Got one! Elapsed wall clock time (in seconds):0.433 0.84/0.94 o 2399 0.84/0.97 c Got one! Elapsed wall clock time (in seconds):0.465 0.84/0.97 o 2398 0.97/1.01 c Got one! Elapsed wall clock time (in seconds):0.499 0.97/1.01 o 2294 0.97/1.04 c Got one! Elapsed wall clock time (in seconds):0.532 0.97/1.04 o 2288 0.97/1.07 c Got one! Elapsed wall clock time (in seconds):0.559 0.97/1.07 o 2271 0.97/1.09 c Got one! Elapsed wall clock time (in seconds):0.583 0.97/1.09 o 2269 1.09/1.12 c Got one! Elapsed wall clock time (in seconds):0.609 1.09/1.12 o 2123 1.09/1.14 c Got one! Elapsed wall clock time (in seconds):0.634 1.09/1.14 o 2121 1.09/1.18 c Got one! Elapsed wall clock time (in seconds):0.669 1.09/1.18 o 2120 1.09/1.20 c Got one! Elapsed wall clock time (in seconds):0.693 1.09/1.20 o 2068 1.21/1.22 c Got one! Elapsed wall clock time (in seconds):0.714 1.21/1.22 o 2062 1.21/1.25 c Got one! Elapsed wall clock time (in seconds):0.745 1.21/1.25 o 2060 1.21/1.28 c Got one! Elapsed wall clock time (in seconds):0.77 1.21/1.28 o 2059 1.31/1.31 c Got one! Elapsed wall clock time (in seconds):0.802 1.31/1.31 o 2007 1.31/1.34 c Got one! Elapsed wall clock time (in seconds):0.83 1.31/1.34 o 1973 1.31/1.37 c Got one! Elapsed wall clock time (in seconds):0.858 1.31/1.37 o 1931 1.31/1.40 c Got one! Elapsed wall clock time (in seconds):0.89 1.31/1.40 o 1929 1.41/1.43 c Got one! Elapsed wall clock time (in seconds):0.92 1.41/1.43 o 1893 1.41/1.45 c Got one! Elapsed wall clock time (in seconds):0.945 1.41/1.45 o 1888 1.41/1.49 c Got one! Elapsed wall clock time (in seconds):0.977 1.41/1.49 o 1877 1.52/1.51 c Got one! Elapsed wall clock time (in seconds):1.006 1.52/1.51 o 1875 1.52/1.55 c Got one! Elapsed wall clock time (in seconds):1.04 1.52/1.55 o 1861 1.52/1.57 c Got one! Elapsed wall clock time (in seconds):1.065 1.52/1.57 o 1835 1.68/1.60 c Got one! Elapsed wall clock time (in seconds):1.097 1.68/1.61 o 1827 1.68/1.67 c Got one! Elapsed wall clock time (in seconds):1.165 1.68/1.67 o 1818 1.87/1.71 c Got one! Elapsed wall clock time (in seconds):1.199 1.87/1.71 o 1816 1.87/1.73 c Got one! Elapsed wall clock time (in seconds):1.225 1.87/1.73 o 1810 1.87/1.76 c Got one! Elapsed wall clock time (in seconds):1.254 1.87/1.76 o 1808 1.87/1.79 c Got one! Elapsed wall clock time (in seconds):1.284 1.87/1.79 o 1122 2.07/1.87 c Got one! Elapsed wall clock time (in seconds):1.358 2.07/1.87 o 1118 2.27/1.90 c Got one! Elapsed wall clock time (in seconds):1.395 2.27/1.90 o 1110 2.27/1.95 c Got one! Elapsed wall clock time (in seconds):1.444 2.27/1.95 o 1109 2.48/2.02 c Got one! Elapsed wall clock time (in seconds):1.508 2.48/2.02 o 1108 2.48/2.09 c Got one! Elapsed wall clock time (in seconds):1.58 2.48/2.09 o 981 2.67/2.16 c Got one! Elapsed wall clock time (in seconds):1.647 2.67/2.16 o 772 2.87/2.22 c Got one! Elapsed wall clock time (in seconds):1.708 2.87/2.22 o 760 2.87/2.28 c Got one! Elapsed wall clock time (in seconds):1.776 2.87/2.28 o 758 3.05/2.35 c Got one! Elapsed wall clock time (in seconds):1.838 3.05/2.35 o 755 3.14/2.41 c Got one! Elapsed wall clock time (in seconds):1.9 3.14/2.41 o 754 3.14/2.48 c Got one! Elapsed wall clock time (in seconds):1.971 3.14/2.48 o 753 3.25/2.53 c Got one! Elapsed wall clock time (in seconds):2.022 3.25/2.53 o 745 3.37/2.62 c Got one! Elapsed wall clock time (in seconds):2.113 3.37/2.62 o 744 3.37/2.67 c Got one! Elapsed wall clock time (in seconds):2.163 3.37/2.67 o 742 3.48/2.73 c Got one! Elapsed wall clock time (in seconds):2.219 3.48/2.73 o 741 3.58/2.81 c Got one! Elapsed wall clock time (in seconds):2.306 3.58/2.81 o 651 3.68/2.92 c Got one! Elapsed wall clock time (in seconds):2.407 3.68/2.92 o 650 3.68/3.00 c Got one! Elapsed wall clock time (in seconds):2.488 3.68/3.00 o 649 3.82/3.05 c Got one! Elapsed wall clock time (in seconds):2.546 3.82/3.05 o 647 3.95/3.12 c Got one! Elapsed wall clock time (in seconds):2.616 3.95/3.12 o 646 3.95/3.19 c Got one! Elapsed wall clock time (in seconds):2.679 3.95/3.19 o 645 4.12/3.26 c Got one! Elapsed wall clock time (in seconds):2.75 4.12/3.26 o 643 4.22/3.33 c Got one! Elapsed wall clock time (in seconds):2.819 4.22/3.33 o 636 4.22/3.38 c Got one! Elapsed wall clock time (in seconds):2.876 4.22/3.38 o 423 4.32/3.47 c Got one! Elapsed wall clock time (in seconds):2.958 4.32/3.47 o 422 4.43/3.53 c Got one! Elapsed wall clock time (in seconds):3.027 4.43/3.54 o 421 4.53/3.60 c Got one! Elapsed wall clock time (in seconds):3.095 4.53/3.60 o 420 4.53/3.66 c Got one! Elapsed wall clock time (in seconds):3.154 4.53/3.66 o 418 4.63/3.73 c Got one! Elapsed wall clock time (in seconds):3.22 4.63/3.73 o 417 4.73/3.88 c Got one! Elapsed wall clock time (in seconds):3.372 4.73/3.88 o 416 4.84/3.97 c Got one! Elapsed wall clock time (in seconds):3.462 4.84/3.97 o 414 4.94/4.05 c Got one! Elapsed wall clock time (in seconds):3.542 4.94/4.05 o 413 5.06/4.13 c Got one! Elapsed wall clock time (in seconds):3.623 5.06/4.13 o 412 5.16/4.23 c Got one! Elapsed wall clock time (in seconds):3.723 5.16/4.23 o 409 5.26/4.32 c Got one! Elapsed wall clock time (in seconds):3.809 5.26/4.32 o 407 5.36/4.41 c Got one! Elapsed wall clock time (in seconds):3.9 5.36/4.41 o 406 5.46/4.50 c Got one! Elapsed wall clock time (in seconds):3.996 5.46/4.50 o 405 5.46/4.59 c Got one! Elapsed wall clock time (in seconds):4.082 5.46/4.59 o 403 5.57/4.69 c Got one! Elapsed wall clock time (in seconds):4.179 5.57/4.69 o 402 5.80/4.82 c Got one! Elapsed wall clock time (in seconds):4.312 5.80/4.82 o 401 6.00/5.03 c Got one! Elapsed wall clock time (in seconds):4.525 6.00/5.03 o 399 6.10/5.14 c Got one! Elapsed wall clock time (in seconds):4.632 6.10/5.14 o 397 6.20/5.23 c Got one! Elapsed wall clock time (in seconds):4.718 6.20/5.23 o 396 6.30/5.34 c Got one! Elapsed wall clock time (in seconds):4.832 6.30/5.34 o 394 6.40/5.44 c Got one! Elapsed wall clock time (in seconds):4.934 6.40/5.44 o 392 6.50/5.58 c Got one! Elapsed wall clock time (in seconds):5.071 6.50/5.58 o 390 6.79/5.82 c Got one! Elapsed wall clock time (in seconds):5.308 6.79/5.82 o 389 6.89/5.92 c Got one! Elapsed wall clock time (in seconds):5.411 6.89/5.92 o 388 6.99/6.01 c Got one! Elapsed wall clock time (in seconds):5.502 6.99/6.01 o 386 7.09/6.12 c Got one! Elapsed wall clock time (in seconds):5.612 7.09/6.12 o 385 7.29/6.35 c Got one! Elapsed wall clock time (in seconds):5.843 7.29/6.35 o 383 7.51/6.53 c Got one! Elapsed wall clock time (in seconds):6.02 7.51/6.53 o 382 7.62/6.64 c Got one! Elapsed wall clock time (in seconds):6.137 7.62/6.64 o 380 7.84/6.81 c Got one! Elapsed wall clock time (in seconds):6.304 7.84/6.81 o 379 7.94/6.91 c Got one! Elapsed wall clock time (in seconds):6.401 7.94/6.91 o 370 8.04/7.04 c Got one! Elapsed wall clock time (in seconds):6.533 8.04/7.04 o 369 8.14/7.18 c Got one! Elapsed wall clock time (in seconds):6.672 8.14/7.18 o 368 8.34/7.36 c Got one! Elapsed wall clock time (in seconds):6.855 8.34/7.36 o 367 8.44/7.48 c Got one! Elapsed wall clock time (in seconds):6.972 8.44/7.48 o 366 8.64/7.62 c Got one! Elapsed wall clock time (in seconds):7.11 8.64/7.62 o 365 8.85/7.81 c Got one! Elapsed wall clock time (in seconds):7.3 8.85/7.81 o 363 8.94/7.92 c Got one! Elapsed wall clock time (in seconds):7.413 8.94/7.92 o 361 9.14/8.16 c Got one! Elapsed wall clock time (in seconds):7.654 9.14/8.16 o 359 9.24/8.26 c Got one! Elapsed wall clock time (in seconds):7.751 9.24/8.26 o 355 9.50/8.42 c Got one! Elapsed wall clock time (in seconds):7.909 9.50/8.42 o 353 9.65/8.52 c Got one! Elapsed wall clock time (in seconds):8.017 9.65/8.53 o 339 9.85/8.71 c Got one! Elapsed wall clock time (in seconds):8.198 9.85/8.71 o 338 9.85/8.80 c Got one! Elapsed wall clock time (in seconds):8.289 9.85/8.80 o 337 10.15/9.00 c Got one! Elapsed wall clock time (in seconds):8.493 10.15/9.00 o 315 10.25/9.13 c Got one! Elapsed wall clock time (in seconds):8.627 10.25/9.14 o 314 10.95/9.86 c Got one! Elapsed wall clock time (in seconds):9.351 10.95/9.86 o 313 11.35/10.19 c Got one! Elapsed wall clock time (in seconds):9.682 11.35/10.19 o 308 11.56/10.36 c Got one! Elapsed wall clock time (in seconds):9.848 11.56/10.36 o 307 11.86/10.65 c Got one! Elapsed wall clock time (in seconds):10.146 11.86/10.65 o 306 11.96/10.75 c Got one! Elapsed wall clock time (in seconds):10.246 11.96/10.75 o 305 12.17/10.93 c Got one! Elapsed wall clock time (in seconds):10.424 12.17/10.93 o 298 12.37/11.12 c Got one! Elapsed wall clock time (in seconds):10.607 12.37/11.12 o 297 12.47/11.22 c Got one! Elapsed wall clock time (in seconds):10.712 12.47/11.22 o 296 12.57/11.31 c Got one! Elapsed wall clock time (in seconds):10.797 12.57/11.31 o 295 12.67/11.48 c Got one! Elapsed wall clock time (in seconds):10.973 12.67/11.48 o 293 12.87/11.65 c Got one! Elapsed wall clock time (in seconds):11.14 12.87/11.65 o 292 12.99/11.79 c Got one! Elapsed wall clock time (in seconds):11.287 12.99/11.79 o 290 13.49/12.26 c Got one! Elapsed wall clock time (in seconds):11.749 13.49/12.26 o 278 13.69/12.41 c Got one! Elapsed wall clock time (in seconds):11.899 13.69/12.41 o 276 13.79/12.58 c Got one! Elapsed wall clock time (in seconds):12.07 13.79/12.58 o 274 13.99/12.78 c Got one! Elapsed wall clock time (in seconds):12.276 13.99/12.78 o 272 14.19/12.94 c Got one! Elapsed wall clock time (in seconds):12.43 14.19/12.94 o 271 14.69/13.44 c Got one! Elapsed wall clock time (in seconds):12.93 14.69/13.44 o 270 15.13/13.80 c Got one! Elapsed wall clock time (in seconds):13.296 15.13/13.80 o 269 15.73/14.43 c Got one! Elapsed wall clock time (in seconds):13.925 15.73/14.43 o 267 15.83/14.58 c Got one! Elapsed wall clock time (in seconds):14.075 15.83/14.58 o 265 15.93/14.65 c Got one! Elapsed wall clock time (in seconds):14.143 15.93/14.65 o 263 16.43/15.20 c Got one! Elapsed wall clock time (in seconds):14.687 16.43/15.20 o 262 16.86/15.54 c Got one! Elapsed wall clock time (in seconds):15.029 16.86/15.54 o 261 16.95/15.65 c Got one! Elapsed wall clock time (in seconds):15.144 16.95/15.65 o 260 17.05/15.74 c Got one! Elapsed wall clock time (in seconds):15.227 17.05/15.74 o 259 17.15/15.83 c Got one! Elapsed wall clock time (in seconds):15.324 17.15/15.83 o 257 17.65/16.38 c Got one! Elapsed wall clock time (in seconds):15.875 17.65/16.38 o 255 17.95/16.62 c Got one! Elapsed wall clock time (in seconds):16.114 17.95/16.62 o 253 18.05/16.79 c Got one! Elapsed wall clock time (in seconds):16.28 18.05/16.79 o 252 18.25/16.98 c Got one! Elapsed wall clock time (in seconds):16.475 18.25/16.98 o 251 18.45/17.18 c Got one! Elapsed wall clock time (in seconds):16.675 18.45/17.18 o 249 18.75/17.44 c Got one! Elapsed wall clock time (in seconds):16.935 18.75/17.44 o 248 18.95/17.62 c Got one! Elapsed wall clock time (in seconds):17.112 18.95/17.62 o 247 19.17/17.86 c Got one! Elapsed wall clock time (in seconds):17.352 19.17/17.86 o 245 19.68/18.33 c Got one! Elapsed wall clock time (in seconds):17.827 19.68/18.33 o 243 19.98/18.67 c Got one! Elapsed wall clock time (in seconds):18.159 19.98/18.67 o 241 20.48/19.17 c Got one! Elapsed wall clock time (in seconds):18.664 20.48/19.17 o 233 20.68/19.37 c Got one! Elapsed wall clock time (in seconds):18.863 20.68/19.37 o 231 20.99/19.66 c Got one! Elapsed wall clock time (in seconds):19.153 20.99/19.66 o 230 21.91/20.58 c Got one! Elapsed wall clock time (in seconds):20.073 21.91/20.58 o 228 22.21/20.86 c Got one! Elapsed wall clock time (in seconds):20.353 22.21/20.86 o 227 22.51/21.11 c Got one! Elapsed wall clock time (in seconds):20.604 22.51/21.11 o 225 22.61/21.29 c Got one! Elapsed wall clock time (in seconds):20.784 22.61/21.29 o 191 23.01/21.64 c Got one! Elapsed wall clock time (in seconds):21.136 23.01/21.64 o 189 23.92/22.51 c Got one! Elapsed wall clock time (in seconds):22.002 23.92/22.51 o 187 24.12/22.76 c Got one! Elapsed wall clock time (in seconds):22.256 24.12/22.76 o 186 24.52/23.12 c Got one! Elapsed wall clock time (in seconds):22.61 24.52/23.12 o 185 24.72/23.38 c Got one! Elapsed wall clock time (in seconds):22.876 24.72/23.38 o 183 25.62/24.21 c Got one! Elapsed wall clock time (in seconds):23.698 25.62/24.21 o 181 26.72/25.37 c Got one! Elapsed wall clock time (in seconds):24.865 26.72/25.37 o 180 27.02/25.64 c Got one! Elapsed wall clock time (in seconds):25.128 27.02/25.64 o 179 27.73/26.38 c Got one! Elapsed wall clock time (in seconds):25.869 27.73/26.38 o 177 28.33/26.96 c Got one! Elapsed wall clock time (in seconds):26.451 28.33/26.96 o 175 28.53/27.17 c Got one! Elapsed wall clock time (in seconds):26.665 28.53/27.17 o 173 29.24/27.89 c Got one! Elapsed wall clock time (in seconds):27.38 29.24/27.89 o 171 29.44/28.09 c Got one! Elapsed wall clock time (in seconds):27.581 29.44/28.09 o 168 29.74/28.39 c Got one! Elapsed wall clock time (in seconds):27.886 29.74/28.39 o 167 29.94/28.57 c Got one! Elapsed wall clock time (in seconds):28.063 29.94/28.57 o 165 30.44/29.05 c Got one! Elapsed wall clock time (in seconds):28.544 30.44/29.05 o 164 30.74/29.33 c Got one! Elapsed wall clock time (in seconds):28.819 30.74/29.33 o 163 30.94/29.57 c Got one! Elapsed wall clock time (in seconds):29.057 30.94/29.57 o 133 31.74/30.31 c Got one! Elapsed wall clock time (in seconds):29.806 31.74/30.31 o 131 32.84/31.42 c Got one! Elapsed wall clock time (in seconds):30.916 32.84/31.42 o 130 33.75/32.36 c Got one! Elapsed wall clock time (in seconds):31.851 33.75/32.36 o 126 34.05/32.60 c Got one! Elapsed wall clock time (in seconds):32.092 34.05/32.60 o 125 34.35/32.93 c Got one! Elapsed wall clock time (in seconds):32.426 34.35/32.93 o 124 35.34/33.95 c Got one! Elapsed wall clock time (in seconds):33.443 35.34/33.95 o 123 35.95/34.54 c Got one! Elapsed wall clock time (in seconds):34.033 35.95/34.54 o 121 36.85/35.41 c Got one! Elapsed wall clock time (in seconds):34.898 36.85/35.41 o 120 37.05/35.66 c Got one! Elapsed wall clock time (in seconds):35.149 37.05/35.66 o 118 37.36/35.96 c Got one! Elapsed wall clock time (in seconds):35.45 37.36/35.96 o 116 38.66/37.21 c Got one! Elapsed wall clock time (in seconds):36.699 38.66/37.21 o 115 39.77/38.36 c Got one! Elapsed wall clock time (in seconds):37.847 39.77/38.36 o 114 40.27/38.87 c Got one! Elapsed wall clock time (in seconds):38.367 40.27/38.87 o 113 42.58/41.14 c Got one! Elapsed wall clock time (in seconds):40.629 42.58/41.14 o 112 43.08/41.60 c Got one! Elapsed wall clock time (in seconds):41.091 43.08/41.60 o 111 43.47/42.02 c Got one! Elapsed wall clock time (in seconds):41.514 43.47/42.02 o 110 44.48/43.04 c Got one! Elapsed wall clock time (in seconds):42.532 44.48/43.04 o 109 46.58/45.13 c Got one! Elapsed wall clock time (in seconds):44.619 46.58/45.13 o 107 47.28/45.83 c Got one! Elapsed wall clock time (in seconds):45.321 47.28/45.83 o 106 48.89/47.42 c Got one! Elapsed wall clock time (in seconds):46.914 48.89/47.42 o 104 49.80/48.34 c Got one! Elapsed wall clock time (in seconds):47.836 49.80/48.34 o 103 50.90/49.49 c Got one! Elapsed wall clock time (in seconds):48.981 50.90/49.49 o 101 54.31/52.83 c Got one! Elapsed wall clock time (in seconds):52.326 54.31/52.83 o 100 55.31/53.80 c Got one! Elapsed wall clock time (in seconds):53.29 55.31/53.80 o 99 56.22/54.79 c Got one! Elapsed wall clock time (in seconds):54.278 56.22/54.79 o 97 57.52/56.04 c Got one! Elapsed wall clock time (in seconds):55.528 57.52/56.04 o 96 58.83/57.38 c Got one! Elapsed wall clock time (in seconds):56.872 58.83/57.38 o 95 60.04/58.52 c Got one! Elapsed wall clock time (in seconds):58.017 60.04/58.52 o 94 60.54/59.01 c Got one! Elapsed wall clock time (in seconds):58.504 60.54/59.01 o 92 61.94/60.41 c Got one! Elapsed wall clock time (in seconds):59.898 61.94/60.41 o 90 64.05/62.54 c Got one! Elapsed wall clock time (in seconds):62.028 64.05/62.54 o 88 64.65/63.13 c Got one! Elapsed wall clock time (in seconds):62.625 64.65/63.13 o 87 66.56/65.00 c Got one! Elapsed wall clock time (in seconds):64.496 66.56/65.00 o 86 67.75/66.28 c Got one! Elapsed wall clock time (in seconds):65.771 67.75/66.28 o 85 69.56/68.09 c Got one! Elapsed wall clock time (in seconds):67.585 69.56/68.09 o 83 71.57/70.07 c Got one! Elapsed wall clock time (in seconds):69.563 71.57/70.07 o 81 73.08/71.53 c Got one! Elapsed wall clock time (in seconds):71.018 73.08/71.53 o 79 80.81/79.27 c Got one! Elapsed wall clock time (in seconds):78.763 80.81/79.27 o 78 84.82/83.26 c Got one! Elapsed wall clock time (in seconds):82.756 84.82/83.26 o 77 108.31/106.64 c Got one! Elapsed wall clock time (in seconds):106.13 108.31/106.64 o 75 113.53/111.86 c Got one! Elapsed wall clock time (in seconds):111.349 113.53/111.86 o 74 119.97/118.20 c Got one! Elapsed wall clock time (in seconds):117.693 119.97/118.20 o 72 122.08/120.39 c Got one! Elapsed wall clock time (in seconds):119.881 122.08/120.39 o 71 125.57/123.86 c Got one! Elapsed wall clock time (in seconds):123.351 125.57/123.86 o 69 133.93/132.11 c Got one! Elapsed wall clock time (in seconds):131.604 133.93/132.11 o 68 140.86/139.04 c Got one! Elapsed wall clock time (in seconds):138.533 140.86/139.04 o 66 153.62/151.80 c Got one! Elapsed wall clock time (in seconds):151.289 153.62/151.80 o 65 157.73/155.86 c Got one! Elapsed wall clock time (in seconds):155.349 157.73/155.86 o 64 164.56/162.67 c Got one! Elapsed wall clock time (in seconds):162.16 164.56/162.67 o 63 165.66/163.75 c Got one! Elapsed wall clock time (in seconds):163.24 165.66/163.75 o 62 173.40/171.45 c Got one! Elapsed wall clock time (in seconds):170.94 173.40/171.45 o 60 180.82/178.86 c Got one! Elapsed wall clock time (in seconds):178.35 180.82/178.86 o 59 185.56/183.59 c Got one! Elapsed wall clock time (in seconds):183.085 185.56/183.59 o 58 192.69/190.65 c Got one! Elapsed wall clock time (in seconds):190.141 192.69/190.65 o 56 202.77/200.68 c Got one! Elapsed wall clock time (in seconds):200.169 202.77/200.68 o 55 224.94/222.64 c Got one! Elapsed wall clock time (in seconds):222.136 224.94/222.64 o 54 233.90/231.57 c Got one! Elapsed wall clock time (in seconds):231.065 233.90/231.57 o 52 257.38/254.85 c Got one! Elapsed wall clock time (in seconds):254.34 257.38/254.85 o 50 262.50/259.95 c Got one! Elapsed wall clock time (in seconds):259.444 262.50/259.95 o 49 275.07/272.47 c Got one! Elapsed wall clock time (in seconds):271.959 275.07/272.47 o 48 281.20/278.58 c Got one! Elapsed wall clock time (in seconds):278.077 281.20/278.59 o 46 290.44/287.70 c Got one! Elapsed wall clock time (in seconds):287.194 290.44/287.70 o 45 312.20/309.33 c Got one! Elapsed wall clock time (in seconds):308.819 312.20/309.33 o 43 318.02/315.19 c Got one! Elapsed wall clock time (in seconds):314.686 318.02/315.19 o 41 320.33/317.45 c Got one! Elapsed wall clock time (in seconds):316.939 320.33/317.45 o 38 353.78/350.77 c Got one! Elapsed wall clock time (in seconds):350.266 353.78/350.77 o 36 401.20/397.89 c Got one! Elapsed wall clock time (in seconds):397.382 401.20/397.89 o 35 407.73/404.36 c Got one! Elapsed wall clock time (in seconds):403.852 407.73/404.36 o 34 428.07/424.50 c Got one! Elapsed wall clock time (in seconds):423.996 428.07/424.50 o 32 452.34/448.77 c Got one! Elapsed wall clock time (in seconds):448.257 452.34/448.77 o 31 467.26/463.62 c Got one! Elapsed wall clock time (in seconds):463.108 467.26/463.62 o 30 508.57/504.84 c Got one! Elapsed wall clock time (in seconds):504.335 508.57/504.84 o 28 552.63/548.62 c Got one! Elapsed wall clock time (in seconds):548.114 552.63/548.62 o 27 577.19/573.06 c Got one! Elapsed wall clock time (in seconds):572.55 577.19/573.06 o 25 739.37/734.14 c Got one! Elapsed wall clock time (in seconds):733.634 739.37/734.14 o 24 817.18/811.66 c Got one! Elapsed wall clock time (in seconds):811.153 817.18/811.66 o 23 914.42/908.30 c Got one! Elapsed wall clock time (in seconds):907.789 914.42/908.30 o 21 1222.49/1214.21 c Got one! Elapsed wall clock time (in seconds):1213.706 1222.49/1214.21 o 19 1800.08/1788.51 c starts : 1061 1800.08/1788.51 c conflicts : 902649 1800.08/1788.51 c decisions : 1021089 1800.08/1788.51 c propagations : 9922132 1800.08/1788.51 c inspects : 4442161125 1800.08/1788.51 c learnt literals : 0 1800.08/1788.51 c learnt binary clauses : 0 1800.08/1788.51 c learnt ternary clauses : 0 1800.08/1788.51 c learnt clauses : 902649 1800.08/1788.51 c root simplifications : 0 1800.08/1788.51 c removed literals (reason simplification) : 0 1800.08/1788.51 c reason swapping (by a shorter reason) : 0 1800.08/1788.51 c Calls to reduceDB : 0 1800.08/1788.51 c speed (decisions/second) : 1777.9776353043194 1800.08/1788.51 c non guided choices 5385 1800.08/1788.51 s SATISFIABLE 1800.08/1788.51 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 1800.08/1788.51 v -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 1800.08/1788.51 v -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 1800.08/1788.51 v -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 1800.08/1788.51 v x107 -x108 x109 -x110 x111 x112 -x113 x114 x115 x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 -x125 x126 -x127 -x128 x129 1800.08/1788.51 v x130 x131 -x132 x133 x134 x135 x136 x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 x145 x146 1800.08/1788.51 c objective function=19 1800.08/1788.51 c Total wall clock time (ms): 1788.006
OK 19
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-354839-1176728014 -o ROOT/results/node43/solver-354839-1176728014 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354839-1176728014/sat4jPseudoResolution.jar /tmp/evaluation/354839-1176728014/instance-354839-1176728014.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 0.98 0.99 3/77 12214 /proc/meminfo: memFree=1741504/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=18568 CPUtime=0 /proc/12214/stat : 12214 (runsolver) R 12212 12214 11378 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 120713243 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 216849247527 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/12214/statm: 4642 292 257 24 0 2626 0 [startup+0.101761 s] /proc/loadavg: 0.95 0.98 0.99 3/77 12214 /proc/meminfo: memFree=1741504/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=12056 CPUtime=0.01 /proc/12214/stat : 12214 (java) D 12212 12214 11378 0 -1 0 365 0 4 0 0 1 0 0 18 0 1 0 120713243 12345344 177 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4702495 0 0 4096 0 18446744071563479169 0 0 17 0 0 0 /proc/12214/statm: 3014 177 135 9 0 1148 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12056 [startup+0.203689 s] /proc/loadavg: 0.95 0.98 0.99 3/77 12214 /proc/meminfo: memFree=1741504/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=12620 CPUtime=0.02 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 820 0 27 0 0 2 0 0 18 0 2 0 120713243 12922880 604 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 3155 604 287 9 0 1243 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12620 [startup+0.301699 s] /proc/loadavg: 0.95 0.98 0.99 3/77 12214 /proc/meminfo: memFree=1741504/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=1777708 CPUtime=0.07 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 3586 0 35 0 2 5 0 0 18 0 7 0 120713243 1820372992 3363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 444427 3364 1070 9 0 442063 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777708 [startup+0.701736 s] /proc/loadavg: 0.95 0.98 0.99 3/77 12214 /proc/meminfo: memFree=1741504/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=1783816 CPUtime=0.51 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 5646 0 35 0 44 7 0 0 18 0 13 0 120713243 1826627584 5268 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 445954 5271 1292 9 0 443566 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 1783816 [startup+1.50281 s] /proc/loadavg: 0.95 0.98 0.99 3/90 12236 /proc/meminfo: memFree=1703000/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=1786300 CPUtime=1.52 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 15079 0 35 0 142 10 0 0 18 0 13 0 120713243 1829171200 14133 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 446575 14134 1308 9 0 444187 0 [pid=12214/tid=12216] ppid=12212 vsize=1786300 CPUtime=0.98 /proc/12214/task/12216/stat : 12216 (java) R 12212 12214 11378 0 -1 64 12373 0 9 0 91 7 0 0 18 0 13 0 120713256 1829171200 14135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12217] ppid=12212 vsize=1786300 CPUtime=0 /proc/12214/task/12217/stat : 12217 (java) S 12212 12214 11378 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 120713266 1829171200 14135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12218] ppid=12212 vsize=1786300 CPUtime=0 /proc/12214/task/12218/stat : 12218 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 120713266 1829171200 14137 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12219] ppid=12212 vsize=1786300 CPUtime=0 /proc/12214/task/12219/stat : 12219 (java) S 12212 12214 11378 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 120713270 1829171200 14137 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12220] ppid=12212 vsize=1786300 CPUtime=0 /proc/12214/task/12220/stat : 12220 (java) S 12212 12214 11378 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 120713271 1829171200 14138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12221] ppid=12212 vsize=1786300 CPUtime=0 /proc/12214/task/12221/stat : 12221 (java) S 12212 12214 11378 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 120713271 1829171200 14138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12222] ppid=12212 vsize=1786300 CPUtime=0 /proc/12214/task/12222/stat : 12222 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 120713279 1829171200 14139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12223] ppid=12212 vsize=1786300 CPUtime=0.25 /proc/12214/task/12223/stat : 12223 (java) R 12212 12214 11378 0 -1 64 499 0 0 0 25 0 0 0 16 0 13 0 120713279 1829171200 14139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104909306 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12224] ppid=12212 vsize=1786300 CPUtime=0.25 /proc/12214/task/12224/stat : 12224 (java) S 12212 12214 11378 0 -1 64 1505 0 0 0 25 0 0 0 16 0 13 0 120713279 1829171200 14141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12225] ppid=12212 vsize=1786300 CPUtime=0 /proc/12214/task/12225/stat : 12225 (java) S 12212 12214 11378 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 120713279 1829171200 14142 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12226] ppid=12212 vsize=1786300 CPUtime=0 /proc/12214/task/12226/stat : 12226 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120713279 1829171200 14142 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 1786300 [startup+3.10295 s] /proc/loadavg: 1.12 1.02 1.01 3/90 12265 /proc/meminfo: memFree=1627344/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=1793672 CPUtime=3.95 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 46493 0 35 0 370 25 0 0 18 0 13 0 120713243 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 448418 42256 1323 9 0 446030 0 [pid=12214/tid=12216] ppid=12212 vsize=1793672 CPUtime=2.46 /proc/12214/task/12216/stat : 12216 (java) R 12212 12214 11378 0 -1 64 37716 0 9 0 228 18 0 0 19 0 13 0 120713256 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109497290 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12217] ppid=12212 vsize=1793672 CPUtime=0 /proc/12214/task/12217/stat : 12217 (java) S 12212 12214 11378 0 -1 64 466 0 0 0 0 0 0 0 16 0 13 0 120713266 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12218] ppid=12212 vsize=1793672 CPUtime=0 /proc/12214/task/12218/stat : 12218 (java) S 12212 12214 11378 0 -1 64 535 0 0 0 0 0 0 0 16 0 13 0 120713266 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12219] ppid=12212 vsize=1793672 CPUtime=0 /proc/12214/task/12219/stat : 12219 (java) S 12212 12214 11378 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 120713270 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12220] ppid=12212 vsize=1793672 CPUtime=0 /proc/12214/task/12220/stat : 12220 (java) S 12212 12214 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120713271 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12221] ppid=12212 vsize=1793672 CPUtime=0 /proc/12214/task/12221/stat : 12221 (java) S 12212 12214 11378 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120713271 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12222] ppid=12212 vsize=1793672 CPUtime=0 /proc/12214/task/12222/stat : 12222 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 120713279 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12223] ppid=12212 vsize=1793672 CPUtime=0.96 /proc/12214/task/12223/stat : 12223 (java) S 12212 12214 11378 0 -1 64 4835 0 0 0 94 2 0 0 17 0 13 0 120713279 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12224] ppid=12212 vsize=1793672 CPUtime=0.46 /proc/12214/task/12224/stat : 12224 (java) R 12212 12214 11378 0 -1 64 2217 0 0 0 45 1 0 0 16 0 13 0 120713279 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102402924 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12225] ppid=12212 vsize=1793672 CPUtime=0 /proc/12214/task/12225/stat : 12225 (java) S 12212 12214 11378 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 120713279 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12226] ppid=12212 vsize=1793672 CPUtime=0 /proc/12214/task/12226/stat : 12226 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120713279 1836720128 42256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 1793672 [startup+6.30122 s] /proc/loadavg: 1.12 1.02 1.01 2/90 12304 /proc/meminfo: memFree=1561656/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=1790940 CPUtime=7.29 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 48509 0 35 0 703 26 0 0 18 0 13 0 120713243 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 447735 43237 1331 9 0 445347 0 [pid=12214/tid=12216] ppid=12212 vsize=1790940 CPUtime=5.57 /proc/12214/task/12216/stat : 12216 (java) R 12212 12214 11378 0 -1 64 37733 0 9 0 538 19 0 0 18 0 13 0 120713256 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109525292 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12217] ppid=12212 vsize=1790940 CPUtime=0.01 /proc/12214/task/12217/stat : 12217 (java) S 12212 12214 11378 0 -1 64 1379 0 0 0 1 0 0 0 16 0 13 0 120713266 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12218] ppid=12212 vsize=1790940 CPUtime=0.02 /proc/12214/task/12218/stat : 12218 (java) S 12212 12214 11378 0 -1 64 1228 0 0 0 2 0 0 0 17 0 13 0 120713266 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12219] ppid=12212 vsize=1790940 CPUtime=0 /proc/12214/task/12219/stat : 12219 (java) S 12212 12214 11378 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 120713270 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12220] ppid=12212 vsize=1790940 CPUtime=0 /proc/12214/task/12220/stat : 12220 (java) S 12212 12214 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120713271 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12221] ppid=12212 vsize=1790940 CPUtime=0 /proc/12214/task/12221/stat : 12221 (java) S 12212 12214 11378 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120713271 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12222] ppid=12212 vsize=1790940 CPUtime=0 /proc/12214/task/12222/stat : 12222 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 120713279 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12223] ppid=12212 vsize=1790940 CPUtime=1.03 /proc/12214/task/12223/stat : 12223 (java) S 12212 12214 11378 0 -1 64 4856 0 0 0 101 2 0 0 16 0 13 0 120713279 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12224] ppid=12212 vsize=1790940 CPUtime=0.59 /proc/12214/task/12224/stat : 12224 (java) S 12212 12214 11378 0 -1 64 2567 0 0 0 58 1 0 0 16 0 13 0 120713279 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12225] ppid=12212 vsize=1790940 CPUtime=0 /proc/12214/task/12225/stat : 12225 (java) S 12212 12214 11378 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 120713279 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12226] ppid=12212 vsize=1790940 CPUtime=0 /proc/12214/task/12226/stat : 12226 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120713279 1833922560 43237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.29 Current children cumulated vsize (KiB) 1790940 [startup+12.7028 s] /proc/loadavg: 1.18 1.03 1.01 2/90 12341 /proc/meminfo: memFree=1550544/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=1790524 CPUtime=13.99 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 53750 0 35 0 1370 29 0 0 18 0 13 0 120713243 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 447631 46712 1331 9 0 445243 0 [pid=12214/tid=12216] ppid=12212 vsize=1790524 CPUtime=11.83 /proc/12214/task/12216/stat : 12216 (java) R 12212 12214 11378 0 -1 64 37772 0 9 0 1164 19 0 0 25 0 13 0 120713256 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109507910 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12217] ppid=12212 vsize=1790524 CPUtime=0.11 /proc/12214/task/12217/stat : 12217 (java) S 12212 12214 11378 0 -1 64 3691 0 0 0 10 1 0 0 16 0 13 0 120713266 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12218] ppid=12212 vsize=1790524 CPUtime=0.11 /proc/12214/task/12218/stat : 12218 (java) S 12212 12214 11378 0 -1 64 3976 0 0 0 10 1 0 0 17 0 13 0 120713266 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12219] ppid=12212 vsize=1790524 CPUtime=0 /proc/12214/task/12219/stat : 12219 (java) S 12212 12214 11378 0 -1 64 44 0 0 0 0 0 0 0 16 0 13 0 120713270 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12220] ppid=12212 vsize=1790524 CPUtime=0 /proc/12214/task/12220/stat : 12220 (java) S 12212 12214 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120713271 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12221] ppid=12212 vsize=1790524 CPUtime=0 /proc/12214/task/12221/stat : 12221 (java) S 12212 12214 11378 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 120713271 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12222] ppid=12212 vsize=1790524 CPUtime=0 /proc/12214/task/12222/stat : 12222 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 120713279 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12223] ppid=12212 vsize=1790524 CPUtime=1.19 /proc/12214/task/12223/stat : 12223 (java) S 12212 12214 11378 0 -1 64 4871 0 0 0 117 2 0 0 15 0 13 0 120713279 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12224] ppid=12212 vsize=1790524 CPUtime=0.65 /proc/12214/task/12224/stat : 12224 (java) S 12212 12214 11378 0 -1 64 2610 0 0 0 64 1 0 0 16 0 13 0 120713279 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12225] ppid=12212 vsize=1790524 CPUtime=0 /proc/12214/task/12225/stat : 12225 (java) S 12212 12214 11378 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 120713279 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12226] ppid=12212 vsize=1790524 CPUtime=0 /proc/12214/task/12226/stat : 12226 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120713279 1833496576 46712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.99 Current children cumulated vsize (KiB) 1790524 [startup+25.5029 s] /proc/loadavg: 1.31 1.06 1.02 2/90 12379 /proc/meminfo: memFree=1524016/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=1790288 CPUtime=26.92 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 61258 0 35 0 2659 33 0 0 18 0 13 0 120713243 1833254912 53370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 447572 53370 1331 9 0 445184 0 [pid=12214/tid=12216] ppid=12212 vsize=1790288 CPUtime=24.49 /proc/12214/task/12216/stat : 12216 (java) R 12212 12214 11378 0 -1 64 38371 0 9 0 2429 20 0 0 25 0 13 0 120713256 1833254912 53370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109472426 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12217] ppid=12212 vsize=1790288 CPUtime=0.23 /proc/12214/task/12217/stat : 12217 (java) S 12212 12214 11378 0 -1 64 7201 0 0 0 21 2 0 0 17 0 13 0 120713266 1833254912 53370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12218] ppid=12212 vsize=1790288 CPUtime=0.23 /proc/12214/task/12218/stat : 12218 (java) S 12212 12214 11378 0 -1 64 7368 0 0 0 20 3 0 0 16 0 13 0 120713266 1833254912 53370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12219] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12219/stat : 12219 (java) S 12212 12214 11378 0 -1 64 46 0 0 0 0 0 0 0 16 0 13 0 120713270 1833254912 53370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12220] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12220/stat : 12220 (java) S 12212 12214 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 53370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12221] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12221/stat : 12221 (java) S 12212 12214 11378 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 53370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12222] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12222/stat : 12222 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 120713279 1833254912 53370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=12214] ppid=12212 vsize=1790288 CPUtime=1613.03 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 172763 0 35 0 161187 116 0 0 18 0 13 0 120713243 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 447572 92417 1331 9 0 445184 0 [pid=12214/tid=12216] ppid=12212 vsize=1790288 CPUtime=1590.16 /proc/12214/task/12216/stat : 12216 (java) R 12212 12214 11378 0 -1 64 67260 0 9 0 158968 48 0 0 25 0 13 0 120713256 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109550024 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12217] ppid=12212 vsize=1790288 CPUtime=10.39 /proc/12214/task/12217/stat : 12217 (java) S 12212 12214 11378 0 -1 64 46397 0 0 0 1015 24 0 0 16 0 13 0 120713266 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12218] ppid=12212 vsize=1790288 CPUtime=10.31 /proc/12214/task/12218/stat : 12218 (java) S 12212 12214 11378 0 -1 64 50678 0 0 0 1006 25 0 0 17 0 13 0 120713266 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12219] ppid=12212 vsize=1790288 CPUtime=0.18 /proc/12214/task/12219/stat : 12219 (java) S 12212 12214 11378 0 -1 64 156 0 0 0 8 10 0 0 16 0 13 0 120713270 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12220] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12220/stat : 12220 (java) S 12212 12214 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12221] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12221/stat : 12221 (java) S 12212 12214 11378 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12222] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12222/stat : 12222 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 120713279 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12223] ppid=12212 vsize=1790288 CPUtime=1.22 /proc/12214/task/12223/stat : 12223 (java) S 12212 12214 11378 0 -1 64 4873 0 0 0 120 2 0 0 17 0 13 0 120713279 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12224] ppid=12212 vsize=1790288 CPUtime=0.67 /proc/12214/task/12224/stat : 12224 (java) S 12212 12214 11378 0 -1 64 2611 0 0 0 66 1 0 0 16 0 13 0 120713279 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12225] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12225/stat : 12225 (java) S 12212 12214 11378 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 120713279 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12226] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12226/stat : 12226 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120713279 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12667] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12667/stat : 12667 (java) S 12212 12214 11378 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 120834665 1833254912 92417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1613.03 Current children cumulated vsize (KiB) 1790288 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 12667 /proc/meminfo: memFree=1359336/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=1790288 CPUtime=1673.36 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 175280 0 35 0 167219 117 0 0 18 0 13 0 120713243 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 447572 93631 1331 9 0 445184 0 [pid=12214/tid=12216] ppid=12212 vsize=1790288 CPUtime=1649.78 /proc/12214/task/12216/stat : 12216 (java) R 12212 12214 11378 0 -1 64 67267 0 9 0 164929 49 0 0 25 0 13 0 120713256 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109507910 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12217] ppid=12212 vsize=1790288 CPUtime=10.75 /proc/12214/task/12217/stat : 12217 (java) S 12212 12214 11378 0 -1 64 46581 0 0 0 1051 24 0 0 16 0 13 0 120713266 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12218] ppid=12212 vsize=1790288 CPUtime=10.66 /proc/12214/task/12218/stat : 12218 (java) S 12212 12214 11378 0 -1 64 53004 0 0 0 1040 26 0 0 17 0 13 0 120713266 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12219] ppid=12212 vsize=1790288 CPUtime=0.18 /proc/12214/task/12219/stat : 12219 (java) S 12212 12214 11378 0 -1 64 156 0 0 0 8 10 0 0 16 0 13 0 120713270 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12220] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12220/stat : 12220 (java) S 12212 12214 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12221] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12221/stat : 12221 (java) S 12212 12214 11378 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12222] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12222/stat : 12222 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 120713279 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12223] ppid=12212 vsize=1790288 CPUtime=1.22 /proc/12214/task/12223/stat : 12223 (java) S 12212 12214 11378 0 -1 64 4873 0 0 0 120 2 0 0 17 0 13 0 120713279 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12224] ppid=12212 vsize=1790288 CPUtime=0.67 /proc/12214/task/12224/stat : 12224 (java) S 12212 12214 11378 0 -1 64 2611 0 0 0 66 1 0 0 16 0 13 0 120713279 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12225] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12225/stat : 12225 (java) S 12212 12214 11378 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 120713279 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12226] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12226/stat : 12226 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120713279 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12667] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12667/stat : 12667 (java) S 12212 12214 11378 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 120834665 1833254912 93631 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1673.36 Current children cumulated vsize (KiB) 1790288 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 12667 /proc/meminfo: memFree=1359720/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=1790288 CPUtime=1733.72 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 176977 0 35 0 173254 118 0 0 18 0 13 0 120713243 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 447572 93522 1331 9 0 445184 0 [pid=12214/tid=12216] ppid=12212 vsize=1790288 CPUtime=1709.32 /proc/12214/task/12216/stat : 12216 (java) R 12212 12214 11378 0 -1 64 67275 0 9 0 170883 49 0 0 25 0 13 0 120713256 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109529145 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12217] ppid=12212 vsize=1790288 CPUtime=11.17 /proc/12214/task/12217/stat : 12217 (java) S 12212 12214 11378 0 -1 64 46613 0 0 0 1093 24 0 0 16 0 13 0 120713266 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12218] ppid=12212 vsize=1790288 CPUtime=11.06 /proc/12214/task/12218/stat : 12218 (java) S 12212 12214 11378 0 -1 64 54659 0 0 0 1079 27 0 0 16 0 13 0 120713266 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12219] ppid=12212 vsize=1790288 CPUtime=0.18 /proc/12214/task/12219/stat : 12219 (java) S 12212 12214 11378 0 -1 64 158 0 0 0 8 10 0 0 16 0 13 0 120713270 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12220] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12220/stat : 12220 (java) S 12212 12214 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12221] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12221/stat : 12221 (java) S 12212 12214 11378 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12222] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12222/stat : 12222 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 120713279 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12223] ppid=12212 vsize=1790288 CPUtime=1.22 /proc/12214/task/12223/stat : 12223 (java) S 12212 12214 11378 0 -1 64 4873 0 0 0 120 2 0 0 17 0 13 0 120713279 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12224] ppid=12212 vsize=1790288 CPUtime=0.67 /proc/12214/task/12224/stat : 12224 (java) S 12212 12214 11378 0 -1 64 2611 0 0 0 66 1 0 0 16 0 13 0 120713279 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12225] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12225/stat : 12225 (java) S 12212 12214 11378 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 120713279 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12226] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12226/stat : 12226 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120713279 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12667] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12667/stat : 12667 (java) S 12212 12214 11378 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 120834665 1833254912 93522 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1733.72 Current children cumulated vsize (KiB) 1790288 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 12667 /proc/meminfo: memFree=1355624/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=1790288 CPUtime=1793.81 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 178186 0 35 0 179262 119 0 0 18 0 13 0 120713243 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 447572 94524 1331 9 0 445184 0 [pid=12214/tid=12216] ppid=12212 vsize=1790288 CPUtime=1769.2 /proc/12214/task/12216/stat : 12216 (java) R 12212 12214 11378 0 -1 64 67277 0 9 0 176870 50 0 0 25 0 13 0 120713256 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109508163 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12217] ppid=12212 vsize=1790288 CPUtime=11.28 /proc/12214/task/12217/stat : 12217 (java) S 12212 12214 11378 0 -1 64 46662 0 0 0 1104 24 0 0 16 0 13 0 120713266 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12218] ppid=12212 vsize=1790288 CPUtime=11.17 /proc/12214/task/12218/stat : 12218 (java) S 12212 12214 11378 0 -1 64 55817 0 0 0 1090 27 0 0 17 0 13 0 120713266 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12219] ppid=12212 vsize=1790288 CPUtime=0.18 /proc/12214/task/12219/stat : 12219 (java) S 12212 12214 11378 0 -1 64 158 0 0 0 8 10 0 0 16 0 13 0 120713270 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12220] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12220/stat : 12220 (java) S 12212 12214 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12221] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12221/stat : 12221 (java) S 12212 12214 11378 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12222] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12222/stat : 12222 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 120713279 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12223] ppid=12212 vsize=1790288 CPUtime=1.22 /proc/12214/task/12223/stat : 12223 (java) S 12212 12214 11378 0 -1 64 4873 0 0 0 120 2 0 0 17 0 13 0 120713279 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12224] ppid=12212 vsize=1790288 CPUtime=0.67 /proc/12214/task/12224/stat : 12224 (java) S 12212 12214 11378 0 -1 64 2611 0 0 0 66 1 0 0 16 0 13 0 120713279 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12225] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12225/stat : 12225 (java) S 12212 12214 11378 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 120713279 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12226] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12226/stat : 12226 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120713279 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12667] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12667/stat : 12667 (java) S 12212 12214 11378 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 120834665 1833254912 94524 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1793.81 Current children cumulated vsize (KiB) 1790288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.5 s] /proc/loadavg: 1.00 1.00 1.00 2/90 12667 /proc/meminfo: memFree=1353128/2055920 swapFree=4184784/4192956 [pid=12214] ppid=12212 vsize=1790288 CPUtime=1800.08 /proc/12214/stat : 12214 (java) S 12212 12214 11378 0 -1 0 178846 0 35 0 179888 120 0 0 18 0 13 0 120713243 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12214/statm: 447572 95147 1331 9 0 445184 0 [pid=12214/tid=12216] ppid=12212 vsize=1790288 CPUtime=1775.34 /proc/12214/task/12216/stat : 12216 (java) R 12212 12214 11378 0 -1 64 67278 0 9 0 177484 50 0 0 25 0 13 0 120713256 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109508454 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12217] ppid=12212 vsize=1790288 CPUtime=11.34 /proc/12214/task/12217/stat : 12217 (java) S 12212 12214 11378 0 -1 64 46687 0 0 0 1110 24 0 0 16 0 13 0 120713266 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12218] ppid=12212 vsize=1790288 CPUtime=11.22 /proc/12214/task/12218/stat : 12218 (java) S 12212 12214 11378 0 -1 64 56451 0 0 0 1095 27 0 0 16 0 13 0 120713266 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12219] ppid=12212 vsize=1790288 CPUtime=0.18 /proc/12214/task/12219/stat : 12219 (java) S 12212 12214 11378 0 -1 64 158 0 0 0 8 10 0 0 16 0 13 0 120713270 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12220] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12220/stat : 12220 (java) S 12212 12214 11378 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12221] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12221/stat : 12221 (java) S 12212 12214 11378 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 120713271 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12222] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12222/stat : 12222 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 120713279 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12223] ppid=12212 vsize=1790288 CPUtime=1.22 /proc/12214/task/12223/stat : 12223 (java) S 12212 12214 11378 0 -1 64 4873 0 0 0 120 2 0 0 17 0 13 0 120713279 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12224] ppid=12212 vsize=1790288 CPUtime=0.67 /proc/12214/task/12224/stat : 12224 (java) S 12212 12214 11378 0 -1 64 2611 0 0 0 66 1 0 0 16 0 13 0 120713279 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12225] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12225/stat : 12225 (java) S 12212 12214 11378 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 120713279 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12214/tid=12226] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12226/stat : 12226 (java) S 12212 12214 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120713279 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12214/tid=12667] ppid=12212 vsize=1790288 CPUtime=0 /proc/12214/task/12667/stat : 12667 (java) S 12212 12214 11378 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 120834665 1833254912 95147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1790288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1788.6 CPU time (s): 1800.18 CPU user time (s): 1798.92 CPU system time (s): 1.26081 CPU usage (%): 100.647 Max. virtual memory (cumulated for all children) (KiB): 1794136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.92 system time used= 1.26081 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178855 page faults= 35 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 44096 involuntary context switches= 50451 runsolver used 1.63375 second user time and 4.99424 second system time The end
Begin job on node43 on Mon Apr 16 12:53:34 UTC 2007 IDJOB= 354839 IDBENCH= 2908 IDSOLVER= 159 FILE ID= node43/354839-1176728014 PBS_JOBID= 4559497 Free space on /tmp= 66550 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354839-1176728014/sat4jPseudoResolution.jar /tmp/evaluation/354839-1176728014/instance-354839-1176728014.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-354839-1176728014 -o ROOT/results/node43/solver-354839-1176728014 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354839-1176728014/sat4jPseudoResolution.jar /tmp/evaluation/354839-1176728014/instance-354839-1176728014.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED= 5470693 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.218 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.218 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: 1742040 kB Buffers: 38232 kB Cached: 66152 kB SwapCached: 1220 kB Active: 167032 kB Inactive: 83808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1742040 kB SwapTotal: 4192956 kB SwapFree: 4184784 kB Dirty: 3600 kB Writeback: 0 kB Mapped: 162168 kB Slab: 48472 kB Committed_AS: 1717404 kB PageTables: 1852 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= 66550 MiB End job on node43 on Mon Apr 16 13:23:25 UTC 2007