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 Res+CP PB16 | SAT (TO) | -10579 | 1800.45 | 973.748 |
| 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.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 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.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 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.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4119597-1467259820.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.66/1.18 c ... done. Wall clock time 1.064s. 1.66/1.18 c declared #vars 60 1.66/1.18 c internal #vars 7294 1.66/1.18 c #constraints 14468 1.66/1.18 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.66/1.18 c constraints type 1.66/1.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7234 1.66/1.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7234 1.66/1.19 c 14468 constraints processed. 1.66/1.19 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.66/1.19 c constraints type 1.66/1.19 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7234 1.66/1.19 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7234 1.66/1.19 c 14468 constraints processed. 1.66/1.19 c objective function length is 7294 literals 2.22/1.32 c And the winner is solver0 2.32/1.69 c SATISFIABLE 2.32/1.69 c OPTIMIZING... 2.32/1.69 c Got one! Elapsed wall clock time (in seconds):1.572 2.32/1.69 o 0 2.66/1.80 c And the winner is solver0 2.86/2.23 c Got one! Elapsed wall clock time (in seconds):2.109 2.86/2.23 o -91 2.86/2.27 c And the winner is solver0 3.23/2.75 c Got one! Elapsed wall clock time (in seconds):2.631 3.23/2.75 o -182 3.39/2.80 c And the winner is solver0 3.52/3.27 c Got one! Elapsed wall clock time (in seconds):3.146 3.52/3.27 o -327 3.52/3.29 c And the winner is solver0 3.66/3.78 c Got one! Elapsed wall clock time (in seconds):3.659 3.66/3.78 o -429 3.68/3.80 c And the winner is solver0 3.74/4.29 c Got one! Elapsed wall clock time (in seconds):4.171 3.74/4.29 o -472 3.74/4.31 c And the winner is solver0 3.75/4.80 c Got one! Elapsed wall clock time (in seconds):4.683 3.75/4.80 o -642 3.75/4.84 c And the winner is solver0 3.84/5.31 c Got one! Elapsed wall clock time (in seconds):5.196 3.84/5.31 o -705 3.84/5.37 c And the winner is solver0 4.00/5.85 c Got one! Elapsed wall clock time (in seconds):5.733 4.00/5.85 o -710 4.00/5.87 c And the winner is solver0 4.03/6.36 c Got one! Elapsed wall clock time (in seconds):6.242 4.03/6.36 o -750 4.03/6.38 c And the winner is solver0 4.06/6.87 c Got one! Elapsed wall clock time (in seconds):6.751 4.06/6.87 o -755 4.06/6.89 c And the winner is solver0 4.08/7.38 c Got one! Elapsed wall clock time (in seconds):7.26 4.08/7.38 o -812 4.09/7.40 c And the winner is solver0 4.13/7.89 c Got one! Elapsed wall clock time (in seconds):7.769 4.13/7.89 o -986 4.13/7.93 c And the winner is solver0 4.21/8.40 c Got one! Elapsed wall clock time (in seconds):8.278 4.21/8.40 o -1004 4.21/8.43 c And the winner is solver0 4.28/8.91 c Got one! Elapsed wall clock time (in seconds):8.787 4.28/8.91 o -1009 4.28/8.96 c And the winner is solver0 4.42/9.42 c Got one! Elapsed wall clock time (in seconds):9.296 4.42/9.42 o -1175 4.42/9.48 c And the winner is solver0 4.61/9.92 c Got one! Elapsed wall clock time (in seconds):9.805 4.61/9.92 o -1190 4.61/9.97 c And the winner is solver0 5.50/10.63 c Got one! Elapsed wall clock time (in seconds):10.515 5.50/10.63 o -1198 5.50/10.67 c And the winner is solver0 6.11/11.24 c Got one! Elapsed wall clock time (in seconds):11.125 6.11/11.24 o -1206 6.11/11.27 c And the winner is solver0 6.76/11.85 c Got one! Elapsed wall clock time (in seconds):11.734 6.76/11.85 o -1389 7.15/12.00 c And the winner is solver0 7.56/12.46 c Got one! Elapsed wall clock time (in seconds):12.344 7.56/12.46 o -1407 7.67/12.55 c And the winner is solver0 8.25/13.07 c Got one! Elapsed wall clock time (in seconds):12.953 8.25/13.07 o -1411 8.33/13.13 c And the winner is solver0 8.52/13.58 c Got one! Elapsed wall clock time (in seconds):13.462 8.52/13.58 o -1415 8.54/13.61 c And the winner is solver0 8.58/14.09 c Got one! Elapsed wall clock time (in seconds):13.972 8.58/14.09 o -1416 8.59/14.11 c And the winner is solver0 8.63/14.60 c Got one! Elapsed wall clock time (in seconds):14.481 8.63/14.60 o -1531 9.01/14.81 c And the winner is solver0 9.48/15.21 c Got one! Elapsed wall clock time (in seconds):15.09 9.48/15.21 o -1581 9.64/15.33 c And the winner is solver0 10.07/15.77 c Got one! Elapsed wall clock time (in seconds):15.65 10.07/15.77 o -1610 10.18/15.84 c And the winner is solver0 10.73/16.33 c Got one! Elapsed wall clock time (in seconds):16.209 10.73/16.33 o -1620 10.73/16.36 c And the winner is solver0 10.83/16.84 c Got one! Elapsed wall clock time (in seconds):16.718 10.83/16.84 o -1621 10.83/16.87 c And the winner is solver0 10.88/17.35 c Got one! Elapsed wall clock time (in seconds):17.228 10.88/17.35 o -1625 11.03/17.40 c And the winner is solver0 11.05/17.86 c Got one! Elapsed wall clock time (in seconds):17.737 11.05/17.86 o -1626 11.05/17.88 c And the winner is solver0 11.10/18.37 c Got one! Elapsed wall clock time (in seconds):18.246 11.10/18.37 o -1790 11.76/18.78 c And the winner is solver0 12.04/18.92 c Got one! Elapsed wall clock time (in seconds):18.806 12.04/18.92 o -1810 12.40/19.16 c And the winner is solver0 12.76/19.49 c Got one! Elapsed wall clock time (in seconds):19.365 12.76/19.49 o -1817 13.11/19.63 c And the winner is solver0 13.55/20.09 c Got one! Elapsed wall clock time (in seconds):19.974 13.55/20.09 o -1823 13.62/20.13 c And the winner is solver0 13.71/20.60 c Got one! Elapsed wall clock time (in seconds):20.484 13.71/20.60 o -1841 13.71/20.63 c And the winner is solver0 13.77/21.11 c Got one! Elapsed wall clock time (in seconds):20.993 13.77/21.11 o -1846 13.77/21.14 c And the winner is solver0 13.84/21.62 c Got one! Elapsed wall clock time (in seconds):21.502 13.84/21.62 o -1847 13.84/21.65 c And the winner is solver0 13.91/22.13 c Got one! Elapsed wall clock time (in seconds):22.011 13.91/22.13 o -1851 13.91/22.14 c And the winner is solver0 13.92/22.64 c Got one! Elapsed wall clock time (in seconds):22.521 13.92/22.64 o -1852 14.05/22.72 c And the winner is solver0 14.10/23.15 c Got one! Elapsed wall clock time (in seconds):23.03 14.10/23.15 o -2015 15.39/23.82 c And the winner is solver0 15.90/24.31 c Got one! Elapsed wall clock time (in seconds):24.189 15.90/24.31 o -2031 16.79/24.79 c And the winner is solver0 16.99/24.87 c Got one! Elapsed wall clock time (in seconds):24.749 16.99/24.87 o -2050 17.50/25.13 c And the winner is solver0 17.83/25.43 c Got one! Elapsed wall clock time (in seconds):25.308 17.83/25.43 o -2065 17.83/25.47 c And the winner is solver0 18.34/25.99 c Got one! Elapsed wall clock time (in seconds):25.868 18.34/25.99 o -2066 18.40/26.01 c And the winner is solver0 18.45/26.50 c Got one! Elapsed wall clock time (in seconds):26.377 18.45/26.50 o -2069 18.46/26.53 c And the winner is solver0 18.98/27.06 c Got one! Elapsed wall clock time (in seconds):26.936 18.98/27.06 o -2072 19.08/27.12 c And the winner is solver0 19.60/27.61 c Got one! Elapsed wall clock time (in seconds):27.496 19.60/27.61 o -2078 19.75/27.72 c And the winner is solver0 20.18/28.17 c Got one! Elapsed wall clock time (in seconds):28.055 20.18/28.17 o -2197 23.33/29.73 c And the winner is solver0 23.54/30.19 c Got one! Elapsed wall clock time (in seconds):30.066 23.54/30.19 o -2266 25.48/31.10 c And the winner is solver0 25.70/31.39 c Got one! Elapsed wall clock time (in seconds):31.267 25.70/31.39 o -2275 26.60/31.85 c And the winner is solver0 26.77/31.95 c Got one! Elapsed wall clock time (in seconds):31.827 26.77/31.95 o -2289 26.88/32.03 c And the winner is solver0 27.49/32.51 c Got one! Elapsed wall clock time (in seconds):32.386 27.49/32.51 o -2294 27.49/32.53 c And the winner is solver0 27.55/33.01 c Got one! Elapsed wall clock time (in seconds):32.896 27.55/33.01 o -2298 27.55/33.04 c And the winner is solver0 27.60/33.52 c Got one! Elapsed wall clock time (in seconds):33.405 27.60/33.52 o -2301 27.60/33.57 c And the winner is solver0 28.12/34.08 c Got one! Elapsed wall clock time (in seconds):33.965 28.12/34.08 o -2303 28.19/34.16 c And the winner is solver0 28.75/34.64 c Got one! Elapsed wall clock time (in seconds):34.525 28.75/34.64 o -2307 28.85/34.75 c And the winner is solver0 29.01/35.15 c Got one! Elapsed wall clock time (in seconds):35.034 29.01/35.15 o -2316 29.32/35.39 c And the winner is solver0 29.90/35.81 c Got one! Elapsed wall clock time (in seconds):35.694 29.90/35.81 o -2347 34.71/38.25 c cleaning 5412 clauses out of 10824 with flag 6001/10824 35.61/38.69 c And the winner is solver0 35.89/38.82 c Got one! Elapsed wall clock time (in seconds):38.703 35.89/38.82 o -2351 36.85/39.31 c And the winner is solver0 36.85/39.38 c Got one! Elapsed wall clock time (in seconds):39.263 36.85/39.38 o -2373 37.39/39.60 c And the winner is solver0 37.69/39.94 c Got one! Elapsed wall clock time (in seconds):39.823 37.69/39.94 o -2374 37.83/40.07 c And the winner is solver0 38.41/40.50 c Got one! Elapsed wall clock time (in seconds):40.383 38.41/40.50 o -2381 38.41/40.59 c And the winner is solver0 38.98/41.06 c Got one! Elapsed wall clock time (in seconds):40.943 38.98/41.06 o -2388 39.11/41.11 c And the winner is solver0 39.15/41.57 c Got one! Elapsed wall clock time (in seconds):41.453 39.15/41.57 o -2406 39.99/42.04 c And the winner is solver0 40.14/42.13 c Got one! Elapsed wall clock time (in seconds):42.013 40.14/42.13 o -2414 40.28/42.23 c And the winner is solver0 40.72/42.69 c Got one! Elapsed wall clock time (in seconds):42.573 40.72/42.69 o -2415 40.79/42.72 c And the winner is solver0 40.85/43.20 c Got one! Elapsed wall clock time (in seconds):43.083 40.85/43.20 o -2422 40.85/43.24 c And the winner is solver0 40.93/43.71 c Got one! Elapsed wall clock time (in seconds):43.594 40.93/43.71 o -2443 41.16/43.83 c And the winner is solver0 41.69/44.32 c Got one! Elapsed wall clock time (in seconds):44.206 41.69/44.32 o -2447 41.69/44.34 c And the winner is solver0 41.70/44.83 c Got one! Elapsed wall clock time (in seconds):44.715 41.70/44.83 o -2449 41.70/44.85 c And the winner is solver0 41.73/45.34 c Got one! Elapsed wall clock time (in seconds):45.225 41.73/45.34 o -2458 41.73/45.36 c And the winner is solver0 41.76/45.85 c Got one! Elapsed wall clock time (in seconds):45.735 41.76/45.85 o -2462 41.84/45.95 c And the winner is solver0 42.39/46.41 c Got one! Elapsed wall clock time (in seconds):46.294 42.39/46.41 o -2463 42.56/46.53 c And the winner is solver0 42.99/46.97 c Got one! Elapsed wall clock time (in seconds):46.854 42.99/46.97 o -2464 42.99/46.99 c And the winner is solver0 43.10/47.48 c Got one! Elapsed wall clock time (in seconds):47.364 43.10/47.48 o -2471 43.32/47.60 c And the winner is solver0 43.72/48.04 c Got one! Elapsed wall clock time (in seconds):47.923 43.72/48.04 o -2521 45.45/48.90 c And the winner is solver0 45.66/49.15 c Got one! Elapsed wall clock time (in seconds):49.034 45.66/49.15 o -2536 46.16/49.41 c And the winner is solver0 46.49/49.71 c Got one! Elapsed wall clock time (in seconds):49.594 46.49/49.71 o -2540 46.65/49.85 c And the winner is solver0 47.10/50.27 c Got one! Elapsed wall clock time (in seconds):50.154 47.10/50.27 o -2545 47.41/50.44 c And the winner is solver0 47.86/50.83 c Got one! Elapsed wall clock time (in seconds):50.713 47.86/50.83 o -2549 48.48/51.14 c And the winner is solver0 48.83/51.44 c Got one! Elapsed wall clock time (in seconds):51.323 48.83/51.44 o -2554 49.15/51.60 c And the winner is solver0 49.55/52.00 c Got one! Elapsed wall clock time (in seconds):51.883 49.55/52.00 o -2689 57.56/56.05 c cleaning 7510 clauses out of 15023 with flag 10001/20435 59.56/57.09 c And the winner is solver0 59.81/57.51 c Got one! Elapsed wall clock time (in seconds):57.394 59.81/57.51 o -2733 66.49/60.86 c And the winner is solver0 66.76/61.02 c Got one! Elapsed wall clock time (in seconds):60.905 66.76/61.02 o -2735 68.51/61.97 c cleaning 6887 clauses out of 13774 with flag 2005/26696 70.34/62.87 c And the winner is solver0 70.81/63.28 c Got one! Elapsed wall clock time (in seconds):63.166 70.81/63.28 o -2737 71.21/63.47 c And the winner is solver0 71.70/63.89 c Got one! Elapsed wall clock time (in seconds):63.776 71.70/63.89 o -2743 71.98/64.02 c And the winner is solver0 72.41/64.46 c Got one! Elapsed wall clock time (in seconds):64.336 72.41/64.46 o -2746 72.41/64.47 c And the winner is solver0 72.47/64.97 c Got one! Elapsed wall clock time (in seconds):64.847 72.47/64.97 o -2749 72.47/64.98 c And the winner is solver0 72.50/65.48 c Got one! Elapsed wall clock time (in seconds):65.357 72.50/65.48 o -2750 72.50/65.49 c And the winner is solver0 72.51/65.99 c Got one! Elapsed wall clock time (in seconds):65.867 72.51/65.99 o -2753 72.53/66.07 c And the winner is solver0 73.10/66.55 c Got one! Elapsed wall clock time (in seconds):66.428 73.10/66.55 o -2762 73.23/66.68 c And the winner is solver0 73.82/67.11 c Got one! Elapsed wall clock time (in seconds):66.988 73.82/67.11 o -2766 73.82/67.13 c And the winner is solver0 73.87/67.62 c Got one! Elapsed wall clock time (in seconds):67.499 73.87/67.62 o -2769 73.87/67.64 c And the winner is solver0 73.90/68.13 c Got one! Elapsed wall clock time (in seconds):68.01 73.90/68.13 o -2773 73.90/68.17 c And the winner is solver0 74.41/68.69 c Got one! Elapsed wall clock time (in seconds):68.57 74.41/68.69 o -2774 74.50/68.73 c And the winner is solver0 75.04/69.25 c Got one! Elapsed wall clock time (in seconds):69.131 75.04/69.25 o -2783 76.36/69.90 c And the winner is solver0 76.78/70.31 c Got one! Elapsed wall clock time (in seconds):70.191 76.78/70.31 o -2784 76.96/70.45 c And the winner is solver0 77.41/70.87 c Got one! Elapsed wall clock time (in seconds):70.752 77.41/70.87 o -2786 77.51/70.92 c And the winner is solver0 78.05/71.43 c Got one! Elapsed wall clock time (in seconds):71.312 78.05/71.43 o -2790 78.41/71.68 c And the winner is solver0 78.78/71.99 c Got one! Elapsed wall clock time (in seconds):71.873 78.78/71.99 o -2793 78.87/72.04 c And the winner is solver0 79.42/72.55 c Got one! Elapsed wall clock time (in seconds):72.434 79.42/72.55 o -2794 79.42/72.57 c And the winner is solver0 79.49/73.06 c Got one! Elapsed wall clock time (in seconds):72.944 79.49/73.06 o -2799 79.95/73.37 c And the winner is solver0 80.32/73.62 c Got one! Elapsed wall clock time (in seconds):73.504 80.32/73.62 o -2924 87.06/77.05 c cleaning 6994 clauses out of 13994 with flag 8001/33803 96.44/81.76 c cleaning 6499 clauses out of 13000 with flag 20001/39803 100.33/83.61 c And the winner is solver0 100.53/83.86 c Got one! Elapsed wall clock time (in seconds):83.735 100.53/83.86 o -2941 105.42/86.30 c cleaning 5905 clauses out of 11816 with flag 6004/45118 106.64/86.98 c And the winner is solver0 107.11/87.36 c Got one! Elapsed wall clock time (in seconds):87.246 107.11/87.36 o -2945 111.22/89.49 c And the winner is solver0 111.55/89.88 c Got one! Elapsed wall clock time (in seconds):89.757 111.55/89.88 o -2951 113.47/90.88 c And the winner is solver0 113.76/91.09 c Got one! Elapsed wall clock time (in seconds):90.967 113.76/91.09 o -2956 114.43/91.47 c And the winner is solver0 114.78/91.70 c Got one! Elapsed wall clock time (in seconds):91.578 114.78/91.70 o -3017 118.17/93.44 c cleaning 6371 clauses out of 12747 with flag 4005/51954 121.37/95.01 c And the winner is solver0 121.56/95.21 c Got one! Elapsed wall clock time (in seconds):95.09 121.56/95.21 o -3028 125.60/97.26 c And the winner is solver0 126.08/97.72 c Got one! Elapsed wall clock time (in seconds):97.602 126.08/97.72 o -3032 127.42/98.48 c And the winner is solver0 128.01/98.93 c Got one! Elapsed wall clock time (in seconds):98.814 128.01/98.93 o -3038 128.01/98.98 c And the winner is solver0 128.12/99.44 c Got one! Elapsed wall clock time (in seconds):99.325 128.12/99.44 o -3044 129.43/100.11 c And the winner is solver0 129.93/100.66 c Got one! Elapsed wall clock time (in seconds):100.536 129.93/100.66 o -3111 133.25/102.33 c cleaning 7102 clauses out of 14206 with flag 4001/59784 142.70/107.06 c cleaning 6550 clauses out of 13105 with flag 16003/65785 153.98/112.69 c cleaning 6775 clauses out of 13554 with flag 30001/72784 167.39/119.46 c cleaning 7390 clauses out of 14780 with flag 46003/80785 169.19/120.38 c And the winner is solver0 169.41/120.67 c Got one! Elapsed wall clock time (in seconds):120.551 169.41/120.67 o -3137 175.92/123.99 c cleaning 6277 clauses out of 12560 with flag 8002/85955 182.12/127.04 c And the winner is solver0 182.57/127.43 c Got one! Elapsed wall clock time (in seconds):127.314 182.57/127.43 o -3142 186.13/129.25 c cleaning 5976 clauses out of 11955 with flag 4003/91627 189.74/131.01 c And the winner is solver0 190.34/131.52 c Got one! Elapsed wall clock time (in seconds):131.403 190.34/131.52 o -3143 191.49/132.12 c And the winner is solver0 191.58/132.53 c Got one! Elapsed wall clock time (in seconds):132.415 191.58/132.53 o -3145 192.10/132.85 c And the winner is solver0 192.46/133.20 c Got one! Elapsed wall clock time (in seconds):133.077 192.46/133.20 o -3150 192.73/133.34 c And the winner is solver0 193.28/133.86 c Got one! Elapsed wall clock time (in seconds):133.739 193.28/133.86 o -3157 193.28/133.89 c And the winner is solver0 193.40/134.37 c Got one! Elapsed wall clock time (in seconds):134.251 193.40/134.37 o -3159 193.44/134.43 c And the winner is solver0 193.53/134.88 c Got one! Elapsed wall clock time (in seconds):134.763 193.53/134.88 o -3161 194.56/135.43 c And the winner is solver0 194.72/135.89 c Got one! Elapsed wall clock time (in seconds):135.774 194.72/135.89 o -3171 194.72/135.92 c And the winner is solver0 194.78/136.40 c Got one! Elapsed wall clock time (in seconds):136.286 194.78/136.40 o -3179 194.78/136.43 c And the winner is solver0 194.84/136.92 c Got one! Elapsed wall clock time (in seconds):136.798 194.84/136.92 o -3180 194.84/136.97 c And the winner is solver0 194.95/137.43 c Got one! Elapsed wall clock time (in seconds):137.309 194.95/137.43 o -3182 195.53/137.73 c And the winner is solver0 195.97/138.14 c Got one! Elapsed wall clock time (in seconds):138.022 195.97/138.14 o -3184 198.09/139.21 c And the winner is solver0 198.23/139.65 c Got one! Elapsed wall clock time (in seconds):139.534 198.23/139.65 o -3187 198.23/139.68 c And the winner is solver0 198.29/140.16 c Got one! Elapsed wall clock time (in seconds):140.045 198.29/140.16 o -3196 198.34/140.21 c And the winner is solver0 198.40/140.68 c Got one! Elapsed wall clock time (in seconds):140.557 198.40/140.68 o -3197 198.43/140.70 c And the winner is solver0 198.46/141.19 c Got one! Elapsed wall clock time (in seconds):141.068 198.46/141.19 o -3198 199.67/141.80 c And the winner is solver0 199.73/142.20 c Got one! Elapsed wall clock time (in seconds):142.08 199.73/142.20 o -3203 203.37/144.02 c cleaning 6997 clauses out of 14001 with flag 4003/99649 213.17/148.93 c And the winner is solver0 213.71/149.46 c Got one! Elapsed wall clock time (in seconds):149.343 213.71/149.46 o -3212 214.20/149.75 c And the winner is solver0 214.66/150.12 c Got one! Elapsed wall clock time (in seconds):150.005 214.66/150.12 o -3216 215.26/150.45 c And the winner is solver0 215.72/150.84 c Got one! Elapsed wall clock time (in seconds):150.717 215.72/150.84 o -3227 216.03/151.08 c And the winner is solver0 216.60/151.50 c Got one! Elapsed wall clock time (in seconds):151.379 216.60/151.50 o -3229 216.60/151.54 c And the winner is solver0 216.71/152.01 c Got one! Elapsed wall clock time (in seconds):151.891 216.71/152.01 o -3235 216.71/152.04 c And the winner is solver0 216.78/152.52 c Got one! Elapsed wall clock time (in seconds):152.402 216.78/152.52 o -3236 216.78/152.55 c And the winner is solver0 216.84/153.03 c Got one! Elapsed wall clock time (in seconds):152.914 216.84/153.03 o -3237 217.15/153.23 c And the winner is solver0 217.59/153.69 c Got one! Elapsed wall clock time (in seconds):153.576 217.59/153.69 o -3238 218.67/154.20 c And the winner is solver0 218.78/154.36 c Got one! Elapsed wall clock time (in seconds):154.238 218.78/154.36 o -3250 218.89/154.41 c And the winner is solver0 218.95/154.87 c Got one! Elapsed wall clock time (in seconds):154.749 218.95/154.87 o -3254 218.99/154.96 c And the winner is solver0 219.27/155.38 c Got one! Elapsed wall clock time (in seconds):155.26 219.27/155.38 o -3255 220.09/155.83 c And the winner is solver0 220.33/156.04 c Got one! Elapsed wall clock time (in seconds):155.922 220.33/156.04 o -3260 222.65/157.23 c And the winner is solver0 223.30/157.80 c Got one! Elapsed wall clock time (in seconds):157.684 223.30/157.80 o -3267 223.30/157.86 c And the winner is solver0 223.44/158.31 c Got one! Elapsed wall clock time (in seconds):158.196 223.44/158.31 o -3271 225.60/159.47 c And the winner is solver0 225.88/159.83 c Got one! Elapsed wall clock time (in seconds):159.708 225.88/159.83 o -3274 230.41/162.15 c And the winner is solver0 230.61/162.34 c Got one! Elapsed wall clock time (in seconds):162.22 230.61/162.34 o -3280 230.61/162.40 c And the winner is solver0 230.76/162.85 c Got one! Elapsed wall clock time (in seconds):162.731 230.76/162.85 o -3287 230.76/162.88 c And the winner is solver0 230.82/163.36 c Got one! Elapsed wall clock time (in seconds):163.243 230.82/163.36 o -3288 231.89/163.96 c And the winner is solver0 232.06/164.37 c Got one! Elapsed wall clock time (in seconds):164.254 232.06/164.37 o -3314 233.69/165.23 c cleaning 10818 clauses out of 21639 with flag 2003/114284 243.48/170.24 c cleaning 8408 clauses out of 16820 with flag 14001/120283 254.76/175.89 c cleaning 7704 clauses out of 15413 with flag 28003/127284 268.01/182.48 c cleaning 7850 clauses out of 15708 with flag 44001/135283 282.41/189.68 c cleaning 8430 clauses out of 16859 with flag 62003/144284 299.09/197.92 c cleaning 9215 clauses out of 18429 with flag 82003/154284 312.01/204.35 c And the winner is solver0 312.48/204.79 c Got one! Elapsed wall clock time (in seconds):204.669 312.48/204.79 o -3315 320.94/209.10 c cleaning 10838 clauses out of 21682 with flag 10002/166752 326.53/211.89 c And the winner is solver0 326.88/212.30 c Got one! Elapsed wall clock time (in seconds):212.183 326.88/212.30 o -3316 330.55/214.15 c cleaning 8081 clauses out of 16170 with flag 4049/172078 333.15/215.46 c And the winner is solver0 333.72/215.92 c Got one! Elapsed wall clock time (in seconds):215.796 333.72/215.92 o -3323 338.69/218.41 c And the winner is solver0 339.21/218.98 c Got one! Elapsed wall clock time (in seconds):218.861 339.21/218.98 o -3338 340.10/219.40 c And the winner is solver0 340.40/219.74 c Got one! Elapsed wall clock time (in seconds):219.624 340.40/219.74 o -3351 340.53/219.81 c And the winner is solver0 340.58/220.26 c Got one! Elapsed wall clock time (in seconds):220.137 340.58/220.26 o -3352 341.91/220.92 c And the winner is solver0 342.08/221.27 c Got one! Elapsed wall clock time (in seconds):221.15 342.08/221.27 o -3353 345.52/223.07 c cleaning 7809 clauses out of 15623 with flag 4003/179612 355.32/227.99 c And the winner is solver0 356.01/228.53 c Got one! Elapsed wall clock time (in seconds):228.415 356.01/228.53 o -3354 356.77/228.94 c And the winner is solver0 357.18/229.30 c Got one! Elapsed wall clock time (in seconds):229.179 357.18/229.30 o -3359 357.37/229.40 c And the winner is solver0 357.44/229.81 c Got one! Elapsed wall clock time (in seconds):229.692 357.44/229.81 o -3360 358.30/230.21 c And the winner is solver0 358.72/230.63 c Got one! Elapsed wall clock time (in seconds):230.506 358.72/230.63 o -3366 358.88/230.79 c And the winner is solver0 359.15/231.14 c Got one! Elapsed wall clock time (in seconds):231.019 359.15/231.14 o -3369 359.15/231.19 c And the winner is solver0 359.27/231.65 c Got one! Elapsed wall clock time (in seconds):231.532 359.27/231.65 o -3370 359.35/231.79 c And the winner is solver0 359.66/232.16 c Got one! Elapsed wall clock time (in seconds):232.045 359.66/232.16 o -3376 359.93/232.35 c And the winner is solver0 360.59/232.93 c Got one! Elapsed wall clock time (in seconds):232.81 360.59/232.93 o -3378 361.35/233.32 c And the winner is solver0 361.67/233.69 c Got one! Elapsed wall clock time (in seconds):233.574 361.67/233.69 o -3384 361.95/233.81 c And the winner is solver0 362.05/234.21 c Got one! Elapsed wall clock time (in seconds):234.089 362.05/234.21 o -3388 362.62/234.57 c And the winner is solver0 363.09/234.97 c Got one! Elapsed wall clock time (in seconds):234.853 363.09/234.97 o -3417 365.58/236.50 c And the winner is solver0 366.08/236.82 c Got one! Elapsed wall clock time (in seconds):236.699 366.08/236.82 o -3418 366.08/236.87 c And the winner is solver0 366.21/237.33 c Got one! Elapsed wall clock time (in seconds):237.212 366.21/237.33 o -3424 366.21/237.37 c And the winner is solver0 366.29/237.84 c Got one! Elapsed wall clock time (in seconds):237.725 366.29/237.84 o -3425 367.79/238.70 c And the winner is solver0 368.40/239.16 c Got one! Elapsed wall clock time (in seconds):239.039 368.40/239.16 o -3433 372.09/241.06 c And the winner is solver0 372.64/241.52 c Got one! Elapsed wall clock time (in seconds):241.403 372.64/241.52 o -3439 372.77/241.60 c And the winner is solver0 372.83/242.04 c Got one! Elapsed wall clock time (in seconds):241.916 372.83/242.04 o -3441 372.83/242.07 c And the winner is solver0 372.91/242.55 c Got one! Elapsed wall clock time (in seconds):242.429 372.91/242.55 o -3442 376.00/244.17 c And the winner is solver0 376.31/244.56 c Got one! Elapsed wall clock time (in seconds):244.442 376.31/244.56 o -3454 378.26/245.55 c cleaning 11422 clauses out of 22848 with flag 2003/194646 388.47/250.64 c cleaning 8711 clauses out of 17426 with flag 14003/200646 400.08/256.46 c cleaning 7857 clauses out of 15715 with flag 28003/207646 402.47/257.60 c And the winner is solver0 402.71/258.09 c Got one! Elapsed wall clock time (in seconds):257.958 402.71/258.09 o -3471 404.61/259.06 c And the winner is solver0 405.18/259.54 c Got one! Elapsed wall clock time (in seconds):259.422 405.18/259.54 o -3476 406.28/260.16 c And the winner is solver0 406.68/260.55 c Got one! Elapsed wall clock time (in seconds):260.435 406.68/260.55 o -3477 406.75/260.60 c And the winner is solver0 406.79/261.07 c Got one! Elapsed wall clock time (in seconds):260.948 406.79/261.07 o -3479 406.83/261.10 c And the winner is solver0 406.87/261.58 c Got one! Elapsed wall clock time (in seconds):261.461 406.87/261.58 o -3480 407.51/261.92 c And the winner is solver0 408.02/262.49 c Got one! Elapsed wall clock time (in seconds):262.374 408.02/262.49 o -3488 410.27/263.64 c And the winner is solver0 410.65/264.01 c Got one! Elapsed wall clock time (in seconds):263.887 410.65/264.01 o -3492 410.65/264.06 c And the winner is solver0 410.79/264.52 c Got one! Elapsed wall clock time (in seconds):264.4 410.79/264.52 o -3493 410.79/264.56 c And the winner is solver0 410.87/265.03 c Got one! Elapsed wall clock time (in seconds):264.913 410.87/265.03 o -3498 412.90/266.05 c And the winner is solver0 413.40/266.55 c Got one! Elapsed wall clock time (in seconds):266.426 413.40/266.55 o -3499 416.89/268.40 c cleaning 7778 clauses out of 15558 with flag 4061/215346 418.29/269.07 c And the winner is solver0 418.88/269.56 c Got one! Elapsed wall clock time (in seconds):269.44 418.88/269.56 o -3501 419.00/269.61 c And the winner is solver0 419.05/270.07 c Got one! Elapsed wall clock time (in seconds):269.953 419.05/270.07 o -3509 419.08/270.10 c And the winner is solver0 419.11/270.58 c Got one! Elapsed wall clock time (in seconds):270.466 419.11/270.58 o -3510 419.13/270.61 c And the winner is solver0 419.14/271.10 c Got one! Elapsed wall clock time (in seconds):270.978 419.14/271.10 o -3514 419.14/271.12 c And the winner is solver0 419.17/271.61 c Got one! Elapsed wall clock time (in seconds):271.491 419.17/271.61 o -3515 422.13/273.18 c And the winner is solver0 422.68/273.62 c Got one! Elapsed wall clock time (in seconds):273.504 422.68/273.62 o -3517 429.41/277.03 c And the winner is solver0 429.66/277.29 c Got one! Elapsed wall clock time (in seconds):277.168 429.66/277.29 o -3524 430.18/277.52 c And the winner is solver0 430.32/277.80 c Got one! Elapsed wall clock time (in seconds):277.681 430.32/277.80 o -3530 430.32/277.85 c And the winner is solver0 430.44/278.31 c Got one! Elapsed wall clock time (in seconds):278.194 430.44/278.31 o -3531 430.44/278.33 c And the winner is solver0 430.45/278.83 c Got one! Elapsed wall clock time (in seconds):278.707 430.45/278.83 o -3532 432.18/279.77 c cleaning 7816 clauses out of 15632 with flag 2088/223198 434.98/281.14 c And the winner is solver0 435.23/281.39 c Got one! Elapsed wall clock time (in seconds):281.27 435.23/281.39 o -3589 441.49/284.52 c cleaning 6724 clauses out of 13454 with flag 8001/228836 450.69/289.18 c cleaning 6360 clauses out of 12731 with flag 20003/234837 461.95/294.72 c cleaning 6682 clauses out of 13370 with flag 34001/241836 474.75/301.11 c cleaning 7344 clauses out of 14688 with flag 50001/249836 489.63/308.58 c cleaning 8171 clauses out of 16345 with flag 68003/258837 506.44/316.91 c cleaning 9084 clauses out of 18173 with flag 88001/268836 523.83/325.55 c cleaning 10043 clauses out of 20089 with flag 110001/279836 543.66/335.37 c cleaning 11024 clauses out of 22047 with flag 134003/291837 565.45/346.26 c cleaning 12009 clauses out of 24023 with flag 160003/304837 589.53/358.50 c And the winner is solver0 589.84/358.66 c Got one! Elapsed wall clock time (in seconds):358.539 589.84/358.66 o -3644 598.78/363.16 c cleaning 15217 clauses out of 30442 with flag 10004/323265 609.07/368.29 c cleaning 10611 clauses out of 21224 with flag 22002/329264 620.68/374.10 c cleaning 8802 clauses out of 17614 with flag 36004/336265 634.26/380.89 c cleaning 8404 clauses out of 16812 with flag 52004/344265 639.42/383.32 c And the winner is solver0 639.95/383.88 c Got one! Elapsed wall clock time (in seconds):383.758 639.95/383.88 o -3652 645.02/386.43 c cleaning 7091 clauses out of 14194 with flag 6003/350051 654.82/391.37 c cleaning 6548 clauses out of 13103 with flag 18003/356051 666.22/397.10 c cleaning 6775 clauses out of 13556 with flag 32005/363052 667.42/397.65 c And the winner is solver0 667.77/397.99 c Got one! Elapsed wall clock time (in seconds):397.875 667.77/397.99 o -3655 674.94/401.55 c And the winner is solver0 675.49/402.06 c Got one! Elapsed wall clock time (in seconds):401.939 675.49/402.06 o -3666 677.37/403.00 c cleaning 6235 clauses out of 12478 with flag 2053/368749 679.17/403.94 c And the winner is solver0 679.52/404.22 c Got one! Elapsed wall clock time (in seconds):404.103 679.52/404.22 o -3668 679.52/404.26 c And the winner is solver0 679.63/404.74 c Got one! Elapsed wall clock time (in seconds):404.617 679.63/404.74 o -3671 679.63/404.80 c And the winner is solver0 679.79/405.25 c Got one! Elapsed wall clock time (in seconds):405.131 679.79/405.25 o -3673 683.68/407.29 c And the winner is solver0 684.58/408.06 c Got one! Elapsed wall clock time (in seconds):407.945 684.58/408.06 o -3681 688.07/409.87 c cleaning 5854 clauses out of 11713 with flag 4203/374219 691.75/411.68 c And the winner is solver0 692.33/412.18 c Got one! Elapsed wall clock time (in seconds):412.06 692.33/412.18 o -3688 692.43/412.28 c And the winner is solver0 692.68/412.69 c Got one! Elapsed wall clock time (in seconds):412.574 692.68/412.69 o -3689 692.69/412.73 c And the winner is solver0 692.77/413.21 c Got one! Elapsed wall clock time (in seconds):413.088 692.77/413.21 o -3690 695.34/414.56 c And the winner is solver0 695.61/414.77 c Got one! Elapsed wall clock time (in seconds):414.652 695.61/414.77 o -3776 698.90/416.43 c cleaning 5763 clauses out of 11533 with flag 4005/379893 708.72/421.34 c cleaning 5880 clauses out of 11769 with flag 16003/385892 720.57/427.24 c cleaning 6439 clauses out of 12890 with flag 30005/392893 733.76/433.86 c cleaning 7226 clauses out of 14451 with flag 46005/400893 748.96/441.42 c cleaning 8112 clauses out of 16224 with flag 64003/409892 766.07/449.96 c And the winner is solver0 766.73/450.54 c Got one! Elapsed wall clock time (in seconds):450.425 766.73/450.54 o -3777 775.65/455.02 c cleaning 11508 clauses out of 23020 with flag 10110/424800 786.17/460.27 c cleaning 8754 clauses out of 17512 with flag 22465/430800 793.98/464.20 c And the winner is solver0 794.78/464.86 c Got one! Elapsed wall clock time (in seconds):464.742 794.78/464.86 o -3854 796.28/465.70 c cleaning 7177 clauses out of 14366 with flag 2001/436408 805.67/470.36 c cleaning 6591 clauses out of 13190 with flag 14003/442409 817.21/476.08 c cleaning 6798 clauses out of 13598 with flag 28001/449408 829.42/482.15 c cleaning 7398 clauses out of 14800 with flag 44001/457408 844.62/489.61 c cleaning 8196 clauses out of 16403 with flag 62003/466409 860.80/497.78 c cleaning 9103 clauses out of 18207 with flag 82003/476409 879.98/507.19 c cleaning 10047 clauses out of 20104 with flag 104003/487409 900.17/517.22 c cleaning 11025 clauses out of 22057 with flag 128003/499409 923.43/528.70 c cleaning 12012 clauses out of 24032 with flag 154003/512409 946.82/540.47 c cleaning 13008 clauses out of 26019 with flag 182001/526408 973.02/553.39 c cleaning 14005 clauses out of 28011 with flag 212001/541408 1000.90/567.18 c cleaning 14998 clauses out of 30006 with flag 244001/557408 1014.61/574.39 c And the winner is solver1 1014.82/574.63 c Got one! Elapsed wall clock time (in seconds):574.515 1014.82/574.63 o -5429 1014.96/574.72 c And the winner is solver0 1015.09/575.15 c Got one! Elapsed wall clock time (in seconds):575.029 1015.09/575.15 o -5437 1015.20/575.21 c And the winner is solver0 1015.28/575.66 c Got one! Elapsed wall clock time (in seconds):575.544 1015.28/575.66 o -5606 1015.34/575.74 c And the winner is solver0 1015.49/576.18 c Got one! Elapsed wall clock time (in seconds):576.058 1015.49/576.18 o -5974 1015.51/576.28 c And the winner is solver0 1015.80/576.69 c Got one! Elapsed wall clock time (in seconds):576.572 1015.80/576.69 o -6240 1015.81/576.78 c And the winner is solver0 1016.02/577.21 c Got one! Elapsed wall clock time (in seconds):577.086 1016.02/577.21 o -7495 1016.19/577.39 c And the winner is solver0 1016.51/577.72 c Got one! Elapsed wall clock time (in seconds):577.601 1016.51/577.72 o -7609 1016.85/577.96 c And the winner is solver0 1017.14/578.23 c Got one! Elapsed wall clock time (in seconds):578.115 1017.14/578.23 o -7755 1017.25/578.36 c And the winner is solver0 1017.49/578.75 c Got one! Elapsed wall clock time (in seconds):578.63 1017.49/578.75 o -8130 1018.17/579.10 c And the winner is solver0 1018.45/579.41 c Got one! Elapsed wall clock time (in seconds):579.295 1018.45/579.41 o -8396 1018.80/579.62 c And the winner is solver0 1019.00/579.93 c Got one! Elapsed wall clock time (in seconds):579.809 1019.00/579.93 o -8646 1019.56/580.21 c And the winner is solver0 1019.75/580.44 c Got one! Elapsed wall clock time (in seconds):580.323 1019.75/580.44 o -8680 1019.85/580.57 c And the winner is solver0 1020.10/580.96 c Got one! Elapsed wall clock time (in seconds):580.837 1020.10/580.96 o -8840 1020.36/581.18 c And the winner is solver0 1020.68/581.47 c Got one! Elapsed wall clock time (in seconds):581.352 1020.68/581.47 o -8842 1021.32/581.83 c And the winner is solver0 1021.65/582.13 c Got one! Elapsed wall clock time (in seconds):582.016 1021.65/582.13 o -8850 1021.96/582.39 c And the winner is solver0 1022.34/582.65 c Got one! Elapsed wall clock time (in seconds):582.53 1022.34/582.65 o -8949 1022.62/582.87 c And the winner is solver0 1022.90/583.16 c Got one! Elapsed wall clock time (in seconds):583.044 1022.90/583.16 o -8981 1023.55/583.57 c And the winner is solver0 1023.92/583.88 c Got one! Elapsed wall clock time (in seconds):583.76 1023.92/583.88 o -9240 1024.40/584.20 c And the winner is solver0 1024.87/584.50 c Got one! Elapsed wall clock time (in seconds):584.374 1024.87/584.50 o -9241 1025.32/584.72 c And the winner is solver0 1025.53/585.01 c Got one! Elapsed wall clock time (in seconds):584.888 1025.53/585.01 o -9252 1026.49/585.51 c And the winner is solver0 1026.80/585.82 c Got one! Elapsed wall clock time (in seconds):585.703 1026.80/585.82 o -9425 1027.54/586.27 c And the winner is solver0 1027.92/586.59 c Got one! Elapsed wall clock time (in seconds):586.468 1027.92/586.59 o -9691 1028.79/587.06 c And the winner is solver0 1029.16/587.35 c Got one! Elapsed wall clock time (in seconds):587.233 1029.16/587.35 o -9842 1029.89/587.76 c And the winner is solver0 1030.26/588.07 c Got one! Elapsed wall clock time (in seconds):587.948 1030.26/588.07 o -9871 1031.22/588.54 c And the winner is solver0 1031.55/588.83 c Got one! Elapsed wall clock time (in seconds):588.712 1031.55/588.83 o -10032 1032.70/589.49 c And the winner is solver0 1033.50/590.20 c Got one! Elapsed wall clock time (in seconds):590.078 1033.50/590.20 o -10175 1034.14/590.54 c And the winner is solver0 1034.39/590.76 c Got one! Elapsed wall clock time (in seconds):590.642 1034.39/590.76 o -10194 1035.11/591.14 c And the winner is solver0 1035.46/591.48 c Got one! Elapsed wall clock time (in seconds):591.357 1035.46/591.48 o -10351 1035.93/591.72 c And the winner is solver0 1036.14/591.99 c Got one! Elapsed wall clock time (in seconds):591.871 1036.14/591.99 o -10374 1036.74/592.37 c And the winner is solver0 1037.11/592.65 c Got one! Elapsed wall clock time (in seconds):592.536 1037.11/592.65 o -10429 1037.61/592.99 c And the winner is solver0 1038.07/593.22 c Got one! Elapsed wall clock time (in seconds):593.1 1038.07/593.22 o -10573 1039.01/593.73 c And the winner is solver0 1039.85/594.59 c Got one! Elapsed wall clock time (in seconds):594.467 1039.85/594.59 o -10578 1051.03/600.13 c cleaning 17671 clauses out of 35353 with flag 12967/577753 1065.51/607.18 c cleaning 11838 clauses out of 23682 with flag 32047/583753 1081.62/614.92 c cleaning 9419 clauses out of 18845 with flag 55424/590754 1099.02/623.60 c cleaning 8706 clauses out of 17426 with flag 82345/598754 1119.41/633.78 c cleaning 8854 clauses out of 17720 with flag 109537/607754 1142.42/645.18 c cleaning 9431 clauses out of 18865 with flag 142516/617753 1166.43/657.17 c cleaning 10214 clauses out of 20434 with flag 182223/628753 1194.88/671.74 c cleaning 11103 clauses out of 22220 with flag 230559/640753 1212.01/680.20 c And the winner is solver0 1212.84/681.07 c Got one! Elapsed wall clock time (in seconds):680.95 1212.84/681.07 o -10579 1221.73/685.51 c cleaning 11744 clauses out of 23487 with flag 15708/653123 1231.72/690.53 c cleaning 8870 clauses out of 17742 with flag 36500/659122 1243.92/696.57 c cleaning 7936 clauses out of 15873 with flag 59886/666123 1257.71/703.41 c cleaning 7967 clauses out of 15936 with flag 86006/674122 1273.51/711.30 c cleaning 8483 clauses out of 16970 with flag 115102/683123 1291.10/720.05 c cleaning 9244 clauses out of 18487 with flag 146405/693123 1310.89/729.92 c cleaning 10121 clauses out of 20242 with flag 180783/704122 1333.44/741.04 c cleaning 11060 clauses out of 22121 with flag 221748/716122 1357.64/753.10 c cleaning 12028 clauses out of 24062 with flag 262032/729123 1383.67/766.03 c cleaning 13013 clauses out of 26033 with flag 300605/743122 1411.06/779.79 c cleaning 14010 clauses out of 28021 with flag 340983/758123 1441.90/795.00 c cleaning 15003 clauses out of 30011 with flag 384210/774123 1475.21/811.45 c cleaning 16003 clauses out of 32007 with flag 430401/791122 1511.50/829.43 c cleaning 17001 clauses out of 34004 with flag 476800/809122 1550.47/849.68 c cleaning 17998 clauses out of 36003 with flag 533893/828122 1589.36/869.01 c cleaning 19001 clauses out of 38006 with flag 590342/848123 1631.20/889.87 c cleaning 20001 clauses out of 40005 with flag 654121/869123 1677.08/912.63 c cleaning 20999 clauses out of 42004 with flag 719762/891123 1724.12/936.09 c cleaning 22002 clauses out of 44005 with flag 785307/914123 1772.42/960.00 c cleaning 23001 clauses out of 46003 with flag 856886/938123 1800.16/973.70 c >>>>>>>>>> Solver number 0 (244 answers) <<<<<<<<<<<<<<<<<< 1800.16/973.70 c starts : 1776 1800.16/973.70 c conflicts : 952106 1800.16/973.70 c decisions : 4608389 1800.16/973.70 c propagations : 199545167 1800.16/973.70 c inspects : 2091508267 1800.16/973.70 c shortcuts : 0 1800.16/973.70 c learnt literals : 0 1800.16/973.70 c learnt binary clauses : 46 1800.16/973.70 c learnt ternary clauses : 1420 1800.16/973.70 c learnt constraints : 952106 1800.16/973.70 c ignored constraints : 0 1800.16/973.70 c root simplifications : 0 1800.16/973.70 c removed literals (reason simplification) : 146089748 1800.16/973.70 c reason swapping (by a shorter reason) : 0 1800.16/973.70 c Calls to reduceDB : 93 1800.16/973.70 c Number of update (reduction) of LBD : 7032 1800.16/973.70 c Imported unit clauses : 0 1800.16/973.70 c number of reductions to clauses (during analyze) : 0 1800.16/973.70 c number of learned constraints concerned by reduction : 0 1800.16/973.70 c number of learning phase by resolution : 0 1800.16/973.70 c number of learning phase by cutting planes : 0 1800.16/973.70 c speed (assignments/second) : 500044.2720928193 1800.16/973.70 c non guided choices 0 1800.16/973.72 c learnt constraints type 1800.16/973.72 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 46 1800.16/973.72 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36939 1800.16/973.72 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.16/973.72 c starts : 250 1800.16/973.72 c conflicts : 1043 1800.16/973.72 c decisions : 12940 1800.16/973.72 c propagations : 1727882 1800.16/973.72 c inspects : 133881577 1800.16/973.72 c shortcuts : 0 1800.16/973.72 c learnt literals : 0 1800.16/973.72 c learnt binary clauses : 0 1800.16/973.72 c learnt ternary clauses : 0 1800.16/973.72 c learnt constraints : 878 1800.16/973.72 c ignored constraints : 0 1800.16/973.72 c root simplifications : 0 1800.16/973.72 c removed literals (reason simplification) : 0 1800.16/973.72 c reason swapping (by a shorter reason) : 0 1800.16/973.72 c Calls to reduceDB : 0 1800.16/973.72 c Number of update (reduction) of LBD : 0 1800.16/973.72 c Imported unit clauses : 0 1800.16/973.72 c number of reductions to clauses (during analyze) : 0 1800.16/973.72 c number of learned constraints concerned by reduction : 0 1800.16/973.72 c number of learning phase by resolution : 0 1800.16/973.72 c number of learning phase by cutting planes : 0 1800.16/973.72 c speed (assignments/second) : 5904.604060375967 1800.16/973.72 c non guided choices 0 1800.16/973.72 c learnt constraints type 1800.16/973.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 878 1800.16/973.72 s SATISFIABLE 1800.16/973.72 c Found 245 solution(s) 1800.16/973.72 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.16/973.72 c objective function=-10579 1800.16/973.72 c Total wall clock time (in seconds): 973.599
OK -10579
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-4119597-1467259820/watcher-4119597-1467259820 -o /tmp/evaluation-result-4119597-1467259820/solver-4119597-1467259820 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467248675-9332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119597-1467259820.opb pid=15204 running on 4 cores: 1,3,5,7 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: 4.02 3.97 3.94 4/198 15207 /proc/meminfo: memFree=28452876/32872528 swapFree=7620/7620 [pid=15207] ppid=15204 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/15207/stat : 15207 (java) R 15204 15207 8968 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 6878121 2560000 46 33554432000 1073741824 1073778376 140735590204400 140735590201528 218225536295 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/15207/statm: 625 46 37 9 0 29 0 [startup+0.10016 s] /proc/loadavg: 4.02 3.97 3.94 4/198 15207 /proc/meminfo: memFree=28452876/32872528 swapFree=7620/7620 [pid=15207] ppid=15204 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/15207/stat : 15207 (java) S 15204 15207 8968 0 -1 4202496 4406 0 1 0 8 1 0 0 20 0 18 0 6878121 9787879424 6032 33554432000 1073741824 1073778376 140735590204400 140735590195536 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15207/statm: 2389619 6032 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200218 s] /proc/loadavg: 4.02 3.97 3.94 4/198 15207 /proc/meminfo: memFree=28452876/32872528 swapFree=7620/7620 [pid=15207] ppid=15204 vsize=9558476 CPUtime=0.23 cores=1,3,5,7 /proc/15207/stat : 15207 (java) S 15204 15207 8968 0 -1 4202496 4607 0 1 0 22 1 0 0 20 0 18 0 6878121 9787879424 7221 33554432000 1073741824 1073778376 140735590204400 140735590195536 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15207/statm: 2389619 7221 2211 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.30023 s] /proc/loadavg: 4.02 3.97 3.94 4/198 15207 /proc/meminfo: memFree=28452876/32872528 swapFree=7620/7620 [pid=15207] ppid=15204 vsize=9558476 CPUtime=0.48 cores=1,3,5,7 /proc/15207/stat : 15207 (java) S 15204 15207 8968 0 -1 4202496 5584 0 1 0 47 1 0 0 20 0 18 0 6878121 9787879424 8550 33554432000 1073741824 1073778376 140735590204400 140735590195536 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15207/statm: 2389619 8550 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558476 [startup+0.700179 s] /proc/loadavg: 4.02 3.97 3.94 4/198 15207 /proc/meminfo: memFree=28452876/32872528 swapFree=7620/7620 [pid=15207] ppid=15204 vsize=9558476 CPUtime=1.2 cores=1,3,5,7 /proc/15207/stat : 15207 (java) S 15204 15207 8968 0 -1 4202496 9092 0 1 0 118 2 0 0 20 0 18 0 6878121 9787879424 14094 33554432000 1073741824 1073778376 140735590204400 140735590195536 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15207/statm: 2389619 14094 2247 9 0 2380296 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 9558476 [startup+1.50083 s] /proc/loadavg: 4.02 3.97 3.94 4/216 15225 /proc/meminfo: memFree=28397096/32872528 swapFree=7620/7620 [pid=15207] ppid=15204 vsize=9824732 CPUtime=2.32 cores=1,3,5,7 /proc/15207/stat : 15207 (java) S 15204 15207 8968 0 -1 4202496 9609 0 1 0 228 4 0 0 20 0 19 0 6878121 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 140735590195536 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15207/statm: 2456183 18494 2266 9 0 2446860 0 [pid=15207/tid=15209] ppid=15204 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/15207/task/15209/stat : 15209 (java) S 15204 15207 8968 0 -1 4202560 2432 0 1 0 114 1 0 0 20 0 19 0 6878122 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742309434232 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15210] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15210/stat : 15210 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742270924968 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15211] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15211/stat : 15211 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742269872424 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15212] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15212/stat : 15212 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742268819880 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15213] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15213/stat : 15213 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742267767336 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15214] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15214/stat : 15214 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742266714792 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15215] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15215/stat : 15215 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742265662248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15216] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15216/stat : 15216 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742146456488 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15217] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15217/stat : 15217 (java) S 15204 15207 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742145403944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15218] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15218/stat : 15218 (java) S 15204 15207 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6878125 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742133205096 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15219] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15219/stat : 15219 (java) S 15204 15207 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6878125 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742132151416 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15220] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15220/stat : 15220 (java) S 15204 15207 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6878125 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139742131098760 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15221] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15221/stat : 15221 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878127 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139741391481360 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15222] ppid=15204 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/15207/task/15222/stat : 15222 (java) S 15204 15207 8968 0 -1 4202560 2433 0 0 0 43 0 0 0 20 0 19 0 6878127 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139741390428728 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15223] ppid=15204 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/15207/task/15223/stat : 15223 (java) S 15204 15207 8968 0 -1 4202560 3430 0 0 0 41 0 0 0 20 0 19 0 6878127 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139741389376184 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15224] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15224/stat : 15224 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878127 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139741388323832 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15225] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15225/stat : 15225 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878127 10060525568 18494 33554432000 1073741824 1073778376 140735590204400 139741387271496 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.32 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 4.02 3.97 3.94 3/217 15232 /proc/meminfo: memFree=28372304/32872528 swapFree=7620/7620 [pid=15207] ppid=15204 vsize=9824732 CPUtime=3.52 cores=1,3,5,7 /proc/15207/stat : 15207 (java) S 15204 15207 8968 0 -1 4202496 12036 0 1 0 341 11 0 0 20 0 19 0 6878121 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 140735590195536 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15207/statm: 2456183 27880 2276 9 0 2446860 0 [pid=15207/tid=15209] ppid=15204 vsize=9824732 CPUtime=1.23 cores=1,3,5,7 /proc/15207/task/15209/stat : 15209 (java) S 15204 15207 8968 0 -1 4202560 2438 0 1 0 121 2 0 0 20 0 19 0 6878122 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742309434232 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15210] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15210/stat : 15210 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742270924968 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15211] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15211/stat : 15211 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742269872424 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15212] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15212/stat : 15212 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742268819880 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15213] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15213/stat : 15213 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742267767336 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15214] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15214/stat : 15214 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742266714792 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15215] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15215/stat : 15215 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742265662248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15216] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15216/stat : 15216 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742146456488 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15217] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15217/stat : 15217 (java) S 15204 15207 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742145403944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15218] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15218/stat : 15218 (java) S 15204 15207 8968 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6878125 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742133205096 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15219] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15219/stat : 15219 (java) S 15204 15207 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6878125 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742132151416 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15220] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15220/stat : 15220 (java) S 15204 15207 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6878125 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139742131098760 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15221] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15221/stat : 15221 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878127 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139741391481360 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15222] ppid=15204 vsize=9824732 CPUtime=0.82 cores=1,3,5,7 /proc/15207/task/15222/stat : 15222 (java) S 15204 15207 8968 0 -1 4202560 4776 0 0 0 80 2 0 0 20 0 19 0 6878127 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139741390428728 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15223] ppid=15204 vsize=9824732 CPUtime=0.8 cores=1,3,5,7 /proc/15207/task/15223/stat : 15223 (java) S 15204 15207 8968 0 -1 4202560 3456 0 0 0 80 0 0 0 20 0 19 0 6878127 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139741389376184 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15224] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15224/stat : 15224 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878127 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139741388323832 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15225] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15225/stat : 15225 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878127 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139741387271496 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15228] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15228/stat : 15228 (java) S 15204 15207 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6878244 10060525568 27880 33554432000 1073741824 1073778376 140735590204400 139741384111144 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.52 Current children cumulated vsize (KiB) 9824732 [startup+6.30073 s] /proc/loadavg: 3.86 3.94 3.93 3/217 15253 /proc/meminfo: memFree=28280296/32872528 swapFree=7620/7620 [pid=15207] ppid=15204 vsize=9824732 CPUtime=4.03 cores=1,3,5,7 /proc/15207/stat : 15207 (java) S 15204 15207 8968 0 -1 4202496 12191 0 1 0 380 23 0 0 20 0 19 0 6878121 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 140735590195536 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15207/statm: 2456183 45017 2289 9 0 2446860 0 [pid=15207/tid=15209] ppid=15204 vsize=9824732 CPUtime=1.3 cores=1,3,5,7 /proc/15207/task/15209/stat : 15209 (java) S 15204 15207 8968 0 -1 4202560 2451 0 1 0 128 2 0 0 20 0 19 0 6878122 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742309434232 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15210] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15210/stat : 15210 (java) S 15204 15207 8968 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742270924968 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15211] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15211/stat : 15211 (java) S 15204 15207 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742269872424 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15212] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15212/stat : 15212 (java) S 15204 15207 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742268819880 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15213] ppid=15204 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/15207/task/15213/stat : 15213 (java) S 15204 15207 8968 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 6878123 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742267767336 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15214] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15214/stat : 15214 (java) S 15204 15207 8968 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742266714792 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15215] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15215/stat : 15215 (java) S 15204 15207 8968 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742265662248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15216] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15216/stat : 15216 (java) S 15204 15207 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742146456488 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15217] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15217/stat : 15217 (java) S 15204 15207 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6878123 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742145403944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15218] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15218/stat : 15218 (java) S 15204 15207 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6878125 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742133205096 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15219] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15219/stat : 15219 (java) S 15204 15207 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6878125 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742132151416 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15220] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15220/stat : 15220 (java) S 15204 15207 8968 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 6878125 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139742131098760 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15221] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15221/stat : 15221 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878127 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139741391481360 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15222] ppid=15204 vsize=9824732 CPUtime=0.91 cores=1,3,5,7 /proc/15207/task/15222/stat : 15222 (java) S 15204 15207 8968 0 -1 4202560 4805 0 0 0 89 2 0 0 20 0 19 0 6878127 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139741390428728 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15223] ppid=15204 vsize=9824732 CPUtime=0.83 cores=1,3,5,7 /proc/15207/task/15223/stat : 15223 (java) S 15204 15207 8968 0 -1 4202560 3456 0 0 0 83 0 0 0 20 0 19 0 6878127 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139741389376184 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15224] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15224/stat : 15224 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878127 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139741388323832 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15225] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15225/stat : 15225 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6878127 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139741387271496 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15228] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15228/stat : 15228 (java) S 15204 15207 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6878244 10060525568 45017 33554432000 1073741824 1073778376 140735590204400 139741384111144 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.03 Current children cumulated vsize (KiB) 9824732 heavy processes: [startup+12.7009 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.36 3.36 3.66 3/191 16017 /proc/meminfo: memFree=25150648/32872528 swapFree=7620/7620 [pid=15207] ppid=15204 vsize=9824732 CPUtime=1736.72 cores=1,3,5,7 /proc/15207/stat : 15207 (java) S 15204 15207 8968 0 -1 4202496 41427 0 1 0 172785 887 0 0 20 0 22 0 6878121 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 140735590195536 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15207/statm: 2456183 1008824 2304 9 0 2446860 0 [pid=15207/tid=15209] ppid=15204 vsize=9824732 CPUtime=3.96 cores=1,3,5,7 /proc/15207/task/15209/stat : 15209 (java) S 15204 15207 8968 0 -1 4202560 2477 0 1 0 391 5 0 0 20 0 22 0 6878122 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742309434232 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15210] ppid=15204 vsize=9824732 CPUtime=2.89 cores=1,3,5,7 /proc/15207/task/15210/stat : 15210 (java) S 15204 15207 8968 0 -1 4202560 1104 0 0 0 245 44 0 0 20 0 22 0 6878123 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742270924968 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15211] ppid=15204 vsize=9824732 CPUtime=2.95 cores=1,3,5,7 /proc/15207/task/15211/stat : 15211 (java) S 15204 15207 8968 0 -1 4202560 1088 0 0 0 248 47 0 0 20 0 22 0 6878123 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742269872424 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15212] ppid=15204 vsize=9824732 CPUtime=3.15 cores=1,3,5,7 /proc/15207/task/15212/stat : 15212 (java) S 15204 15207 8968 0 -1 4202560 1144 0 0 0 258 57 0 0 20 0 22 0 6878123 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742268819880 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15213] ppid=15204 vsize=9824732 CPUtime=2.8 cores=1,3,5,7 /proc/15207/task/15213/stat : 15213 (java) S 15204 15207 8968 0 -1 4202560 1134 0 0 0 236 44 0 0 20 0 22 0 6878123 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742267767336 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15214] ppid=15204 vsize=9824732 CPUtime=2.67 cores=1,3,5,7 /proc/15207/task/15214/stat : 15214 (java) S 15204 15207 8968 0 -1 4202560 1107 0 0 0 229 38 0 0 20 0 22 0 6878123 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742266714792 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15215] ppid=15204 vsize=9824732 CPUtime=2.9 cores=1,3,5,7 /proc/15207/task/15215/stat : 15215 (java) S 15204 15207 8968 0 -1 4202560 1130 0 0 0 238 52 0 0 20 0 22 0 6878123 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742265662248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15216] ppid=15204 vsize=9824732 CPUtime=3.08 cores=1,3,5,7 /proc/15207/task/15216/stat : 15216 (java) S 15204 15207 8968 0 -1 4202560 1014 0 0 0 257 51 0 0 20 0 22 0 6878123 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742146456488 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15217] ppid=15204 vsize=9824732 CPUtime=3.06 cores=1,3,5,7 /proc/15207/task/15217/stat : 15217 (java) S 15204 15207 8968 0 -1 4202560 1888 0 0 0 256 50 0 0 20 0 22 0 6878123 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742145403944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15218] ppid=15204 vsize=9824732 CPUtime=6.12 cores=1,3,5,7 /proc/15207/task/15218/stat : 15218 (java) S 15204 15207 8968 0 -1 4202560 3281 0 0 0 602 10 0 0 20 0 22 0 6878125 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742133205096 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15219] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15219/stat : 15219 (java) S 15204 15207 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6878125 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742132151416 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15220] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15220/stat : 15220 (java) S 15204 15207 8968 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 6878125 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139742131098760 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15221] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15221/stat : 15221 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6878127 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139741391481360 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15222] ppid=15204 vsize=9824732 CPUtime=2.06 cores=1,3,5,7 /proc/15207/task/15222/stat : 15222 (java) S 15204 15207 8968 0 -1 4202560 17135 0 0 0 202 4 0 0 20 0 22 0 6878127 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139741390428728 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15223] ppid=15204 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/15207/task/15223/stat : 15223 (java) S 15204 15207 8968 0 -1 4202560 5574 0 0 0 173 1 0 0 20 0 22 0 6878127 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139741389376184 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15224] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15224/stat : 15224 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6878127 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139741388323832 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15225] ppid=15204 vsize=9824732 CPUtime=0.21 cores=1,3,5,7 /proc/15207/task/15225/stat : 15225 (java) S 15204 15207 8968 0 -1 4202560 55 0 0 0 8 13 0 0 20 0 22 0 6878127 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139741387271496 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15879] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15879/stat : 15879 (java) S 15204 15207 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6935586 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139741386216488 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15979] ppid=15204 vsize=9824732 CPUtime=257.43 cores=1,3,5,7 /proc/15207/task/15979/stat : 15979 (java) R 15204 15207 8968 0 -1 4202560 6 0 0 0 25740 3 0 0 20 0 22 0 6946230 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139741385154192 139742147249432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15980] ppid=15204 vsize=9824732 CPUtime=257.4 cores=1,3,5,7 /proc/15207/task/15980/stat : 15980 (java) R 15204 15207 8968 0 -1 4202560 15 0 0 0 25737 3 0 0 20 0 22 0 6946230 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139741384108096 139742147549327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15981] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15981/stat : 15981 (java) S 15204 15207 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6946230 10060525568 1008824 33554432000 1073741824 1073778376 140735590204400 139741383058472 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1736.72 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+973.701 s] /proc/loadavg: 2.20 3.20 3.59 3/191 16019 /proc/meminfo: memFree=25136176/32872528 swapFree=7620/7620 [pid=15207] ppid=15204 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7 /proc/15207/stat : 15207 (java) S 15204 15207 8968 0 -1 4202496 41731 0 1 0 179126 890 0 0 20 0 22 0 6878121 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 140735590195536 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15207/statm: 2456183 1012680 2304 9 0 2446860 0 [pid=15207/tid=15209] ppid=15204 vsize=9824732 CPUtime=3.96 cores=1,3,5,7 /proc/15207/task/15209/stat : 15209 (java) S 15204 15207 8968 0 -1 4202560 2477 0 1 0 391 5 0 0 20 0 22 0 6878122 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742309434232 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15210] ppid=15204 vsize=9824732 CPUtime=3.01 cores=1,3,5,7 /proc/15207/task/15210/stat : 15210 (java) S 15204 15207 8968 0 -1 4202560 1107 0 0 0 257 44 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742270924968 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15211] ppid=15204 vsize=9824732 CPUtime=3.09 cores=1,3,5,7 /proc/15207/task/15211/stat : 15211 (java) S 15204 15207 8968 0 -1 4202560 1099 0 0 0 262 47 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742269872424 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15212] ppid=15204 vsize=9824732 CPUtime=3.33 cores=1,3,5,7 /proc/15207/task/15212/stat : 15212 (java) S 15204 15207 8968 0 -1 4202560 1149 0 0 0 275 58 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742268819880 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15213] ppid=15204 vsize=9824732 CPUtime=2.94 cores=1,3,5,7 /proc/15207/task/15213/stat : 15213 (java) S 15204 15207 8968 0 -1 4202560 1136 0 0 0 249 45 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742267767336 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15214] ppid=15204 vsize=9824732 CPUtime=2.9 cores=1,3,5,7 /proc/15207/task/15214/stat : 15214 (java) S 15204 15207 8968 0 -1 4202560 1181 0 0 0 252 38 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742266714792 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15215] ppid=15204 vsize=9824732 CPUtime=3.05 cores=1,3,5,7 /proc/15207/task/15215/stat : 15215 (java) S 15204 15207 8968 0 -1 4202560 1189 0 0 0 252 53 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742265662248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15216] ppid=15204 vsize=9824732 CPUtime=3.31 cores=1,3,5,7 /proc/15207/task/15216/stat : 15216 (java) S 15204 15207 8968 0 -1 4202560 1089 0 0 0 280 51 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742146456488 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15217] ppid=15204 vsize=9824732 CPUtime=3.19 cores=1,3,5,7 /proc/15207/task/15217/stat : 15217 (java) S 15204 15207 8968 0 -1 4202560 1957 0 0 0 269 50 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742145403944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15218] ppid=15204 vsize=9824732 CPUtime=6.12 cores=1,3,5,7 /proc/15207/task/15218/stat : 15218 (java) S 15204 15207 8968 0 -1 4202560 3283 0 0 0 602 10 0 0 20 0 22 0 6878125 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742133205096 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15219] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15219/stat : 15219 (java) S 15204 15207 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6878125 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742132151416 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15220] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15220/stat : 15220 (java) S 15204 15207 8968 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 6878125 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742131098760 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15221] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15221/stat : 15221 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6878127 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741391481360 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15222] ppid=15204 vsize=9824732 CPUtime=2.06 cores=1,3,5,7 /proc/15207/task/15222/stat : 15222 (java) S 15204 15207 8968 0 -1 4202560 17135 0 0 0 202 4 0 0 20 0 22 0 6878127 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741390428728 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15223] ppid=15204 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/15207/task/15223/stat : 15223 (java) S 15204 15207 8968 0 -1 4202560 5574 0 0 0 173 1 0 0 20 0 22 0 6878127 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741389376184 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15224] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15224/stat : 15224 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6878127 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741388323832 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15225] ppid=15204 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/15207/task/15225/stat : 15225 (java) S 15204 15207 8968 0 -1 4202560 57 0 0 0 8 14 0 0 20 0 22 0 6878127 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741387271496 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15879] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15879/stat : 15879 (java) S 15204 15207 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6935586 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741386216488 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15979] ppid=15204 vsize=9824732 CPUtime=288.5 cores=1,3,5,7 /proc/15207/task/15979/stat : 15979 (java) R 15204 15207 8968 0 -1 4202560 6 0 0 0 28846 4 0 0 20 0 22 0 6946230 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741385161136 139742147884846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15980] ppid=15204 vsize=9824732 CPUtime=288.45 cores=1,3,5,7 /proc/15207/task/15980/stat : 15980 (java) R 15204 15207 8968 0 -1 4202560 17 0 0 0 28841 4 0 0 20 0 22 0 6946230 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741384109008 139742147548402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15981] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15981/stat : 15981 (java) S 15204 15207 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6946230 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741383058472 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 9824732 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 15207 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+973.701 s] /proc/loadavg: 2.20 3.20 3.59 3/191 16019 /proc/meminfo: memFree=25136176/32872528 swapFree=7620/7620 [pid=15207] ppid=15204 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7 /proc/15207/stat : 15207 (java) S 15204 15207 8968 0 -1 4202496 41731 0 1 0 179126 890 0 0 20 0 22 0 6878121 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 140735590195536 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15207/statm: 2456183 1012680 2304 9 0 2446860 0 [pid=15207/tid=15209] ppid=15204 vsize=9824732 CPUtime=3.96 cores=1,3,5,7 /proc/15207/task/15209/stat : 15209 (java) S 15204 15207 8968 0 -1 4202560 2477 0 1 0 391 5 0 0 20 0 22 0 6878122 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742309434232 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15210] ppid=15204 vsize=9824732 CPUtime=3.01 cores=1,3,5,7 /proc/15207/task/15210/stat : 15210 (java) S 15204 15207 8968 0 -1 4202560 1107 0 0 0 257 44 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742270924968 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15211] ppid=15204 vsize=9824732 CPUtime=3.09 cores=1,3,5,7 /proc/15207/task/15211/stat : 15211 (java) S 15204 15207 8968 0 -1 4202560 1099 0 0 0 262 47 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742269872424 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15212] ppid=15204 vsize=9824732 CPUtime=3.33 cores=1,3,5,7 /proc/15207/task/15212/stat : 15212 (java) S 15204 15207 8968 0 -1 4202560 1149 0 0 0 275 58 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742268819880 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15213] ppid=15204 vsize=9824732 CPUtime=2.94 cores=1,3,5,7 /proc/15207/task/15213/stat : 15213 (java) S 15204 15207 8968 0 -1 4202560 1136 0 0 0 249 45 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742267767336 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15214] ppid=15204 vsize=9824732 CPUtime=2.9 cores=1,3,5,7 /proc/15207/task/15214/stat : 15214 (java) S 15204 15207 8968 0 -1 4202560 1181 0 0 0 252 38 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742266714792 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15215] ppid=15204 vsize=9824732 CPUtime=3.05 cores=1,3,5,7 /proc/15207/task/15215/stat : 15215 (java) S 15204 15207 8968 0 -1 4202560 1189 0 0 0 252 53 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742265662248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15216] ppid=15204 vsize=9824732 CPUtime=3.31 cores=1,3,5,7 /proc/15207/task/15216/stat : 15216 (java) S 15204 15207 8968 0 -1 4202560 1089 0 0 0 280 51 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742146456488 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15217] ppid=15204 vsize=9824732 CPUtime=3.19 cores=1,3,5,7 /proc/15207/task/15217/stat : 15217 (java) S 15204 15207 8968 0 -1 4202560 1957 0 0 0 269 50 0 0 20 0 22 0 6878123 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742145403944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15218] ppid=15204 vsize=9824732 CPUtime=6.12 cores=1,3,5,7 /proc/15207/task/15218/stat : 15218 (java) S 15204 15207 8968 0 -1 4202560 3283 0 0 0 602 10 0 0 20 0 22 0 6878125 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742133205096 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15219] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15219/stat : 15219 (java) S 15204 15207 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6878125 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742132151416 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15220] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15220/stat : 15220 (java) S 15204 15207 8968 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 6878125 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139742131098760 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15221] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15221/stat : 15221 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6878127 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741391481360 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15207/tid=15222] ppid=15204 vsize=9824732 CPUtime=2.06 cores=1,3,5,7 /proc/15207/task/15222/stat : 15222 (java) S 15204 15207 8968 0 -1 4202560 17135 0 0 0 202 4 0 0 20 0 22 0 6878127 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741390428728 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15223] ppid=15204 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/15207/task/15223/stat : 15223 (java) S 15204 15207 8968 0 -1 4202560 5574 0 0 0 173 1 0 0 20 0 22 0 6878127 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741389376184 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15224] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15224/stat : 15224 (java) S 15204 15207 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6878127 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741388323832 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15207/tid=15225] ppid=15204 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/15207/task/15225/stat : 15225 (java) S 15204 15207 8968 0 -1 4202560 57 0 0 0 8 14 0 0 20 0 22 0 6878127 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741387271496 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15879] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15879/stat : 15879 (java) S 15204 15207 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6935586 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741386216488 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15979] ppid=15204 vsize=9824732 CPUtime=288.5 cores=1,3,5,7 /proc/15207/task/15979/stat : 15979 (java) R 15204 15207 8968 0 -1 4202560 6 0 0 0 28846 4 0 0 20 0 22 0 6946230 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741385161136 139742147884846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=15207/tid=15980] ppid=15204 vsize=9824732 CPUtime=288.45 cores=1,3,5,7 /proc/15207/task/15980/stat : 15980 (java) R 15204 15207 8968 0 -1 4202560 17 0 0 0 28841 4 0 0 20 0 22 0 6946230 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741384109008 139742147548402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=15207/tid=15981] ppid=15204 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/15207/task/15981/stat : 15981 (java) S 15204 15207 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6946230 10060525568 1012680 33554432000 1073741824 1073778376 140735590204400 139741383058472 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 973.748 CPU time (s): 1800.45 CPU user time (s): 1791.25 CPU system time (s): 9.2006 CPU usage (%): 184.899 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.25 system time used= 9.2006 maximum resident set size= 4079888 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41769 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1072 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28749 involuntary context switches= 24484 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.67598 second user time and 7.13192 second system time The end
Begin job on node106 at 2016-06-30 06:10:20 IDJOB=4119597 IDBENCH=111770 IDSOLVER=2543 FILE ID=node106/4119597-1467259820 RUNJOBID= node106-1467248675-9332 PBS_JOBID= 20004477 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP 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 Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119597-1467259820/watcher-4119597-1467259820 -o /tmp/evaluation-result-4119597-1467259820/solver-4119597-1467259820 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467248675-9332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119597-1467259820.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fc34eea73407c402eaec3a9b26dc254f RANDOM SEED=808115924 node106.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.495 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.99 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.495 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.56 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.495 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.495 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.495 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.56 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.495 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 : 5332.55 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.495 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.55 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.495 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28453520 kB Buffers: 46300 kB Cached: 2861960 kB SwapCached: 0 kB Active: 2951036 kB Inactive: 687684 kB Active(anon): 717104 kB Inactive(anon): 16068 kB Active(file): 2233932 kB Inactive(file): 671616 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 468 kB Writeback: 0 kB AnonPages: 748264 kB Mapped: 23548 kB Shmem: 204 kB Slab: 624164 kB SReclaimable: 67316 kB SUnreclaim: 556848 kB KernelStack: 1816 kB PageTables: 5428 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1743152 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 673792 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= 71748 MiB End job on node106 at 2016-06-30 06:26:34