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) | -996 | 1800.19 | 956.272 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-10.lin.opb |
| MD5SUM | 97ab9db877b63a63c316f183597a0e7a |
| 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 | -1001 |
| Best CPU time to get the best result obtained on this benchmark | 1800.11 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2053 |
| Total number of constraints | 4026 |
| Number of constraints which are clauses | 2013 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2013 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 2053 |
| Biggest coefficient in the objective function | 220 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 63240 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 220 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 63240 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.04/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.11 c See www.sat4j.org for details. 0.04/0.12 c version PB16.v20160501 0.04/0.12 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.12 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.12 c java.vm.version 19.1-b02 0.04/0.12 c java.vm.vendor Sun Microsystems Inc. 0.04/0.12 c sun.arch.data.model 64 0.04/0.12 c java.version 1.6.0_24 0.04/0.12 c os.name Linux 0.04/0.12 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.12 c os.arch amd64 0.04/0.12 c Free memory 501472288 0.04/0.12 c Max memory 7480803328 0.04/0.12 c Total memory 504102912 0.04/0.12 c Number of processors 8 0.04/0.15 c Pseudo Boolean Optimization by upper bound 0.04/0.15 c ManyCore solver with 2 solvers running in parallel 0.04/0.15 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.04/0.15 c --- Begin Solver configuration --- 0.04/0.15 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.04/0.15 c Learn all clauses as in MiniSAT 0.04/0.15 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.04/0.15 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.04/0.15 c Expensive reason simplification 0.04/0.15 c Glucose 2.1 dynamic restart strategy 0.04/0.15 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.04/0.15 c timeout=2147483s 0.04/0.15 c DB Simplification allowed=false 0.04/0.15 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.04/0.15 c --- End Solver configuration --- 0.04/0.15 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.04/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.04/0.15 c --- Begin Solver configuration --- 0.04/0.15 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.04/0.15 c Learn all clauses as in MiniSAT 0.04/0.15 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.04/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.04/0.15 c No reason simplification 0.04/0.15 c Armin Biere (Picosat) restarts strategy 0.04/0.15 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.04/0.15 c timeout=2147483s 0.04/0.15 c DB Simplification allowed=false 0.04/0.15 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.04/0.15 c --- End Solver configuration --- 0.04/0.15 c solving HOME/instance-4118926-1467237956.opb 0.04/0.15 c reading problem ... 0.04/0.15 c objective function found 0.70/0.43 c ... done. Wall clock time 0.282s. 0.70/0.43 c declared #vars 2053 0.70/0.43 c #constraints 4026 0.70/0.43 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.70/0.43 c constraints type 0.70/0.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2013 0.70/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2013 0.70/0.43 c 4026 constraints processed. 0.70/0.43 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.70/0.43 c constraints type 0.70/0.43 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2013 0.70/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2013 0.70/0.43 c 4026 constraints processed. 0.70/0.43 c objective function length is 2053 literals 0.70/0.48 c And the winner is solver0 1.03/0.94 c SATISFIABLE 1.03/0.94 c OPTIMIZING... 1.03/0.94 c Got one! Elapsed wall clock time (in seconds):0.789 1.03/0.94 o 0 1.23/1.01 c And the winner is solver0 1.65/1.48 c Got one! Elapsed wall clock time (in seconds):1.331 1.65/1.48 o -18 1.72/1.50 c And the winner is solver0 1.75/1.99 c Got one! Elapsed wall clock time (in seconds):1.844 1.75/1.99 o -36 1.77/2.01 c And the winner is solver0 1.92/2.50 c Got one! Elapsed wall clock time (in seconds):2.351 1.92/2.50 o -61 1.92/2.51 c And the winner is solver0 1.97/3.00 c Got one! Elapsed wall clock time (in seconds):2.857 1.97/3.00 o -82 1.97/3.02 c And the winner is solver0 2.09/3.51 c Got one! Elapsed wall clock time (in seconds):3.361 2.09/3.51 o -86 2.09/3.51 c And the winner is solver0 2.19/4.01 c Got one! Elapsed wall clock time (in seconds):3.865 2.19/4.01 o -111 2.19/4.02 c And the winner is solver0 2.23/4.52 c Got one! Elapsed wall clock time (in seconds):4.369 2.23/4.52 o -116 2.23/4.52 c And the winner is solver0 2.24/5.02 c Got one! Elapsed wall clock time (in seconds):4.872 2.24/5.02 o -141 2.24/5.04 c And the winner is solver0 2.31/5.52 c Got one! Elapsed wall clock time (in seconds):5.375 2.31/5.52 o -146 2.31/5.53 c And the winner is solver0 2.31/6.03 c Got one! Elapsed wall clock time (in seconds):5.878 2.31/6.03 o -172 2.31/6.04 c And the winner is solver0 2.37/6.53 c Got one! Elapsed wall clock time (in seconds):6.381 2.37/6.53 o -177 2.37/6.54 c And the winner is solver0 2.37/7.03 c Got one! Elapsed wall clock time (in seconds):6.884 2.37/7.03 o -178 2.37/7.04 c And the winner is solver0 2.38/7.54 c Got one! Elapsed wall clock time (in seconds):7.387 2.38/7.54 o -203 2.38/7.55 c And the winner is solver0 2.50/8.04 c Got one! Elapsed wall clock time (in seconds):7.89 2.50/8.04 o -204 2.50/8.05 c And the winner is solver0 2.61/8.54 c Got one! Elapsed wall clock time (in seconds):8.393 2.61/8.54 o -209 2.61/8.55 c And the winner is solver0 2.62/9.04 c Got one! Elapsed wall clock time (in seconds):8.896 2.62/9.04 o -210 2.62/9.05 c And the winner is solver0 2.62/9.55 c Got one! Elapsed wall clock time (in seconds):9.398 2.62/9.55 o -214 2.62/9.57 c And the winner is solver0 2.70/10.05 c Got one! Elapsed wall clock time (in seconds):9.901 2.70/10.05 o -225 2.70/10.06 c And the winner is solver0 2.71/10.55 c Got one! Elapsed wall clock time (in seconds):10.404 2.71/10.55 o -227 2.71/10.56 c And the winner is solver0 2.73/11.05 c Got one! Elapsed wall clock time (in seconds):10.907 2.73/11.05 o -229 2.73/11.06 c And the winner is solver0 2.76/11.56 c Got one! Elapsed wall clock time (in seconds):11.41 2.76/11.56 o -232 2.76/11.56 c And the winner is solver0 2.77/12.06 c Got one! Elapsed wall clock time (in seconds):11.913 2.77/12.06 o -234 2.77/12.07 c And the winner is solver0 2.77/12.56 c Got one! Elapsed wall clock time (in seconds):12.416 2.77/12.56 o -235 2.77/12.57 c And the winner is solver0 2.77/13.07 c Got one! Elapsed wall clock time (in seconds):12.918 2.77/13.07 o -236 2.77/13.09 c And the winner is solver0 2.95/13.57 c Got one! Elapsed wall clock time (in seconds):13.421 2.95/13.57 o -238 2.95/13.58 c And the winner is solver0 2.98/14.07 c Got one! Elapsed wall clock time (in seconds):13.924 2.98/14.07 o -243 2.98/14.08 c And the winner is solver0 3.01/14.58 c Got one! Elapsed wall clock time (in seconds):14.427 3.01/14.58 o -244 3.01/14.58 c And the winner is solver0 3.02/15.08 c Got one! Elapsed wall clock time (in seconds):14.93 3.02/15.08 o -254 3.05/15.14 c And the winner is solver0 3.22/15.58 c Got one! Elapsed wall clock time (in seconds):15.433 3.22/15.58 o -262 3.26/15.60 c And the winner is solver0 3.44/16.08 c Got one! Elapsed wall clock time (in seconds):15.936 3.44/16.08 o -267 3.44/16.10 c And the winner is solver0 3.51/16.59 c Got one! Elapsed wall clock time (in seconds):16.439 3.51/16.59 o -268 3.51/16.59 c And the winner is solver0 3.51/17.09 c Got one! Elapsed wall clock time (in seconds):16.942 3.51/17.09 o -269 3.52/17.10 c And the winner is solver0 3.53/17.59 c Got one! Elapsed wall clock time (in seconds):17.445 3.53/17.59 o -271 3.55/17.62 c And the winner is solver0 3.63/18.10 c Got one! Elapsed wall clock time (in seconds):17.947 3.63/18.10 o -276 3.63/18.12 c And the winner is solver0 3.68/18.60 c Got one! Elapsed wall clock time (in seconds):18.45 3.68/18.60 o -278 3.68/18.61 c And the winner is solver0 3.69/19.10 c Got one! Elapsed wall clock time (in seconds):18.953 3.69/19.10 o -290 3.69/19.16 c And the winner is solver0 3.86/19.60 c Got one! Elapsed wall clock time (in seconds):19.456 3.86/19.60 o -293 3.86/19.63 c And the winner is solver0 3.94/20.11 c Got one! Elapsed wall clock time (in seconds):19.959 3.94/20.11 o -294 3.94/20.12 c And the winner is solver0 4.01/20.61 c Got one! Elapsed wall clock time (in seconds):20.462 4.01/20.61 o -298 4.01/20.63 c And the winner is solver0 4.09/21.11 c Got one! Elapsed wall clock time (in seconds):20.965 4.09/21.11 o -301 4.09/21.12 c And the winner is solver0 4.14/21.62 c Got one! Elapsed wall clock time (in seconds):21.468 4.14/21.62 o -303 4.14/21.63 c And the winner is solver0 4.21/22.12 c Got one! Elapsed wall clock time (in seconds):21.97 4.21/22.12 o -307 4.21/22.17 c And the winner is solver0 4.34/22.62 c Got one! Elapsed wall clock time (in seconds):22.473 4.34/22.62 o -308 4.34/22.65 c And the winner is solver0 4.43/23.13 c Got one! Elapsed wall clock time (in seconds):22.98 4.43/23.13 o -310 4.43/23.14 c And the winner is solver0 4.43/23.63 c Got one! Elapsed wall clock time (in seconds):23.483 4.43/23.63 o -312 4.43/23.66 c And the winner is solver0 4.51/24.13 c Got one! Elapsed wall clock time (in seconds):23.986 4.51/24.13 o -313 4.90/24.40 c And the winner is solver0 5.14/24.64 c Got one! Elapsed wall clock time (in seconds):24.489 5.14/24.64 o -322 5.14/24.67 c And the winner is solver0 5.23/25.14 c Got one! Elapsed wall clock time (in seconds):24.992 5.23/25.14 o -326 5.23/25.17 c And the winner is solver0 5.32/25.64 c Got one! Elapsed wall clock time (in seconds):25.495 5.32/25.64 o -328 5.32/25.66 c And the winner is solver0 5.47/26.14 c Got one! Elapsed wall clock time (in seconds):25.998 5.47/26.14 o -335 5.47/26.17 c And the winner is solver0 5.55/26.65 c Got one! Elapsed wall clock time (in seconds):26.5 5.55/26.65 o -337 5.55/26.69 c And the winner is solver0 5.65/27.15 c Got one! Elapsed wall clock time (in seconds):27.003 5.65/27.15 o -344 5.74/27.22 c And the winner is solver0 5.85/27.65 c Got one! Elapsed wall clock time (in seconds):27.506 5.85/27.65 o -346 5.93/27.71 c And the winner is solver0 6.00/28.16 c Got one! Elapsed wall clock time (in seconds):28.009 6.00/28.16 o -363 6.50/28.42 c And the winner is solver0 6.57/28.66 c Got one! Elapsed wall clock time (in seconds):28.512 6.57/28.66 o -367 6.66/28.78 c And the winner is solver0 6.85/29.16 c Got one! Elapsed wall clock time (in seconds):29.015 6.85/29.16 o -368 6.95/29.29 c And the winner is solver0 7.19/29.67 c Got one! Elapsed wall clock time (in seconds):29.518 7.19/29.67 o -370 7.19/29.69 c And the winner is solver0 7.27/30.17 c Got one! Elapsed wall clock time (in seconds):30.021 7.27/30.17 o -375 7.84/30.44 c And the winner is solver0 7.97/30.67 c Got one! Elapsed wall clock time (in seconds):30.523 7.97/30.67 o -376 8.02/30.77 c And the winner is solver0 8.19/31.18 c Got one! Elapsed wall clock time (in seconds):31.026 8.19/31.18 o -377 8.19/31.19 c And the winner is solver0 8.23/31.68 c Got one! Elapsed wall clock time (in seconds):31.529 8.23/31.68 o -378 8.27/31.71 c And the winner is solver0 8.34/32.18 c Got one! Elapsed wall clock time (in seconds):32.033 8.34/32.18 o -379 8.37/32.23 c And the winner is solver0 8.45/32.68 c Got one! Elapsed wall clock time (in seconds):32.536 8.45/32.68 o -388 10.34/33.62 c And the winner is solver0 10.34/33.69 c Got one! Elapsed wall clock time (in seconds):33.539 10.34/33.69 o -389 10.68/33.88 c And the winner is solver0 10.91/34.19 c Got one! Elapsed wall clock time (in seconds):34.042 10.91/34.19 o -390 11.12/34.30 c And the winner is solver0 11.14/34.69 c Got one! Elapsed wall clock time (in seconds):34.545 11.14/34.69 o -391 11.15/34.70 c And the winner is solver0 11.15/35.20 c Got one! Elapsed wall clock time (in seconds):35.048 11.15/35.20 o -392 11.16/35.21 c And the winner is solver0 11.23/35.70 c Got one! Elapsed wall clock time (in seconds):35.551 11.23/35.70 o -393 11.23/35.71 c And the winner is solver0 11.32/36.20 c Got one! Elapsed wall clock time (in seconds):36.055 11.32/36.20 o -394 11.32/36.23 c And the winner is solver0 11.41/36.70 c Got one! Elapsed wall clock time (in seconds):36.558 11.41/36.70 o -400 11.41/36.78 c And the winner is solver0 11.60/37.21 c Got one! Elapsed wall clock time (in seconds):37.061 11.60/37.21 o -401 11.60/37.24 c And the winner is solver0 11.84/37.71 c Got one! Elapsed wall clock time (in seconds):37.564 11.84/37.71 o -402 11.84/37.73 c And the winner is solver0 11.93/38.21 c Got one! Elapsed wall clock time (in seconds):38.068 11.93/38.21 o -403 12.50/38.57 c cleaning 6504 clauses out of 13008 with flag 2014/13008 12.50/38.57 c And the winner is solver0 12.68/38.72 c Got one! Elapsed wall clock time (in seconds):38.571 12.68/38.72 o -406 13.03/38.91 c And the winner is solver0 13.09/39.22 c Got one! Elapsed wall clock time (in seconds):39.074 13.09/39.22 o -410 13.09/39.25 c And the winner is solver0 13.19/39.73 c Got one! Elapsed wall clock time (in seconds):39.577 13.19/39.73 o -411 13.19/39.76 c And the winner is solver0 13.41/40.23 c Got one! Elapsed wall clock time (in seconds):40.08 13.41/40.23 o -412 13.55/40.35 c And the winner is solver0 13.69/40.73 c Got one! Elapsed wall clock time (in seconds):40.583 13.69/40.73 o -418 15.47/41.69 c And the winner is solver0 15.67/41.73 c Got one! Elapsed wall clock time (in seconds):41.587 15.67/41.73 o -421 16.42/42.11 c And the winner is solver0 16.48/42.24 c Got one! Elapsed wall clock time (in seconds):42.09 16.48/42.24 o -423 16.60/42.31 c And the winner is solver0 16.63/42.74 c Got one! Elapsed wall clock time (in seconds):42.593 16.63/42.74 o -426 16.80/42.86 c And the winner is solver0 16.96/43.24 c Got one! Elapsed wall clock time (in seconds):43.096 16.96/43.24 o -427 17.06/43.38 c And the winner is solver0 17.26/43.75 c Got one! Elapsed wall clock time (in seconds):43.599 17.26/43.75 o -428 17.56/43.99 c And the winner is solver0 17.76/44.25 c Got one! Elapsed wall clock time (in seconds):44.103 17.76/44.25 o -429 17.76/44.26 c And the winner is solver0 17.78/44.75 c Got one! Elapsed wall clock time (in seconds):44.606 17.78/44.75 o -432 17.78/44.76 c And the winner is solver0 17.80/45.26 c Got one! Elapsed wall clock time (in seconds):45.109 17.80/45.26 o -434 17.88/45.31 c And the winner is solver0 17.93/45.76 c Got one! Elapsed wall clock time (in seconds):45.613 17.93/45.76 o -435 18.21/45.92 c And the winner is solver0 18.30/46.27 c Got one! Elapsed wall clock time (in seconds):46.116 18.30/46.27 o -436 18.37/46.33 c And the winner is solver0 18.50/46.77 c Got one! Elapsed wall clock time (in seconds):46.619 18.50/46.77 o -438 19.21/47.11 c cleaning 8058 clauses out of 16116 with flag 2002/22620 19.82/47.49 c And the winner is solver0 20.02/47.77 c Got one! Elapsed wall clock time (in seconds):47.623 20.02/47.77 o -440 20.87/48.23 c And the winner is solver0 21.02/48.32 c Got one! Elapsed wall clock time (in seconds):48.176 21.02/48.32 o -443 21.02/48.37 c And the winner is solver0 21.15/48.83 c Got one! Elapsed wall clock time (in seconds):48.679 21.15/48.83 o -444 21.48/49.05 c And the winner is solver0 21.70/49.33 c Got one! Elapsed wall clock time (in seconds):49.183 21.70/49.33 o -445 21.70/49.35 c And the winner is solver0 21.75/49.83 c Got one! Elapsed wall clock time (in seconds):49.686 21.75/49.83 o -446 22.08/50.06 c And the winner is solver0 22.24/50.34 c Got one! Elapsed wall clock time (in seconds):50.19 22.24/50.34 o -451 23.97/51.25 c cleaning 7848 clauses out of 15698 with flag 6001/30260 27.66/53.01 c cleaning 6925 clauses out of 13850 with flag 18001/36260 28.86/53.66 c And the winner is solver0 29.02/53.84 c Got one! Elapsed wall clock time (in seconds):53.694 29.02/53.84 o -460 30.52/54.69 c cleaning 6171 clauses out of 12341 with flag 6002/41676 31.78/55.24 c And the winner is solver0 31.89/55.34 c Got one! Elapsed wall clock time (in seconds):55.197 31.89/55.34 o -461 32.19/55.54 c And the winner is solver0 32.31/55.85 c Got one! Elapsed wall clock time (in seconds):55.701 32.31/55.85 o -462 32.31/55.89 c And the winner is solver0 32.44/56.35 c Got one! Elapsed wall clock time (in seconds):56.205 32.44/56.35 o -467 32.53/56.44 c And the winner is solver0 32.68/56.86 c Got one! Elapsed wall clock time (in seconds):56.708 32.68/56.86 o -468 32.68/56.87 c And the winner is solver0 32.68/57.36 c Got one! Elapsed wall clock time (in seconds):57.212 32.68/57.36 o -469 32.75/57.42 c And the winner is solver0 32.85/57.86 c Got one! Elapsed wall clock time (in seconds):57.716 32.85/57.86 o -470 34.32/58.66 c And the winner is solver0 34.52/58.87 c Got one! Elapsed wall clock time (in seconds):58.719 34.52/58.87 o -473 35.59/59.46 c cleaning 7192 clauses out of 14383 with flag 4092/49889 35.98/59.65 c And the winner is solver0 36.13/59.87 c Got one! Elapsed wall clock time (in seconds):59.723 36.13/59.87 o -475 36.21/59.95 c And the winner is solver0 36.41/60.37 c Got one! Elapsed wall clock time (in seconds):60.227 36.41/60.37 o -476 36.45/60.44 c And the winner is solver0 36.57/60.88 c Got one! Elapsed wall clock time (in seconds):60.731 36.57/60.88 o -477 36.57/60.89 c And the winner is solver0 36.58/61.38 c Got one! Elapsed wall clock time (in seconds):61.235 36.58/61.38 o -478 36.60/61.43 c And the winner is solver0 36.73/61.89 c Got one! Elapsed wall clock time (in seconds):61.739 36.73/61.89 o -480 37.35/62.26 c And the winner is solver0 37.51/62.39 c Got one! Elapsed wall clock time (in seconds):62.242 37.51/62.39 o -490 39.72/63.54 c cleaning 6906 clauses out of 13815 with flag 8001/56513 43.20/65.27 c cleaning 6455 clauses out of 12909 with flag 20001/62513 47.22/67.27 c cleaning 6725 clauses out of 13454 with flag 34001/69513 48.82/68.03 c And the winner is solver0 48.92/68.40 c Got one! Elapsed wall clock time (in seconds):68.247 48.92/68.40 o -494 50.53/69.25 c cleaning 6261 clauses out of 12526 with flag 6002/75310 53.15/70.51 c And the winner is solver0 53.42/70.90 c Got one! Elapsed wall clock time (in seconds):70.751 53.42/70.90 o -495 53.82/71.19 c cleaning 5812 clauses out of 11627 with flag 2003/80672 55.42/71.96 c And the winner is solver0 55.62/72.40 c Got one! Elapsed wall clock time (in seconds):72.255 55.62/72.40 o -497 55.62/72.45 c And the winner is solver0 55.75/72.91 c Got one! Elapsed wall clock time (in seconds):72.759 55.75/72.91 o -501 55.75/72.97 c And the winner is solver0 55.93/73.41 c Got one! Elapsed wall clock time (in seconds):73.263 55.93/73.41 o -503 57.49/74.25 c cleaning 6051 clauses out of 12106 with flag 6071/86963 58.09/74.58 c And the winner is solver0 58.35/74.91 c Got one! Elapsed wall clock time (in seconds):74.768 58.35/74.91 o -505 60.32/76.00 c cleaning 5698 clauses out of 11397 with flag 8005/92305 60.91/76.26 c And the winner is solver0 61.12/76.42 c Got one! Elapsed wall clock time (in seconds):76.272 61.12/76.42 o -506 61.27/76.57 c And the winner is solver0 61.50/76.92 c Got one! Elapsed wall clock time (in seconds):76.776 61.50/76.92 o -510 61.95/77.13 c And the winner is solver0 62.07/77.43 c Got one! Elapsed wall clock time (in seconds):77.28 62.07/77.43 o -513 64.20/78.54 c cleaning 5916 clauses out of 11838 with flag 8069/98444 64.20/78.57 c And the winner is solver0 64.43/78.93 c Got one! Elapsed wall clock time (in seconds):78.784 64.43/78.93 o -514 66.96/80.27 c cleaning 5517 clauses out of 11048 with flag 10005/103570 70.16/81.88 c cleaning 5761 clauses out of 11530 with flag 22003/109569 74.16/83.82 c cleaning 6382 clauses out of 12768 with flag 36001/116568 79.08/86.21 c cleaning 7191 clauses out of 14387 with flag 52003/124569 84.48/88.92 c cleaning 8098 clauses out of 16196 with flag 70003/133569 87.68/90.56 c And the winner is solver0 87.84/90.94 c Got one! Elapsed wall clock time (in seconds):90.79 87.84/90.94 o -515 91.12/92.75 c And the winner is solver0 91.31/93.01 c Got one! Elapsed wall clock time (in seconds):92.857 91.31/93.01 o -517 91.89/93.35 c cleaning 9632 clauses out of 19270 with flag 2003/144741 93.09/93.98 c And the winner is solver0 93.37/94.11 c Got one! Elapsed wall clock time (in seconds):93.962 93.37/94.11 o -520 94.94/94.98 c cleaning 7421 clauses out of 14846 with flag 6003/149949 95.74/95.38 c And the winner is solver0 96.01/95.61 c Got one! Elapsed wall clock time (in seconds):95.466 96.01/95.61 o -522 96.01/95.65 c And the winner is solver0 96.11/96.12 c Got one! Elapsed wall clock time (in seconds):95.971 96.11/96.12 o -524 96.11/96.14 c And the winner is solver0 96.19/96.62 c Got one! Elapsed wall clock time (in seconds):96.475 96.19/96.62 o -526 98.33/97.72 c cleaning 6566 clauses out of 13138 with flag 8053/155662 99.13/98.15 c And the winner is solver0 99.36/98.63 c Got one! Elapsed wall clock time (in seconds):98.48 99.36/98.63 o -527 101.12/99.59 c And the winner is solver0 101.42/99.73 c Got one! Elapsed wall clock time (in seconds):99.585 101.42/99.73 o -530 101.74/99.91 c And the winner is solver0 101.87/100.24 c Got one! Elapsed wall clock time (in seconds):100.089 101.87/100.24 o -533 101.99/100.37 c And the winner is solver0 102.24/100.74 c Got one! Elapsed wall clock time (in seconds):100.593 102.24/100.74 o -536 102.74/101.05 c cleaning 6851 clauses out of 13714 with flag 2038/162804 105.94/102.64 c And the winner is solver0 106.08/102.75 c Got one! Elapsed wall clock time (in seconds):102.598 106.08/102.75 o -538 109.03/104.23 c cleaning 8813 clauses out of 17628 with flag 10005/173569 112.47/105.94 c cleaning 7406 clauses out of 14815 with flag 22005/179569 115.11/107.27 c And the winner is solver0 115.35/107.75 c Got one! Elapsed wall clock time (in seconds):107.604 115.35/107.75 o -543 115.84/108.05 c cleaning 6665 clauses out of 13338 with flag 2007/185498 116.83/108.50 c And the winner is solver0 116.96/108.75 c Got one! Elapsed wall clock time (in seconds):108.608 116.96/108.75 o -546 118.64/109.67 c And the winner is solver0 118.90/109.81 c Got one! Elapsed wall clock time (in seconds):109.663 118.90/109.81 o -548 119.48/110.12 c cleaning 6277 clauses out of 12561 with flag 2001/191386 122.86/111.81 c cleaning 6140 clauses out of 12285 with flag 14003/197387 126.87/113.86 c cleaning 6567 clauses out of 13144 with flag 28001/204386 131.77/116.25 c cleaning 7287 clauses out of 14578 with flag 44003/212387 136.98/118.81 c cleaning 8139 clauses out of 16290 with flag 62001/221386 141.17/120.96 c And the winner is solver0 141.41/121.32 c Got one! Elapsed wall clock time (in seconds):121.169 141.41/121.32 o -549 144.57/122.97 c cleaning 10428 clauses out of 20857 with flag 10004/234092 146.45/123.83 c And the winner is solver0 146.64/124.32 c Got one! Elapsed wall clock time (in seconds):124.174 146.64/124.32 o -551 148.38/125.23 c cleaning 8040 clauses out of 16083 with flag 6005/239746 150.99/126.55 c And the winner is solver0 151.27/126.83 c Got one! Elapsed wall clock time (in seconds):126.679 151.27/126.83 o -552 151.80/127.14 c cleaning 6785 clauses out of 13577 with flag 2003/245280 153.80/128.12 c And the winner is solver0 153.98/128.33 c Got one! Elapsed wall clock time (in seconds):128.184 153.98/128.33 o -553 153.98/128.35 c And the winner is solver0 154.04/128.84 c Got one! Elapsed wall clock time (in seconds):128.688 154.04/128.84 o -556 154.15/128.91 c And the winner is solver0 154.23/129.34 c Got one! Elapsed wall clock time (in seconds):129.193 154.23/129.34 o -557 154.34/129.45 c And the winner is solver0 154.53/129.84 c Got one! Elapsed wall clock time (in seconds):129.697 154.53/129.84 o -558 154.53/129.87 c And the winner is solver0 154.59/130.35 c Got one! Elapsed wall clock time (in seconds):130.202 154.59/130.35 o -559 154.68/130.43 c And the winner is solver0 154.83/130.85 c Got one! Elapsed wall clock time (in seconds):130.707 154.83/130.85 o -560 155.13/131.06 c And the winner is solver0 155.40/131.36 c Got one! Elapsed wall clock time (in seconds):131.211 155.40/131.36 o -561 156.47/131.95 c cleaning 7081 clauses out of 14162 with flag 4047/252650 159.24/133.26 c And the winner is solver0 159.45/133.46 c Got one! Elapsed wall clock time (in seconds):133.316 159.45/133.46 o -562 159.95/133.77 c cleaning 6319 clauses out of 12646 with flag 2003/258215 163.16/135.38 c cleaning 6157 clauses out of 12328 with flag 14005/264216 167.15/137.30 c cleaning 6580 clauses out of 13170 with flag 28003/271215 167.76/137.63 c And the winner is solver0 167.99/137.97 c Got one! Elapsed wall clock time (in seconds):137.822 167.99/137.97 o -563 168.23/138.12 c And the winner is solver0 168.50/138.47 c Got one! Elapsed wall clock time (in seconds):138.327 168.50/138.47 o -567 168.95/138.76 c And the winner is solver0 169.21/138.98 c Got one! Elapsed wall clock time (in seconds):138.831 169.21/138.98 o -568 169.30/139.03 c And the winner is solver0 169.41/139.48 c Got one! Elapsed wall clock time (in seconds):139.336 169.41/139.48 o -570 171.03/140.35 c cleaning 6360 clauses out of 12725 with flag 6071/277350 174.56/142.04 c cleaning 6181 clauses out of 12366 with flag 18203/283351 174.94/142.28 c And the winner is solver0 175.22/142.49 c Got one! Elapsed wall clock time (in seconds):142.341 175.22/142.49 o -571 177.87/143.81 c cleaning 6068 clauses out of 12135 with flag 10004/289301 180.89/145.39 c cleaning 6033 clauses out of 12067 with flag 22004/295301 184.67/147.29 c cleaning 6510 clauses out of 13033 with flag 36002/302300 189.27/149.50 c cleaning 7260 clauses out of 14524 with flag 52004/310301 192.07/150.97 c And the winner is solver0 192.32/151.14 c Got one! Elapsed wall clock time (in seconds):150.998 192.32/151.14 o -573 196.13/153.39 c cleaning 8813 clauses out of 17630 with flag 10012/320667 199.75/155.14 c cleaning 7406 clauses out of 14817 with flag 22112/326667 200.73/155.64 c And the winner is solver0 201.03/155.92 c Got one! Elapsed wall clock time (in seconds):155.767 201.03/155.92 o -576 201.99/156.42 c And the winner is solver0 202.21/156.92 c Got one! Elapsed wall clock time (in seconds):156.772 202.21/156.92 o -577 203.56/157.65 c And the winner is solver0 203.90/157.92 c Got one! Elapsed wall clock time (in seconds):157.777 203.90/157.92 o -579 204.44/158.23 c cleaning 7377 clauses out of 14756 with flag 2028/334012 207.64/159.87 c cleaning 6688 clauses out of 13379 with flag 14281/340012 211.65/161.81 c cleaning 6844 clauses out of 13691 with flag 28668/347012 215.94/163.96 c And the winner is solver0 216.22/164.43 c Got one! Elapsed wall clock time (in seconds):164.283 216.22/164.43 o -586 219.34/166.02 c cleaning 9507 clauses out of 19018 with flag 10001/359183 222.94/167.82 c cleaning 7754 clauses out of 15511 with flag 22001/365183 227.14/169.93 c cleaning 7377 clauses out of 14757 with flag 36001/372183 231.74/172.28 c cleaning 7689 clauses out of 15381 with flag 52003/380184 237.15/175.00 c cleaning 8346 clauses out of 16691 with flag 70001/389183 239.51/176.04 c And the winner is solver1 239.52/176.44 c Got one! Elapsed wall clock time (in seconds):176.291 239.52/176.44 o -875 239.63/176.53 c And the winner is solver0 239.77/176.94 c Got one! Elapsed wall clock time (in seconds):176.796 239.77/176.94 o -894 239.88/177.06 c And the winner is solver0 240.12/177.45 c Got one! Elapsed wall clock time (in seconds):177.302 240.12/177.45 o -903 240.21/177.55 c And the winner is solver0 240.40/177.95 c Got one! Elapsed wall clock time (in seconds):177.808 240.40/177.95 o -918 240.48/178.00 c And the winner is solver0 240.55/178.46 c Got one! Elapsed wall clock time (in seconds):178.313 240.55/178.46 o -944 240.55/178.49 c And the winner is solver0 240.64/178.97 c Got one! Elapsed wall clock time (in seconds):178.819 240.64/178.97 o -955 240.69/179.03 c And the winner is solver0 240.83/179.47 c Got one! Elapsed wall clock time (in seconds):179.324 240.83/179.47 o -972 240.88/179.54 c And the winner is solver0 241.03/179.98 c Got one! Elapsed wall clock time (in seconds):179.83 241.03/179.98 o -995 242.51/180.74 c cleaning 7625 clauses out of 15254 with flag 4786/396092 247.61/183.05 c cleaning 6812 clauses out of 13629 with flag 20364/402092 253.20/185.80 c cleaning 6895 clauses out of 13819 with flag 40988/409094 260.19/189.26 c cleaning 7456 clauses out of 14923 with flag 66128/417093 267.97/193.10 c cleaning 8228 clauses out of 16466 with flag 94220/426092 276.98/197.69 c cleaning 9114 clauses out of 18238 with flag 135146/436092 287.92/203.03 c cleaning 10054 clauses out of 20124 with flag 186395/447092 299.52/208.87 c cleaning 11029 clauses out of 22071 with flag 245687/459093 311.92/214.99 c cleaning 12018 clauses out of 24041 with flag 301182/472092 326.25/222.04 c cleaning 13006 clauses out of 26023 with flag 367947/486092 340.07/228.95 c cleaning 14008 clauses out of 28019 with flag 434339/501094 357.51/238.01 c cleaning 15005 clauses out of 30009 with flag 520637/517092 374.33/246.42 c cleaning 16003 clauses out of 32005 with flag 607755/534093 395.20/256.84 c cleaning 16999 clauses out of 34002 with flag 725938/552093 418.81/268.52 c cleaning 17995 clauses out of 36003 with flag 839858/571093 442.42/280.30 c cleaning 19004 clauses out of 38008 with flag 962928/591093 464.89/291.31 c cleaning 20002 clauses out of 40004 with flag 1051660/612093 466.29/292.10 c And the winner is solver0 466.59/292.54 c Got one! Elapsed wall clock time (in seconds):292.389 466.59/292.54 o -996 468.50/293.58 c cleaning 12542 clauses out of 25083 with flag 10172/617174 472.50/295.53 c cleaning 9268 clauses out of 18541 with flag 28277/623174 476.90/297.75 c cleaning 8137 clauses out of 16273 with flag 47536/630174 482.22/300.37 c cleaning 8065 clauses out of 16136 with flag 73297/638174 488.21/303.39 c cleaning 8536 clauses out of 17071 with flag 99617/647174 495.20/306.90 c cleaning 9263 clauses out of 18536 with flag 130669/657175 503.73/311.02 c cleaning 10134 clauses out of 20272 with flag 164529/668174 512.73/315.54 c cleaning 11066 clauses out of 22138 with flag 204283/680174 522.84/320.55 c cleaning 12036 clauses out of 24072 with flag 245120/693174 534.18/326.19 c cleaning 13017 clauses out of 26038 with flag 287952/707176 546.19/332.19 c cleaning 14006 clauses out of 28020 with flag 334636/722175 559.97/338.97 c cleaning 15006 clauses out of 30015 with flag 397078/738176 574.54/346.10 c cleaning 16001 clauses out of 32008 with flag 454457/755175 590.10/353.87 c cleaning 17003 clauses out of 34006 with flag 519468/773174 606.29/361.83 c cleaning 17999 clauses out of 36003 with flag 583117/792174 624.78/371.88 c cleaning 18999 clauses out of 38004 with flag 653524/812174 642.04/380.43 c cleaning 19998 clauses out of 40006 with flag 734527/833175 660.05/389.41 c cleaning 21001 clauses out of 42008 with flag 804600/855175 679.68/399.17 c cleaning 21996 clauses out of 44006 with flag 883581/878174 699.86/409.15 c cleaning 23001 clauses out of 46010 with flag 968654/902174 722.28/420.22 c cleaning 24005 clauses out of 48009 with flag 1047766/927174 745.63/431.79 c cleaning 24996 clauses out of 50004 with flag 1132937/953174 770.45/444.05 c cleaning 26003 clauses out of 52008 with flag 1225483/980174 798.23/458.45 c cleaning 27002 clauses out of 54005 with flag 1338143/1008174 824.78/471.64 c cleaning 27998 clauses out of 56004 with flag 1438246/1037175 855.97/487.10 c cleaning 29002 clauses out of 58006 with flag 1537783/1067175 887.44/502.74 c cleaning 30000 clauses out of 60004 with flag 1630342/1098175 920.79/519.22 c cleaning 30999 clauses out of 62003 with flag 1728070/1130174 956.45/536.90 c cleaning 32001 clauses out of 64005 with flag 1829774/1163175 993.31/554.89 c cleaning 32999 clauses out of 66004 with flag 1931480/1197175 1034.86/575.29 c cleaning 34002 clauses out of 68004 with flag 2039962/1232174 1076.33/595.76 c cleaning 35002 clauses out of 70003 with flag 2154823/1268175 1120.86/618.70 c cleaning 35998 clauses out of 72000 with flag 2268559/1305174 1164.80/640.52 c cleaning 37000 clauses out of 74003 with flag 2394594/1343175 1210.20/663.17 c cleaning 37997 clauses out of 76003 with flag 2526112/1382175 1256.58/686.01 c cleaning 38997 clauses out of 78006 with flag 2659654/1422175 1305.04/710.07 c cleaning 40004 clauses out of 80009 with flag 2802010/1463175 1358.44/736.38 c cleaning 41001 clauses out of 82004 with flag 2924688/1505174 1415.28/764.36 c cleaning 42002 clauses out of 84003 with flag 3036655/1548174 1472.58/792.75 c cleaning 42998 clauses out of 86001 with flag 3163907/1592174 1530.78/821.62 c cleaning 44000 clauses out of 88004 with flag 3291726/1637175 1588.86/850.43 c cleaning 44997 clauses out of 90003 with flag 3412877/1683174 1649.01/880.19 c cleaning 45999 clauses out of 92006 with flag 3545687/1730174 1711.14/910.72 c cleaning 47004 clauses out of 94008 with flag 3691248/1778175 1778.17/945.39 c cleaning 47993 clauses out of 96004 with flag 3824745/1827175 1800.19/956.20 c >>>>>>>>>> Solver number 0 (163 answers) <<<<<<<<<<<<<<<<<< 1800.19/956.20 c starts : 3974 1800.19/956.20 c conflicts : 1846986 1800.19/956.20 c decisions : 5009747 1800.19/956.20 c propagations : 141987102 1800.19/956.20 c inspects : 5817309246 1800.19/956.20 c shortcuts : 0 1800.19/956.20 c learnt literals : 0 1800.19/956.20 c learnt binary clauses : 161 1800.19/956.20 c learnt ternary clauses : 1538 1800.19/956.20 c learnt constraints : 1846986 1800.19/956.20 c ignored constraints : 0 1800.19/956.20 c root simplifications : 0 1800.19/956.20 c removed literals (reason simplification) : 67946066 1800.19/956.20 c reason swapping (by a shorter reason) : 0 1800.19/956.20 c Calls to reduceDB : 116 1800.19/956.20 c Number of update (reduction) of LBD : 22424 1800.19/956.20 c Imported unit clauses : 0 1800.19/956.20 c number of reductions to clauses (during analyze) : 0 1800.19/956.20 c number of learned constraints concerned by reduction : 0 1800.19/956.20 c number of learning phase by resolution : 0 1800.19/956.20 c number of learning phase by cutting planes : 0 1800.19/956.20 c speed (assignments/second) : 182090.77408433365 1800.19/956.20 c non guided choices 0 1800.19/956.23 c learnt constraints type 1800.19/956.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 161 1800.19/956.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 67661 1800.19/956.23 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.19/956.23 c starts : 187 1800.19/956.23 c conflicts : 4732 1800.19/956.23 c decisions : 10801 1800.19/956.23 c propagations : 921683 1800.19/956.23 c inspects : 735119326 1800.19/956.23 c shortcuts : 0 1800.19/956.23 c learnt literals : 0 1800.19/956.23 c learnt binary clauses : 0 1800.19/956.23 c learnt ternary clauses : 1 1800.19/956.23 c learnt constraints : 4598 1800.19/956.23 c ignored constraints : 0 1800.19/956.23 c root simplifications : 0 1800.19/956.23 c removed literals (reason simplification) : 0 1800.19/956.23 c reason swapping (by a shorter reason) : 0 1800.19/956.23 c Calls to reduceDB : 0 1800.19/956.23 c Number of update (reduction) of LBD : 0 1800.19/956.23 c Imported unit clauses : 0 1800.19/956.23 c number of reductions to clauses (during analyze) : 0 1800.19/956.23 c number of learned constraints concerned by reduction : 0 1800.19/956.23 c number of learning phase by resolution : 0 1800.19/956.23 c number of learning phase by cutting planes : 0 1800.19/956.23 c speed (assignments/second) : 1388.7314351494 1800.19/956.23 c non guided choices 0 1800.19/956.23 c learnt constraints type 1800.19/956.23 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1 1800.19/956.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4597 1800.19/956.23 s SATISFIABLE 1800.19/956.23 c Found 164 solution(s) 1800.19/956.24 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 1800.19/956.24 c objective function=-996 1800.19/956.24 c Total wall clock time (in seconds): 956.094
OK -996
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-4118926-1467237956/watcher-4118926-1467237956 -o /tmp/evaluation-result-4118926-1467237956/solver-4118926-1467237956 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467233347-7541 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118926-1467237956.opb pid=9840 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: 4.22 4.21 3.99 4/197 9843 /proc/meminfo: memFree=23021064/32872528 swapFree=1268996/1432516 [pid=9843] ppid=9840 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/9843/stat : 9843 (java) D 9840 9843 5003 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 4750681 9515008 182 33554432000 1073741824 1073778376 140733859561920 140733859552952 214369648309 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/9843/statm: 2323 182 140 9 0 71 0 [startup+0.100112 s] /proc/loadavg: 4.22 4.21 3.99 4/197 9843 /proc/meminfo: memFree=23021064/32872528 swapFree=1268996/1432516 [pid=9843] ppid=9840 vsize=9558476 CPUtime=0.04 cores=0,2,4,6 /proc/9843/stat : 9843 (java) S 9840 9843 5003 0 -1 4202496 3370 0 1 0 4 0 0 0 20 0 18 0 4750681 9787879424 4501 33554432000 1073741824 1073778376 140734764772976 140734764764112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9843/statm: 2389619 4501 1788 9 0 2380296 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9558476 [startup+0.200292 s] /proc/loadavg: 4.22 4.21 3.99 4/197 9843 /proc/meminfo: memFree=23021064/32872528 swapFree=1268996/1432516 [pid=9843] ppid=9840 vsize=9558476 CPUtime=0.21 cores=0,2,4,6 /proc/9843/stat : 9843 (java) S 9840 9843 5003 0 -1 4202496 4698 0 1 0 20 1 0 0 20 0 18 0 4750681 9787879424 6274 33554432000 1073741824 1073778376 140734764772976 140734764764112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9843/statm: 2389619 6274 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 9558476 [startup+0.300288 s] /proc/loadavg: 4.22 4.21 3.99 4/197 9843 /proc/meminfo: memFree=23021064/32872528 swapFree=1268996/1432516 [pid=9843] ppid=9840 vsize=9558476 CPUtime=0.4 cores=0,2,4,6 /proc/9843/stat : 9843 (java) S 9840 9843 5003 0 -1 4202496 7111 0 1 0 39 1 0 0 20 0 18 0 4750681 9787879424 9332 33554432000 1073741824 1073778376 140734764772976 140734764764112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9843/statm: 2389619 9332 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 9558476 [startup+0.700334 s] /proc/loadavg: 4.22 4.21 3.99 4/197 9843 /proc/meminfo: memFree=23021064/32872528 swapFree=1268996/1432516 [pid=9843] ppid=9840 vsize=9824732 CPUtime=1.03 cores=0,2,4,6 /proc/9843/stat : 9843 (java) S 9840 9843 5003 0 -1 4202496 9743 0 1 0 99 4 0 0 20 0 19 0 4750681 10060525568 14461 33554432000 1073741824 1073778376 140734764772976 140734764764112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9843/statm: 2456183 14461 2261 9 0 2446860 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 9824732 [startup+1.50071 s] /proc/loadavg: 4.22 4.21 3.99 5/216 9868 /proc/meminfo: memFree=22952132/32872528 swapFree=1268996/1432516 [pid=9843] ppid=9840 vsize=9824732 CPUtime=1.72 cores=0,2,4,6 /proc/9843/stat : 9843 (java) S 9840 9843 5003 0 -1 4202496 16032 0 1 0 164 8 0 0 20 0 22 0 4750681 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 140734764764112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9843/statm: 2456183 21352 2266 9 0 2446860 0 [pid=9843/tid=9845] ppid=9840 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/9843/task/9845/stat : 9845 (java) S 9840 9843 5003 0 -1 4202560 2432 0 1 0 42 1 0 0 20 0 22 0 4750682 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917931901816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9846] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9846/stat : 9846 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750683 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917893393064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9847] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9847/stat : 9847 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750683 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917892340520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9848] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9848/stat : 9848 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750683 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917891287976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9849] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9849/stat : 9849 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750683 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917890235432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9850] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9850/stat : 9850 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750683 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917889181864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9851] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9851/stat : 9851 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750683 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917770352936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9852] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9852/stat : 9852 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750683 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917769300392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9853] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9853/stat : 9853 (java) S 9840 9843 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4750683 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917768247848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9854] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9854/stat : 9854 (java) S 9840 9843 5003 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 4750685 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917756050024 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9855] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9855/stat : 9855 (java) S 9840 9843 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4750685 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917754996344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9856] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9856/stat : 9856 (java) S 9840 9843 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4750685 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917149595272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9857] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9857/stat : 9857 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750690 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917148544016 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9858] ppid=9840 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/9843/task/9858/stat : 9858 (java) R 9840 9843 5003 0 -1 4202560 6416 0 0 0 54 1 0 0 20 0 22 0 4750690 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917147490360 139917938044840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9859] ppid=9840 vsize=9824732 CPUtime=0.51 cores=0,2,4,6 /proc/9843/task/9859/stat : 9859 (java) R 9840 9843 5003 0 -1 4202560 5803 0 0 0 49 2 0 0 20 0 22 0 4750690 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917146437816 139917939283301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9860] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9860/stat : 9860 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750690 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917145385464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9861] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9861/stat : 9861 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750690 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917144333128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9865] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9865/stat : 9865 (java) S 9840 9843 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4750726 10060525568 21352 33554432000 1073741824 1073778376 140734764772976 139917139490472 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.72 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 4.22 4.21 3.99 3/216 9874 /proc/meminfo: memFree=22937160/32872528 swapFree=1268996/1432516 [pid=9843] ppid=9840 vsize=9824732 CPUtime=2.09 cores=0,2,4,6 /proc/9843/stat : 9843 (java) S 9840 9843 5003 0 -1 4202496 16070 0 1 0 196 13 0 0 20 0 19 0 4750681 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 140734764764112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9843/statm: 2456183 25963 2273 9 0 2446860 0 [pid=9843/tid=9845] ppid=9840 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/9843/task/9845/stat : 9845 (java) S 9840 9843 5003 0 -1 4202560 2435 0 1 0 44 1 0 0 20 0 19 0 4750682 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917931901816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9846] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9846/stat : 9846 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917893393064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9847] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9847/stat : 9847 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917892340520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9848] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9848/stat : 9848 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917891287976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9849] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9849/stat : 9849 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917890235432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9850] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9850/stat : 9850 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917889181864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9851] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9851/stat : 9851 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917770352936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9852] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9852/stat : 9852 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917769300392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9853] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9853/stat : 9853 (java) S 9840 9843 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917768247848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9854] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9854/stat : 9854 (java) S 9840 9843 5003 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4750685 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917756050024 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9855] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9855/stat : 9855 (java) S 9840 9843 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4750685 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917754996344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9856] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9856/stat : 9856 (java) S 9840 9843 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4750685 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917149595272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9857] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9857/stat : 9857 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750690 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917148544016 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9858] ppid=9840 vsize=9824732 CPUtime=0.66 cores=0,2,4,6 /proc/9843/task/9858/stat : 9858 (java) S 9840 9843 5003 0 -1 4202560 6418 0 0 0 64 2 0 0 20 0 19 0 4750690 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917147490360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9859] ppid=9840 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/9843/task/9859/stat : 9859 (java) S 9840 9843 5003 0 -1 4202560 5808 0 0 0 63 2 0 0 20 0 19 0 4750690 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917146437816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9860] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9860/stat : 9860 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750690 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917145385464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9861] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9861/stat : 9861 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750690 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917144333128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9865] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9865/stat : 9865 (java) S 9840 9843 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4750726 10060525568 25963 33554432000 1073741824 1073778376 140734764772976 139917139490472 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.09 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=25 pid=1815 uid=0 cmd= [startup+6.30089 s] /proc/loadavg: 4.05 4.18 3.98 3/216 9892 /proc/meminfo: memFree=22900536/32872528 swapFree=1268996/1432516 [pid=9843] ppid=9840 vsize=9824732 CPUtime=2.37 cores=0,2,4,6 /proc/9843/stat : 9843 (java) S 9840 9843 5003 0 -1 4202496 16147 0 1 0 219 18 0 0 20 0 19 0 4750681 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 140734764764112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9843/statm: 2456183 34837 2274 9 0 2446860 0 [pid=9843/tid=9845] ppid=9840 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/9843/task/9845/stat : 9845 (java) S 9840 9843 5003 0 -1 4202560 2439 0 1 0 45 2 0 0 20 0 19 0 4750682 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917931901816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9846] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9846/stat : 9846 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917893393064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9847] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9847/stat : 9847 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917892340520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9848] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9848/stat : 9848 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917891287976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9849] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9849/stat : 9849 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917890235432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9850] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9850/stat : 9850 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917889181864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9851] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9851/stat : 9851 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917770352936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9852] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9852/stat : 9852 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917769300392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9853] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9853/stat : 9853 (java) S 9840 9843 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4750683 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917768247848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9854] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9854/stat : 9854 (java) S 9840 9843 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4750685 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917756050024 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9855] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9855/stat : 9855 (java) S 9840 9843 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4750685 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917754996344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9856] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9856/stat : 9856 (java) S 9840 9843 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4750685 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917149595272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9857] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9857/stat : 9857 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750690 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917148544016 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9858] ppid=9840 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/9843/task/9858/stat : 9858 (java) S 9840 9843 5003 0 -1 4202560 6421 0 0 0 76 2 0 0 20 0 19 0 4750690 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917147490360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9859] ppid=9840 vsize=9824732 CPUtime=0.7 cores=0,2,4,6 /proc/9843/task/9859/stat : 9859 (java) S 9840 9843 5003 0 -1 4202560 5808 0 0 0 68 2 0 0 20 0 19 0 4750690 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917146437816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9860] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9860/stat : 9860 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750690 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917145385464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9861] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9861/stat : 9861 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4750690 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917144333128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9865] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9865/stat : 9865 (java) S 9840 9843 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4750726 10060525568 34837 33554432000 1073741824 1073778376 140734764772976 139917139490472 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.37 ################ # More data... # ################ [pid=9843/tid=9853] ppid=9840 vsize=9824732 CPUtime=4.26 cores=0,2,4,6 /proc/9843/task/9853/stat : 9853 (java) S 9840 9843 5003 0 -1 4202560 1573 0 0 0 391 35 0 0 20 0 22 0 4750683 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917768247848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9854] ppid=9840 vsize=9824732 CPUtime=7.24 cores=0,2,4,6 /proc/9843/task/9854/stat : 9854 (java) S 9840 9843 5003 0 -1 4202560 3122 0 0 0 713 11 0 0 20 0 22 0 4750685 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917756050024 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9855] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9855/stat : 9855 (java) S 9840 9843 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4750685 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917754996344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9856] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9856/stat : 9856 (java) S 9840 9843 5003 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4750685 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917149595272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9857] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9857/stat : 9857 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750690 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917148544016 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9858] ppid=9840 vsize=9824732 CPUtime=2.13 cores=0,2,4,6 /proc/9843/task/9858/stat : 9858 (java) S 9840 9843 5003 0 -1 4202560 12411 0 0 0 210 3 0 0 20 0 22 0 4750690 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917147490360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9859] ppid=9840 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/9843/task/9859/stat : 9859 (java) S 9840 9843 5003 0 -1 4202560 5827 0 0 0 128 2 0 0 20 0 22 0 4750690 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917146437816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9860] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9860/stat : 9860 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750690 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917145385464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9861] ppid=9840 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/9843/task/9861/stat : 9861 (java) S 9840 9843 5003 0 -1 4202560 51 0 0 0 11 19 0 0 20 0 22 0 4750690 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917144333128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=10342] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/10342/stat : 10342 (java) S 9840 9843 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4768326 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917139489960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=10369] ppid=9840 vsize=9824732 CPUtime=576.37 cores=0,2,4,6 /proc/9843/task/10369/stat : 10369 (java) R 9840 9843 5003 0 -1 4202560 35 0 0 0 57629 8 0 0 20 0 22 0 4779936 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917142638336 139917771071061 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=10370] ppid=9840 vsize=9824732 CPUtime=576.36 cores=0,2,4,6 /proc/9843/task/10370/stat : 10370 (java) R 9840 9843 5003 0 -1 4202560 51 0 0 0 57627 9 0 0 20 0 22 0 4779936 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917140540832 139917771117204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=10371] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/10371/stat : 10371 (java) S 9840 9843 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4779936 10060525568 1109620 33554432000 1073741824 1073778376 140734764772976 139917141595304 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1653.26 Current children cumulated vsize (KiB) 9824732 [startup+942.301 s] /proc/loadavg: 4.02 4.16 4.07 7/219 10508 /proc/meminfo: memFree=17992712/32872528 swapFree=1268996/1432516 [pid=9843] ppid=9840 vsize=9824732 CPUtime=1771.9 cores=0,2,4,6 /proc/9843/stat : 9843 (java) S 9840 9843 5003 0 -1 4202496 42694 0 1 0 176584 606 0 0 20 0 22 0 4750681 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 140734764764112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9843/statm: 2456183 1139265 2303 9 0 2446860 0 [pid=9843/tid=9845] ppid=9840 vsize=9824732 CPUtime=1.03 cores=0,2,4,6 /proc/9843/task/9845/stat : 9845 (java) S 9840 9843 5003 0 -1 4202560 2458 0 1 0 99 4 0 0 20 0 22 0 4750682 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917931901816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9846] ppid=9840 vsize=9824732 CPUtime=4.77 cores=0,2,4,6 /proc/9843/task/9846/stat : 9846 (java) S 9840 9843 5003 0 -1 4202560 1808 0 0 0 438 39 0 0 20 0 22 0 4750683 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917893393064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9847] ppid=9840 vsize=9824732 CPUtime=4.53 cores=0,2,4,6 /proc/9843/task/9847/stat : 9847 (java) S 9840 9843 5003 0 -1 4202560 1830 0 0 0 418 35 0 0 20 0 22 0 4750683 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917892340520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9848] ppid=9840 vsize=9824732 CPUtime=4.92 cores=0,2,4,6 /proc/9843/task/9848/stat : 9848 (java) S 9840 9843 5003 0 -1 4202560 2654 0 0 0 455 37 0 0 20 0 22 0 4750683 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917891287976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9849] ppid=9840 vsize=9824732 CPUtime=4.45 cores=0,2,4,6 /proc/9843/task/9849/stat : 9849 (java) S 9840 9843 5003 0 -1 4202560 1650 0 0 0 414 31 0 0 20 0 22 0 4750683 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917890235432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9850] ppid=9840 vsize=9824732 CPUtime=4.15 cores=0,2,4,6 /proc/9843/task/9850/stat : 9850 (java) S 9840 9843 5003 0 -1 4202560 1523 0 0 0 385 30 0 0 20 0 22 0 4750683 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917889181864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9851] ppid=9840 vsize=9824732 CPUtime=4.55 cores=0,2,4,6 /proc/9843/task/9851/stat : 9851 (java) S 9840 9843 5003 0 -1 4202560 1390 0 0 0 420 35 0 0 20 0 22 0 4750683 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917770352936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9852] ppid=9840 vsize=9824732 CPUtime=4.62 cores=0,2,4,6 /proc/9843/task/9852/stat : 9852 (java) S 9840 9843 5003 0 -1 4202560 2125 0 0 0 431 31 0 0 20 0 22 0 4750683 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917769300392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9853] ppid=9840 vsize=9824732 CPUtime=4.72 cores=0,2,4,6 /proc/9843/task/9853/stat : 9853 (java) S 9840 9843 5003 0 -1 4202560 1645 0 0 0 436 36 0 0 20 0 22 0 4750683 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917768247848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9854] ppid=9840 vsize=9824732 CPUtime=9.92 cores=0,2,4,6 /proc/9843/task/9854/stat : 9854 (java) S 9840 9843 5003 0 -1 4202560 3418 0 0 0 981 11 0 0 20 0 22 0 4750685 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917756050024 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9855] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9855/stat : 9855 (java) S 9840 9843 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4750685 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917754996344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9856] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9856/stat : 9856 (java) S 9840 9843 5003 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4750685 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917149595272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9857] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9857/stat : 9857 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750690 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917148544016 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9858] ppid=9840 vsize=9824732 CPUtime=2.13 cores=0,2,4,6 /proc/9843/task/9858/stat : 9858 (java) S 9840 9843 5003 0 -1 4202560 12411 0 0 0 210 3 0 0 20 0 22 0 4750690 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917147490360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9859] ppid=9840 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/9843/task/9859/stat : 9859 (java) S 9840 9843 5003 0 -1 4202560 5827 0 0 0 128 2 0 0 20 0 22 0 4750690 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917146437816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9860] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9860/stat : 9860 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750690 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917145385464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9861] ppid=9840 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/9843/task/9861/stat : 9861 (java) S 9840 9843 5003 0 -1 4202560 55 0 0 0 12 20 0 0 20 0 22 0 4750690 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917144333128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=10342] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/10342/stat : 10342 (java) S 9840 9843 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4768326 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917139489960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=10369] ppid=9840 vsize=9824732 CPUtime=632.8 cores=0,2,4,6 /proc/9843/task/10369/stat : 10369 (java) R 9840 9843 5003 0 -1 4202560 35 0 0 0 63271 9 0 0 20 0 22 0 4779936 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917142646064 139917770851922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=10370] ppid=9840 vsize=9824732 CPUtime=632.77 cores=0,2,4,6 /proc/9843/task/10370/stat : 10370 (java) R 9840 9843 5003 0 -1 4202560 56 0 0 0 63267 10 0 0 20 0 22 0 4779936 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917140539552 139917771117546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=10371] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/10371/stat : 10371 (java) S 9840 9843 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4779936 10060525568 1139265 33554432000 1073741824 1073778376 140734764772976 139917141595304 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1771.9 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+956.201 s] /proc/loadavg: 4.08 4.17 4.07 6/219 10508 /proc/meminfo: memFree=18003200/32872528 swapFree=1268996/1432516 [pid=9843] ppid=9840 vsize=9824732 CPUtime=1799.92 cores=0,2,4,6 /proc/9843/stat : 9843 (java) S 9840 9843 5003 0 -1 4202496 42730 0 1 0 179385 607 0 0 20 0 22 0 4750681 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 140734764764112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9843/statm: 2456183 1134035 2303 9 0 2446860 0 [pid=9843/tid=9845] ppid=9840 vsize=9824732 CPUtime=1.03 cores=0,2,4,6 /proc/9843/task/9845/stat : 9845 (java) S 9840 9843 5003 0 -1 4202560 2458 0 1 0 99 4 0 0 20 0 22 0 4750682 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917931901816 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9846] ppid=9840 vsize=9824732 CPUtime=4.82 cores=0,2,4,6 /proc/9843/task/9846/stat : 9846 (java) S 9840 9843 5003 0 -1 4202560 1808 0 0 0 443 39 0 0 20 0 22 0 4750683 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917893393064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9847] ppid=9840 vsize=9824732 CPUtime=4.65 cores=0,2,4,6 /proc/9843/task/9847/stat : 9847 (java) S 9840 9843 5003 0 -1 4202560 1854 0 0 0 430 35 0 0 20 0 22 0 4750683 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917892340520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9848] ppid=9840 vsize=9824732 CPUtime=4.97 cores=0,2,4,6 /proc/9843/task/9848/stat : 9848 (java) S 9840 9843 5003 0 -1 4202560 2654 0 0 0 460 37 0 0 20 0 22 0 4750683 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917891287976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9849] ppid=9840 vsize=9824732 CPUtime=4.52 cores=0,2,4,6 /proc/9843/task/9849/stat : 9849 (java) S 9840 9843 5003 0 -1 4202560 1650 0 0 0 421 31 0 0 20 0 22 0 4750683 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917890235432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=9850] ppid=9840 vsize=9824732 CPUtime=4.2 cores=0,2,4,6 /proc/9843/task/9850/stat : 9850 (java) S 9840 9843 5003 0 -1 4202560 1523 0 0 0 390 30 0 0 20 0 22 0 4750683 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917889181864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9851] ppid=9840 vsize=9824732 CPUtime=4.6 cores=0,2,4,6 /proc/9843/task/9851/stat : 9851 (java) S 9840 9843 5003 0 -1 4202560 1398 0 0 0 425 35 0 0 20 0 22 0 4750683 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917770352936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9852] ppid=9840 vsize=9824732 CPUtime=4.68 cores=0,2,4,6 /proc/9843/task/9852/stat : 9852 (java) S 9840 9843 5003 0 -1 4202560 2125 0 0 0 436 32 0 0 20 0 22 0 4750683 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917769300392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9853] ppid=9840 vsize=9824732 CPUtime=4.77 cores=0,2,4,6 /proc/9843/task/9853/stat : 9853 (java) S 9840 9843 5003 0 -1 4202560 1645 0 0 0 441 36 0 0 20 0 22 0 4750683 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917768247848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9854] ppid=9840 vsize=9824732 CPUtime=9.93 cores=0,2,4,6 /proc/9843/task/9854/stat : 9854 (java) S 9840 9843 5003 0 -1 4202560 3420 0 0 0 982 11 0 0 20 0 22 0 4750685 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917756050024 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9855] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9855/stat : 9855 (java) S 9840 9843 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4750685 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917754996344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9856] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9856/stat : 9856 (java) S 9840 9843 5003 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4750685 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917149595272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9857] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9857/stat : 9857 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750690 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917148544016 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9858] ppid=9840 vsize=9824732 CPUtime=2.13 cores=0,2,4,6 /proc/9843/task/9858/stat : 9858 (java) S 9840 9843 5003 0 -1 4202560 12411 0 0 0 210 3 0 0 20 0 22 0 4750690 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917147490360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9843/tid=9859] ppid=9840 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/9843/task/9859/stat : 9859 (java) S 9840 9843 5003 0 -1 4202560 5827 0 0 0 128 2 0 0 20 0 22 0 4750690 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917146437816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9843/tid=9860] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/9860/stat : 9860 (java) S 9840 9843 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4750690 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917145385464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=9861] ppid=9840 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/9843/task/9861/stat : 9861 (java) S 9840 9843 5003 0 -1 4202560 55 0 0 0 12 20 0 0 20 0 22 0 4750690 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917144333128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=10342] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/10342/stat : 10342 (java) S 9840 9843 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4768326 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917139489960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=10369] ppid=9840 vsize=9824732 CPUtime=646.53 cores=0,2,4,6 /proc/9843/task/10369/stat : 10369 (java) R 9840 9843 5003 0 -1 4202560 35 0 0 0 64644 9 0 0 20 0 22 0 4779936 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917142646048 139917770983089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9843/tid=10370] ppid=9840 vsize=9824732 CPUtime=646.51 cores=0,2,4,6 /proc/9843/task/10370/stat : 10370 (java) R 9840 9843 5003 0 -1 4202560 58 0 0 0 64641 10 0 0 20 0 22 0 4779936 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917140539552 139917771115319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=9843/tid=10371] ppid=9840 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9843/task/10371/stat : 10371 (java) S 9840 9843 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4779936 10060525568 1134035 33554432000 1073741824 1073778376 140734764772976 139917141595304 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.92 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 9843 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9843 and gives # childrusage.ru_utime.tv_sec=1790 # childrusage.ru_utime.tv_usec=648780 # childrusage.ru_stime.tv_sec=6 # childrusage.ru_stime.tv_usec=430022 # CPU time returned by wait4() is 1797.08 # while last known CPU time is 1799.92 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.269984 # lost CPU user time (s): 0.309993 # lost CPU system time (s): -0.04 Real time (s): 956.272 CPU time (s): 1800.19 CPU user time (s): 1794.16 CPU system time (s): 6.03 CPU usage (%): 188.251 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.65 system time used= 6.43002 maximum resident set size= 4557100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42766 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28507 involuntary context switches= 34355 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.81212 second user time and 7.99378 second system time The end
Begin job on node130 at 2016-06-30 00:05:56 IDJOB=4118926 IDBENCH=111548 IDSOLVER=2543 FILE ID=node130/4118926-1467237956 RUNJOBID= node130-1467233347-7541 PBS_JOBID= 19997578 Free space on /tmp= 71668 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_bern40-10.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118926-1467237956/watcher-4118926-1467237956 -o /tmp/evaluation-result-4118926-1467237956/solver-4118926-1467237956 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467233347-7541 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118926-1467237956.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 97ab9db877b63a63c316f183597a0e7a RANDOM SEED=1285832262 node130.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.813 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 : 5333.62 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.813 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.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.813 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.813 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.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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: 23021856 kB Buffers: 142144 kB Cached: 3755408 kB SwapCached: 0 kB Active: 4223820 kB Inactive: 3424440 kB Active(anon): 3753156 kB Inactive(anon): 0 kB Active(file): 470664 kB Inactive(file): 3424440 kB Unevictable: 1432516 kB Mlocked: 1268996 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 544 kB Writeback: 0 kB AnonPages: 5197320 kB Mapped: 22140 kB Shmem: 204 kB Slab: 617408 kB SReclaimable: 61088 kB SUnreclaim: 556320 kB KernelStack: 1600 kB PageTables: 14556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5449992 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3833856 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= 71664 MiB End job on node130 at 2016-06-30 00:21:52