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) | -3656 | 1800.6 | 935.076 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-19.lin.opb |
| MD5SUM | 16ff716fa738654c81b01a12ed160a6a |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -3661 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| 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 | 3040 |
| Total number of constraints | 6030 |
| Number of constraints which are clauses | 3015 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3015 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 3040 |
| Biggest coefficient in the objective function | 1528 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 254268 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 1528 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 254268 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/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@5d764be1 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@9f436f5 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@4413ee 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@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4118143-1467222795.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.78/0.44 c ... done. Wall clock time 0.322s. 0.78/0.44 c declared #vars 3040 0.78/0.44 c #constraints 6030 0.78/0.44 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.78/0.44 c constraints type 0.78/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3015 0.78/0.44 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3015 0.78/0.44 c 6030 constraints processed. 0.78/0.44 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.78/0.44 c constraints type 0.78/0.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3015 0.78/0.44 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3015 0.78/0.44 c 6030 constraints processed. 0.78/0.44 c objective function length is 3040 literals 1.13/0.52 c And the winner is solver0 1.78/0.95 c SATISFIABLE 1.78/0.95 c OPTIMIZING... 1.78/0.95 c Got one! Elapsed wall clock time (in seconds):0.83 1.78/0.95 o 0 1.92/1.07 c And the winner is solver0 2.44/1.52 c Got one! Elapsed wall clock time (in seconds):1.4 2.44/1.52 o -153 2.44/1.56 c And the winner is solver0 2.63/2.03 c Got one! Elapsed wall clock time (in seconds):1.914 2.63/2.03 o -306 2.63/2.05 c And the winner is solver0 2.80/2.54 c Got one! Elapsed wall clock time (in seconds):2.422 2.80/2.54 o -563 2.80/2.55 c And the winner is solver0 2.85/3.05 c Got one! Elapsed wall clock time (in seconds):2.929 2.85/3.05 o -731 2.85/3.06 c And the winner is solver0 3.00/3.56 c Got one! Elapsed wall clock time (in seconds):3.436 3.00/3.56 o -820 3.00/3.56 c And the winner is solver0 3.02/4.06 c Got one! Elapsed wall clock time (in seconds):3.941 3.02/4.06 o -1140 3.02/4.08 c And the winner is solver0 3.11/4.56 c Got one! Elapsed wall clock time (in seconds):4.446 3.11/4.56 o -1197 3.11/4.58 c And the winner is solver0 3.15/5.07 c Got one! Elapsed wall clock time (in seconds):4.95 3.15/5.07 o -1288 3.15/5.08 c And the winner is solver0 3.15/5.57 c Got one! Elapsed wall clock time (in seconds):5.455 3.15/5.57 o -1323 3.15/5.58 c And the winner is solver0 3.19/6.08 c Got one! Elapsed wall clock time (in seconds):5.959 3.19/6.08 o -1425 3.19/6.09 c And the winner is solver0 3.21/6.58 c Got one! Elapsed wall clock time (in seconds):6.464 3.21/6.58 o -1460 3.21/6.59 c And the winner is solver0 3.21/7.09 c Got one! Elapsed wall clock time (in seconds):6.968 3.21/7.09 o -1810 3.23/7.12 c And the winner is solver0 3.34/7.59 c Got one! Elapsed wall clock time (in seconds):7.472 3.34/7.59 o -1819 3.37/7.62 c And the winner is solver0 3.42/8.10 c Got one! Elapsed wall clock time (in seconds):7.986 3.42/8.10 o -2013 3.42/8.14 c And the winner is solver0 3.50/8.61 c Got one! Elapsed wall clock time (in seconds):8.49 3.50/8.61 o -2135 3.50/8.64 c And the winner is solver0 3.65/9.11 c Got one! Elapsed wall clock time (in seconds):8.994 3.65/9.11 o -2144 3.65/9.13 c And the winner is solver0 3.75/9.62 c Got one! Elapsed wall clock time (in seconds):9.498 3.75/9.62 o -2443 3.98/9.71 c And the winner is solver0 4.08/10.12 c Got one! Elapsed wall clock time (in seconds):10.002 4.08/10.12 o -2451 4.08/10.17 c And the winner is solver0 4.28/10.63 c Got one! Elapsed wall clock time (in seconds):10.506 4.28/10.63 o -2637 4.42/10.75 c And the winner is solver0 4.56/11.13 c Got one! Elapsed wall clock time (in seconds):11.01 4.56/11.13 o -2662 4.56/11.19 c And the winner is solver0 4.76/11.63 c Got one! Elapsed wall clock time (in seconds):11.514 4.76/11.63 o -2667 4.76/11.67 c And the winner is solver0 4.84/12.14 c Got one! Elapsed wall clock time (in seconds):12.018 4.84/12.14 o -2675 4.84/12.16 c And the winner is solver0 4.94/12.64 c Got one! Elapsed wall clock time (in seconds):12.522 4.94/12.64 o -2688 4.94/12.67 c And the winner is solver0 5.00/13.14 c Got one! Elapsed wall clock time (in seconds):13.026 5.00/13.14 o -2758 5.55/13.43 c And the winner is solver0 5.64/13.65 c Got one! Elapsed wall clock time (in seconds):13.53 5.64/13.65 o -2806 5.73/13.71 c And the winner is solver0 5.80/14.15 c Got one! Elapsed wall clock time (in seconds):14.034 5.80/14.15 o -2819 5.80/14.19 c And the winner is solver0 5.93/14.66 c Got one! Elapsed wall clock time (in seconds):14.538 5.93/14.66 o -2836 5.93/14.69 c And the winner is solver0 6.05/15.16 c Got one! Elapsed wall clock time (in seconds):15.042 6.05/15.16 o -2873 6.05/15.19 c And the winner is solver0 6.18/15.66 c Got one! Elapsed wall clock time (in seconds):15.546 6.18/15.66 o -2885 6.24/15.71 c And the winner is solver0 6.35/16.17 c Got one! Elapsed wall clock time (in seconds):16.05 6.35/16.17 o -2889 6.39/16.21 c And the winner is solver0 6.49/16.67 c Got one! Elapsed wall clock time (in seconds):16.554 6.49/16.67 o -2891 6.49/16.68 c And the winner is solver0 6.49/17.18 c Got one! Elapsed wall clock time (in seconds):17.058 6.49/17.18 o -2894 6.49/17.19 c And the winner is solver0 6.54/17.68 c Got one! Elapsed wall clock time (in seconds):17.562 6.54/17.68 o -2907 6.54/17.69 c And the winner is solver0 6.54/18.19 c Got one! Elapsed wall clock time (in seconds):18.065 6.54/18.19 o -2974 7.62/18.76 c And the winner is solver0 7.76/19.19 c Got one! Elapsed wall clock time (in seconds):19.069 7.76/19.19 o -2994 7.99/19.30 c And the winner is solver0 8.14/19.69 c Got one! Elapsed wall clock time (in seconds):19.573 8.14/19.69 o -3010 8.15/19.76 c And the winner is solver0 8.31/20.20 c Got one! Elapsed wall clock time (in seconds):20.077 8.31/20.20 o -3023 8.31/20.24 c And the winner is solver0 8.44/20.70 c Got one! Elapsed wall clock time (in seconds):20.581 8.44/20.70 o -3031 8.44/20.72 c And the winner is solver0 8.55/21.20 c Got one! Elapsed wall clock time (in seconds):21.085 8.55/21.20 o -3061 8.74/21.33 c And the winner is solver0 8.86/21.71 c Got one! Elapsed wall clock time (in seconds):21.589 8.86/21.71 o -3072 8.86/21.75 c And the winner is solver0 8.99/22.21 c Got one! Elapsed wall clock time (in seconds):22.094 8.99/22.21 o -3086 9.19/22.33 c And the winner is solver0 9.33/22.72 c Got one! Elapsed wall clock time (in seconds):22.597 9.33/22.72 o -3188 10.60/23.32 c And the winner is solver0 10.66/23.72 c Got one! Elapsed wall clock time (in seconds):23.602 10.66/23.72 o -3189 11.44/24.19 c And the winner is solver0 11.63/24.22 c Got one! Elapsed wall clock time (in seconds):24.105 11.63/24.22 o -3191 11.63/24.28 c And the winner is solver0 11.77/24.73 c Got one! Elapsed wall clock time (in seconds):24.61 11.77/24.73 o -3197 11.77/24.76 c And the winner is solver0 11.89/25.24 c Got one! Elapsed wall clock time (in seconds):25.114 11.89/25.24 o -3201 11.89/25.26 c And the winner is solver0 11.95/25.74 c Got one! Elapsed wall clock time (in seconds):25.618 11.95/25.74 o -3250 13.28/26.50 c And the winner is solver0 13.49/26.74 c Got one! Elapsed wall clock time (in seconds):26.622 13.49/26.74 o -3254 13.60/26.87 c And the winner is solver0 13.95/27.24 c Got one! Elapsed wall clock time (in seconds):27.126 13.95/27.24 o -3257 14.25/27.50 c And the winner is solver0 14.50/27.75 c Got one! Elapsed wall clock time (in seconds):27.631 14.50/27.75 o -3279 16.93/28.96 c cleaning 5106 clauses out of 10217 with flag 4001/10217 19.42/30.18 c And the winner is solver0 19.61/30.26 c Got one! Elapsed wall clock time (in seconds):30.135 19.61/30.26 o -3292 20.73/30.82 c And the winner is solver0 20.79/31.26 c Got one! Elapsed wall clock time (in seconds):31.139 20.79/31.26 o -3294 21.09/31.42 c And the winner is solver0 21.16/31.76 c Got one! Elapsed wall clock time (in seconds):31.644 21.16/31.76 o -3299 21.23/31.83 c And the winner is solver0 21.35/32.27 c Got one! Elapsed wall clock time (in seconds):32.148 21.35/32.27 o -3300 21.40/32.34 c And the winner is solver0 21.55/32.77 c Got one! Elapsed wall clock time (in seconds):32.652 21.55/32.77 o -3307 21.60/32.81 c And the winner is solver0 21.71/33.27 c Got one! Elapsed wall clock time (in seconds):33.156 21.71/33.27 o -3315 21.71/33.29 c And the winner is solver0 21.77/33.78 c Got one! Elapsed wall clock time (in seconds):33.66 21.77/33.78 o -3322 21.77/33.79 c And the winner is solver0 21.77/34.28 c Got one! Elapsed wall clock time (in seconds):34.165 21.77/34.28 o -3323 21.77/34.29 c And the winner is solver0 21.79/34.79 c Got one! Elapsed wall clock time (in seconds):34.669 21.79/34.79 o -3334 21.80/34.89 c And the winner is solver0 22.02/35.29 c Got one! Elapsed wall clock time (in seconds):35.174 22.02/35.29 o -3350 22.04/35.36 c And the winner is solver0 22.21/35.80 c Got one! Elapsed wall clock time (in seconds):35.678 22.21/35.80 o -3365 22.21/35.89 c And the winner is solver0 22.42/36.30 c Got one! Elapsed wall clock time (in seconds):36.183 22.42/36.30 o -3377 23.40/36.89 c And the winner is solver0 23.70/37.31 c Got one! Elapsed wall clock time (in seconds):37.187 23.70/37.31 o -3382 23.70/37.38 c And the winner is solver0 24.02/37.81 c Got one! Elapsed wall clock time (in seconds):37.691 24.02/37.81 o -3386 24.19/37.93 c And the winner is solver0 24.28/38.31 c Got one! Elapsed wall clock time (in seconds):38.196 24.28/38.31 o -3388 25.04/38.70 c And the winner is solver0 25.11/38.82 c Got one! Elapsed wall clock time (in seconds):38.7 25.11/38.82 o -3407 26.06/39.39 c cleaning 6147 clauses out of 12296 with flag 2001/17402 29.53/41.06 c And the winner is solver0 29.68/41.32 c Got one! Elapsed wall clock time (in seconds):41.205 29.68/41.32 o -3408 32.09/42.53 c cleaning 5608 clauses out of 11215 with flag 4002/22468 32.09/42.56 c And the winner is solver0 32.25/42.83 c Got one! Elapsed wall clock time (in seconds):42.709 32.25/42.83 o -3423 32.98/43.21 c And the winner is solver0 33.04/43.33 c Got one! Elapsed wall clock time (in seconds):43.214 33.04/43.33 o -3429 33.16/43.42 c And the winner is solver0 33.30/43.84 c Got one! Elapsed wall clock time (in seconds):43.718 33.30/43.84 o -3430 33.42/43.93 c And the winner is solver0 33.56/44.35 c Got one! Elapsed wall clock time (in seconds):44.223 33.56/44.35 o -3434 33.56/44.39 c And the winner is solver0 33.67/44.85 c Got one! Elapsed wall clock time (in seconds):44.727 33.67/44.85 o -3438 33.67/44.88 c And the winner is solver0 33.76/45.35 c Got one! Elapsed wall clock time (in seconds):45.232 33.76/45.35 o -3449 33.76/45.37 c And the winner is solver0 33.82/45.86 c Got one! Elapsed wall clock time (in seconds):45.737 33.82/45.86 o -3452 33.90/45.99 c And the winner is solver0 34.11/46.36 c Got one! Elapsed wall clock time (in seconds):46.241 34.11/46.36 o -3455 34.58/46.62 c And the winner is solver0 34.66/46.86 c Got one! Elapsed wall clock time (in seconds):46.746 34.66/46.86 o -3483 34.72/46.94 c And the winner is solver0 34.86/47.37 c Got one! Elapsed wall clock time (in seconds):47.25 34.86/47.37 o -3486 35.56/47.77 c And the winner is solver0 35.73/47.87 c Got one! Elapsed wall clock time (in seconds):47.755 35.73/47.87 o -3488 40.01/50.10 c And the winner is solver0 40.24/50.38 c Got one! Elapsed wall clock time (in seconds):50.26 40.24/50.38 o -3490 41.28/50.98 c cleaning 6736 clauses out of 13473 with flag 2044/30334 41.88/51.27 c And the winner is solver0 42.06/51.38 c Got one! Elapsed wall clock time (in seconds):51.264 42.06/51.38 o -3497 43.85/52.26 c And the winner is solver0 44.02/52.39 c Got one! Elapsed wall clock time (in seconds):52.269 44.02/52.39 o -3506 44.44/52.64 c And the winner is solver0 44.61/52.89 c Got one! Elapsed wall clock time (in seconds):52.774 44.61/52.89 o -3522 49.04/55.12 c cleaning 6609 clauses out of 13217 with flag 8003/36814 55.72/58.49 c cleaning 6303 clauses out of 12608 with flag 20003/42814 62.91/62.04 c And the winner is solver0 63.06/62.40 c Got one! Elapsed wall clock time (in seconds):62.28 63.06/62.40 o -3529 68.54/65.10 c And the winner is solver0 68.65/65.40 c Got one! Elapsed wall clock time (in seconds):65.286 68.65/65.40 o -3542 69.84/66.02 c cleaning 8999 clauses out of 18001 with flag 2039/54510 71.22/66.72 c And the winner is solver0 71.31/66.91 c Got one! Elapsed wall clock time (in seconds):66.791 71.31/66.91 o -3543 72.08/67.34 c And the winner is solver0 72.22/67.41 c Got one! Elapsed wall clock time (in seconds):67.296 72.22/67.41 o -3546 72.22/67.43 c And the winner is solver0 72.23/67.92 c Got one! Elapsed wall clock time (in seconds):67.801 72.23/67.92 o -3548 72.38/68.04 c And the winner is solver0 72.76/68.43 c Got one! Elapsed wall clock time (in seconds):68.306 72.76/68.43 o -3556 72.76/68.44 c And the winner is solver0 72.79/68.93 c Got one! Elapsed wall clock time (in seconds):68.811 72.79/68.93 o -3559 74.12/69.64 c And the winner is solver0 74.28/69.94 c Got one! Elapsed wall clock time (in seconds):69.817 74.28/69.94 o -3573 77.61/71.66 c cleaning 7746 clauses out of 15493 with flag 6066/61001 83.24/74.45 c And the winner is solver0 83.44/74.94 c Got one! Elapsed wall clock time (in seconds):74.823 83.44/74.94 o -3579 84.55/75.52 c cleaning 6756 clauses out of 13516 with flag 2003/66770 91.44/78.96 c cleaning 6380 clauses out of 12760 with flag 14003/72770 100.06/83.35 c cleaning 6687 clauses out of 13380 with flag 28003/79770 108.45/87.53 c And the winner is solver0 108.58/87.68 c Got one! Elapsed wall clock time (in seconds):87.558 108.58/87.68 o -3587 114.51/90.68 c cleaning 9426 clauses out of 18852 with flag 10326/91929 121.51/94.14 c cleaning 7713 clauses out of 15425 with flag 22524/97928 122.31/94.60 c And the winner is solver0 122.62/94.73 c Got one! Elapsed wall clock time (in seconds):94.614 122.62/94.73 o -3592 127.85/97.30 c And the winner is solver0 127.92/97.74 c Got one! Elapsed wall clock time (in seconds):97.621 127.92/97.74 o -3593 129.03/98.32 c cleaning 6938 clauses out of 13886 with flag 2039/104102 133.23/100.49 c And the winner is solver0 133.52/100.75 c Got one! Elapsed wall clock time (in seconds):100.627 133.52/100.75 o -3597 135.61/101.90 c cleaning 6454 clauses out of 12911 with flag 4077/110065 138.01/103.02 c And the winner is solver0 138.15/103.25 c Got one! Elapsed wall clock time (in seconds):103.133 138.15/103.25 o -3600 141.43/104.98 c cleaning 5756 clauses out of 11517 with flag 6277/115125 144.32/106.36 c And the winner is solver0 144.60/106.76 c Got one! Elapsed wall clock time (in seconds):106.639 144.60/106.76 o -3601 147.87/108.46 c cleaning 5730 clauses out of 11460 with flag 6087/120824 148.67/108.83 c And the winner is solver0 148.87/109.26 c Got one! Elapsed wall clock time (in seconds):109.145 148.87/109.26 o -3605 149.53/109.60 c And the winner is solver0 149.64/109.77 c Got one! Elapsed wall clock time (in seconds):109.651 149.64/109.77 o -3619 149.89/109.95 c And the winner is solver0 150.17/110.28 c Got one! Elapsed wall clock time (in seconds):110.157 150.17/110.28 o -3624 155.41/112.93 c cleaning 6173 clauses out of 12347 with flag 10259/127441 161.66/116.09 c cleaning 6079 clauses out of 12174 with flag 22463/133441 165.27/117.82 c And the winner is solver0 165.44/118.28 c Got one! Elapsed wall clock time (in seconds):118.164 165.44/118.28 o -3626 167.46/119.37 c cleaning 5758 clauses out of 11523 with flag 4030/138869 174.07/122.69 c cleaning 5880 clauses out of 11765 with flag 16066/144869 182.18/126.66 c cleaning 6442 clauses out of 12884 with flag 30114/151868 190.79/130.98 c cleaning 7220 clauses out of 14443 with flag 46116/159869 201.48/136.21 c cleaning 8112 clauses out of 16223 with flag 64211/168869 212.68/141.83 c cleaning 9053 clauses out of 18110 with flag 84213/178868 225.40/148.14 c cleaning 10028 clauses out of 20057 with flag 106244/189868 241.29/156.36 c cleaning 11011 clauses out of 22030 with flag 130375/201869 256.35/163.89 c cleaning 12009 clauses out of 24018 with flag 156373/214868 260.96/166.14 c And the winner is solver0 261.28/166.57 c Got one! Elapsed wall clock time (in seconds):166.447 261.28/166.57 o -3629 262.34/167.16 c cleaning 8641 clauses out of 17290 with flag 2098/220149 269.15/170.60 c cleaning 7321 clauses out of 14648 with flag 14444/226148 277.01/174.47 c cleaning 7161 clauses out of 14328 with flag 28863/233149 286.00/178.98 c cleaning 7583 clauses out of 15166 with flag 45081/241148 295.74/183.78 c cleaning 8292 clauses out of 16584 with flag 63594/250149 306.73/189.21 c cleaning 9144 clauses out of 18292 with flag 84144/260149 319.10/195.32 c cleaning 10072 clauses out of 20147 with flag 106615/271148 330.35/200.89 c And the winner is solver0 330.68/201.14 c Got one! Elapsed wall clock time (in seconds):201.018 330.68/201.14 o -3636 336.59/204.20 c cleaning 12700 clauses out of 25401 with flag 10001/286474 343.79/207.76 c cleaning 9346 clauses out of 18701 with flag 22001/292474 352.44/211.95 c cleaning 8171 clauses out of 16356 with flag 36003/299475 361.84/216.62 c cleaning 8092 clauses out of 16185 with flag 52003/307475 372.43/221.99 c cleaning 8541 clauses out of 17092 with flag 70001/316474 384.45/228.28 c cleaning 9273 clauses out of 18552 with flag 90003/326475 396.45/234.22 c cleaning 10136 clauses out of 20278 with flag 112001/337474 410.72/241.31 c cleaning 11066 clauses out of 22142 with flag 136001/349474 426.45/249.16 c cleaning 12037 clauses out of 24077 with flag 162003/362475 442.92/257.32 c cleaning 13018 clauses out of 26040 with flag 190003/376475 461.78/266.70 c cleaning 14010 clauses out of 28022 with flag 220003/391475 481.66/276.63 c cleaning 15004 clauses out of 30011 with flag 252001/407474 502.13/286.80 c cleaning 16002 clauses out of 32008 with flag 286763/424475 520.48/295.96 c And the winner is solver0 520.93/296.39 c Got one! Elapsed wall clock time (in seconds):296.269 520.93/296.39 o -3637 527.83/299.89 c cleaning 18514 clauses out of 37028 with flag 10021/445497 535.36/303.56 c cleaning 12254 clauses out of 24513 with flag 22040/451496 544.15/307.95 c cleaning 9627 clauses out of 19260 with flag 36099/458497 548.77/310.22 c And the winner is solver0 549.18/310.65 c Got one! Elapsed wall clock time (in seconds):310.529 549.18/310.65 o -3640 550.62/311.32 c cleaning 7361 clauses out of 14733 with flag 2085/463597 557.61/314.80 c cleaning 6682 clauses out of 13371 with flag 14508/469596 558.21/315.19 c And the winner is solver0 558.82/315.66 c Got one! Elapsed wall clock time (in seconds):315.538 558.82/315.66 o -3641 564.31/318.46 c cleaning 6183 clauses out of 12374 with flag 10294/475281 570.83/321.62 c cleaning 6092 clauses out of 12192 with flag 22313/481282 578.03/325.21 c cleaning 6549 clauses out of 13100 with flag 36337/488282 586.82/329.64 c cleaning 7275 clauses out of 14550 with flag 52335/496281 597.34/334.87 c cleaning 8133 clauses out of 16275 with flag 70398/505281 608.31/340.24 c cleaning 9071 clauses out of 18143 with flag 90400/515282 620.11/346.10 c cleaning 10033 clauses out of 20071 with flag 112398/526281 634.33/353.20 c cleaning 11019 clauses out of 22038 with flag 136398/538281 650.51/361.24 c cleaning 12009 clauses out of 24020 with flag 162400/551282 667.72/369.80 c cleaning 13005 clauses out of 26010 with flag 190398/565281 685.88/378.70 c cleaning 13998 clauses out of 28005 with flag 220921/580281 704.69/388.07 c cleaning 15002 clauses out of 30008 with flag 253855/596282 725.55/398.34 c cleaning 16001 clauses out of 32005 with flag 288687/613281 748.91/410.74 c cleaning 17002 clauses out of 34004 with flag 325900/631281 771.78/422.10 c cleaning 17999 clauses out of 36003 with flag 364015/650282 773.18/422.84 c And the winner is solver0 773.95/423.54 c Got one! Elapsed wall clock time (in seconds):423.42 773.95/423.54 o -3649 778.99/426.08 c cleaning 11710 clauses out of 23430 with flag 8397/655708 786.19/429.66 c cleaning 8853 clauses out of 17721 with flag 20613/661709 794.14/433.55 c cleaning 7928 clauses out of 15867 with flag 34705/668708 802.75/437.84 c cleaning 7966 clauses out of 15940 with flag 50783/676709 813.21/443.06 c cleaning 8483 clauses out of 16974 with flag 68870/685709 824.41/448.63 c cleaning 9245 clauses out of 18491 with flag 88939/695709 836.95/454.88 c cleaning 10120 clauses out of 20246 with flag 110980/706709 852.03/462.23 c cleaning 11058 clauses out of 22126 with flag 134980/718709 866.83/469.64 c cleaning 12032 clauses out of 24067 with flag 161092/731708 883.59/477.93 c cleaning 13015 clauses out of 26036 with flag 189304/745709 903.10/487.67 c cleaning 14007 clauses out of 28020 with flag 219391/760708 923.58/497.81 c cleaning 15006 clauses out of 30013 with flag 251699/776708 944.60/508.25 c cleaning 16000 clauses out of 32008 with flag 286235/793709 958.49/515.13 c And the winner is solver0 959.22/515.81 c Got one! Elapsed wall clock time (in seconds):515.694 959.22/515.81 o -3656 965.99/519.27 c cleaning 16446 clauses out of 32897 with flag 10103/810598 973.70/523.06 c cleaning 11221 clauses out of 22452 with flag 22228/816599 981.90/527.18 c cleaning 9111 clauses out of 18230 with flag 36320/823598 991.38/531.82 c cleaning 8554 clauses out of 17119 with flag 52379/831598 1001.59/536.93 c cleaning 8779 clauses out of 17565 with flag 70406/840598 1013.45/542.87 c cleaning 9392 clauses out of 18786 with flag 90454/850598 1026.53/549.35 c cleaning 10192 clauses out of 20394 with flag 112496/861598 1040.41/556.23 c cleaning 11097 clauses out of 22202 with flag 136531/873598 1054.21/563.16 c cleaning 12050 clauses out of 24105 with flag 162531/886598 1069.31/570.68 c cleaning 13028 clauses out of 26055 with flag 190531/900598 1086.65/579.26 c cleaning 14013 clauses out of 28027 with flag 220531/915598 1106.03/588.80 c cleaning 15005 clauses out of 30014 with flag 252531/931598 1126.62/599.04 c cleaning 15999 clauses out of 32009 with flag 287414/948598 1148.59/609.91 c cleaning 17004 clauses out of 34010 with flag 324547/966598 1174.00/623.35 c cleaning 18000 clauses out of 36006 with flag 363914/985598 1198.28/635.48 c cleaning 19001 clauses out of 38007 with flag 404734/1005599 1226.49/649.40 c cleaning 20001 clauses out of 40005 with flag 447293/1026598 1257.14/664.62 c cleaning 21001 clauses out of 42004 with flag 491880/1048598 1286.49/679.23 c cleaning 21999 clauses out of 44004 with flag 538022/1071599 1317.77/694.61 c cleaning 23002 clauses out of 46005 with flag 586046/1095599 1353.70/712.36 c cleaning 24000 clauses out of 48003 with flag 636302/1120599 1391.59/732.04 c cleaning 24995 clauses out of 50002 with flag 689100/1146598 1428.98/750.64 c cleaning 25997 clauses out of 52007 with flag 743704/1173598 1468.53/770.29 c cleaning 27004 clauses out of 54011 with flag 800818/1201599 1510.88/791.16 c cleaning 28001 clauses out of 56006 with flag 860272/1230598 1553.62/812.23 c cleaning 28997 clauses out of 58005 with flag 920899/1260598 1599.33/834.80 c cleaning 29999 clauses out of 60008 with flag 983116/1291598 1645.36/857.46 c cleaning 30998 clauses out of 62010 with flag 1047509/1323599 1694.87/883.09 c cleaning 32003 clauses out of 64012 with flag 1113849/1356599 1743.74/907.32 c cleaning 33002 clauses out of 66009 with flag 1182539/1390599 1793.70/931.85 c cleaning 34000 clauses out of 68006 with flag 1253161/1425598 1800.10/935.01 c >>>>>>>>>> Solver number 0 (109 answers) <<<<<<<<<<<<<<<<<< 1800.10/935.01 c starts : 2066 1800.10/935.01 c conflicts : 1430791 1800.10/935.01 c decisions : 1471037 1800.10/935.01 c propagations : 341735195 1800.10/935.01 c inspects : 4190272867 1800.10/935.01 c shortcuts : 0 1800.10/935.01 c learnt literals : 0 1800.10/935.01 c learnt binary clauses : 0 1800.10/935.01 c learnt ternary clauses : 10 1800.10/935.01 c learnt constraints : 1430791 1800.10/935.01 c ignored constraints : 0 1800.10/935.01 c root simplifications : 0 1800.10/935.01 c removed literals (reason simplification) : 175192299 1800.10/935.01 c reason swapping (by a shorter reason) : 0 1800.10/935.01 c Calls to reduceDB : 112 1800.10/935.01 c Number of update (reduction) of LBD : 2486 1800.10/935.01 c Imported unit clauses : 0 1800.10/935.01 c number of reductions to clauses (during analyze) : 0 1800.10/935.01 c number of learned constraints concerned by reduction : 0 1800.10/935.01 c number of learning phase by resolution : 0 1800.10/935.01 c number of learning phase by cutting planes : 0 1800.10/935.01 c speed (assignments/second) : 365671.6987269686 1800.10/935.01 c non guided choices 0 1800.10/935.03 c learnt constraints type 1800.10/935.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39199 1800.10/935.03 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.10/935.03 c starts : 131 1800.10/935.03 c conflicts : 3465 1800.10/935.03 c decisions : 6020 1800.10/935.03 c propagations : 1258840 1800.10/935.03 c inspects : 673189895 1800.10/935.03 c shortcuts : 0 1800.10/935.03 c learnt literals : 0 1800.10/935.03 c learnt binary clauses : 0 1800.10/935.03 c learnt ternary clauses : 0 1800.10/935.03 c learnt constraints : 3369 1800.10/935.03 c ignored constraints : 0 1800.10/935.03 c root simplifications : 0 1800.10/935.03 c removed literals (reason simplification) : 0 1800.10/935.03 c reason swapping (by a shorter reason) : 0 1800.10/935.03 c Calls to reduceDB : 0 1800.10/935.03 c Number of update (reduction) of LBD : 0 1800.10/935.03 c Imported unit clauses : 0 1800.10/935.03 c number of reductions to clauses (during analyze) : 0 1800.10/935.03 c number of learned constraints concerned by reduction : 0 1800.10/935.03 c number of learning phase by resolution : 0 1800.10/935.03 c number of learning phase by cutting planes : 0 1800.10/935.03 c speed (assignments/second) : 3002.926968905428 1800.10/935.03 c non guided choices 0 1800.10/935.03 c learnt constraints type 1800.10/935.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3369 1800.10/935.03 s SATISFIABLE 1800.10/935.03 c Found 109 solution(s) 1800.10/935.04 v x1 x2 -x3 x4 -x5 x6 x7 x8 x9 x10 x11 -x12 x13 -x14 -x15 x16 x17 -x18 -x19 -x20 x21 x22 -x23 x24 -x25 -x26 -x27 -x28 x29 x30 x31 x32 x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 x59 -x60 x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 x88 x89 -x90 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 x159 x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 x259 x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 x300 x301 x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 x387 x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 x458 x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 x905 x906 x907 x908 x909 x910 -x911 x912 -x913 -x914 x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 x937 x938 x939 x940 x941 -x942 x943 -x944 -x945 x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 x965 x966 x967 x968 -x969 x970 -x971 -x972 x973 x974 -x975 -x976 x977 x978 x979 x980 -x981 x982 -x983 -x984 x985 x986 -x987 -x988 x989 x990 x991 -x992 x993 -x994 x995 x996 -x997 -x998 x999 x1000 -x1001 x1002 -x1003 -x1004 x1005 -x1006 -x1007 x1008 -x1009 x1010 -x1011 -x1012 x1013 x1014 -x1015 -x1016 x1017 -x1018 -x1019 x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 x1071 x1072 x1073 x1074 x1075 -x1076 x1077 -x1078 -x1079 x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 x1101 x1102 x1103 x1104 -x1105 x1106 -x1107 -x1108 x1109 x1110 -x1111 -x1112 -x1113 x1114 x1115 x1116 x1117 -x1118 x1119 -x1120 -x1121 x1122 x1123 -x1124 -x1125 -x1126 x1127 x1128 x1129 -x1130 x1131 -x1132 -x1133 x1134 x1135 -x1136 -x1137 -x1138 x1139 x1140 -x1141 x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 x1149 -x1150 x1151 -x1152 -x1153 x1154 x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 x1370 x1371 x1372 x1373 -x1374 x1375 -x1376 -x1377 x1378 x1379 -x1380 -x1381 -x1382 x1383 x1384 x1385 x1386 x1387 x1388 -x1389 x1390 -x1391 -x1392 x1393 x1394 -x1395 -x1396 -x1397 x1398 x1399 x1400 x1401 x1402 -x1403 x1404 -x1405 -x1406 x1407 x1408 -x1409 -x1410 -x1411 x1412 x1413 x1414 x1415 -x1416 x1417 -x1418 -x1419 x1420 x1421 -x1422 -x1423 -x1424 x1425 x1426 x1427 -x1428 x1429 -x1430 -x1431 x1432 x1433 -x1434 -x1435 -x1436 x1437 x1438 -x1439 x1440 -x1441 -x1442 x1443 x1444 -x1445 -x1446 x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 -x1484 x1485 x1486 -x1487 -x1488 -x1489 x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 x1653 x1654 x1655 -x1656 x1657 -x1658 -x1659 x1660 x1661 -x1662 -x1663 -x1664 x1665 x1666 -x1667 x1668 x1669 x1670 x1671 -x1672 x1673 -x1674 -x1675 x1676 x1677 -x1678 -x1679 -x1680 x1681 x1682 -x1683 x1684 x1685 x1686 -x1687 x1688 -x1689 -x1690 x1691 x1692 -x1693 -x1694 -x1695 x1696 x1697 -x1698 x1699 x1700 -x1701 x1702 -x1703 -x1704 x1705 x1706 -x1707 -x1708 -x1709 x1710 x1711 -x1712 x1713 -x1714 x1715 -x1716 -x1717 x1718 x1719 -x1720 -x1721 -x1722 x1723 x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 x1742 -x1743 -x1744 x1745 x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 x1770 x1771 -x1772 x1773 -x1774 -x1775 -x1776 x1777 x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 x1798 -x1799 x1800 -x1801 x1802 x1803 x1804 -x1805 x1806 -x1807 -x1808 x1809 x1810 -x1811 -x1812 -x1813 x1814 x1815 -x1816 x1817 -x1818 x1819 x1820 -x1821 x1822 -x1823 -x1824 x1825 x1826 -x1827 -x1828 -x1829 x1830 x1831 -x1832 x1833 -x1834 x1835 -x1836 x1837 -x1838 -x1839 x1840 x1841 -x1842 -x1843 -x1844 x1845 x1846 -x1847 x1848 -x1849 -x1850 x1851 -x1852 -x1853 x1854 x1855 -x1856 -x1857 -x1858 x1859 x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 x1880 -x1881 -x1882 -x1883 x1884 x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 x1912 x1913 -x1914 x1915 -x1916 -x1917 -x1918 x1919 x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 x1952 x1953 -x1954 x1955 -x1956 -x1957 x1958 x1959 -x1960 -x1961 -x1962 x1963 x1964 -x1965 x1966 -x1967 x1968 -x1969 x1970 -x1971 -x1972 x1973 x1974 -x1975 -x1976 -x1977 x1978 x1979 -x1980 x1981 -x1982 -x1983 x1984 -x1985 -x1986 x1987 x1988 -x1989 -x1990 -x1991 x1992 x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 x2013 -x2014 -x2015 -x2016 x2017 x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x2053 x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 x2088 -x2089 -x2090 x2091 x2092 -x2093 -x2094 -x2095 x2096 x2097 -x2098 x2099 -x2100 -x2101 x2102 -x2103 -x2104 x2105 x2106 -x2107 -x2108 -x2109 x2110 x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 x2131 -x2132 -x2133 -x2134 x2135 x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 x2165 x2166 x2167 -x2168 -x2169 -x2170 -x2171 x2172 x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 x2196 -x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 x2208 x2209 -x2210 -x2211 -x2212 x2213 x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 x2234 -x2235 -x2236 -x2237 x2238 x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 x2268 x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 x2324 -x2325 -x2326 -x2327 x2328 x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 x2358 x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 x2366 x2367 -x2368 x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 x2501 x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 x2509 x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 x2646 -x2647 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 x2764 -x2765 x2766 x2767 x2768 x2769 x2770 x2771 -x2772 x2773 -x2774 -x2775 x2776 x2777 -x2778 -x2779 -x2780 x2781 -x2782 x2783 x2784 x2785 x2786 x2787 x2788 -x2789 x2790 -x2791 -x2792 x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 x2818 x2819 x2820 x2821 x2822 -x2823 x2824 -x2825 -x2826 x2827 x2828 -x2829 -x2830 -x2831 x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 x2852 x2853 x2854 x2855 x2856 -x2857 x2858 -x2859 -x2860 x2861 x2862 -x2863 -x2864 -x2865 x2866 x2867 -x2868 x2869 x2870 x2871 x2872 x2873 -x2874 x2875 -x2876 -x2877 x2878 x2879 -x2880 -x2881 -x2882 x2883 x2884 -x2885 x2886 -x2887 x2888 x2889 x2890 -x2891 x2892 -x2893 -x2894 x2895 x2896 -x2897 -x2898 -x2899 x2900 x2901 -x2902 x2903 -x2904 x2905 x2906 -x2907 x2908 -x2909 -x2910 x2911 x2912 -x2913 -x2914 -x2915 x2916 x2917 -x2918 x2919 -x2920 x2921 -x2922 x2923 -x2924 -x2925 x2926 x2927 -x2928 -x2929 -x2930 x2931 x2932 -x2933 x2934 -x2935 -x2936 x2937 -x2938 -x2939 x2940 x2941 -x2942 -x2943 -x2944 x2945 x2946 -x2947 x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 x2965 x2966 -x2967 -x2968 -x2969 x2970 x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 x3000 x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 x3008 x3009 -x3010 x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 x3033 -x3034 -x3035 x3036 -x3037 -x3038 -x3039 -x3040 1800.10/935.05 c objective function=-3656 1800.10/935.05 c Total wall clock time (in seconds): 934.927
OK -3656
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-4118143-1467222795/watcher-4118143-1467222795 -o /tmp/evaluation-result-4118143-1467222795/solver-4118143-1467222795 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118143-1467222795.opb pid=10126 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.92 4.03 3.76 5/197 10129 /proc/meminfo: memFree=25676188/32872528 swapFree=1499084/1695308 [pid=10129] ppid=10126 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/10129/stat : 10129 (java) R 10126 10129 5962 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3230770 9515008 164 33554432000 1073741824 1073778376 140734284894880 140734284892008 225444318976 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10129/statm: 2323 174 131 9 0 71 0 [startup+0.100165 s] /proc/loadavg: 3.92 4.03 3.76 5/197 10129 /proc/meminfo: memFree=25676188/32872528 swapFree=1499084/1695308 [pid=10129] ppid=10126 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/10129/stat : 10129 (java) S 10126 10129 5962 0 -1 4202496 4417 0 1 0 8 1 0 0 20 0 18 0 3230770 9787879424 6050 33554432000 1073741824 1073778376 140734284894880 140734284886016 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10129/statm: 2389619 6050 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200342 s] /proc/loadavg: 3.92 4.03 3.76 5/197 10129 /proc/meminfo: memFree=25676188/32872528 swapFree=1499084/1695308 [pid=10129] ppid=10126 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/10129/stat : 10129 (java) S 10126 10129 5962 0 -1 4202496 4970 0 1 0 26 1 0 0 20 0 18 0 3230770 9787879424 7484 33554432000 1073741824 1073778376 140734284894880 140734284886016 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10129/statm: 2389619 7484 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300231 s] /proc/loadavg: 3.92 4.03 3.76 5/197 10129 /proc/meminfo: memFree=25676188/32872528 swapFree=1499084/1695308 [pid=10129] ppid=10126 vsize=9558476 CPUtime=0.5 cores=0,2,4,6 /proc/10129/stat : 10129 (java) S 10126 10129 5962 0 -1 4202496 7378 0 1 0 48 2 0 0 20 0 18 0 3230770 9787879424 9803 33554432000 1073741824 1073778376 140734284894880 140734284886016 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10129/statm: 2389619 9803 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700183 s] /proc/loadavg: 3.92 4.03 3.76 5/197 10129 /proc/meminfo: memFree=25676188/32872528 swapFree=1499084/1695308 [pid=10129] ppid=10126 vsize=9824732 CPUtime=1.58 cores=0,2,4,6 /proc/10129/stat : 10129 (java) S 10126 10129 5962 0 -1 4202496 20408 0 1 0 152 6 0 0 20 0 19 0 3230770 10060525568 23694 33554432000 1073741824 1073778376 140734284894880 140734284886016 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10129/statm: 2456183 23694 2263 9 0 2446860 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 3.92 4.03 3.76 7/217 10154 /proc/meminfo: memFree=25580052/32872528 swapFree=1499084/1695308 [pid=10129] ppid=10126 vsize=9824732 CPUtime=2.44 cores=0,2,4,6 /proc/10129/stat : 10129 (java) S 10126 10129 5962 0 -1 4202496 23240 0 1 0 235 9 0 0 20 0 19 0 3230770 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140734284886016 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10129/statm: 2456183 25997 2266 9 0 2446860 0 [pid=10129/tid=10131] ppid=10126 vsize=9824732 CPUtime=0.48 cores=0,2,4,6 /proc/10129/task/10131/stat : 10131 (java) S 10126 10129 5962 0 -1 4202560 2500 0 1 0 47 1 0 0 20 0 19 0 3230771 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140145124766584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10132] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10132/stat : 10132 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144968317864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10133] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10133/stat : 10133 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144967265320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10134] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10134/stat : 10134 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144966212264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=10135] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10135/stat : 10135 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144965159720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10136] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10136/stat : 10136 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144964106664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10137] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10137/stat : 10137 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144963054120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10138] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10138/stat : 10138 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144962001064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10139] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10139/stat : 10139 (java) S 10126 10129 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144960948520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10140] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10140/stat : 10140 (java) S 10126 10129 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3230773 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144948751208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10141] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10141/stat : 10141 (java) S 10126 10129 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3230773 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144947697528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10142] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10142/stat : 10142 (java) S 10126 10129 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3230773 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144946644360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10143] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10143/stat : 10143 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230776 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144945593104 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10144] ppid=10126 vsize=9824732 CPUtime=0.83 cores=0,2,4,6 /proc/10129/task/10144/stat : 10144 (java) S 10126 10129 5962 0 -1 4202560 10101 0 0 0 81 2 0 0 20 0 19 0 3230776 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144944539960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10145] ppid=10126 vsize=9824732 CPUtime=0.81 cores=0,2,4,6 /proc/10129/task/10145/stat : 10145 (java) S 10126 10129 5962 0 -1 4202560 9287 0 0 0 79 2 0 0 20 0 19 0 3230776 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144943487416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=10146] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10146/stat : 10146 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230776 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144942434552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10147] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10147/stat : 10147 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230776 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144941382216 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10151] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10151/stat : 10151 (java) S 10126 10129 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3230816 10060525568 25997 33554432000 1073741824 1073778376 140734284894880 140144937170344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.44 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 3.92 4.03 3.76 4/216 10160 /proc/meminfo: memFree=25567408/32872528 swapFree=1499084/1695308 [pid=10129] ppid=10126 vsize=9824732 CPUtime=2.98 cores=0,2,4,6 /proc/10129/stat : 10129 (java) S 10126 10129 5962 0 -1 4202496 23482 0 1 0 283 15 0 0 20 0 19 0 3230770 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140734284886016 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10129/statm: 2456183 32745 2276 9 0 2446860 0 [pid=10129/tid=10131] ppid=10126 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/10129/task/10131/stat : 10131 (java) S 10126 10129 5962 0 -1 4202560 2506 0 1 0 50 2 0 0 20 0 19 0 3230771 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140145124766584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10132] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10132/stat : 10132 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144968317864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10133] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10133/stat : 10133 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144967265320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10134] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10134/stat : 10134 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144966212264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=10135] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10135/stat : 10135 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144965159720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10136] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10136/stat : 10136 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144964106664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10137] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10137/stat : 10137 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144963054120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10138] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10138/stat : 10138 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144962001064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10139] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10139/stat : 10139 (java) S 10126 10129 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144960948520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10140] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10140/stat : 10140 (java) S 10126 10129 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3230773 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144948751208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10141] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10141/stat : 10141 (java) S 10126 10129 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3230773 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144947697528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10142] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10142/stat : 10142 (java) S 10126 10129 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3230773 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144946644360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10143] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10143/stat : 10143 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230776 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144945593104 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10144] ppid=10126 vsize=9824732 CPUtime=0.99 cores=0,2,4,6 /proc/10129/task/10144/stat : 10144 (java) S 10126 10129 5962 0 -1 4202560 10108 0 0 0 97 2 0 0 20 0 19 0 3230776 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144944539960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10145] ppid=10126 vsize=9824732 CPUtime=1.01 cores=0,2,4,6 /proc/10129/task/10145/stat : 10145 (java) R 10126 10129 5962 0 -1 4202560 9482 0 0 0 99 2 0 0 20 0 19 0 3230776 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144943487416 140145128883666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=10146] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10146/stat : 10146 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230776 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144942434552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10147] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10147/stat : 10147 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230776 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144941382216 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10151] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10151/stat : 10151 (java) S 10126 10129 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3230816 10060525568 32745 33554432000 1073741824 1073778376 140734284894880 140144937170344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.98 Current children cumulated vsize (KiB) 9824732 [startup+6.30082 s] /proc/loadavg: 3.77 4.00 3.75 3/216 10178 /proc/meminfo: memFree=25536788/32872528 swapFree=1499084/1695308 [pid=10129] ppid=10126 vsize=9824732 CPUtime=3.21 cores=0,2,4,6 /proc/10129/stat : 10129 (java) S 10126 10129 5962 0 -1 4202496 23669 0 1 0 300 21 0 0 20 0 19 0 3230770 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140734284886016 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10129/statm: 2456183 40621 2277 9 0 2446860 0 [pid=10129/tid=10131] ppid=10126 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/10129/task/10131/stat : 10131 (java) S 10126 10129 5962 0 -1 4202560 2511 0 1 0 53 2 0 0 20 0 19 0 3230771 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140145124766584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10132] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10132/stat : 10132 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144968317864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10133] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10133/stat : 10133 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144967265320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10134] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10134/stat : 10134 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144966212264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=10135] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10135/stat : 10135 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144965159720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10136] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10136/stat : 10136 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144964106664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10137] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10137/stat : 10137 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144963054120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10138] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10138/stat : 10138 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144962001064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10139] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10139/stat : 10139 (java) S 10126 10129 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3230772 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144960948520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10140] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10140/stat : 10140 (java) S 10126 10129 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3230773 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144948751208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10141] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10141/stat : 10141 (java) S 10126 10129 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3230773 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144947697528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10142] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10142/stat : 10142 (java) S 10126 10129 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3230773 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144946644360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10143] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10143/stat : 10143 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230776 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144945593104 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10144] ppid=10126 vsize=9824732 CPUtime=1.03 cores=0,2,4,6 /proc/10129/task/10144/stat : 10144 (java) S 10126 10129 5962 0 -1 4202560 10110 0 0 0 101 2 0 0 20 0 19 0 3230776 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144944539960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10145] ppid=10126 vsize=9824732 CPUtime=1.04 cores=0,2,4,6 /proc/10129/task/10145/stat : 10145 (java) S 10126 10129 5962 0 -1 4202560 9591 0 0 0 102 2 0 0 20 0 19 0 3230776 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144943487416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=10146] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10146/stat : 10146 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230776 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144942434552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10147] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10147/stat : 10147 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3230776 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144941382216 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10151] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10151/stat : 10151 (java) S 10126 10129 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3230816 10060525568 40621 33554432000 1073741824 1073778376 140734284894880 140144937170344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.21 Current children cumulated vsize (KiB) 9824732 heavy processes: ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 4.17 4.18 3.91 5/219 11056 /proc/meminfo: memFree=20705608/32872528 swapFree=1499084/1695308 [pid=10129] ppid=10126 vsize=9824732 CPUtime=1574.03 cores=0,2,4,6 /proc/10129/stat : 10129 (java) S 10126 10129 5962 0 -1 4202496 37647 0 1 0 156905 498 0 0 20 0 22 0 3230770 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140734284886016 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10129/statm: 2456183 1042290 2303 9 0 2446860 0 [pid=10129/tid=10131] ppid=10126 vsize=9824732 CPUtime=1.01 cores=0,2,4,6 /proc/10129/task/10131/stat : 10131 (java) S 10126 10129 5962 0 -1 4202560 2532 0 1 0 98 3 0 0 20 0 22 0 3230771 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140145124766584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10132] ppid=10126 vsize=9824732 CPUtime=3.12 cores=0,2,4,6 /proc/10129/task/10132/stat : 10132 (java) S 10126 10129 5962 0 -1 4202560 934 0 0 0 281 31 0 0 20 0 22 0 3230772 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144968317864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10133] ppid=10126 vsize=9824732 CPUtime=3.37 cores=0,2,4,6 /proc/10129/task/10133/stat : 10133 (java) S 10126 10129 5962 0 -1 4202560 998 0 0 0 310 27 0 0 20 0 22 0 3230772 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144967265320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10134] ppid=10126 vsize=9824732 CPUtime=3.49 cores=0,2,4,6 /proc/10129/task/10134/stat : 10134 (java) S 10126 10129 5962 0 -1 4202560 847 0 0 0 325 24 0 0 20 0 22 0 3230772 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144966212264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10135] ppid=10126 vsize=9824732 CPUtime=3.17 cores=0,2,4,6 /proc/10129/task/10135/stat : 10135 (java) S 10126 10129 5962 0 -1 4202560 733 0 0 0 290 27 0 0 20 0 22 0 3230772 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144965159720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10136] ppid=10126 vsize=9824732 CPUtime=3.29 cores=0,2,4,6 /proc/10129/task/10136/stat : 10136 (java) S 10126 10129 5962 0 -1 4202560 1405 0 0 0 294 35 0 0 20 0 22 0 3230772 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144964106664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10137] ppid=10126 vsize=9824732 CPUtime=3.55 cores=0,2,4,6 /proc/10129/task/10137/stat : 10137 (java) S 10126 10129 5962 0 -1 4202560 1110 0 0 0 325 30 0 0 20 0 22 0 3230772 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144963054120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10138] ppid=10126 vsize=9824732 CPUtime=3.35 cores=0,2,4,6 /proc/10129/task/10138/stat : 10138 (java) S 10126 10129 5962 0 -1 4202560 976 0 0 0 301 34 0 0 20 0 22 0 3230772 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144962001064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=10139] ppid=10126 vsize=9824732 CPUtime=3.59 cores=0,2,4,6 /proc/10129/task/10139/stat : 10139 (java) S 10126 10129 5962 0 -1 4202560 1310 0 0 0 324 35 0 0 20 0 22 0 3230772 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144960948520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10140] ppid=10126 vsize=9824732 CPUtime=7.32 cores=0,2,4,6 /proc/10129/task/10140/stat : 10140 (java) S 10126 10129 5962 0 -1 4202560 2981 0 0 0 721 11 0 0 20 0 22 0 3230773 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144948751208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10141] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10141/stat : 10141 (java) S 10126 10129 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3230773 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144947697528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10142] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10142/stat : 10142 (java) S 10126 10129 5962 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 3230773 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144946644360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10143] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10143/stat : 10143 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3230776 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144945593104 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10144] ppid=10126 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/10129/task/10144/stat : 10144 (java) S 10126 10129 5962 0 -1 4202560 10138 0 0 0 147 2 0 0 20 0 22 0 3230776 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144944539960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10145] ppid=10126 vsize=9824732 CPUtime=1.66 cores=0,2,4,6 /proc/10129/task/10145/stat : 10145 (java) S 10126 10129 5962 0 -1 4202560 9872 0 0 0 164 2 0 0 20 0 22 0 3230776 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144943487416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10146] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10146/stat : 10146 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3230776 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144942434552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10147] ppid=10126 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/10129/task/10147/stat : 10147 (java) S 10126 10129 5962 0 -1 4202560 47 0 0 0 11 15 0 0 20 0 22 0 3230776 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144941382216 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10151] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10151/stat : 10151 (java) S 10126 10129 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3230816 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144937170344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=11032] ppid=10126 vsize=9824732 CPUtime=299.64 cores=0,2,4,6 /proc/10129/task/11032/stat : 11032 (java) R 10126 10129 5962 0 -1 4202560 14 0 0 0 29958 6 0 0 20 0 22 0 3282352 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144940326048 140144997417799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=11033] ppid=10126 vsize=9824732 CPUtime=299.69 cores=0,2,4,6 /proc/10129/task/11033/stat : 11033 (java) R 10126 10129 5962 0 -1 4202560 22 0 0 0 29965 4 0 0 20 0 22 0 3282352 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144938221600 140144997467971 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=11034] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/11034/stat : 11034 (java) S 10126 10129 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3282352 10060525568 1042290 33554432000 1073741824 1073778376 140734284894880 140144939275560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1574.03 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.45 4.28 3.96 5/219 11058 /proc/meminfo: memFree=20466096/32872528 swapFree=1499084/1695308 [pid=10129] ppid=10126 vsize=9824732 CPUtime=1693.49 cores=0,2,4,6 /proc/10129/stat : 10129 (java) S 10126 10129 5962 0 -1 4202496 38458 0 1 0 168827 522 0 0 20 0 22 0 3230770 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140734284886016 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10129/statm: 2456183 1102060 2303 9 0 2446860 0 [pid=10129/tid=10131] ppid=10126 vsize=9824732 CPUtime=1.02 cores=0,2,4,6 /proc/10129/task/10131/stat : 10131 (java) S 10126 10129 5962 0 -1 4202560 2534 0 1 0 98 4 0 0 20 0 22 0 3230771 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140145124766584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10132] ppid=10126 vsize=9824732 CPUtime=3.46 cores=0,2,4,6 /proc/10129/task/10132/stat : 10132 (java) S 10126 10129 5962 0 -1 4202560 1014 0 0 0 313 33 0 0 20 0 22 0 3230772 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144968317864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10133] ppid=10126 vsize=9824732 CPUtime=3.74 cores=0,2,4,6 /proc/10129/task/10133/stat : 10133 (java) S 10126 10129 5962 0 -1 4202560 1067 0 0 0 345 29 0 0 20 0 22 0 3230772 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144967265320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10134] ppid=10126 vsize=9824732 CPUtime=4.07 cores=0,2,4,6 /proc/10129/task/10134/stat : 10134 (java) S 10126 10129 5962 0 -1 4202560 927 0 0 0 378 29 0 0 20 0 22 0 3230772 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144966212264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10135] ppid=10126 vsize=9824732 CPUtime=3.5 cores=0,2,4,6 /proc/10129/task/10135/stat : 10135 (java) S 10126 10129 5962 0 -1 4202560 791 0 0 0 320 30 0 0 20 0 22 0 3230772 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144965159720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=10136] ppid=10126 vsize=9824732 CPUtime=3.58 cores=0,2,4,6 /proc/10129/task/10136/stat : 10136 (java) S 10126 10129 5962 0 -1 4202560 1458 0 0 0 322 36 0 0 20 0 22 0 3230772 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144964106664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=10137] ppid=10126 vsize=9824732 CPUtime=3.97 cores=0,2,4,6 /proc/10129/task/10137/stat : 10137 (java) S 10126 10129 5962 0 -1 4202560 1155 0 0 0 365 32 0 0 20 0 22 0 3230772 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144963054120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10138] ppid=10126 vsize=9824732 CPUtime=3.75 cores=0,2,4,6 /proc/10129/task/10138/stat : 10138 (java) S 10126 10129 5962 0 -1 4202560 1049 0 0 0 339 36 0 0 20 0 22 0 3230772 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144962001064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10139] ppid=10126 vsize=9824732 CPUtime=3.94 cores=0,2,4,6 /proc/10129/task/10139/stat : 10139 (java) S 10126 10129 5962 0 -1 4202560 1352 0 0 0 356 38 0 0 20 0 22 0 3230772 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144960948520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10140] ppid=10126 vsize=9824732 CPUtime=9.35 cores=0,2,4,6 /proc/10129/task/10140/stat : 10140 (java) S 10126 10129 5962 0 -1 4202560 3280 0 0 0 923 12 0 0 20 0 22 0 3230773 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144948751208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10141] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10141/stat : 10141 (java) S 10126 10129 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3230773 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144947697528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10142] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10142/stat : 10142 (java) S 10126 10129 5962 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 3230773 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144946644360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10143] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10143/stat : 10143 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3230776 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144945593104 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10144] ppid=10126 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/10129/task/10144/stat : 10144 (java) S 10126 10129 5962 0 -1 4202560 10138 0 0 0 147 2 0 0 20 0 22 0 3230776 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144944539960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10145] ppid=10126 vsize=9824732 CPUtime=1.66 cores=0,2,4,6 /proc/10129/task/10145/stat : 10145 (java) S 10126 10129 5962 0 -1 4202560 9872 0 0 0 164 2 0 0 20 0 22 0 3230776 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144943487416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10146] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10146/stat : 10146 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3230776 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144942434552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10147] ppid=10126 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/10129/task/10147/stat : 10147 (java) S 10126 10129 5962 0 -1 4202560 51 0 0 0 13 16 0 0 20 0 22 0 3230776 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144941382216 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10151] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10151/stat : 10151 (java) S 10126 10129 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3230816 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144937170344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=11032] ppid=10126 vsize=9824732 CPUtime=356.81 cores=0,2,4,6 /proc/10129/task/11032/stat : 11032 (java) R 10126 10129 5962 0 -1 4202560 14 0 0 0 35674 7 0 0 20 0 22 0 3282352 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144940326048 140144998016975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=11033] ppid=10126 vsize=9824732 CPUtime=356.85 cores=0,2,4,6 /proc/10129/task/11033/stat : 11033 (java) R 10126 10129 5962 0 -1 4202560 28 0 0 0 35680 5 0 0 20 0 22 0 3282352 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144938221552 140144997489575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=11034] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/11034/stat : 11034 (java) S 10126 10129 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3282352 10060525568 1102060 33554432000 1073741824 1073778376 140734284894880 140144939275560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1693.49 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+935.001 s] /proc/loadavg: 4.81 4.37 4.01 5/219 11058 /proc/meminfo: memFree=20417016/32872528 swapFree=1499084/1695308 [pid=10129] ppid=10126 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6 /proc/10129/stat : 10129 (java) S 10126 10129 5962 0 -1 4202496 38975 0 1 0 179483 527 0 0 20 0 22 0 3230770 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140734284886016 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10129/statm: 2456183 1114270 2303 9 0 2446860 0 [pid=10129/tid=10131] ppid=10126 vsize=9824732 CPUtime=1.02 cores=0,2,4,6 /proc/10129/task/10131/stat : 10131 (java) S 10126 10129 5962 0 -1 4202560 2535 0 1 0 98 4 0 0 20 0 22 0 3230771 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140145124766584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10132] ppid=10126 vsize=9824732 CPUtime=3.77 cores=0,2,4,6 /proc/10129/task/10132/stat : 10132 (java) S 10126 10129 5962 0 -1 4202560 1014 0 0 0 344 33 0 0 20 0 22 0 3230772 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144968317864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=10133] ppid=10126 vsize=9824732 CPUtime=3.93 cores=0,2,4,6 /proc/10129/task/10133/stat : 10133 (java) S 10126 10129 5962 0 -1 4202560 1070 0 0 0 364 29 0 0 20 0 22 0 3230772 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144967265320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10134] ppid=10126 vsize=9824732 CPUtime=4.31 cores=0,2,4,6 /proc/10129/task/10134/stat : 10134 (java) S 10126 10129 5962 0 -1 4202560 937 0 0 0 401 30 0 0 20 0 22 0 3230772 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144966212264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10135] ppid=10126 vsize=9824732 CPUtime=3.83 cores=0,2,4,6 /proc/10129/task/10135/stat : 10135 (java) S 10126 10129 5962 0 -1 4202560 822 0 0 0 353 30 0 0 20 0 22 0 3230772 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144965159720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10136] ppid=10126 vsize=9824732 CPUtime=3.96 cores=0,2,4,6 /proc/10129/task/10136/stat : 10136 (java) S 10126 10129 5962 0 -1 4202560 1637 0 0 0 359 37 0 0 20 0 22 0 3230772 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144964106664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10137] ppid=10126 vsize=9824732 CPUtime=4.33 cores=0,2,4,6 /proc/10129/task/10137/stat : 10137 (java) S 10126 10129 5962 0 -1 4202560 1176 0 0 0 401 32 0 0 20 0 22 0 3230772 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144963054120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10138] ppid=10126 vsize=9824732 CPUtime=4.15 cores=0,2,4,6 /proc/10129/task/10138/stat : 10138 (java) S 10126 10129 5962 0 -1 4202560 1192 0 0 0 378 37 0 0 20 0 22 0 3230772 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144962001064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10139] ppid=10126 vsize=9824732 CPUtime=4.29 cores=0,2,4,6 /proc/10129/task/10139/stat : 10139 (java) S 10126 10129 5962 0 -1 4202560 1466 0 0 0 390 39 0 0 20 0 22 0 3230772 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144960948520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10140] ppid=10126 vsize=9824732 CPUtime=9.36 cores=0,2,4,6 /proc/10129/task/10140/stat : 10140 (java) S 10126 10129 5962 0 -1 4202560 3286 0 0 0 924 12 0 0 20 0 22 0 3230773 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144948751208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10141] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10141/stat : 10141 (java) S 10126 10129 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3230773 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144947697528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10142] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10142/stat : 10142 (java) S 10126 10129 5962 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 3230773 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144946644360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=10143] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10143/stat : 10143 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3230776 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144945593104 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10144] ppid=10126 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/10129/task/10144/stat : 10144 (java) S 10126 10129 5962 0 -1 4202560 10138 0 0 0 147 2 0 0 20 0 22 0 3230776 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144944539960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10129/tid=10145] ppid=10126 vsize=9824732 CPUtime=1.66 cores=0,2,4,6 /proc/10129/task/10145/stat : 10145 (java) S 10126 10129 5962 0 -1 4202560 9872 0 0 0 164 2 0 0 20 0 22 0 3230776 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144943487416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10146] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10146/stat : 10146 (java) S 10126 10129 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3230776 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144942434552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=10147] ppid=10126 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/10129/task/10147/stat : 10147 (java) S 10126 10129 5962 0 -1 4202560 55 0 0 0 14 17 0 0 20 0 22 0 3230776 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144941382216 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=10151] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/10151/stat : 10151 (java) S 10126 10129 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3230816 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144937170344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10129/tid=11032] ppid=10126 vsize=9824732 CPUtime=408.84 cores=0,2,4,6 /proc/10129/task/11032/stat : 11032 (java) R 10126 10129 5962 0 -1 4202560 15 0 0 0 40876 8 0 0 20 0 22 0 3282352 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144940319120 140144997907858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10129/tid=11033] ppid=10126 vsize=9824732 CPUtime=408.87 cores=0,2,4,6 /proc/10129/task/11033/stat : 11033 (java) R 10126 10129 5962 0 -1 4202560 32 0 0 0 40881 6 0 0 20 0 22 0 3282352 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144938221600 140144997467971 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=10129/tid=11034] ppid=10126 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10129/task/11034/stat : 11034 (java) S 10126 10129 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3282352 10060525568 1114270 33554432000 1073741824 1073778376 140734284894880 140144939275560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 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 10129 sig 9 ??? kill -10129 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 935.076 CPU time (s): 1800.6 CPU user time (s): 1795 CPU system time (s): 5.60115 CPU usage (%): 192.562 Max. virtual memory (cumulated for all children) (KiB): 9826240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795 system time used= 5.60115 maximum resident set size= 4457192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39011 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27371 involuntary context switches= 34420 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.96209 second user time and 7.73582 second system time The end
Begin job on node137 at 2016-06-29 19:53:15 IDJOB=4118143 IDBENCH=111461 IDSOLVER=2543 FILE ID=node137/4118143-1467222795 RUNJOBID= node137-1467212962-6646 PBS_JOBID= 19997573 Free space on /tmp= 71692 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-19.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118143-1467222795/watcher-4118143-1467222795 -o /tmp/evaluation-result-4118143-1467222795/solver-4118143-1467222795 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118143-1467222795.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 16ff716fa738654c81b01a12ed160a6a RANDOM SEED=1749910991 node137.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.265 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.53 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.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 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.53 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.265 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.265 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 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.265 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.54 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.265 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: 25676204 kB Buffers: 98780 kB Cached: 1788524 kB SwapCached: 0 kB Active: 3072924 kB Inactive: 1681972 kB Active(anon): 2870276 kB Inactive(anon): 4 kB Active(file): 202648 kB Inactive(file): 1681968 kB Unevictable: 1695308 kB Mlocked: 1499084 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1244 kB Writeback: 0 kB AnonPages: 4583356 kB Mapped: 22248 kB Shmem: 204 kB Slab: 608376 kB SReclaimable: 52572 kB SUnreclaim: 555804 kB KernelStack: 1808 kB PageTables: 13392 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5078668 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3031040 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= 71692 MiB End job on node137 at 2016-06-29 20:08:50