Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | -4419 | 1800.75 | 1777.02 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.opb |
| MD5SUM | fc34eea73407c402eaec3a9b26dc254f |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -10786 |
| Best CPU time to get the best result obtained on this benchmark | 1800.11 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| 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 | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 7294 |
| Biggest coefficient in the objective function | 1722 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 756056 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1722 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 756056 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 7234 |
| Sum of products size (including duplicates) | 23060 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4119598-1467262693.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 1.53/1.11 c ... done. Wall clock time 1.001s. 1.53/1.11 c declared #vars 60 1.53/1.11 c internal #vars 7294 1.53/1.11 c #constraints 14468 1.53/1.11 c constraints type 1.53/1.11 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7234 1.53/1.11 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7234 1.53/1.11 c 14468 constraints processed. 1.53/1.11 c objective function length is 7294 literals 1.81/1.24 c SATISFIABLE 1.81/1.24 c OPTIMIZING... 1.81/1.24 c Got one! Elapsed wall clock time (in seconds):1.122 1.81/1.24 o 0 2.06/1.39 c Got one! Elapsed wall clock time (in seconds):1.273 2.06/1.39 o -91 2.36/1.46 c Got one! Elapsed wall clock time (in seconds):1.347 2.36/1.46 o -182 2.66/1.50 c Got one! Elapsed wall clock time (in seconds):1.385 2.66/1.50 o -327 2.66/1.54 c Got one! Elapsed wall clock time (in seconds):1.425 2.66/1.54 o -429 2.97/1.60 c Got one! Elapsed wall clock time (in seconds):1.49 2.97/1.60 o -472 2.97/1.62 c Got one! Elapsed wall clock time (in seconds):1.503 2.97/1.62 o -642 2.97/1.64 c Got one! Elapsed wall clock time (in seconds):1.526 2.97/1.64 o -705 2.97/1.66 c Got one! Elapsed wall clock time (in seconds):1.55 2.97/1.66 o -710 2.97/1.68 c Got one! Elapsed wall clock time (in seconds):1.564 2.97/1.68 o -750 2.97/1.69 c Got one! Elapsed wall clock time (in seconds):1.576 2.97/1.69 o -755 3.11/1.70 c Got one! Elapsed wall clock time (in seconds):1.588 3.11/1.70 o -812 3.11/1.72 c Got one! Elapsed wall clock time (in seconds):1.604 3.11/1.72 o -986 3.11/1.75 c Got one! Elapsed wall clock time (in seconds):1.636 3.11/1.75 o -1004 3.11/1.77 c Got one! Elapsed wall clock time (in seconds):1.661 3.11/1.77 o -1009 3.11/1.79 c Got one! Elapsed wall clock time (in seconds):1.68 3.11/1.79 o -1206 3.20/1.89 c Got one! Elapsed wall clock time (in seconds):1.773 3.20/1.89 o -1230 3.30/1.98 c Got one! Elapsed wall clock time (in seconds):1.871 3.30/1.98 o -1277 3.40/2.02 c Got one! Elapsed wall clock time (in seconds):1.904 3.40/2.02 o -1305 3.40/2.04 c Got one! Elapsed wall clock time (in seconds):1.927 3.40/2.04 o -1306 3.40/2.05 c Got one! Elapsed wall clock time (in seconds):1.94 3.40/2.05 o -1309 3.40/2.07 c Got one! Elapsed wall clock time (in seconds):1.952 3.40/2.07 o -1322 3.40/2.08 c Got one! Elapsed wall clock time (in seconds):1.964 3.40/2.08 o -1335 3.40/2.09 c Got one! Elapsed wall clock time (in seconds):1.978 3.40/2.09 o -1343 3.51/2.11 c Got one! Elapsed wall clock time (in seconds):1.998 3.51/2.11 o -1377 3.51/2.14 c Got one! Elapsed wall clock time (in seconds):2.023 3.51/2.14 o -1388 3.51/2.15 c Got one! Elapsed wall clock time (in seconds):2.041 3.51/2.15 o -1392 3.51/2.17 c Got one! Elapsed wall clock time (in seconds):2.053 3.51/2.17 o -1403 3.51/2.18 c Got one! Elapsed wall clock time (in seconds):2.067 3.51/2.18 o -1411 3.51/2.20 c Got one! Elapsed wall clock time (in seconds):2.084 3.51/2.20 o -1416 3.63/2.23 c Got one! Elapsed wall clock time (in seconds):2.114 3.63/2.23 o -1557 3.91/2.42 c Got one! Elapsed wall clock time (in seconds):2.31 3.91/2.42 o -1597 4.02/2.53 c Got one! Elapsed wall clock time (in seconds):2.412 4.02/2.53 o -1598 4.02/2.58 c Got one! Elapsed wall clock time (in seconds):2.467 4.02/2.58 o -1609 4.18/2.62 c Got one! Elapsed wall clock time (in seconds):2.509 4.18/2.62 o -1616 4.18/2.63 c Got one! Elapsed wall clock time (in seconds):2.521 4.18/2.63 o -1620 4.18/2.65 c Got one! Elapsed wall clock time (in seconds):2.533 4.18/2.65 o -1621 4.18/2.66 c Got one! Elapsed wall clock time (in seconds):2.549 4.18/2.66 o -1625 4.18/2.68 c Got one! Elapsed wall clock time (in seconds):2.568 4.18/2.68 o -1626 4.28/2.70 c Got one! Elapsed wall clock time (in seconds):2.587 4.28/2.70 o -1790 4.59/3.01 c Got one! Elapsed wall clock time (in seconds):2.899 4.59/3.01 o -1804 4.69/3.20 c Got one! Elapsed wall clock time (in seconds):3.082 4.69/3.20 o -1823 4.79/3.28 c Got one! Elapsed wall clock time (in seconds):3.167 4.79/3.28 o -1847 4.90/3.35 c Got one! Elapsed wall clock time (in seconds):3.24 4.90/3.35 o -1852 4.90/3.38 c Got one! Elapsed wall clock time (in seconds):3.267 4.90/3.38 o -2008 5.50/3.93 c Got one! Elapsed wall clock time (in seconds):3.812 5.50/3.93 o -2069 5.90/4.32 c Got one! Elapsed wall clock time (in seconds):4.209 5.90/4.32 o -2072 6.11/4.60 c Got one! Elapsed wall clock time (in seconds):4.482 6.11/4.60 o -2078 6.20/4.62 c Got one! Elapsed wall clock time (in seconds):4.51 6.20/4.62 o -2239 8.01/6.31 c Got one! Elapsed wall clock time (in seconds):6.199 8.01/6.31 o -2245 8.56/6.72 c Got one! Elapsed wall clock time (in seconds):6.609 8.56/6.72 o -2294 8.65/6.80 c Got one! Elapsed wall clock time (in seconds):6.69 8.65/6.80 o -2297 8.65/6.81 c Got one! Elapsed wall clock time (in seconds):6.701 8.65/6.81 o -2301 8.65/6.84 c Got one! Elapsed wall clock time (in seconds):6.726 8.65/6.84 o -2307 8.75/6.95 c Got one! Elapsed wall clock time (in seconds):6.838 8.75/6.95 o -2308 8.75/6.98 c Got one! Elapsed wall clock time (in seconds):6.863 8.75/6.98 o -2310 8.95/7.10 c Got one! Elapsed wall clock time (in seconds):6.99 8.95/7.10 o -2311 8.95/7.11 c Got one! Elapsed wall clock time (in seconds):7.0 8.95/7.11 o -2316 8.95/7.13 c Got one! Elapsed wall clock time (in seconds):7.018 8.95/7.13 o -2505 10.78/8.96 c cleaning 5370 clauses out of 10740 with flag 6003/10740 11.11/9.24 c Got one! Elapsed wall clock time (in seconds):9.13 11.11/9.24 o -2541 12.31/10.44 c Got one! Elapsed wall clock time (in seconds):10.322 12.31/10.44 o -2546 13.26/11.23 c Got one! Elapsed wall clock time (in seconds):11.121 13.26/11.23 o -2549 13.56/11.50 c Got one! Elapsed wall clock time (in seconds):11.388 13.56/11.50 o -2554 13.78/11.75 c Got one! Elapsed wall clock time (in seconds):11.637 13.78/11.75 o -2631 15.68/13.62 c cleaning 6251 clauses out of 12501 with flag 6001/17871 17.79/15.75 c Got one! Elapsed wall clock time (in seconds):15.636 17.79/15.75 o -2736 19.40/17.19 c cleaning 5941 clauses out of 11882 with flag 4002/23503 20.71/18.40 c Got one! Elapsed wall clock time (in seconds):18.285 20.71/18.40 o -2759 22.01/19.72 c Got one! Elapsed wall clock time (in seconds):19.607 22.01/19.72 o -2764 22.22/19.91 c Got one! Elapsed wall clock time (in seconds):19.796 22.22/19.91 o -2770 22.31/20.02 c Got one! Elapsed wall clock time (in seconds):19.904 22.31/20.02 o -2774 22.41/20.19 c Got one! Elapsed wall clock time (in seconds):20.072 22.41/20.19 o -2782 22.71/20.40 c Got one! Elapsed wall clock time (in seconds):20.285 22.71/20.40 o -2783 22.91/20.64 c Got one! Elapsed wall clock time (in seconds):20.523 22.91/20.64 o -2788 23.01/20.72 c Got one! Elapsed wall clock time (in seconds):20.602 23.01/20.72 o -2790 23.32/21.01 c Got one! Elapsed wall clock time (in seconds):20.898 23.32/21.01 o -2799 23.41/21.15 c Got one! Elapsed wall clock time (in seconds):21.041 23.41/21.15 o -2872 25.31/23.02 c cleaning 7453 clauses out of 14906 with flag 6001/32468 29.13/26.70 c cleaning 6725 clauses out of 13454 with flag 18003/38469 31.23/28.83 c Got one! Elapsed wall clock time (in seconds):28.712 31.23/28.83 o -2964 32.43/30.07 c cleaning 6174 clauses out of 12348 with flag 4002/44088 36.04/33.60 c Got one! Elapsed wall clock time (in seconds):33.491 36.04/33.60 o -2969 38.54/36.15 c Got one! Elapsed wall clock time (in seconds):36.035 38.54/36.15 o -2980 39.04/36.46 c Got one! Elapsed wall clock time (in seconds):36.349 39.04/36.46 o -2988 39.33/36.60 c Got one! Elapsed wall clock time (in seconds):36.488 39.33/36.60 o -2991 39.33/36.67 c Got one! Elapsed wall clock time (in seconds):36.558 39.33/36.67 o -2996 39.53/36.88 c Got one! Elapsed wall clock time (in seconds):36.768 39.53/36.88 o -3003 39.63/36.90 c Got one! Elapsed wall clock time (in seconds):36.783 39.63/36.90 o -3010 39.63/36.91 c Got one! Elapsed wall clock time (in seconds):36.799 39.63/36.91 o -3011 39.63/36.94 c Got one! Elapsed wall clock time (in seconds):36.822 39.63/36.94 o -3012 39.83/37.13 c Got one! Elapsed wall clock time (in seconds):37.021 39.83/37.13 o -3016 40.23/37.55 c Got one! Elapsed wall clock time (in seconds):37.437 40.23/37.55 o -3017 40.23/37.57 c Got one! Elapsed wall clock time (in seconds):37.459 40.23/37.57 o -3027 40.23/37.59 c Got one! Elapsed wall clock time (in seconds):37.474 40.23/37.59 o -3028 41.03/38.37 c Got one! Elapsed wall clock time (in seconds):38.259 41.03/38.37 o -3032 41.53/38.89 c Got one! Elapsed wall clock time (in seconds):38.774 41.53/38.89 o -3033 41.63/38.92 c Got one! Elapsed wall clock time (in seconds):38.806 41.63/38.92 o -3044 41.93/39.25 c Got one! Elapsed wall clock time (in seconds):39.137 41.93/39.25 o -3069 42.74/40.00 c cleaning 10479 clauses out of 20959 with flag 2003/58873 46.44/43.73 c cleaning 8239 clauses out of 16480 with flag 14003/64873 50.65/47.94 c cleaning 7619 clauses out of 15241 with flag 28003/71873 56.16/52.92 c cleaning 7808 clauses out of 15622 with flag 44003/79873 58.55/55.32 c Got one! Elapsed wall clock time (in seconds):55.203 58.55/55.32 o -3077 59.15/56.00 c cleaning 6454 clauses out of 12917 with flag 2004/84976 61.45/58.30 c Got one! Elapsed wall clock time (in seconds):58.183 61.45/58.30 o -3079 62.85/59.63 c Got one! Elapsed wall clock time (in seconds):59.516 62.85/59.63 o -3096 63.35/60.13 c Got one! Elapsed wall clock time (in seconds):60.018 63.35/60.13 o -3104 63.65/60.44 c Got one! Elapsed wall clock time (in seconds):60.324 63.65/60.44 o -3105 63.65/60.45 c Got one! Elapsed wall clock time (in seconds):60.336 63.65/60.45 o -3108 63.65/60.47 c Got one! Elapsed wall clock time (in seconds):60.357 63.65/60.47 o -3109 63.65/60.48 c Got one! Elapsed wall clock time (in seconds):60.371 63.65/60.48 o -3110 63.76/60.57 c Got one! Elapsed wall clock time (in seconds):60.455 63.76/60.57 o -3120 64.45/61.27 c cleaning 7211 clauses out of 14428 with flag 2003/92941 66.25/63.09 c Got one! Elapsed wall clock time (in seconds):62.972 66.25/63.09 o -3180 67.06/63.83 c Got one! Elapsed wall clock time (in seconds):63.712 67.06/63.83 o -3181 67.55/64.32 c Got one! Elapsed wall clock time (in seconds):64.202 67.55/64.32 o -3182 68.05/64.81 c Got one! Elapsed wall clock time (in seconds):64.695 68.05/64.81 o -3193 68.55/65.34 c Got one! Elapsed wall clock time (in seconds):65.229 68.55/65.34 o -3197 68.55/65.37 c Got one! Elapsed wall clock time (in seconds):65.257 68.55/65.37 o -3198 69.05/65.82 c Got one! Elapsed wall clock time (in seconds):65.711 69.05/65.82 o -3225 70.81/67.33 c cleaning 8103 clauses out of 16214 with flag 4005/101938 74.41/70.93 c Got one! Elapsed wall clock time (in seconds):70.819 74.41/70.93 o -3231 74.81/71.33 c Got one! Elapsed wall clock time (in seconds):71.212 74.81/71.33 o -3237 75.12/71.69 c Got one! Elapsed wall clock time (in seconds):71.579 75.12/71.69 o -3240 75.51/72.07 c Got one! Elapsed wall clock time (in seconds):71.96 75.51/72.07 o -3250 75.61/72.11 c Got one! Elapsed wall clock time (in seconds):71.995 75.61/72.11 o -3254 75.61/72.14 c Got one! Elapsed wall clock time (in seconds):72.025 75.61/72.14 o -3255 76.22/72.78 c Got one! Elapsed wall clock time (in seconds):72.666 76.22/72.78 o -3258 76.91/73.45 c Got one! Elapsed wall clock time (in seconds):73.333 76.91/73.45 o -3265 76.91/73.47 c Got one! Elapsed wall clock time (in seconds):73.359 76.91/73.47 o -3266 76.91/73.49 c Got one! Elapsed wall clock time (in seconds):73.375 76.91/73.49 o -3271 77.61/74.10 c Got one! Elapsed wall clock time (in seconds):73.987 77.61/74.10 o -3279 79.21/75.75 c Got one! Elapsed wall clock time (in seconds):75.64 79.21/75.75 o -3280 79.21/75.79 c Got one! Elapsed wall clock time (in seconds):75.674 79.21/75.79 o -3288 80.11/76.67 c Got one! Elapsed wall clock time (in seconds):76.558 80.11/76.67 o -3311 81.41/77.96 c cleaning 12033 clauses out of 24071 with flag 4001/117898 85.01/81.60 c cleaning 9016 clauses out of 18039 with flag 16003/123899 89.31/85.84 c cleaning 8012 clauses out of 16023 with flag 30003/130899 94.21/90.71 c cleaning 8003 clauses out of 16010 with flag 46001/138898 99.88/96.11 c cleaning 8500 clauses out of 17007 with flag 64001/147898 105.78/102.04 c cleaning 9251 clauses out of 18508 with flag 84003/157899 111.47/107.71 c Got one! Elapsed wall clock time (in seconds):107.6 111.47/107.71 o -3316 114.67/110.95 c cleaning 11765 clauses out of 23534 with flag 10002/172176 116.37/112.63 c Got one! Elapsed wall clock time (in seconds):112.513 116.37/112.63 o -3327 118.28/114.51 c cleaning 8718 clauses out of 17442 with flag 6005/177849 119.17/115.42 c Got one! Elapsed wall clock time (in seconds):115.309 119.17/115.42 o -3333 120.27/116.54 c Got one! Elapsed wall clock time (in seconds):116.423 120.27/116.54 o -3337 120.87/117.17 c Got one! Elapsed wall clock time (in seconds):117.054 120.87/117.17 o -3350 120.97/117.20 c Got one! Elapsed wall clock time (in seconds):117.084 120.97/117.20 o -3351 120.97/117.22 c Got one! Elapsed wall clock time (in seconds):117.111 120.97/117.22 o -3352 121.48/117.77 c Got one! Elapsed wall clock time (in seconds):117.655 121.48/117.77 o -3372 123.47/119.76 c cleaning 8362 clauses out of 16730 with flag 6005/185855 126.88/122.77 c Got one! Elapsed wall clock time (in seconds):122.66 126.88/122.77 o -3378 127.60/123.48 c cleaning 7025 clauses out of 14053 with flag 2006/191540 127.70/123.52 c Got one! Elapsed wall clock time (in seconds):123.406 127.70/123.52 o -3380 128.00/123.88 c Got one! Elapsed wall clock time (in seconds):123.762 128.00/123.88 o -3388 128.51/124.31 c Got one! Elapsed wall clock time (in seconds):124.201 128.51/124.31 o -3389 128.61/124.49 c Got one! Elapsed wall clock time (in seconds):124.378 128.61/124.49 o -3406 128.70/124.53 c Got one! Elapsed wall clock time (in seconds):124.415 128.70/124.53 o -3407 129.20/125.05 c Got one! Elapsed wall clock time (in seconds):124.933 129.20/125.05 o -3410 129.20/125.07 c Got one! Elapsed wall clock time (in seconds):124.956 129.20/125.07 o -3411 129.20/125.08 c Got one! Elapsed wall clock time (in seconds):124.97 129.20/125.08 o -3412 129.20/125.10 c Got one! Elapsed wall clock time (in seconds):124.982 129.20/125.10 o -3425 129.90/125.70 c Got one! Elapsed wall clock time (in seconds):125.591 129.90/125.70 o -3433 131.50/127.33 c Got one! Elapsed wall clock time (in seconds):127.216 131.50/127.33 o -3436 131.50/127.37 c Got one! Elapsed wall clock time (in seconds):127.255 131.50/127.37 o -3441 131.50/127.39 c Got one! Elapsed wall clock time (in seconds):127.278 131.50/127.39 o -3442 132.30/128.16 c Got one! Elapsed wall clock time (in seconds):128.048 132.30/128.16 o -3454 133.60/129.43 c cleaning 8037 clauses out of 16080 with flag 4005/200592 137.31/133.14 c cleaning 7015 clauses out of 14042 with flag 16003/206591 141.50/137.30 c cleaning 7014 clauses out of 14027 with flag 30003/213591 141.81/137.63 c Got one! Elapsed wall clock time (in seconds):137.518 141.81/137.63 o -3469 142.50/138.34 c Got one! Elapsed wall clock time (in seconds):138.231 142.50/138.34 o -3472 142.91/138.74 c Got one! Elapsed wall clock time (in seconds):138.628 142.91/138.74 o -3475 142.91/138.77 c Got one! Elapsed wall clock time (in seconds):138.652 142.91/138.77 o -3480 143.20/139.05 c Got one! Elapsed wall clock time (in seconds):138.94 143.20/139.05 o -3494 144.01/139.87 c Got one! Elapsed wall clock time (in seconds):139.759 144.01/139.87 o -3495 144.10/139.92 c Got one! Elapsed wall clock time (in seconds):139.805 144.10/139.92 o -3498 144.80/140.61 c Got one! Elapsed wall clock time (in seconds):140.494 144.80/140.61 o -3501 146.00/141.81 c Got one! Elapsed wall clock time (in seconds):141.697 146.00/141.81 o -3510 146.00/141.89 c Got one! Elapsed wall clock time (in seconds):141.778 146.00/141.89 o -3514 146.11/141.91 c Got one! Elapsed wall clock time (in seconds):141.793 146.11/141.91 o -3515 146.80/142.64 c cleaning 7458 clauses out of 14917 with flag 2056/221495 147.31/143.12 c Got one! Elapsed wall clock time (in seconds):143.006 147.31/143.12 o -3517 149.70/145.59 c Got one! Elapsed wall clock time (in seconds):145.475 149.70/145.59 o -3524 149.90/145.73 c Got one! Elapsed wall clock time (in seconds):145.618 149.90/145.73 o -3531 149.90/145.78 c Got one! Elapsed wall clock time (in seconds):145.664 149.90/145.78 o -3532 150.61/146.45 c cleaning 6776 clauses out of 13556 with flag 2025/227592 151.90/147.73 c Got one! Elapsed wall clock time (in seconds):147.616 151.90/147.73 o -3554 153.70/149.53 c cleaning 6024 clauses out of 12052 with flag 6001/232864 157.21/153.09 c cleaning 6007 clauses out of 12029 with flag 18003/238865 161.60/157.21 c cleaning 6509 clauses out of 13022 with flag 32003/245865 166.60/162.20 c cleaning 7251 clauses out of 14512 with flag 48001/253864 172.10/167.72 c cleaning 8130 clauses out of 16261 with flag 66001/262864 178.21/173.81 c cleaning 9065 clauses out of 18131 with flag 86001/272864 185.10/180.79 c cleaning 10030 clauses out of 20067 with flag 108003/283865 192.60/188.26 c cleaning 11017 clauses out of 22037 with flag 132003/295865 201.09/196.42 c cleaning 12009 clauses out of 24020 with flag 158003/308865 209.20/204.58 c Got one! Elapsed wall clock time (in seconds):204.464 209.20/204.58 o -3565 212.60/207.95 c cleaning 14938 clauses out of 29883 with flag 10004/326737 216.40/211.76 c cleaning 10466 clauses out of 20944 with flag 22002/332736 218.50/213.84 c Got one! Elapsed wall clock time (in seconds):213.729 218.50/213.84 o -3582 219.89/215.20 c cleaning 7862 clauses out of 15731 with flag 4005/337989 223.29/218.61 c Got one! Elapsed wall clock time (in seconds):218.493 223.29/218.61 o -3583 226.30/221.66 c Got one! Elapsed wall clock time (in seconds):221.546 226.30/221.66 o -3584 227.02/222.37 c cleaning 9476 clauses out of 18958 with flag 2040/349078 227.51/222.83 c Got one! Elapsed wall clock time (in seconds):222.715 227.51/222.83 o -3595 227.51/222.87 c Got one! Elapsed wall clock time (in seconds):222.761 227.51/222.87 o -3596 227.51/222.89 c Got one! Elapsed wall clock time (in seconds):222.775 227.51/222.89 o -3598 227.61/222.92 c Got one! Elapsed wall clock time (in seconds):222.807 227.61/222.92 o -3600 228.61/223.95 c Got one! Elapsed wall clock time (in seconds):223.838 228.61/223.95 o -3671 231.11/226.48 c cleaning 7996 clauses out of 16006 with flag 8003/355602 234.91/230.19 c cleaning 7003 clauses out of 14010 with flag 20003/361602 237.81/233.00 c Got one! Elapsed wall clock time (in seconds):232.887 237.81/233.00 o -3675 238.41/233.70 c cleaning 6362 clauses out of 12740 with flag 2006/367335 242.21/237.42 c cleaning 6188 clauses out of 12378 with flag 14006/373335 242.91/238.16 c Got one! Elapsed wall clock time (in seconds):238.048 242.91/238.16 o -3676 245.41/240.60 c Got one! Elapsed wall clock time (in seconds):240.489 245.41/240.60 o -3682 245.41/240.69 c Got one! Elapsed wall clock time (in seconds):240.572 245.41/240.69 o -3685 245.51/240.72 c Got one! Elapsed wall clock time (in seconds):240.607 245.51/240.72 o -3687 245.51/240.74 c Got one! Elapsed wall clock time (in seconds):240.623 245.51/240.74 o -3688 245.51/240.77 c Got one! Elapsed wall clock time (in seconds):240.655 245.51/240.77 o -3690 246.21/241.46 c cleaning 6290 clauses out of 12585 with flag 2047/379730 247.61/242.88 c Got one! Elapsed wall clock time (in seconds):242.769 247.61/242.88 o -3732 249.51/244.77 c cleaning 5888 clauses out of 11777 with flag 6003/385212 253.11/248.35 c cleaning 5941 clauses out of 11890 with flag 18005/391213 257.41/252.63 c cleaning 6472 clauses out of 12948 with flag 32003/398212 262.21/257.41 c cleaning 7238 clauses out of 14477 with flag 48005/406213 265.01/260.01 c Got one! Elapsed wall clock time (in seconds):259.9 265.01/260.01 o -3743 265.72/260.71 c cleaning 6141 clauses out of 12298 with flag 2006/411272 269.21/264.28 c cleaning 6076 clauses out of 12156 with flag 14004/417271 271.11/266.13 c Got one! Elapsed wall clock time (in seconds):266.02 271.11/266.13 o -3748 272.41/267.49 c cleaning 5618 clauses out of 11239 with flag 4122/422430 273.11/268.13 c Got one! Elapsed wall clock time (in seconds):268.016 273.11/268.13 o -3752 273.21/268.21 c Got one! Elapsed wall clock time (in seconds):268.096 273.21/268.21 o -3755 273.21/268.26 c Got one! Elapsed wall clock time (in seconds):268.145 273.21/268.26 o -3756 273.31/268.37 c Got one! Elapsed wall clock time (in seconds):268.255 273.31/268.37 o -3757 274.91/269.91 c Got one! Elapsed wall clock time (in seconds):269.796 274.91/269.91 o -3764 276.21/271.23 c cleaning 5759 clauses out of 11522 with flag 4005/428331 279.61/274.63 c Got one! Elapsed wall clock time (in seconds):274.513 279.61/274.63 o -3765 279.81/274.89 c Got one! Elapsed wall clock time (in seconds):274.774 279.81/274.89 o -3776 279.91/274.97 c Got one! Elapsed wall clock time (in seconds):274.855 279.91/274.97 o -3777 282.91/277.92 c cleaning 8522 clauses out of 17043 with flag 10115/439611 283.81/278.81 c Got one! Elapsed wall clock time (in seconds):278.692 283.81/278.81 o -3818 286.21/281.20 c cleaning 7046 clauses out of 14108 with flag 8003/445198 289.71/284.75 c cleaning 6526 clauses out of 13062 with flag 20003/451198 293.81/288.85 c cleaning 6762 clauses out of 13536 with flag 34003/458198 298.77/293.77 c cleaning 7384 clauses out of 14774 with flag 50003/466198 304.37/299.38 c cleaning 8191 clauses out of 16389 with flag 68001/475197 310.76/305.80 c cleaning 9097 clauses out of 18198 with flag 88001/485197 318.06/313.09 c cleaning 10045 clauses out of 20102 with flag 110003/496198 326.18/320.95 c cleaning 11026 clauses out of 22056 with flag 134001/508197 334.69/329.45 c cleaning 12011 clauses out of 24030 with flag 160001/521197 343.49/338.26 c cleaning 13010 clauses out of 26019 with flag 188001/535197 352.79/347.59 c cleaning 14000 clauses out of 28009 with flag 218001/550197 363.41/357.93 c cleaning 15003 clauses out of 30010 with flag 250003/566198 374.71/369.26 c cleaning 16000 clauses out of 32007 with flag 284003/583198 387.50/381.81 c cleaning 17002 clauses out of 34006 with flag 320001/601197 397.30/391.64 c Got one! Elapsed wall clock time (in seconds):391.527 397.30/391.64 o -3906 400.99/395.35 c cleaning 18146 clauses out of 36295 with flag 10004/620488 405.09/399.45 c cleaning 12070 clauses out of 24149 with flag 22004/626488 409.79/404.13 c cleaning 9535 clauses out of 19078 with flag 36002/633487 415.41/409.48 c cleaning 8764 clauses out of 17544 with flag 52004/641488 421.21/415.25 c cleaning 8886 clauses out of 17780 with flag 70004/650488 427.61/421.67 c cleaning 9446 clauses out of 18894 with flag 90004/660488 435.12/429.13 c cleaning 10220 clauses out of 20447 with flag 112002/671487 436.32/430.33 c Got one! Elapsed wall clock time (in seconds):430.221 436.32/430.33 o -3907 438.92/432.96 c cleaning 8045 clauses out of 16100 with flag 8170/677360 442.75/436.79 c cleaning 7024 clauses out of 14056 with flag 20231/683361 447.25/441.26 c cleaning 7013 clauses out of 14031 with flag 34355/690360 452.35/446.37 c cleaning 7509 clauses out of 15019 with flag 50684/698361 452.85/446.83 c Got one! Elapsed wall clock time (in seconds):446.721 452.85/446.83 o -3915 456.24/450.23 c cleaning 6642 clauses out of 13289 with flag 10126/704140 460.04/454.06 c cleaning 6322 clauses out of 12647 with flag 22182/710140 462.24/456.27 c Got one! Elapsed wall clock time (in seconds):456.152 462.24/456.27 o -3916 463.65/457.64 c cleaning 5972 clauses out of 11949 with flag 4084/715764 466.51/460.48 c Got one! Elapsed wall clock time (in seconds):460.367 466.51/460.48 o -3917 466.71/460.67 c Got one! Elapsed wall clock time (in seconds):460.557 466.71/460.67 o -3921 466.81/460.72 c Got one! Elapsed wall clock time (in seconds):460.602 466.81/460.72 o -3930 466.81/460.73 c Got one! Elapsed wall clock time (in seconds):460.621 466.81/460.73 o -3933 466.91/460.85 c Got one! Elapsed wall clock time (in seconds):460.733 466.91/460.85 o -3935 467.61/461.52 c cleaning 5945 clauses out of 11902 with flag 2036/721689 470.91/464.88 c Got one! Elapsed wall clock time (in seconds):464.766 470.91/464.88 o -4005 474.31/468.22 c cleaning 8222 clauses out of 16452 with flag 10003/732184 478.12/472.02 c cleaning 7112 clauses out of 14230 with flag 22003/738184 482.61/476.50 c cleaning 7057 clauses out of 14118 with flag 36003/745184 487.71/481.65 c cleaning 7529 clauses out of 15062 with flag 52005/753185 493.56/487.40 c cleaning 8265 clauses out of 16534 with flag 70007/762186 499.95/493.85 c cleaning 9130 clauses out of 18267 with flag 90003/772184 507.05/500.90 c cleaning 10065 clauses out of 20137 with flag 112003/783184 507.76/501.69 c Got one! Elapsed wall clock time (in seconds):501.576 507.76/501.69 o -4007 510.45/504.35 c cleaning 7632 clauses out of 15271 with flag 8224/788383 514.41/508.22 c cleaning 6818 clauses out of 13640 with flag 20337/794384 518.71/512.51 c cleaning 6907 clauses out of 13821 with flag 34380/801383 523.71/517.53 c cleaning 7452 clauses out of 14914 with flag 50494/809383 528.21/522.06 c Got one! Elapsed wall clock time (in seconds):521.942 528.21/522.06 o -4009 531.71/525.54 c cleaning 9939 clauses out of 19885 with flag 10359/821806 535.61/529.35 c cleaning 7970 clauses out of 15946 with flag 22528/827806 538.91/532.69 c Got one! Elapsed wall clock time (in seconds):532.573 538.91/532.69 o -4016 539.31/533.01 c Got one! Elapsed wall clock time (in seconds):532.892 539.31/533.01 o -4019 539.31/533.05 c Got one! Elapsed wall clock time (in seconds):532.936 539.31/533.05 o -4022 542.40/536.13 c Got one! Elapsed wall clock time (in seconds):536.021 542.40/536.13 o -4067 543.11/536.83 c cleaning 9900 clauses out of 19810 with flag 2003/839640 546.90/540.64 c cleaning 7949 clauses out of 15910 with flag 14003/845640 551.20/544.97 c cleaning 7476 clauses out of 14960 with flag 28001/852639 556.62/550.24 c cleaning 7738 clauses out of 15484 with flag 44001/860639 562.42/556.01 c cleaning 8371 clauses out of 16747 with flag 62003/869640 568.72/562.33 c cleaning 9188 clauses out of 18376 with flag 82003/879640 575.90/569.34 c cleaning 10092 clauses out of 20187 with flag 104001/890639 583.59/577.08 c cleaning 11044 clauses out of 22095 with flag 128001/902639 592.19/585.61 c cleaning 12024 clauses out of 24051 with flag 154001/915639 601.97/595.21 c cleaning 13014 clauses out of 26028 with flag 182003/929640 612.06/605.37 c cleaning 14005 clauses out of 28013 with flag 212001/944639 622.81/615.96 c cleaning 15002 clauses out of 30008 with flag 244001/960639 634.14/627.06 c cleaning 15999 clauses out of 32007 with flag 278003/977640 646.13/639.08 c cleaning 17000 clauses out of 34008 with flag 314003/995640 659.27/652.03 c cleaning 18002 clauses out of 36007 with flag 352001/1014639 673.31/665.84 c cleaning 18999 clauses out of 38005 with flag 392001/1034639 688.80/681.04 c cleaning 20002 clauses out of 40007 with flag 434003/1055640 704.11/696.33 c cleaning 21002 clauses out of 42004 with flag 478001/1077639 720.25/712.12 c cleaning 22002 clauses out of 44003 with flag 524003/1100640 736.83/728.36 c cleaning 22999 clauses out of 46001 with flag 572003/1124640 754.59/745.92 c cleaning 23999 clauses out of 48001 with flag 622001/1149639 763.32/754.52 c Got one! Elapsed wall clock time (in seconds):754.402 763.32/754.52 o -4087 767.02/758.26 c cleaning 20773 clauses out of 41552 with flag 10002/1167189 770.82/762.01 c cleaning 13381 clauses out of 26779 with flag 22002/1173189 775.33/766.41 c cleaning 10193 clauses out of 20399 with flag 36004/1180190 780.13/771.24 c cleaning 9099 clauses out of 18205 with flag 52002/1188189 785.42/776.59 c cleaning 9050 clauses out of 18107 with flag 70004/1197190 791.65/782.79 c cleaning 9527 clauses out of 19056 with flag 90002/1207189 798.73/789.73 c cleaning 10259 clauses out of 20529 with flag 112002/1218189 806.42/797.46 c cleaning 11130 clauses out of 22270 with flag 136002/1230189 814.86/805.81 c cleaning 12069 clauses out of 24140 with flag 162002/1243189 822.34/813.23 c Got one! Elapsed wall clock time (in seconds):813.115 822.34/813.23 o -4088 825.74/816.66 c cleaning 14493 clauses out of 28986 with flag 10727/1260104 828.54/819.42 c Got one! Elapsed wall clock time (in seconds):819.303 828.54/819.42 o -4091 829.44/820.20 c cleaning 9932 clauses out of 19868 with flag 2123/1265479 833.26/824.02 c cleaning 7964 clauses out of 15936 with flag 14530/1271479 833.65/824.44 c Got one! Elapsed wall clock time (in seconds):824.33 833.65/824.44 o -4093 835.46/826.22 c Got one! Elapsed wall clock time (in seconds):826.107 835.46/826.22 o -4095 837.35/828.11 c cleaning 7301 clauses out of 14605 with flag 6005/1278112 840.90/831.65 c cleaning 6647 clauses out of 13305 with flag 18007/1284113 844.99/835.78 c cleaning 6824 clauses out of 13656 with flag 32003/1291111 850.07/840.71 c cleaning 7415 clauses out of 14832 with flag 48003/1299111 855.57/846.25 c cleaning 8207 clauses out of 16418 with flag 66005/1308112 861.62/852.24 c cleaning 9102 clauses out of 18211 with flag 86005/1318112 868.75/859.21 c cleaning 10053 clauses out of 20108 with flag 108003/1329111 870.85/861.36 c Got one! Elapsed wall clock time (in seconds):861.247 870.85/861.36 o -4106 872.24/862.73 c cleaning 7768 clauses out of 15553 with flag 4004/1334609 875.88/866.30 c Got one! Elapsed wall clock time (in seconds):866.185 875.88/866.30 o -4111 876.08/866.51 c Got one! Elapsed wall clock time (in seconds):866.394 876.08/866.51 o -4112 876.18/866.65 c Got one! Elapsed wall clock time (in seconds):866.537 876.18/866.65 o -4123 879.69/870.11 c cleaning 9485 clauses out of 18974 with flag 10026/1345798 880.08/870.59 c Got one! Elapsed wall clock time (in seconds):870.477 880.08/870.59 o -4124 881.58/872.05 c Got one! Elapsed wall clock time (in seconds):871.941 881.58/872.05 o -4126 882.99/873.48 c Got one! Elapsed wall clock time (in seconds):873.37 882.99/873.48 o -4130 883.18/873.60 c Got one! Elapsed wall clock time (in seconds):873.489 883.18/873.60 o -4138 883.18/873.65 c Got one! Elapsed wall clock time (in seconds):873.536 883.18/873.65 o -4141 883.18/873.69 c Got one! Elapsed wall clock time (in seconds):873.58 883.18/873.69 o -4142 883.28/873.71 c Got one! Elapsed wall clock time (in seconds):873.594 883.28/873.71 o -4145 883.38/873.82 c Got one! Elapsed wall clock time (in seconds):873.707 883.38/873.82 o -4148 884.19/874.53 c cleaning 7985 clauses out of 15979 with flag 2013/1352288 887.78/878.16 c cleaning 6993 clauses out of 13995 with flag 14015/1358289 887.98/878.33 c Got one! Elapsed wall clock time (in seconds):878.216 887.98/878.33 o -4149 888.08/878.45 c Got one! Elapsed wall clock time (in seconds):878.336 888.08/878.45 o -4150 888.18/878.51 c Got one! Elapsed wall clock time (in seconds):878.394 888.18/878.51 o -4153 888.28/878.66 c Got one! Elapsed wall clock time (in seconds):878.545 888.28/878.66 o -4156 888.28/878.70 c Got one! Elapsed wall clock time (in seconds):878.583 888.28/878.70 o -4159 888.38/878.77 c Got one! Elapsed wall clock time (in seconds):878.652 888.38/878.77 o -4160 891.56/881.80 c cleaning 6449 clauses out of 12899 with flag 10127/1364186 892.66/882.94 c Got one! Elapsed wall clock time (in seconds):882.828 892.66/882.94 o -4165 895.16/885.45 c cleaning 6220 clauses out of 12444 with flag 8090/1370180 898.76/889.03 c cleaning 6108 clauses out of 12225 with flag 20305/1376181 901.28/891.57 c Got one! Elapsed wall clock time (in seconds):891.452 901.28/891.57 o -4167 901.78/892.02 c Got one! Elapsed wall clock time (in seconds):891.906 901.78/892.02 o -4168 901.78/892.05 c Got one! Elapsed wall clock time (in seconds):891.939 901.78/892.05 o -4171 901.78/892.07 c Got one! Elapsed wall clock time (in seconds):891.956 901.78/892.07 o -4174 901.88/892.13 c Got one! Elapsed wall clock time (in seconds):892.014 901.88/892.13 o -4175 901.88/892.16 c Got one! Elapsed wall clock time (in seconds):892.047 901.88/892.16 o -4180 902.68/892.90 c cleaning 6158 clauses out of 12323 with flag 2063/1382387 906.17/896.42 c cleaning 6081 clauses out of 12166 with flag 14437/1388388 909.11/899.31 c Got one! Elapsed wall clock time (in seconds):899.201 909.11/899.31 o -4194 912.11/902.38 c cleaning 8069 clauses out of 16145 with flag 10005/1398448 915.90/906.08 c cleaning 7034 clauses out of 14076 with flag 22005/1404448 920.10/910.26 c cleaning 7017 clauses out of 14042 with flag 36005/1411448 924.74/914.88 c cleaning 7509 clauses out of 15025 with flag 52005/1419448 930.25/920.29 c cleaning 8254 clauses out of 16515 with flag 70003/1428447 936.67/926.54 c cleaning 9127 clauses out of 18261 with flag 90003/1438447 943.38/933.19 c cleaning 10066 clauses out of 20134 with flag 112003/1449447 950.70/940.34 c cleaning 11033 clauses out of 22068 with flag 136003/1461447 958.31/947.88 c cleaning 12018 clauses out of 24035 with flag 162003/1474447 966.82/956.26 c cleaning 13005 clauses out of 26017 with flag 190003/1488447 976.22/965.48 c cleaning 14007 clauses out of 28013 with flag 220005/1503448 983.29/972.42 c Got one! Elapsed wall clock time (in seconds):972.307 983.29/972.42 o -4195 986.28/975.32 c Got one! Elapsed wall clock time (in seconds):975.208 986.28/975.32 o -4203 987.12/976.15 c cleaning 15231 clauses out of 30466 with flag 2009/1519908 987.72/976.75 c Got one! Elapsed wall clock time (in seconds):976.64 987.72/976.75 o -4204 989.12/978.18 c Got one! Elapsed wall clock time (in seconds):978.068 989.12/978.18 o -4208 991.23/980.27 c cleaning 10664 clauses out of 21330 with flag 6007/1526003 992.87/981.83 c Got one! Elapsed wall clock time (in seconds):981.716 992.87/981.83 o -4214 992.97/982.00 c Got one! Elapsed wall clock time (in seconds):981.883 993.07/982.00 o -4215 993.17/982.10 c Got one! Elapsed wall clock time (in seconds):981.991 993.17/982.10 o -4216 994.77/983.75 c Got one! Elapsed wall clock time (in seconds):983.638 994.77/983.75 o -4220 995.57/984.51 c cleaning 8393 clauses out of 16802 with flag 2007/1532139 999.52/988.42 c cleaning 7202 clauses out of 14409 with flag 14007/1538139 1000.42/989.36 c Got one! Elapsed wall clock time (in seconds):989.244 1000.42/989.36 o -4221 1000.92/989.87 c Got one! Elapsed wall clock time (in seconds):989.753 1000.92/989.87 o -4222 1001.32/990.23 c Got one! Elapsed wall clock time (in seconds):990.118 1001.32/990.23 o -4225 1001.62/990.59 c Got one! Elapsed wall clock time (in seconds):990.481 1001.62/990.59 o -4226 1004.29/993.17 c cleaning 7205 clauses out of 14413 with flag 8038/1545345 1006.09/994.96 c Got one! Elapsed wall clock time (in seconds):994.847 1006.09/994.96 o -4227 1008.09/996.97 c cleaning 6536 clauses out of 13083 with flag 6007/1551220 1008.79/997.67 c Got one! Elapsed wall clock time (in seconds):997.557 1008.79/997.67 o -4233 1009.29/998.12 c Got one! Elapsed wall clock time (in seconds):998.011 1009.29/998.12 o -4235 1009.39/998.29 c Got one! Elapsed wall clock time (in seconds):998.176 1009.39/998.29 o -4236 1012.01/1000.86 c cleaning 6267 clauses out of 12539 with flag 8105/1557212 1015.77/1004.55 c cleaning 6131 clauses out of 12272 with flag 20105/1563212 1016.17/1004.98 c Got one! Elapsed wall clock time (in seconds):1004.866 1016.17/1004.98 o -4243 1017.47/1006.26 c Got one! Elapsed wall clock time (in seconds):1006.143 1017.47/1006.26 o -4246 1020.08/1008.86 c cleaning 6345 clauses out of 12693 with flag 8143/1569764 1023.69/1012.47 c cleaning 6172 clauses out of 12348 with flag 20254/1575764 1025.42/1014.10 c Got one! Elapsed wall clock time (in seconds):1013.985 1025.42/1014.10 o -4247 1027.32/1016.06 c cleaning 5965 clauses out of 11935 with flag 6007/1581523 1031.20/1019.85 c cleaning 5981 clauses out of 11970 with flag 18007/1587523 1035.77/1024.32 c cleaning 6492 clauses out of 12989 with flag 32007/1594523 1040.73/1029.23 c cleaning 7246 clauses out of 14497 with flag 48007/1602523 1046.19/1034.69 c cleaning 8124 clauses out of 16251 with flag 66007/1611523 1052.67/1041.01 c cleaning 9060 clauses out of 18127 with flag 86007/1621523 1053.07/1041.46 c Got one! Elapsed wall clock time (in seconds):1041.345 1053.07/1041.46 o -4253 1053.38/1041.80 c Got one! Elapsed wall clock time (in seconds):1041.687 1053.38/1041.80 o -4255 1053.67/1042.00 c Got one! Elapsed wall clock time (in seconds):1041.885 1053.67/1042.00 o -4258 1053.67/1042.04 c Got one! Elapsed wall clock time (in seconds):1041.922 1053.67/1042.04 o -4261 1056.91/1045.24 c cleaning 7803 clauses out of 15605 with flag 10206/1628061 1060.37/1048.69 c Got one! Elapsed wall clock time (in seconds):1048.578 1060.37/1048.69 o -4267 1063.82/1052.03 c cleaning 9288 clauses out of 18590 with flag 10003/1638849 1067.69/1055.82 c cleaning 7640 clauses out of 15302 with flag 22003/1644849 1072.08/1060.13 c cleaning 7325 clauses out of 14661 with flag 36001/1651848 1077.25/1065.20 c cleaning 7660 clauses out of 15336 with flag 52001/1659848 1083.21/1071.15 c cleaning 8338 clauses out of 16676 with flag 70001/1668848 1089.50/1077.38 c cleaning 9168 clauses out of 18339 with flag 90003/1678849 1096.58/1084.25 c cleaning 10085 clauses out of 20170 with flag 112001/1689848 1104.34/1091.84 c cleaning 11039 clauses out of 22086 with flag 136003/1701849 1112.71/1100.05 c cleaning 12023 clauses out of 24047 with flag 162003/1714849 1121.42/1108.61 c cleaning 13009 clauses out of 26024 with flag 190003/1728849 1130.92/1117.99 c cleaning 14007 clauses out of 28014 with flag 220001/1743848 1141.86/1128.66 c cleaning 15001 clauses out of 30007 with flag 252001/1759848 1153.70/1140.29 c cleaning 16001 clauses out of 32007 with flag 286003/1776849 1166.59/1152.99 c cleaning 17001 clauses out of 34006 with flag 322003/1794849 1179.99/1165.97 c cleaning 18000 clauses out of 36005 with flag 360003/1813849 1193.36/1179.00 c cleaning 19001 clauses out of 38005 with flag 400003/1833849 1207.49/1192.85 c cleaning 19999 clauses out of 40004 with flag 442003/1854849 1223.15/1208.29 c cleaning 21001 clauses out of 42004 with flag 486001/1876848 1239.71/1224.46 c cleaning 21999 clauses out of 44003 with flag 532001/1899848 1257.27/1241.71 c cleaning 23002 clauses out of 46005 with flag 580003/1923849 1276.53/1260.68 c cleaning 23999 clauses out of 48003 with flag 630003/1948849 1295.59/1279.35 c cleaning 24999 clauses out of 50004 with flag 682003/1974849 1315.33/1298.55 c cleaning 25998 clauses out of 52004 with flag 736001/2001848 1335.94/1318.92 c cleaning 27000 clauses out of 54007 with flag 792003/2029849 1357.24/1339.73 c cleaning 27997 clauses out of 56006 with flag 850001/2058848 1378.20/1360.41 c cleaning 29000 clauses out of 58010 with flag 910003/2088849 1401.73/1383.65 c cleaning 30002 clauses out of 60009 with flag 972001/2119848 1426.07/1407.65 c cleaning 31001 clauses out of 62008 with flag 1036003/2151849 1450.64/1431.88 c cleaning 32002 clauses out of 64006 with flag 1102001/2184848 1477.70/1458.47 c cleaning 33001 clauses out of 66005 with flag 1170003/2218849 1504.53/1485.09 c cleaning 34003 clauses out of 68005 with flag 1240005/2253850 1523.06/1503.30 c Got one! Elapsed wall clock time (in seconds):1503.191 1523.06/1503.30 o -4323 1527.56/1507.66 c cleaning 32027 clauses out of 64063 with flag 10002/2283911 1531.86/1511.92 c cleaning 19014 clauses out of 38037 with flag 22004/2289912 1536.74/1516.76 c cleaning 13005 clauses out of 26023 with flag 36004/2296912 1542.01/1521.91 c cleaning 10499 clauses out of 21018 with flag 52004/2304912 1547.81/1527.79 c cleaning 9753 clauses out of 19518 with flag 70002/2313911 1554.53/1534.49 c cleaning 9880 clauses out of 19765 with flag 90002/2323911 1561.84/1541.72 c cleaning 10439 clauses out of 20885 with flag 112002/2334911 1569.78/1549.66 c cleaning 11221 clauses out of 22447 with flag 136004/2346912 1578.74/1558.42 c cleaning 12109 clauses out of 24226 with flag 162004/2359912 1588.06/1567.64 c cleaning 13057 clauses out of 26117 with flag 190004/2373912 1597.89/1577.49 c cleaning 14025 clauses out of 28059 with flag 220002/2388911 1608.66/1588.06 c cleaning 15016 clauses out of 30034 with flag 252002/2404911 1619.94/1599.16 c cleaning 16009 clauses out of 32019 with flag 286004/2421912 1627.12/1606.24 c Got one! Elapsed wall clock time (in seconds):1606.13 1627.12/1606.24 o -4326 1630.62/1609.71 c cleaning 15999 clauses out of 32002 with flag 10004/2437904 1634.36/1613.49 c cleaning 11000 clauses out of 22004 with flag 22006/2443905 1638.82/1617.90 c cleaning 8998 clauses out of 18003 with flag 36004/2450904 1644.28/1623.22 c cleaning 8500 clauses out of 17005 with flag 52004/2458904 1650.34/1629.25 c cleaning 8751 clauses out of 17505 with flag 70004/2467904 1657.00/1635.84 c cleaning 9372 clauses out of 18754 with flag 90004/2477904 1661.24/1640.01 c Got one! Elapsed wall clock time (in seconds):1639.894 1661.24/1640.01 o -4333 1664.14/1642.93 c Got one! Elapsed wall clock time (in seconds):1642.812 1664.14/1642.93 o -4335 1664.54/1643.36 c Got one! Elapsed wall clock time (in seconds):1643.245 1664.54/1643.36 o -4338 1665.34/1644.10 c cleaning 10973 clauses out of 21949 with flag 2114/2490471 1666.39/1645.15 c Got one! Elapsed wall clock time (in seconds):1645.032 1666.39/1645.15 o -4339 1668.88/1647.60 c cleaning 8373 clauses out of 16754 with flag 8003/2496249 1672.64/1651.31 c cleaning 7186 clauses out of 14381 with flag 20003/2502249 1676.92/1655.50 c cleaning 7093 clauses out of 14196 with flag 34005/2509250 1681.87/1660.41 c cleaning 7550 clauses out of 15103 with flag 50005/2517250 1687.43/1665.96 c cleaning 8274 clauses out of 16552 with flag 68003/2526249 1693.91/1672.31 c cleaning 9137 clauses out of 18279 with flag 88005/2536250 1701.02/1679.37 c cleaning 10069 clauses out of 20141 with flag 110003/2547249 1708.19/1686.46 c cleaning 11032 clauses out of 22072 with flag 134003/2559249 1716.13/1694.23 c cleaning 12018 clauses out of 24041 with flag 160005/2572250 1724.90/1702.88 c cleaning 13009 clauses out of 26022 with flag 188003/2586249 1734.64/1712.43 c cleaning 14007 clauses out of 28013 with flag 218003/2601249 1737.31/1715.08 c Got one! Elapsed wall clock time (in seconds):1714.964 1737.31/1715.08 o -4351 1738.10/1715.81 c cleaning 9579 clauses out of 19161 with flag 2006/2606404 1741.96/1719.69 c cleaning 7787 clauses out of 15581 with flag 14004/2612403 1745.13/1722.71 c Got one! Elapsed wall clock time (in seconds):1722.599 1745.13/1722.71 o -4356 1745.72/1723.38 c cleaning 6887 clauses out of 13779 with flag 2006/2618388 1746.92/1724.58 c Got one! Elapsed wall clock time (in seconds):1724.464 1746.92/1724.58 o -4357 1747.33/1724.97 c Got one! Elapsed wall clock time (in seconds):1724.857 1747.33/1724.97 o -4358 1747.72/1725.40 c Got one! Elapsed wall clock time (in seconds):1725.283 1747.72/1725.40 o -4365 1750.48/1728.05 c cleaning 7054 clauses out of 14111 with flag 8007/2625607 1754.21/1731.70 c cleaning 6522 clauses out of 13057 with flag 20007/2631607 1756.86/1734.35 c Got one! Elapsed wall clock time (in seconds):1734.237 1756.86/1734.35 o -4368 1757.56/1735.06 c cleaning 5973 clauses out of 11948 with flag 2046/2637020 1757.96/1735.45 c Got one! Elapsed wall clock time (in seconds):1735.341 1757.96/1735.45 o -4371 1760.48/1737.98 c Got one! Elapsed wall clock time (in seconds):1737.869 1760.48/1737.98 o -4376 1760.78/1738.26 c Got one! Elapsed wall clock time (in seconds):1738.151 1760.78/1738.26 o -4384 1760.88/1738.35 c Got one! Elapsed wall clock time (in seconds):1738.235 1760.88/1738.35 o -4387 1760.88/1738.36 c Got one! Elapsed wall clock time (in seconds):1738.249 1760.88/1738.36 o -4388 1760.98/1738.47 c Got one! Elapsed wall clock time (in seconds):1738.354 1760.98/1738.47 o -4389 1761.18/1738.63 c Got one! Elapsed wall clock time (in seconds):1738.512 1761.18/1738.63 o -4394 1761.88/1739.33 c cleaning 6256 clauses out of 12518 with flag 2042/2643563 1765.41/1742.89 c cleaning 6127 clauses out of 12262 with flag 14057/2649563 1767.85/1745.27 c Got one! Elapsed wall clock time (in seconds):1745.152 1767.85/1745.27 o -4399 1768.36/1745.73 c Got one! Elapsed wall clock time (in seconds):1745.613 1768.36/1745.73 o -4400 1769.05/1746.45 c cleaning 5943 clauses out of 11894 with flag 2052/2655322 1769.05/1746.48 c Got one! Elapsed wall clock time (in seconds):1746.37 1769.05/1746.48 o -4404 1772.18/1749.51 c cleaning 5497 clauses out of 11003 with flag 10052/2660374 1775.71/1753.02 c cleaning 5748 clauses out of 11506 with flag 22052/2666374 1777.97/1755.28 c Got one! Elapsed wall clock time (in seconds):1755.17 1777.97/1755.28 o -4408 1778.66/1755.96 c cleaning 5375 clauses out of 10760 with flag 2005/2671376 1782.53/1759.79 c cleaning 5691 clauses out of 11386 with flag 14007/2677377 1787.08/1764.26 c cleaning 6345 clauses out of 12695 with flag 28007/2684377 1792.11/1769.21 c cleaning 7174 clauses out of 14350 with flag 44007/2692377 1795.91/1772.94 c Got one! Elapsed wall clock time (in seconds):1772.827 1795.91/1772.94 o -4411 1796.61/1773.64 c Got one! Elapsed wall clock time (in seconds):1773.523 1796.61/1773.64 o -4413 1797.01/1774.03 c Got one! Elapsed wall clock time (in seconds):1773.919 1797.01/1774.03 o -4414 1797.11/1774.12 c Got one! Elapsed wall clock time (in seconds):1774.006 1797.11/1774.12 o -4416 1797.11/1774.18 c Got one! Elapsed wall clock time (in seconds):1774.066 1797.11/1774.18 o -4419 1800.09/1777.00 c starts : 290 1800.09/1777.00 c conflicts : 2704757 1800.09/1777.00 c decisions : 2720232 1800.09/1777.00 c propagations : 479217022 1800.09/1777.00 c inspects : 5833382577 1800.09/1777.00 c shortcuts : 0 1800.09/1777.00 c learnt literals : 0 1800.09/1777.00 c learnt binary clauses : 0 1800.09/1777.00 c learnt ternary clauses : 0 1800.09/1777.00 c learnt constraints : 2704757 1800.09/1777.00 c ignored constraints : 0 1800.09/1777.00 c root simplifications : 0 1800.09/1777.00 c removed literals (reason simplification) : 0 1800.09/1777.00 c reason swapping (by a shorter reason) : 0 1800.09/1777.00 c Calls to reduceDB : 251 1800.09/1777.00 c Number of update (reduction) of LBD : 569 1800.09/1777.00 c Imported unit clauses : 0 1800.09/1777.00 c number of reductions to clauses (during analyze) : 0 1800.09/1777.00 c number of learned constraints concerned by reduction : 0 1800.09/1777.00 c number of learning phase by resolution : 0 1800.09/1777.00 c number of learning phase by cutting planes : 0 1800.09/1777.00 c speed (assignments/second) : 269850.67741826497 1800.09/1777.00 c non guided choices 0 1800.09/1777.01 c learnt constraints type 1800.09/1777.01 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19557 1800.09/1777.01 s SATISFIABLE 1800.09/1777.01 c Found 289 solution(s) 1800.09/1777.01 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 1800.09/1777.01 c objective function=-4419 1800.09/1777.01 c Total wall clock time (in seconds): 1776.898
OK -4419
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4119598-1467262693/watcher-4119598-1467262693 -o /tmp/evaluation-result-4119598-1467262693/solver-4119598-1467262693 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467262693-14855 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119598-1467262693.opb pid=14878 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.06 2.18 5/175 14884 /proc/meminfo: memFree=30715436/32872528 swapFree=480236/529292 [pid=14884] ppid=14878 vsize=8 CPUtime=0 cores=0,2,4,6 /proc/14884/stat : 14884 (java) R 14878 14884 6228 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 5289230 8192 1 33554432000 0 0 0 140737127126040 211458616759 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/14884/statm: 2 1 0 0 0 2 0 [startup+0.100115 s] /proc/loadavg: 2.08 2.06 2.18 5/175 14884 /proc/meminfo: memFree=30715436/32872528 swapFree=480236/529292 [pid=14884] ppid=14878 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/14884/stat : 14884 (java) S 14878 14884 6228 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 5289230 9787879424 6021 33554432000 1073741824 1073778376 140733960232752 140733960223888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14884/statm: 2389619 6021 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200213 s] /proc/loadavg: 2.08 2.06 2.18 5/175 14884 /proc/meminfo: memFree=30715436/32872528 swapFree=480236/529292 [pid=14884] ppid=14878 vsize=9558476 CPUtime=0.24 cores=0,2,4,6 /proc/14884/stat : 14884 (java) S 14878 14884 6228 0 -1 4202496 4654 0 1 0 23 1 0 0 20 0 18 0 5289230 9787879424 6722 33554432000 1073741824 1073778376 140733960232752 140733960223888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14884/statm: 2389619 6722 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.30027 s] /proc/loadavg: 2.08 2.06 2.18 5/175 14884 /proc/meminfo: memFree=30715436/32872528 swapFree=480236/529292 [pid=14884] ppid=14878 vsize=9558476 CPUtime=0.49 cores=0,2,4,6 /proc/14884/stat : 14884 (java) S 14878 14884 6228 0 -1 4202496 5991 0 1 0 47 2 0 0 20 0 18 0 5289230 9787879424 8061 33554432000 1073741824 1073778376 140733960232752 140733960223888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14884/statm: 2389619 8061 2236 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700233 s] /proc/loadavg: 2.08 2.06 2.18 5/175 14884 /proc/meminfo: memFree=30715436/32872528 swapFree=480236/529292 [pid=14884] ppid=14878 vsize=9558476 CPUtime=1.05 cores=0,2,4,6 /proc/14884/stat : 14884 (java) S 14878 14884 6228 0 -1 4202496 7095 0 1 0 103 2 0 0 20 0 18 0 5289230 9787879424 11312 33554432000 1073741824 1073778376 140733960232752 140733960223888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14884/statm: 2389619 11312 2242 9 0 2380296 0 Current children cumulated CPU time (s) 1.05 Current children cumulated vsize (KiB) 9558476 [startup+1.50074 s] /proc/loadavg: 2.08 2.06 2.18 6/212 14921 /proc/meminfo: memFree=30617844/32872528 swapFree=480236/529292 [pid=14884] ppid=14878 vsize=9625040 CPUtime=2.66 cores=0,2,4,6 /proc/14884/stat : 14884 (java) S 14878 14884 6228 0 -1 4202496 17452 0 1 0 263 3 0 0 20 0 19 0 5289230 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140733960223888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14884/statm: 2406260 21388 2271 9 0 2396937 0 [pid=14884/tid=14888] ppid=14878 vsize=9625040 CPUtime=1.47 cores=0,2,4,6 /proc/14884/task/14888/stat : 14888 (java) R 14878 14884 6228 0 -1 4202560 2432 0 1 0 145 2 0 0 20 0 19 0 5289231 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103704182816 140103528139040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=14884/tid=14889] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14889/stat : 14889 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103665682984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14891] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14891/stat : 14891 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103664630184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14892] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14892/stat : 14892 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103663577384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14884/tid=14894] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14894/stat : 14894 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103662524584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14897] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14897/stat : 14897 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103661472808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14884/tid=14899] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14899/stat : 14899 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103660420008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14902] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14902/stat : 14902 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103659367208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14884/tid=14904] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14904/stat : 14904 (java) S 14878 14884 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103658314408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14906] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14906/stat : 14906 (java) S 14878 14884 6228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103527688680 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14907] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14907/stat : 14907 (java) S 14878 14884 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103526634744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14909] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14909/stat : 14909 (java) S 14878 14884 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103525581832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14911] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14911/stat : 14911 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103524530320 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14913] ppid=14878 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/14884/task/14913/stat : 14913 (java) R 14878 14884 6228 0 -1 4202560 6203 0 0 0 53 2 0 0 20 0 19 0 5289236 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103523466240 140103706799254 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14915] ppid=14878 vsize=9625040 CPUtime=0.62 cores=0,2,4,6 /proc/14884/task/14915/stat : 14915 (java) R 14878 14884 6228 0 -1 4202560 7541 0 0 0 62 0 0 0 20 0 19 0 5289236 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103522412816 140103711947625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14917] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14917/stat : 14917 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103521373048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14919] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14919/stat : 14919 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 21388 33554432000 1073741824 1073778376 140733960232752 140103520320456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.66 Current children cumulated vsize (KiB) 9625040 [startup+3.10081 s] /proc/loadavg: 2.08 2.06 2.18 4/213 14922 /proc/meminfo: memFree=30479776/32872528 swapFree=480236/529292 [pid=14884] ppid=14878 vsize=9625040 CPUtime=4.69 cores=0,2,4,6 /proc/14884/stat : 14884 (java) S 14878 14884 6228 0 -1 4202496 17592 0 1 0 461 8 0 0 20 0 19 0 5289230 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140733960223888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14884/statm: 2406260 52148 2286 9 0 2396937 0 [pid=14884/tid=14888] ppid=14878 vsize=9625040 CPUtime=3.04 cores=0,2,4,6 /proc/14884/task/14888/stat : 14888 (java) R 14878 14884 6228 0 -1 4202560 2484 0 1 0 300 4 0 0 20 0 19 0 5289231 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103704190248 140103528730888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=14884/tid=14889] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14889/stat : 14889 (java) S 14878 14884 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103665682984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14891] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14891/stat : 14891 (java) S 14878 14884 6228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103664630184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14892] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14892/stat : 14892 (java) S 14878 14884 6228 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103663577384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14894] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14894/stat : 14894 (java) S 14878 14884 6228 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103662524584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14897] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14897/stat : 14897 (java) S 14878 14884 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103661472808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14899] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14899/stat : 14899 (java) S 14878 14884 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103660420008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14902] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14902/stat : 14902 (java) S 14878 14884 6228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103659367208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14904] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14904/stat : 14904 (java) S 14878 14884 6228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103658314408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14906] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14906/stat : 14906 (java) S 14878 14884 6228 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103527688680 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14907] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14907/stat : 14907 (java) S 14878 14884 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103526634744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14909] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14909/stat : 14909 (java) S 14878 14884 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103525581832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14911] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14911/stat : 14911 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103524530320 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14913] ppid=14878 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/14884/task/14913/stat : 14913 (java) S 14878 14884 6228 0 -1 4202560 6221 0 0 0 77 2 0 0 20 0 19 0 5289236 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103523478456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14915] ppid=14878 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/14884/task/14915/stat : 14915 (java) S 14878 14884 6228 0 -1 4202560 7542 0 0 0 75 0 0 0 20 0 19 0 5289236 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103522425656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14917] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14917/stat : 14917 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103521373048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14919] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14919/stat : 14919 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103520320456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14922] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14922/stat : 14922 (java) S 14878 14884 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289345 9856040960 52148 33554432000 1073741824 1073778376 140733960232752 140103519265960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.69 Current children cumulated vsize (KiB) 9625040 [startup+6.3008 s] /proc/loadavg: 2.07 2.06 2.18 4/213 14922 /proc/meminfo: memFree=30367012/32872528 swapFree=480236/529292 [pid=14884] ppid=14878 vsize=9625040 CPUtime=8.01 cores=0,2,4,6 /proc/14884/stat : 14884 (java) S 14878 14884 6228 0 -1 4202496 17599 0 1 0 793 8 0 0 20 0 19 0 5289230 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140733960223888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14884/statm: 2406260 52129 2287 9 0 2396937 0 [pid=14884/tid=14888] ppid=14878 vsize=9625040 CPUtime=6.24 cores=0,2,4,6 /proc/14884/task/14888/stat : 14888 (java) R 14878 14884 6228 0 -1 4202560 2486 0 1 0 620 4 0 0 20 0 19 0 5289231 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103704191352 140103528808165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=14884/tid=14889] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14889/stat : 14889 (java) S 14878 14884 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103665682984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14891] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14891/stat : 14891 (java) S 14878 14884 6228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103664630184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14892] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14892/stat : 14892 (java) S 14878 14884 6228 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103663577384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14894] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14894/stat : 14894 (java) S 14878 14884 6228 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103662524584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14897] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14897/stat : 14897 (java) S 14878 14884 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103661472808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14899] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14899/stat : 14899 (java) S 14878 14884 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103660420008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14902] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14902/stat : 14902 (java) S 14878 14884 6228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103659367208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14904] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14904/stat : 14904 (java) S 14878 14884 6228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103658314408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14906] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14906/stat : 14906 (java) S 14878 14884 6228 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103527688680 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14907] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14907/stat : 14907 (java) S 14878 14884 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103526634744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14909] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14909/stat : 14909 (java) S 14878 14884 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103525581832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14911] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14911/stat : 14911 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103524530320 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14913] ppid=14878 vsize=9625040 CPUtime=0.91 cores=0,2,4,6 /proc/14884/task/14913/stat : 14913 (java) S 14878 14884 6228 0 -1 4202560 6226 0 0 0 89 2 0 0 20 0 19 0 5289236 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103523478456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14915] ppid=14878 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/14884/task/14915/stat : 14915 (java) S 14878 14884 6228 0 -1 4202560 7542 0 0 0 75 0 0 0 20 0 19 0 5289236 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103522425656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14917] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14917/stat : 14917 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103521373048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14919] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14919/stat : 14919 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103520320456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14922] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14922/stat : 14922 (java) S 14878 14884 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289345 9856040960 52129 33554432000 1073741824 1073778376 140733960232752 140103519265960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 8.01 Current children cumulated vsize (KiB) 9625040 [startup+12.7008 s] /proc/loadavg: 2.06 2.06 2.18 4/213 14922 ################ # More data... # ################ [pid=14884/tid=14907] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14907/stat : 14907 (java) S 14878 14884 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 350559 33554432000 1073741824 1073778376 140733960232752 140103526634744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14909] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14909/stat : 14909 (java) S 14878 14884 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 350559 33554432000 1073741824 1073778376 140733960232752 140103525581832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14911] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14911/stat : 14911 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 350559 33554432000 1073741824 1073778376 140733960232752 140103524530320 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14913] ppid=14878 vsize=9625040 CPUtime=0.95 cores=0,2,4,6 /proc/14884/task/14913/stat : 14913 (java) S 14878 14884 6228 0 -1 4202560 6234 0 0 0 93 2 0 0 20 0 19 0 5289236 9856040960 350559 33554432000 1073741824 1073778376 140733960232752 140103523478456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14915] ppid=14878 vsize=9625040 CPUtime=0.88 cores=0,2,4,6 /proc/14884/task/14915/stat : 14915 (java) S 14878 14884 6228 0 -1 4202560 7556 0 0 0 88 0 0 0 20 0 19 0 5289236 9856040960 350559 33554432000 1073741824 1073778376 140733960232752 140103522425656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14917] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14917/stat : 14917 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 350559 33554432000 1073741824 1073778376 140733960232752 140103521373048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14919] ppid=14878 vsize=9625040 CPUtime=0.27 cores=0,2,4,6 /proc/14884/task/14919/stat : 14919 (java) S 14878 14884 6228 0 -1 4202560 93 0 0 0 13 14 0 0 20 0 19 0 5289236 9856040960 350559 33554432000 1073741824 1073778376 140733960232752 140103520320456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14922] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14922/stat : 14922 (java) S 14878 14884 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289345 9856040960 350559 33554432000 1073741824 1073778376 140733960232752 140103519265960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1623.14 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.22 2.17 2.15 4/213 14989 /proc/meminfo: memFree=28666480/32872528 swapFree=480236/529292 [pid=14884] ppid=14878 vsize=9625040 CPUtime=1683.77 cores=0,2,4,6 /proc/14884/stat : 14884 (java) S 14878 14884 6228 0 -1 4202496 30087 0 1 0 167980 397 0 0 20 0 19 0 5289230 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140733960223888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14884/statm: 2406260 301515 2300 9 0 2396937 0 [pid=14884/tid=14888] ppid=14878 vsize=9625040 CPUtime=1652.16 cores=0,2,4,6 /proc/14884/task/14888/stat : 14888 (java) R 14878 14884 6228 0 -1 4202560 3105 0 1 0 165181 35 0 0 20 0 19 0 5289231 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103704182480 140103528463068 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14889] ppid=14878 vsize=9625040 CPUtime=3.56 cores=0,2,4,6 /proc/14884/task/14889/stat : 14889 (java) S 14878 14884 6228 0 -1 4202560 1286 0 0 0 309 47 0 0 20 0 19 0 5289232 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103665682984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14891] ppid=14878 vsize=9625040 CPUtime=3.23 cores=0,2,4,6 /proc/14884/task/14891/stat : 14891 (java) S 14878 14884 6228 0 -1 4202560 1173 0 0 0 277 46 0 0 20 0 19 0 5289232 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103664630184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14892] ppid=14878 vsize=9625040 CPUtime=3.35 cores=0,2,4,6 /proc/14884/task/14892/stat : 14892 (java) S 14878 14884 6228 0 -1 4202560 965 0 0 0 297 38 0 0 20 0 19 0 5289232 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103663577384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14894] ppid=14878 vsize=9625040 CPUtime=3.5 cores=0,2,4,6 /proc/14884/task/14894/stat : 14894 (java) S 14878 14884 6228 0 -1 4202560 1280 0 0 0 293 57 0 0 20 0 19 0 5289232 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103662524584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14884/tid=14897] ppid=14878 vsize=9625040 CPUtime=3.33 cores=0,2,4,6 /proc/14884/task/14897/stat : 14897 (java) S 14878 14884 6228 0 -1 4202560 1203 0 0 0 284 49 0 0 20 0 19 0 5289232 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103661472808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14899] ppid=14878 vsize=9625040 CPUtime=3.5 cores=0,2,4,6 /proc/14884/task/14899/stat : 14899 (java) S 14878 14884 6228 0 -1 4202560 780 0 0 0 306 44 0 0 20 0 19 0 5289232 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103660420008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14902] ppid=14878 vsize=9625040 CPUtime=3.17 cores=0,2,4,6 /proc/14884/task/14902/stat : 14902 (java) S 14878 14884 6228 0 -1 4202560 895 0 0 0 280 37 0 0 20 0 19 0 5289232 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103659367208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14884/tid=14904] ppid=14878 vsize=9625040 CPUtime=3.48 cores=0,2,4,6 /proc/14884/task/14904/stat : 14904 (java) S 14878 14884 6228 0 -1 4202560 1239 0 0 0 292 56 0 0 20 0 19 0 5289232 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103658314408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14906] ppid=14878 vsize=9625040 CPUtime=2.73 cores=0,2,4,6 /proc/14884/task/14906/stat : 14906 (java) S 14878 14884 6228 0 -1 4202560 3012 0 0 0 269 4 0 0 20 0 19 0 5289234 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103527688680 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14907] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14907/stat : 14907 (java) S 14878 14884 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103526634744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14909] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14909/stat : 14909 (java) S 14878 14884 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103525581832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14911] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14911/stat : 14911 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103524530320 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14913] ppid=14878 vsize=9625040 CPUtime=0.95 cores=0,2,4,6 /proc/14884/task/14913/stat : 14913 (java) S 14878 14884 6228 0 -1 4202560 6234 0 0 0 93 2 0 0 20 0 19 0 5289236 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103523478456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14915] ppid=14878 vsize=9625040 CPUtime=0.88 cores=0,2,4,6 /proc/14884/task/14915/stat : 14915 (java) S 14878 14884 6228 0 -1 4202560 7556 0 0 0 88 0 0 0 20 0 19 0 5289236 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103522425656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14917] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14917/stat : 14917 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103521373048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14919] ppid=14878 vsize=9625040 CPUtime=0.28 cores=0,2,4,6 /proc/14884/task/14919/stat : 14919 (java) S 14878 14884 6228 0 -1 4202560 97 0 0 0 13 15 0 0 20 0 19 0 5289236 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103520320456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14922] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14922/stat : 14922 (java) S 14878 14884 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289345 9856040960 301515 33554432000 1073741824 1073778376 140733960232752 140103519265960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1683.77 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.15 2.15 2.14 4/213 14990 /proc/meminfo: memFree=28899488/32872528 swapFree=480236/529292 [pid=14884] ppid=14878 vsize=9625040 CPUtime=1744.72 cores=0,2,4,6 /proc/14884/stat : 14884 (java) S 14878 14884 6228 0 -1 4202496 30127 0 1 0 174073 399 0 0 20 0 19 0 5289230 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140733960223888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14884/statm: 2406260 267893 2300 9 0 2396937 0 [pid=14884/tid=14888] ppid=14878 vsize=9625040 CPUtime=1711.67 cores=0,2,4,6 /proc/14884/task/14888/stat : 14888 (java) R 14878 14884 6228 0 -1 4202560 3119 0 1 0 171131 36 0 0 20 0 19 0 5289231 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103704190296 140103528663249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14889] ppid=14878 vsize=9625040 CPUtime=3.72 cores=0,2,4,6 /proc/14884/task/14889/stat : 14889 (java) S 14878 14884 6228 0 -1 4202560 1299 0 0 0 325 47 0 0 20 0 19 0 5289232 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103665682984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14891] ppid=14878 vsize=9625040 CPUtime=3.35 cores=0,2,4,6 /proc/14884/task/14891/stat : 14891 (java) S 14878 14884 6228 0 -1 4202560 1177 0 0 0 289 46 0 0 20 0 19 0 5289232 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103664630184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14892] ppid=14878 vsize=9625040 CPUtime=3.48 cores=0,2,4,6 /proc/14884/task/14892/stat : 14892 (java) S 14878 14884 6228 0 -1 4202560 965 0 0 0 310 38 0 0 20 0 19 0 5289232 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103663577384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14894] ppid=14878 vsize=9625040 CPUtime=3.72 cores=0,2,4,6 /proc/14884/task/14894/stat : 14894 (java) S 14878 14884 6228 0 -1 4202560 1280 0 0 0 315 57 0 0 20 0 19 0 5289232 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103662524584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14897] ppid=14878 vsize=9625040 CPUtime=3.52 cores=0,2,4,6 /proc/14884/task/14897/stat : 14897 (java) S 14878 14884 6228 0 -1 4202560 1203 0 0 0 303 49 0 0 20 0 19 0 5289232 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103661472808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14899] ppid=14878 vsize=9625040 CPUtime=3.64 cores=0,2,4,6 /proc/14884/task/14899/stat : 14899 (java) S 14878 14884 6228 0 -1 4202560 780 0 0 0 320 44 0 0 20 0 19 0 5289232 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103660420008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14884/tid=14902] ppid=14878 vsize=9625040 CPUtime=3.37 cores=0,2,4,6 /proc/14884/task/14902/stat : 14902 (java) S 14878 14884 6228 0 -1 4202560 895 0 0 0 300 37 0 0 20 0 19 0 5289232 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103659367208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14904] ppid=14878 vsize=9625040 CPUtime=3.65 cores=0,2,4,6 /proc/14884/task/14904/stat : 14904 (java) S 14878 14884 6228 0 -1 4202560 1239 0 0 0 308 57 0 0 20 0 19 0 5289232 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103658314408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14906] ppid=14878 vsize=9625040 CPUtime=2.86 cores=0,2,4,6 /proc/14884/task/14906/stat : 14906 (java) S 14878 14884 6228 0 -1 4202560 3017 0 0 0 281 5 0 0 20 0 19 0 5289234 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103527688680 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14907] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14907/stat : 14907 (java) S 14878 14884 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103526634744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14909] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14909/stat : 14909 (java) S 14878 14884 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103525581832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14911] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14911/stat : 14911 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103524530320 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14913] ppid=14878 vsize=9625040 CPUtime=0.95 cores=0,2,4,6 /proc/14884/task/14913/stat : 14913 (java) S 14878 14884 6228 0 -1 4202560 6234 0 0 0 93 2 0 0 20 0 19 0 5289236 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103523478456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14915] ppid=14878 vsize=9625040 CPUtime=0.88 cores=0,2,4,6 /proc/14884/task/14915/stat : 14915 (java) S 14878 14884 6228 0 -1 4202560 7556 0 0 0 88 0 0 0 20 0 19 0 5289236 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103522425656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14917] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14917/stat : 14917 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103521373048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14919] ppid=14878 vsize=9625040 CPUtime=0.29 cores=0,2,4,6 /proc/14884/task/14919/stat : 14919 (java) S 14878 14884 6228 0 -1 4202560 101 0 0 0 14 15 0 0 20 0 19 0 5289236 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103520320456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14922] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14922/stat : 14922 (java) S 14878 14884 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289345 9856040960 267893 33554432000 1073741824 1073778376 140733960232752 140103519265960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1744.72 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1777 s] /proc/loadavg: 2.16 2.15 2.14 3/189 15024 /proc/meminfo: memFree=29756896/32872528 swapFree=480236/529292 [pid=14884] ppid=14878 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6 /proc/14884/stat : 14884 (java) S 14878 14884 6228 0 -1 4202496 30160 0 1 0 179609 400 0 0 20 0 19 0 5289230 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140733960223888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14884/statm: 2406260 240680 2300 9 0 2396937 0 [pid=14884/tid=14888] ppid=14878 vsize=9625040 CPUtime=1766.08 cores=0,2,4,6 /proc/14884/task/14888/stat : 14888 (java) R 14878 14884 6228 0 -1 4202560 3134 0 1 0 176572 36 0 0 20 0 19 0 5289231 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103704190176 140103528663146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14889] ppid=14878 vsize=9625040 CPUtime=3.9 cores=0,2,4,6 /proc/14884/task/14889/stat : 14889 (java) S 14878 14884 6228 0 -1 4202560 1300 0 0 0 343 47 0 0 20 0 19 0 5289232 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103665682984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14891] ppid=14878 vsize=9625040 CPUtime=3.45 cores=0,2,4,6 /proc/14884/task/14891/stat : 14891 (java) S 14878 14884 6228 0 -1 4202560 1183 0 0 0 299 46 0 0 20 0 19 0 5289232 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103664630184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14892] ppid=14878 vsize=9625040 CPUtime=3.59 cores=0,2,4,6 /proc/14884/task/14892/stat : 14892 (java) S 14878 14884 6228 0 -1 4202560 965 0 0 0 321 38 0 0 20 0 19 0 5289232 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103663577384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14894] ppid=14878 vsize=9625040 CPUtime=3.84 cores=0,2,4,6 /proc/14884/task/14894/stat : 14894 (java) S 14878 14884 6228 0 -1 4202560 1280 0 0 0 327 57 0 0 20 0 19 0 5289232 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103662524584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14884/tid=14897] ppid=14878 vsize=9625040 CPUtime=3.63 cores=0,2,4,6 /proc/14884/task/14897/stat : 14897 (java) S 14878 14884 6228 0 -1 4202560 1203 0 0 0 314 49 0 0 20 0 19 0 5289232 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103661472808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14899] ppid=14878 vsize=9625040 CPUtime=3.74 cores=0,2,4,6 /proc/14884/task/14899/stat : 14899 (java) S 14878 14884 6228 0 -1 4202560 780 0 0 0 330 44 0 0 20 0 19 0 5289232 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103660420008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14902] ppid=14878 vsize=9625040 CPUtime=3.49 cores=0,2,4,6 /proc/14884/task/14902/stat : 14902 (java) S 14878 14884 6228 0 -1 4202560 895 0 0 0 312 37 0 0 20 0 19 0 5289232 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103659367208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14884/tid=14904] ppid=14878 vsize=9625040 CPUtime=3.77 cores=0,2,4,6 /proc/14884/task/14904/stat : 14904 (java) S 14878 14884 6228 0 -1 4202560 1239 0 0 0 320 57 0 0 20 0 19 0 5289232 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103658314408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14906] ppid=14878 vsize=9625040 CPUtime=2.87 cores=0,2,4,6 /proc/14884/task/14906/stat : 14906 (java) S 14878 14884 6228 0 -1 4202560 3026 0 0 0 282 5 0 0 20 0 19 0 5289234 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103527688680 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14907] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14907/stat : 14907 (java) S 14878 14884 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103526634744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14909] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14909/stat : 14909 (java) S 14878 14884 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103525581832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14911] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14911/stat : 14911 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103524530320 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14913] ppid=14878 vsize=9625040 CPUtime=0.95 cores=0,2,4,6 /proc/14884/task/14913/stat : 14913 (java) S 14878 14884 6228 0 -1 4202560 6234 0 0 0 93 2 0 0 20 0 19 0 5289236 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103523478456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14915] ppid=14878 vsize=9625040 CPUtime=0.88 cores=0,2,4,6 /proc/14884/task/14915/stat : 14915 (java) S 14878 14884 6228 0 -1 4202560 7556 0 0 0 88 0 0 0 20 0 19 0 5289236 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103522425656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14884/tid=14917] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14917/stat : 14917 (java) S 14878 14884 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103521373048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14884/tid=14919] ppid=14878 vsize=9625040 CPUtime=0.3 cores=0,2,4,6 /proc/14884/task/14919/stat : 14919 (java) S 14878 14884 6228 0 -1 4202560 103 0 0 0 14 16 0 0 20 0 19 0 5289236 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103520320456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14884/tid=14922] ppid=14878 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/14884/task/14922/stat : 14922 (java) S 14878 14884 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289345 9856040960 240680 33554432000 1073741824 1073778376 140733960232752 140103519265960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 14884 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1777.02 CPU time (s): 1800.75 CPU user time (s): 1796.28 CPU system time (s): 4.47132 CPU usage (%): 101.335 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.28 system time used= 4.47132 maximum resident set size= 2020852 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30207 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 44076 involuntary context switches= 32971 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.5181 second user time and 16.5425 second system time The end
Begin job on node141 at 2016-06-30 06:58:13 IDJOB=4119598 IDBENCH=111770 IDSOLVER=2546 FILE ID=node141/4119598-1467262693 RUNJOBID= node141-1467262693-14855 PBS_JOBID= 20004482 Free space on /tmp= 71704 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119598-1467262693/watcher-4119598-1467262693 -o /tmp/evaluation-result-4119598-1467262693/solver-4119598-1467262693 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467262693-14855 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119598-1467262693.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fc34eea73407c402eaec3a9b26dc254f RANDOM SEED=388214353 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5339.30 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30715444 kB Buffers: 145004 kB Cached: 726140 kB SwapCached: 0 kB Active: 202824 kB Inactive: 682272 kB Active(anon): 16620 kB Inactive(anon): 4 kB Active(file): 186204 kB Inactive(file): 682268 kB Unevictable: 529292 kB Mlocked: 480236 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1640 kB Writeback: 12 kB AnonPages: 542556 kB Mapped: 14112 kB Shmem: 204 kB Slab: 610120 kB SReclaimable: 54056 kB SUnreclaim: 556064 kB KernelStack: 1408 kB PageTables: 5412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 629760 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 49152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node141 at 2016-06-30 07:27:50