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) | -3024 | 1800.07 | 961.849 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-11.opb |
| MD5SUM | b237ad5554df01098f4313a42e3fd5d3 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -3092 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 2813 |
| Biggest coefficient in the objective function | 610 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 199500 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 610 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 199500 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 2768 |
| Sum of products size (including duplicates) | 8659 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-4119541-1467258519.opb 0.09/0.13 c reading problem ... 0.09/0.13 c objective function found 0.86/0.51 c ... done. Wall clock time 0.381s. 0.86/0.51 c declared #vars 45 0.86/0.51 c internal #vars 2813 0.86/0.51 c #constraints 5536 0.86/0.51 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.86/0.51 c constraints type 0.86/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2768 0.86/0.51 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2768 0.86/0.51 c 5536 constraints processed. 0.86/0.51 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.86/0.51 c constraints type 0.86/0.51 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2768 0.86/0.51 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2768 0.86/0.51 c 5536 constraints processed. 0.86/0.51 c objective function length is 2813 literals 0.86/0.58 c And the winner is solver0 1.33/1.01 c SATISFIABLE 1.33/1.01 c OPTIMIZING... 1.33/1.01 c Got one! Elapsed wall clock time (in seconds):0.887 1.33/1.01 o 0 1.33/1.08 c And the winner is solver0 1.85/1.53 c Got one! Elapsed wall clock time (in seconds):1.404 1.85/1.53 o -45 1.85/1.55 c And the winner is solver0 1.96/2.04 c Got one! Elapsed wall clock time (in seconds):1.916 1.96/2.04 o -90 1.96/2.06 c And the winner is solver0 2.19/2.55 c Got one! Elapsed wall clock time (in seconds):2.424 2.19/2.55 o -155 2.19/2.56 c And the winner is solver0 2.26/3.06 c Got one! Elapsed wall clock time (in seconds):2.931 2.26/3.06 o -207 2.26/3.07 c And the winner is solver0 2.40/3.56 c Got one! Elapsed wall clock time (in seconds):3.436 2.40/3.56 o -220 2.40/3.57 c And the winner is solver0 2.43/4.07 c Got one! Elapsed wall clock time (in seconds):3.945 2.43/4.07 o -288 2.43/4.08 c And the winner is solver0 2.43/4.57 c Got one! Elapsed wall clock time (in seconds):4.449 2.43/4.57 o -297 2.43/4.58 c And the winner is solver0 2.45/5.08 c Got one! Elapsed wall clock time (in seconds):4.953 2.45/5.08 o -365 2.48/5.10 c And the winner is solver0 2.56/5.58 c Got one! Elapsed wall clock time (in seconds):5.458 2.56/5.58 o -374 2.56/5.59 c And the winner is solver0 2.56/6.09 c Got one! Elapsed wall clock time (in seconds):5.962 2.56/6.09 o -448 2.58/6.11 c And the winner is solver0 2.73/6.59 c Got one! Elapsed wall clock time (in seconds):6.467 2.73/6.59 o -455 2.76/6.61 c And the winner is solver0 2.79/7.10 c Got one! Elapsed wall clock time (in seconds):6.971 2.79/7.10 o -458 2.79/7.10 c And the winner is solver0 2.79/7.60 c Got one! Elapsed wall clock time (in seconds):7.475 2.79/7.60 o -501 2.79/7.63 c And the winner is solver0 2.94/8.10 c Got one! Elapsed wall clock time (in seconds):7.98 2.94/8.10 o -542 2.94/8.15 c And the winner is solver0 3.10/8.61 c Got one! Elapsed wall clock time (in seconds):8.484 3.10/8.61 o -623 3.10/8.69 c And the winner is solver0 3.40/9.11 c Got one! Elapsed wall clock time (in seconds):8.987 3.40/9.11 o -624 3.40/9.14 c And the winner is solver0 3.58/9.62 c Got one! Elapsed wall clock time (in seconds):9.491 3.58/9.62 o -630 3.58/9.64 c And the winner is solver0 3.63/10.12 c Got one! Elapsed wall clock time (in seconds):9.995 3.63/10.12 o -633 3.63/10.13 c And the winner is solver0 3.64/10.62 c Got one! Elapsed wall clock time (in seconds):10.499 3.64/10.62 o -690 3.77/10.71 c And the winner is solver0 3.82/11.13 c Got one! Elapsed wall clock time (in seconds):11.002 3.82/11.13 o -698 3.82/11.17 c And the winner is solver0 3.97/11.63 c Got one! Elapsed wall clock time (in seconds):11.506 3.97/11.63 o -699 3.97/11.66 c And the winner is solver0 4.13/12.14 c Got one! Elapsed wall clock time (in seconds):12.01 4.13/12.14 o -702 4.13/12.14 c And the winner is solver0 4.14/12.64 c Got one! Elapsed wall clock time (in seconds):12.513 4.14/12.64 o -705 4.14/12.64 c And the winner is solver0 4.15/13.14 c Got one! Elapsed wall clock time (in seconds):13.017 4.15/13.14 o -712 4.15/13.15 c And the winner is solver0 4.15/13.65 c Got one! Elapsed wall clock time (in seconds):13.521 4.15/13.65 o -718 4.15/13.67 c And the winner is solver0 4.20/14.15 c Got one! Elapsed wall clock time (in seconds):14.025 4.20/14.15 o -724 4.20/14.17 c And the winner is solver0 4.32/14.65 c Got one! Elapsed wall clock time (in seconds):14.528 4.32/14.65 o -750 4.60/14.81 c And the winner is solver0 4.65/15.16 c Got one! Elapsed wall clock time (in seconds):15.032 4.65/15.16 o -758 4.65/15.19 c And the winner is solver0 4.77/15.66 c Got one! Elapsed wall clock time (in seconds):15.536 4.77/15.66 o -762 4.77/15.67 c And the winner is solver0 4.80/16.16 c Got one! Elapsed wall clock time (in seconds):16.039 4.80/16.16 o -764 4.80/16.18 c And the winner is solver0 4.91/16.67 c Got one! Elapsed wall clock time (in seconds):16.543 4.91/16.67 o -768 4.91/16.70 c And the winner is solver0 5.03/17.17 c Got one! Elapsed wall clock time (in seconds):17.047 5.03/17.17 o -775 5.03/17.18 c And the winner is solver0 5.04/17.68 c Got one! Elapsed wall clock time (in seconds):17.551 5.04/17.68 o -778 5.04/17.68 c And the winner is solver0 5.04/18.18 c Got one! Elapsed wall clock time (in seconds):18.054 5.04/18.18 o -784 5.04/18.19 c And the winner is solver0 5.05/18.68 c Got one! Elapsed wall clock time (in seconds):18.558 5.05/18.68 o -789 5.10/18.72 c And the winner is solver0 5.20/19.19 c Got one! Elapsed wall clock time (in seconds):19.062 5.20/19.19 o -791 5.21/19.22 c And the winner is solver0 5.32/19.69 c Got one! Elapsed wall clock time (in seconds):19.565 5.32/19.69 o -812 5.33/19.71 c And the winner is solver0 5.44/20.19 c Got one! Elapsed wall clock time (in seconds):20.069 5.44/20.19 o -817 5.44/20.25 c And the winner is solver0 5.60/20.70 c Got one! Elapsed wall clock time (in seconds):20.573 5.60/20.70 o -831 6.25/21.01 c And the winner is solver0 6.30/21.20 c Got one! Elapsed wall clock time (in seconds):21.077 6.30/21.20 o -849 6.30/21.26 c And the winner is solver0 6.44/21.71 c Got one! Elapsed wall clock time (in seconds):21.581 6.44/21.71 o -854 6.44/21.76 c And the winner is solver0 6.58/22.21 c Got one! Elapsed wall clock time (in seconds):22.085 6.58/22.21 o -867 6.58/22.25 c And the winner is solver0 6.79/22.71 c Got one! Elapsed wall clock time (in seconds):22.588 6.79/22.71 o -872 6.79/22.75 c And the winner is solver0 6.90/23.22 c Got one! Elapsed wall clock time (in seconds):23.092 6.90/23.22 o -877 6.90/23.23 c And the winner is solver0 6.90/23.72 c Got one! Elapsed wall clock time (in seconds):23.596 6.90/23.72 o -882 6.90/23.78 c And the winner is solver0 7.05/24.22 c Got one! Elapsed wall clock time (in seconds):24.099 7.05/24.22 o -890 7.21/24.32 c And the winner is solver0 7.24/24.73 c Got one! Elapsed wall clock time (in seconds):24.603 7.24/24.73 o -894 7.24/24.74 c And the winner is solver0 7.24/25.23 c Got one! Elapsed wall clock time (in seconds):25.107 7.24/25.23 o -897 7.24/25.24 c And the winner is solver0 7.25/25.74 c Got one! Elapsed wall clock time (in seconds):25.611 7.25/25.74 o -902 7.25/25.75 c And the winner is solver0 7.25/26.24 c Got one! Elapsed wall clock time (in seconds):26.114 7.25/26.24 o -905 7.25/26.25 c And the winner is solver0 7.25/26.74 c Got one! Elapsed wall clock time (in seconds):26.618 7.25/26.74 o -910 7.36/26.81 c And the winner is solver0 7.42/27.25 c Got one! Elapsed wall clock time (in seconds):27.122 7.42/27.25 o -963 8.62/27.81 c And the winner is solver0 8.67/28.25 c Got one! Elapsed wall clock time (in seconds):28.126 8.67/28.25 o -970 8.75/28.34 c And the winner is solver0 8.85/28.76 c Got one! Elapsed wall clock time (in seconds):28.63 8.85/28.76 o -975 8.85/28.79 c And the winner is solver0 8.97/29.26 c Got one! Elapsed wall clock time (in seconds):29.134 8.97/29.26 o -976 9.45/29.51 c And the winner is solver0 9.57/29.76 c Got one! Elapsed wall clock time (in seconds):29.638 9.57/29.76 o -985 9.65/29.86 c And the winner is solver0 9.85/30.27 c Got one! Elapsed wall clock time (in seconds):30.142 9.85/30.27 o -991 9.85/30.29 c And the winner is solver0 9.97/30.77 c Got one! Elapsed wall clock time (in seconds):30.645 9.97/30.77 o -995 9.97/30.79 c And the winner is solver0 10.08/31.28 c Got one! Elapsed wall clock time (in seconds):31.149 10.08/31.28 o -1001 10.63/31.53 c And the winner is solver0 10.75/31.78 c Got one! Elapsed wall clock time (in seconds):31.653 10.75/31.78 o -1053 13.20/32.92 c And the winner is solver0 13.30/33.28 c Got one! Elapsed wall clock time (in seconds):33.157 13.30/33.28 o -1069 13.93/33.68 c cleaning 5788 clauses out of 11581 with flag 2002/11581 14.55/34.00 c And the winner is solver0 14.82/34.29 c Got one! Elapsed wall clock time (in seconds):34.161 14.82/34.29 o -1081 15.49/34.67 c And the winner is solver0 15.65/34.79 c Got one! Elapsed wall clock time (in seconds):34.666 15.65/34.79 o -1091 15.66/34.86 c And the winner is solver0 15.84/35.30 c Got one! Elapsed wall clock time (in seconds):35.17 15.84/35.30 o -1092 16.24/35.56 c And the winner is solver0 16.39/35.80 c Got one! Elapsed wall clock time (in seconds):35.674 16.39/35.80 o -1128 18.62/36.97 c And the winner is solver0 18.84/37.31 c Got one! Elapsed wall clock time (in seconds):37.178 18.84/37.31 o -1132 20.33/38.04 c And the winner is solver0 20.52/38.31 c Got one! Elapsed wall clock time (in seconds):38.182 20.52/38.31 o -1140 21.10/38.65 c And the winner is solver0 21.23/38.81 c Got one! Elapsed wall clock time (in seconds):38.687 21.23/38.81 o -1142 21.23/38.84 c And the winner is solver0 21.31/39.32 c Got one! Elapsed wall clock time (in seconds):39.191 21.31/39.32 o -1146 21.31/39.35 c And the winner is solver0 21.38/39.82 c Got one! Elapsed wall clock time (in seconds):39.695 21.38/39.82 o -1150 21.38/39.83 c And the winner is solver0 21.38/40.32 c Got one! Elapsed wall clock time (in seconds):40.2 21.38/40.32 o -1151 21.38/40.33 c And the winner is solver0 21.39/40.83 c Got one! Elapsed wall clock time (in seconds):40.704 21.39/40.83 o -1152 21.58/40.96 c And the winner is solver0 21.74/41.33 c Got one! Elapsed wall clock time (in seconds):41.208 21.74/41.33 o -1156 22.26/41.62 c And the winner is solver0 22.38/41.84 c Got one! Elapsed wall clock time (in seconds):41.712 22.38/41.84 o -1158 23.09/42.22 c cleaning 8303 clauses out of 16606 with flag 2002/22394 24.10/42.72 c And the winner is solver0 24.21/42.84 c Got one! Elapsed wall clock time (in seconds):42.716 24.21/42.84 o -1161 25.58/43.55 c And the winner is solver0 25.78/43.85 c Got one! Elapsed wall clock time (in seconds):43.72 25.78/43.85 o -1163 25.88/43.90 c And the winner is solver0 25.96/44.35 c Got one! Elapsed wall clock time (in seconds):44.225 25.96/44.35 o -1166 25.96/44.37 c And the winner is solver0 26.04/44.86 c Got one! Elapsed wall clock time (in seconds):44.729 26.04/44.86 o -1170 26.04/44.86 c And the winner is solver0 26.04/45.36 c Got one! Elapsed wall clock time (in seconds):45.233 26.04/45.36 o -1171 26.04/45.38 c And the winner is solver0 26.12/45.86 c Got one! Elapsed wall clock time (in seconds):45.738 26.12/45.86 o -1176 26.12/45.87 c And the winner is solver0 26.12/46.37 c Got one! Elapsed wall clock time (in seconds):46.242 26.12/46.37 o -1177 26.12/46.39 c And the winner is solver0 26.19/46.87 c Got one! Elapsed wall clock time (in seconds):46.746 26.19/46.87 o -1180 26.24/46.91 c And the winner is solver0 26.36/47.38 c Got one! Elapsed wall clock time (in seconds):47.251 26.36/47.38 o -1181 27.19/47.87 c And the winner is solver0 27.38/47.93 c Got one! Elapsed wall clock time (in seconds):47.805 27.38/47.93 o -1204 28.98/48.71 c cleaning 7706 clauses out of 15419 with flag 4003/29510 33.27/50.81 c cleaning 6857 clauses out of 13713 with flag 16003/35510 35.87/52.17 c And the winner is solver0 36.07/52.44 c Got one! Elapsed wall clock time (in seconds):52.31 36.07/52.44 o -1227 37.39/53.17 c cleaning 6403 clauses out of 12815 with flag 4004/41469 39.00/53.92 c And the winner is solver0 39.00/53.99 c Got one! Elapsed wall clock time (in seconds):53.865 39.00/53.99 o -1232 39.70/54.33 c And the winner is solver0 39.80/54.49 c Got one! Elapsed wall clock time (in seconds):54.369 39.80/54.49 o -1236 39.80/54.58 c And the winner is solver0 40.07/55.00 c Got one! Elapsed wall clock time (in seconds):54.874 40.07/55.00 o -1237 40.08/55.08 c And the winner is solver0 40.32/55.50 c Got one! Elapsed wall clock time (in seconds):55.379 40.32/55.50 o -1238 40.32/55.53 c And the winner is solver0 40.39/56.01 c Got one! Elapsed wall clock time (in seconds):55.884 40.39/56.01 o -1240 40.39/56.02 c And the winner is solver0 40.40/56.51 c Got one! Elapsed wall clock time (in seconds):56.389 40.40/56.51 o -1241 40.56/56.63 c And the winner is solver0 40.66/57.02 c Got one! Elapsed wall clock time (in seconds):56.893 40.66/57.02 o -1242 40.66/57.07 c And the winner is solver0 40.88/57.53 c Got one! Elapsed wall clock time (in seconds):57.398 40.88/57.53 o -1245 42.02/58.15 c And the winner is solver0 42.16/58.53 c Got one! Elapsed wall clock time (in seconds):58.403 42.16/58.53 o -1247 43.49/59.27 c cleaning 7056 clauses out of 14114 with flag 4003/49171 44.71/59.86 c And the winner is solver0 44.87/60.03 c Got one! Elapsed wall clock time (in seconds):59.908 44.87/60.03 o -1248 45.06/60.15 c And the winner is solver0 45.28/60.54 c Got one! Elapsed wall clock time (in seconds):60.413 45.28/60.54 o -1252 45.28/60.56 c And the winner is solver0 45.34/61.04 c Got one! Elapsed wall clock time (in seconds):60.917 45.34/61.04 o -1253 45.34/61.05 c And the winner is solver0 45.34/61.55 c Got one! Elapsed wall clock time (in seconds):61.422 45.34/61.55 o -1261 45.34/61.56 c And the winner is solver0 45.35/62.05 c Got one! Elapsed wall clock time (in seconds):61.927 45.35/62.05 o -1262 45.35/62.08 c And the winner is solver0 45.43/62.56 c Got one! Elapsed wall clock time (in seconds):62.432 45.43/62.56 o -1265 45.43/62.59 c And the winner is solver0 45.52/63.06 c Got one! Elapsed wall clock time (in seconds):62.937 45.52/63.06 o -1266 45.58/63.14 c And the winner is solver0 45.75/63.57 c Got one! Elapsed wall clock time (in seconds):63.442 45.75/63.57 o -1267 45.81/63.68 c And the winner is solver0 46.04/64.07 c Got one! Elapsed wall clock time (in seconds):63.946 46.04/64.07 o -1270 47.90/65.04 c And the winner is solver0 48.03/65.13 c Got one! Elapsed wall clock time (in seconds):65.002 48.03/65.13 o -1278 49.39/65.86 c cleaning 7228 clauses out of 14458 with flag 4001/56571 53.61/67.93 c cleaning 6615 clauses out of 13231 with flag 16003/62572 58.48/70.37 c cleaning 6806 clauses out of 13615 with flag 30001/69571 64.08/73.14 c cleaning 7401 clauses out of 14809 with flag 46001/77571 64.48/73.38 c And the winner is solver0 64.68/73.63 c Got one! Elapsed wall clock time (in seconds):73.508 64.68/73.63 o -1279 66.40/74.59 c And the winner is solver0 66.60/74.69 c Got one! Elapsed wall clock time (in seconds):74.563 66.60/74.69 o -1280 67.61/75.18 c And the winner is solver0 67.79/75.24 c Got one! Elapsed wall clock time (in seconds):75.118 67.79/75.24 o -1285 68.53/75.64 c And the winner is solver0 68.67/75.75 c Got one! Elapsed wall clock time (in seconds):75.623 68.67/75.75 o -1294 68.79/75.81 c And the winner is solver0 68.88/76.26 c Got one! Elapsed wall clock time (in seconds):76.129 68.88/76.26 o -1297 68.88/76.29 c And the winner is solver0 68.98/76.76 c Got one! Elapsed wall clock time (in seconds):76.634 68.98/76.76 o -1298 69.05/76.83 c And the winner is solver0 69.18/77.27 c Got one! Elapsed wall clock time (in seconds):77.14 69.18/77.27 o -1299 69.18/77.29 c And the winner is solver0 69.23/77.77 c Got one! Elapsed wall clock time (in seconds):77.645 69.23/77.77 o -1301 69.28/77.88 c And the winner is solver0 69.56/78.28 c Got one! Elapsed wall clock time (in seconds):78.15 69.56/78.28 o -1305 70.20/78.66 c cleaning 7354 clauses out of 14712 with flag 2057/84875 71.00/79.01 c And the winner is solver0 71.13/79.28 c Got one! Elapsed wall clock time (in seconds):79.155 71.13/79.28 o -1310 73.55/80.55 c And the winner is solver0 73.72/80.79 c Got one! Elapsed wall clock time (in seconds):80.661 73.72/80.79 o -1313 73.74/80.85 c And the winner is solver0 73.88/81.29 c Got one! Elapsed wall clock time (in seconds):81.167 73.88/81.29 o -1322 73.88/81.33 c And the winner is solver0 73.98/81.80 c Got one! Elapsed wall clock time (in seconds):81.672 73.98/81.80 o -1323 73.98/81.81 c And the winner is solver0 74.01/82.30 c Got one! Elapsed wall clock time (in seconds):82.179 74.01/82.30 o -1326 74.19/82.43 c And the winner is solver0 74.40/82.81 c Got one! Elapsed wall clock time (in seconds):82.685 74.40/82.81 o -1327 74.60/82.97 c And the winner is solver0 74.89/83.32 c Got one! Elapsed wall clock time (in seconds):83.191 74.89/83.32 o -1330 75.04/83.46 c And the winner is solver0 75.29/83.82 c Got one! Elapsed wall clock time (in seconds):83.696 75.29/83.82 o -1335 76.03/84.21 c cleaning 7117 clauses out of 14239 with flag 2054/91756 77.05/84.77 c And the winner is solver0 77.21/84.83 c Got one! Elapsed wall clock time (in seconds):84.702 77.21/84.83 o -1348 79.96/86.23 c cleaning 6406 clauses out of 12823 with flag 8026/97457 79.96/86.24 c And the winner is solver0 80.11/86.38 c Got one! Elapsed wall clock time (in seconds):86.258 80.11/86.38 o -1353 80.59/86.66 c And the winner is solver0 80.79/86.89 c Got one! Elapsed wall clock time (in seconds):86.763 80.79/86.89 o -1355 81.01/87.06 c And the winner is solver0 81.18/87.39 c Got one! Elapsed wall clock time (in seconds):87.268 81.18/87.39 o -1363 84.59/89.12 c cleaning 6329 clauses out of 12662 with flag 10083/103702 86.17/89.90 c And the winner is solver0 86.41/90.40 c Got one! Elapsed wall clock time (in seconds):90.274 86.41/90.40 o -1365 88.42/91.44 c cleaning 5801 clauses out of 11607 with flag 6001/108976 92.40/93.49 c cleaning 5902 clauses out of 11806 with flag 18001/114976 97.40/95.93 c cleaning 6451 clauses out of 12905 with flag 32003/121977 103.00/98.74 c cleaning 7226 clauses out of 14454 with flag 48003/129977 109.77/102.29 c cleaning 8110 clauses out of 16227 with flag 66001/138976 116.97/105.89 c cleaning 9057 clauses out of 18117 with flag 86001/148976 117.97/106.31 c And the winner is solver0 118.04/106.46 c Got one! Elapsed wall clock time (in seconds):106.333 118.04/106.46 o -1386 120.97/107.91 c cleaning 7132 clauses out of 14271 with flag 8004/154187 124.96/109.98 c cleaning 6566 clauses out of 13139 with flag 20004/160187 126.16/110.51 c And the winner is solver0 126.29/110.97 c Got one! Elapsed wall clock time (in seconds):110.838 126.29/110.97 o -1387 127.56/111.66 c And the winner is solver0 127.82/111.97 c Got one! Elapsed wall clock time (in seconds):111.844 127.82/111.97 o -1390 128.07/112.20 c And the winner is solver0 128.37/112.47 c Got one! Elapsed wall clock time (in seconds):112.349 128.37/112.47 o -1395 128.82/112.72 c And the winner is solver0 129.03/112.98 c Got one! Elapsed wall clock time (in seconds):112.854 129.03/112.98 o -1400 129.67/113.36 c And the winner is solver0 129.83/113.48 c Got one! Elapsed wall clock time (in seconds):113.36 129.83/113.48 o -1404 131.32/114.24 c cleaning 7213 clauses out of 14435 with flag 4005/168049 132.76/114.91 c And the winner is solver0 132.87/115.04 c Got one! Elapsed wall clock time (in seconds):114.915 132.87/115.04 o -1410 132.98/115.15 c And the winner is solver0 133.21/115.55 c Got one! Elapsed wall clock time (in seconds):115.42 133.21/115.55 o -1415 133.91/115.98 c And the winner is solver0 134.20/116.15 c Got one! Elapsed wall clock time (in seconds):116.026 134.20/116.15 o -1420 134.20/116.19 c And the winner is solver0 134.35/116.66 c Got one! Elapsed wall clock time (in seconds):116.532 134.35/116.66 o -1423 135.42/117.20 c And the winner is solver0 135.57/117.67 c Got one! Elapsed wall clock time (in seconds):117.537 135.57/117.67 o -1428 136.84/118.39 c cleaning 7067 clauses out of 14140 with flag 4047/174967 140.64/120.21 c And the winner is solver0 140.82/120.67 c Got one! Elapsed wall clock time (in seconds):120.543 140.82/120.67 o -1429 144.53/122.55 c cleaning 8686 clauses out of 17382 with flag 10003/185276 148.73/124.67 c cleaning 7345 clauses out of 14697 with flag 22005/191277 151.53/126.04 c And the winner is solver0 151.66/126.18 c Got one! Elapsed wall clock time (in seconds):126.049 151.66/126.18 o -1430 151.93/126.38 c And the winner is solver0 152.24/126.68 c Got one! Elapsed wall clock time (in seconds):126.555 152.24/126.68 o -1440 152.70/126.93 c And the winner is solver0 152.93/127.18 c Got one! Elapsed wall clock time (in seconds):127.06 152.93/127.18 o -1443 153.15/127.38 c And the winner is solver0 153.48/127.69 c Got one! Elapsed wall clock time (in seconds):127.566 153.48/127.69 o -1446 153.50/127.75 c And the winner is solver0 153.64/128.20 c Got one! Elapsed wall clock time (in seconds):128.071 153.64/128.20 o -1448 154.42/128.60 c And the winner is solver0 154.54/128.75 c Got one! Elapsed wall clock time (in seconds):128.627 154.54/128.75 o -1449 155.03/129.02 c And the winner is solver0 155.20/129.26 c Got one! Elapsed wall clock time (in seconds):129.133 155.20/129.26 o -1451 155.27/129.32 c And the winner is solver0 155.36/129.76 c Got one! Elapsed wall clock time (in seconds):129.639 155.36/129.76 o -1456 156.02/130.17 c cleaning 7904 clauses out of 15807 with flag 2135/199732 160.68/132.40 c cleaning 6951 clauses out of 13903 with flag 14298/205732 161.08/132.63 c And the winner is solver0 161.30/132.82 c Got one! Elapsed wall clock time (in seconds):132.695 161.30/132.82 o -1471 164.65/134.54 c cleaning 6277 clauses out of 12561 with flag 10003/211341 169.05/136.70 c cleaning 6138 clauses out of 12284 with flag 22003/217341 174.09/139.29 c cleaning 6573 clauses out of 13146 with flag 36003/224341 179.89/142.11 c cleaning 7286 clauses out of 14573 with flag 52003/232341 186.10/145.24 c cleaning 8140 clauses out of 16286 with flag 70001/241340 188.76/146.59 c And the winner is solver0 189.05/146.83 c Got one! Elapsed wall clock time (in seconds):146.703 189.05/146.83 o -1483 190.40/147.57 c cleaning 6939 clauses out of 13886 with flag 4002/247080 194.60/149.64 c cleaning 6471 clauses out of 12948 with flag 16004/253081 200.34/152.72 c cleaning 6732 clauses out of 13476 with flag 30002/260080 202.34/153.78 c And the winner is solver0 202.68/154.00 c Got one! Elapsed wall clock time (in seconds):153.879 202.68/154.00 o -1484 204.06/154.72 c cleaning 5955 clauses out of 11917 with flag 4031/265253 204.66/155.01 c And the winner is solver0 204.83/155.51 c Got one! Elapsed wall clock time (in seconds):155.385 204.83/155.51 o -1485 205.40/155.82 c And the winner is solver0 205.63/156.07 c Got one! Elapsed wall clock time (in seconds):155.941 205.63/156.07 o -1486 209.17/157.88 c cleaning 6386 clauses out of 12774 with flag 10257/272065 210.17/158.34 c And the winner is solver0 210.42/158.57 c Got one! Elapsed wall clock time (in seconds):158.448 210.42/158.57 o -1494 213.08/159.97 c cleaning 5856 clauses out of 11719 with flag 8003/277396 217.28/162.03 c cleaning 5928 clauses out of 11864 with flag 20005/283397 220.13/163.46 c And the winner is solver0 220.47/163.73 c Got one! Elapsed wall clock time (in seconds):163.605 220.47/163.73 o -1497 220.81/163.97 c And the winner is solver0 221.12/164.24 c Got one! Elapsed wall clock time (in seconds):164.111 221.12/164.24 o -1498 221.24/164.32 c And the winner is solver0 221.37/164.75 c Got one! Elapsed wall clock time (in seconds):164.617 221.37/164.75 o -1503 221.37/164.76 c And the winner is solver0 221.43/165.25 c Got one! Elapsed wall clock time (in seconds):165.123 221.43/165.25 o -1506 221.43/165.27 c And the winner is solver0 221.49/165.75 c Got one! Elapsed wall clock time (in seconds):165.629 221.49/165.75 o -1508 221.57/165.84 c And the winner is solver0 221.71/166.26 c Got one! Elapsed wall clock time (in seconds):166.135 221.71/166.26 o -1509 221.98/166.45 c And the winner is solver0 222.22/166.77 c Got one! Elapsed wall clock time (in seconds):166.641 222.22/166.77 o -1514 222.27/166.85 c And the winner is solver0 222.47/167.27 c Got one! Elapsed wall clock time (in seconds):167.147 222.47/167.27 o -1516 223.12/167.65 c cleaning 6414 clauses out of 12831 with flag 2037/290292 225.58/168.84 c And the winner is solver0 225.89/169.28 c Got one! Elapsed wall clock time (in seconds):169.153 225.89/169.28 o -1521 227.32/170.02 c cleaning 5895 clauses out of 11799 with flag 4195/295674 231.72/172.20 c cleaning 5946 clauses out of 11903 with flag 16193/301673 236.51/174.67 c cleaning 6475 clauses out of 12957 with flag 30193/308673 238.71/175.72 c And the winner is solver0 238.93/175.98 c Got one! Elapsed wall clock time (in seconds):175.855 238.93/175.98 o -1524 241.13/177.00 c cleaning 6212 clauses out of 12426 with flag 6004/314617 245.13/179.05 c cleaning 6099 clauses out of 12214 with flag 18004/320617 249.93/181.46 c cleaning 6556 clauses out of 13115 with flag 32004/327617 255.67/184.28 c cleaning 7276 clauses out of 14558 with flag 48002/335616 260.47/186.64 c And the winner is solver0 260.76/186.99 c Got one! Elapsed wall clock time (in seconds):186.863 260.76/186.99 o -1525 264.37/188.87 c cleaning 9606 clauses out of 19215 with flag 10015/347549 268.57/190.98 c cleaning 7802 clauses out of 15609 with flag 22074/353549 270.57/191.97 c And the winner is solver0 271.26/192.31 c Got one! Elapsed wall clock time (in seconds):192.189 271.26/192.31 o -1529 272.62/193.00 c And the winner is solver0 272.90/193.32 c Got one! Elapsed wall clock time (in seconds):193.195 272.90/193.32 o -1530 273.04/193.43 c And the winner is solver0 273.20/193.83 c Got one! Elapsed wall clock time (in seconds):193.701 273.20/193.83 o -1533 273.54/194.10 c And the winner is solver0 273.94/194.38 c Got one! Elapsed wall clock time (in seconds):194.257 273.94/194.38 o -1534 274.02/194.44 c And the winner is solver0 274.15/194.89 c Got one! Elapsed wall clock time (in seconds):194.764 274.15/194.89 o -1536 274.16/194.92 c And the winner is solver0 274.26/195.39 c Got one! Elapsed wall clock time (in seconds):195.27 274.26/195.39 o -1537 274.26/195.41 c And the winner is solver0 274.31/195.90 c Got one! Elapsed wall clock time (in seconds):195.776 274.31/195.90 o -1539 274.32/195.91 c And the winner is solver0 274.34/196.41 c Got one! Elapsed wall clock time (in seconds):196.282 274.34/196.41 o -1541 275.53/197.02 c And the winner is solver0 275.82/197.41 c Got one! Elapsed wall clock time (in seconds):197.289 275.82/197.41 o -1542 276.73/197.88 c And the winner is solver0 277.11/198.12 c Got one! Elapsed wall clock time (in seconds):197.995 277.11/198.12 o -1543 277.45/198.33 c And the winner is solver0 277.76/198.63 c Got one! Elapsed wall clock time (in seconds):198.501 277.76/198.63 o -1547 278.50/199.06 c cleaning 8912 clauses out of 17823 with flag 2080/363565 282.90/201.20 c cleaning 7451 clauses out of 14910 with flag 14091/369564 287.91/203.70 c cleaning 7229 clauses out of 14458 with flag 28089/376563 288.11/203.90 c And the winner is solver0 288.51/204.13 c Got one! Elapsed wall clock time (in seconds):204.008 288.51/204.13 o -1571 291.95/205.88 c cleaning 6381 clauses out of 12782 with flag 10001/382116 295.94/207.85 c cleaning 6197 clauses out of 12402 with flag 22003/388117 300.75/210.28 c cleaning 6596 clauses out of 13205 with flag 36003/395117 306.34/213.08 c cleaning 7303 clauses out of 14610 with flag 52005/403118 312.83/216.21 c cleaning 8147 clauses out of 16305 with flag 70001/412116 319.84/219.75 c cleaning 9075 clauses out of 18158 with flag 90001/422116 328.03/223.81 c cleaning 10039 clauses out of 20084 with flag 112003/433117 332.19/225.82 c And the winner is solver1 332.19/226.14 c Got one! Elapsed wall clock time (in seconds):226.018 332.19/226.14 o -2871 332.29/226.25 c And the winner is solver0 332.52/226.65 c Got one! Elapsed wall clock time (in seconds):226.525 332.52/226.65 o -2876 332.62/226.78 c And the winner is solver0 332.89/227.16 c Got one! Elapsed wall clock time (in seconds):227.032 332.89/227.16 o -2907 332.97/227.29 c And the winner is solver0 333.27/227.66 c Got one! Elapsed wall clock time (in seconds):227.539 333.27/227.66 o -2914 333.34/227.76 c And the winner is solver0 333.53/228.17 c Got one! Elapsed wall clock time (in seconds):228.045 333.53/228.17 o -2922 333.78/228.33 c And the winner is solver0 333.99/228.68 c Got one! Elapsed wall clock time (in seconds):228.552 333.99/228.68 o -2930 334.23/228.82 c And the winner is solver0 334.36/229.18 c Got one! Elapsed wall clock time (in seconds):229.058 334.36/229.18 o -2932 334.79/229.42 c And the winner is solver0 335.01/229.69 c Got one! Elapsed wall clock time (in seconds):229.565 335.01/229.69 o -2941 335.25/229.82 c And the winner is solver0 335.41/230.20 c Got one! Elapsed wall clock time (in seconds):230.071 335.41/230.20 o -2951 335.60/230.31 c And the winner is solver0 336.75/231.25 c Got one! Elapsed wall clock time (in seconds):231.126 336.75/231.25 o -2973 337.08/231.42 c And the winner is solver0 337.25/231.76 c Got one! Elapsed wall clock time (in seconds):231.633 337.25/231.76 o -2976 337.32/231.89 c And the winner is solver0 337.62/232.26 c Got one! Elapsed wall clock time (in seconds):232.14 337.62/232.26 o -2986 337.87/232.45 c And the winner is solver0 338.13/232.77 c Got one! Elapsed wall clock time (in seconds):232.646 338.13/232.77 o -2988 342.38/234.94 c cleaning 12133 clauses out of 24275 with flag 13022/447347 349.06/238.00 c cleaning 9067 clauses out of 18141 with flag 28043/453346 356.14/241.56 c cleaning 8033 clauses out of 16074 with flag 47726/460346 364.34/245.62 c cleaning 8019 clauses out of 16042 with flag 74569/468347 373.67/250.26 c cleaning 8505 clauses out of 17022 with flag 104200/477346 383.68/255.30 c cleaning 9257 clauses out of 18517 with flag 138953/487346 396.51/261.52 c cleaning 10128 clauses out of 20261 with flag 184296/498347 411.36/268.81 c cleaning 11061 clauses out of 22134 with flag 235499/510348 428.76/277.54 c cleaning 12034 clauses out of 24072 with flag 292054/523347 444.98/285.53 c cleaning 13019 clauses out of 26039 with flag 354927/537348 466.41/296.75 c cleaning 14002 clauses out of 28018 with flag 437344/552346 486.95/306.96 c cleaning 15005 clauses out of 30017 with flag 522581/568347 510.99/318.83 c cleaning 15993 clauses out of 32011 with flag 618346/585346 534.82/330.65 c cleaning 17007 clauses out of 34019 with flag 733554/603347 559.41/342.97 c cleaning 17999 clauses out of 36013 with flag 837720/622348 586.18/356.23 c cleaning 19005 clauses out of 38013 with flag 955763/642347 616.22/371.16 c cleaning 19999 clauses out of 40008 with flag 1082245/663347 651.18/389.05 c cleaning 20997 clauses out of 42010 with flag 1220127/685348 687.98/407.30 c cleaning 22001 clauses out of 44011 with flag 1366935/708346 726.38/426.42 c cleaning 23004 clauses out of 46011 with flag 1546991/732347 770.34/448.01 c cleaning 23997 clauses out of 48006 with flag 1724314/757346 804.84/465.04 c And the winner is solver0 805.33/465.63 c Got one! Elapsed wall clock time (in seconds):465.507 805.33/465.63 o -2993 810.33/468.25 c cleaning 24854 clauses out of 49707 with flag 21705/783044 815.75/470.92 c cleaning 15426 clauses out of 30853 with flag 42333/789044 822.39/474.12 c cleaning 11211 clauses out of 22427 with flag 69087/796044 829.00/477.46 c cleaning 9605 clauses out of 19216 with flag 98338/804044 837.04/481.33 c cleaning 9301 clauses out of 18612 with flag 133835/813045 846.04/485.88 c cleaning 9648 clauses out of 19310 with flag 173407/823044 858.14/492.77 c cleaning 10330 clauses out of 20663 with flag 214494/834045 869.13/498.24 c cleaning 11163 clauses out of 22332 with flag 257688/846044 880.81/504.03 c cleaning 12085 clauses out of 24169 with flag 302451/859044 893.74/510.41 c cleaning 13043 clauses out of 26086 with flag 350815/873046 908.83/517.98 c cleaning 14018 clauses out of 28042 with flag 399787/888045 924.80/525.88 c cleaning 15010 clauses out of 30024 with flag 461749/904045 940.58/533.76 c cleaning 16002 clauses out of 32013 with flag 530596/921044 958.17/542.44 c cleaning 17002 clauses out of 34011 with flag 595520/939044 977.53/552.04 c cleaning 18004 clauses out of 36010 with flag 660213/958045 997.53/561.99 c cleaning 19000 clauses out of 38006 with flag 733773/978045 1018.97/572.59 c cleaning 20002 clauses out of 40006 with flag 822228/999045 1040.84/583.39 c cleaning 20998 clauses out of 42003 with flag 900635/1021044 1064.16/594.89 c cleaning 22003 clauses out of 44005 with flag 982444/1044044 1090.87/607.85 c cleaning 22998 clauses out of 46003 with flag 1073013/1068045 1119.51/621.85 c cleaning 24000 clauses out of 48005 with flag 1161187/1093045 1148.63/636.19 c cleaning 24996 clauses out of 50004 with flag 1242047/1119044 1179.53/651.45 c cleaning 26001 clauses out of 52009 with flag 1335800/1146045 1208.83/665.94 c And the winner is solver1 1208.83/665.95 c Got one! Elapsed wall clock time (in seconds):665.826 1208.83/665.95 o -2994 1209.43/666.37 c And the winner is solver0 1209.91/666.71 c Got one! Elapsed wall clock time (in seconds):666.586 1209.91/666.71 o -3008 1210.28/666.94 c And the winner is solver0 1210.56/667.22 c Got one! Elapsed wall clock time (in seconds):667.098 1210.56/667.22 o -3014 1210.90/667.45 c And the winner is solver0 1211.21/667.73 c Got one! Elapsed wall clock time (in seconds):667.61 1211.21/667.74 o -3016 1211.93/668.11 c And the winner is solver0 1212.52/668.50 c Got one! Elapsed wall clock time (in seconds):668.372 1212.52/668.50 o -3024 1219.92/672.30 c cleaning 29245 clauses out of 58498 with flag 15958/1178535 1229.64/678.30 c cleaning 17621 clauses out of 35253 with flag 35091/1184535 1236.84/681.91 c cleaning 12314 clauses out of 24633 with flag 60678/1191536 1244.84/685.97 c cleaning 10156 clauses out of 20318 with flag 89201/1199535 1254.30/690.61 c cleaning 9577 clauses out of 19163 with flag 128490/1208536 1264.99/695.99 c cleaning 9785 clauses out of 19586 with flag 173053/1218536 1277.19/702.06 c cleaning 10395 clauses out of 20800 with flag 224620/1229535 1291.60/709.10 c cleaning 11204 clauses out of 22407 with flag 285103/1241537 1306.40/716.56 c cleaning 12091 clauses out of 24202 with flag 348993/1254536 1324.12/725.32 c cleaning 13054 clauses out of 26111 with flag 427725/1268536 1344.49/735.31 c cleaning 14026 clauses out of 28057 with flag 498633/1283536 1365.37/745.65 c cleaning 15012 clauses out of 30031 with flag 580518/1299536 1389.81/757.61 c cleaning 16010 clauses out of 32020 with flag 676476/1316537 1415.15/770.19 c cleaning 17000 clauses out of 34008 with flag 771000/1334535 1444.86/784.62 c cleaning 17999 clauses out of 36009 with flag 868077/1353536 1473.52/798.63 c cleaning 19006 clauses out of 38011 with flag 971451/1373537 1504.38/813.73 c cleaning 19997 clauses out of 40004 with flag 1097420/1394536 1536.51/829.65 c cleaning 20996 clauses out of 42006 with flag 1259101/1416535 1572.76/847.57 c cleaning 21997 clauses out of 44011 with flag 1397781/1439536 1613.97/869.80 c cleaning 23006 clauses out of 46015 with flag 1526331/1463537 1654.55/889.96 c cleaning 24001 clauses out of 48010 with flag 1660279/1488538 1696.80/910.83 c cleaning 25001 clauses out of 50010 with flag 1821188/1514539 1740.35/932.49 c cleaning 25997 clauses out of 52006 with flag 1985744/1541536 1787.39/955.68 c cleaning 27000 clauses out of 54008 with flag 2158391/1569535 1800.07/961.80 c >>>>>>>>>> Solver number 0 (193 answers) <<<<<<<<<<<<<<<<<< 1800.07/961.80 c starts : 14822 1800.07/961.80 c conflicts : 1577405 1800.07/961.80 c decisions : 18159916 1800.07/961.80 c propagations : 141094642 1800.07/961.80 c inspects : 4111764429 1800.07/961.80 c shortcuts : 0 1800.07/961.80 c learnt literals : 0 1800.07/961.80 c learnt binary clauses : 300 1800.07/961.80 c learnt ternary clauses : 2928 1800.07/961.80 c learnt constraints : 1577405 1800.07/961.80 c ignored constraints : 0 1800.07/961.80 c root simplifications : 0 1800.07/961.80 c removed literals (reason simplification) : 56843562 1800.07/961.80 c reason swapping (by a shorter reason) : 0 1800.07/961.80 c Calls to reduceDB : 128 1800.07/961.80 c Number of update (reduction) of LBD : 83959 1800.07/961.80 c Imported unit clauses : 0 1800.07/961.80 c number of reductions to clauses (during analyze) : 0 1800.07/961.80 c number of learned constraints concerned by reduction : 0 1800.07/961.80 c number of learning phase by resolution : 0 1800.07/961.80 c number of learning phase by cutting planes : 0 1800.07/961.80 c speed (assignments/second) : 476925.6630228298 1800.07/961.80 c non guided choices 0 1800.07/961.82 c learnt constraints type 1800.07/961.82 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 300 1800.07/961.82 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 34578 1800.07/961.82 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.07/961.82 c starts : 216 1800.07/961.82 c conflicts : 3841 1800.07/961.82 c decisions : 11368 1800.07/961.82 c propagations : 984277 1800.07/961.82 c inspects : 561281569 1800.07/961.82 c shortcuts : 0 1800.07/961.82 c learnt literals : 0 1800.07/961.82 c learnt binary clauses : 0 1800.07/961.82 c learnt ternary clauses : 1 1800.07/961.82 c learnt constraints : 3710 1800.07/961.82 c ignored constraints : 0 1800.07/961.82 c root simplifications : 0 1800.07/961.82 c removed literals (reason simplification) : 0 1800.07/961.82 c reason swapping (by a shorter reason) : 0 1800.07/961.82 c Calls to reduceDB : 0 1800.07/961.82 c Number of update (reduction) of LBD : 0 1800.07/961.82 c Imported unit clauses : 0 1800.07/961.82 c number of reductions to clauses (during analyze) : 0 1800.07/961.82 c number of learned constraints concerned by reduction : 0 1800.07/961.82 c number of learning phase by resolution : 0 1800.07/961.82 c number of learning phase by cutting planes : 0 1800.07/961.82 c speed (assignments/second) : 3355.8024725031196 1800.07/961.82 c non guided choices 0 1800.07/961.82 c learnt constraints type 1800.07/961.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3710 1800.07/961.82 s SATISFIABLE 1800.07/961.82 c Found 195 solution(s) 1800.07/961.82 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 1800.07/961.82 c objective function=-3024 1800.07/961.82 c Total wall clock time (in seconds): 961.693
OK -3024
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-4119541-1467258519/watcher-4119541-1467258519 -o /tmp/evaluation-result-4119541-1467258519/solver-4119541-1467258519 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5592 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119541-1467258519.opb pid=10200 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.97 3.98 3.98 4/197 10203 /proc/meminfo: memFree=28192364/32872528 swapFree=239532/272236 [pid=10203] ppid=10200 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/10203/stat : 10203 (java) R 10200 10203 5416 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 4882967 9515008 185 33554432000 1073741824 1073778376 140734272297792 140734272280520 251134045479 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/10203/statm: 2323 185 143 9 0 71 0 [startup+0.100057 s] /proc/loadavg: 3.97 3.98 3.98 4/197 10203 /proc/meminfo: memFree=28192364/32872528 swapFree=239532/272236 [pid=10203] ppid=10200 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/10203/stat : 10203 (java) S 10200 10203 5416 0 -1 4202496 4408 0 1 0 8 1 0 0 20 0 18 0 4882967 9787879424 6031 33554432000 1073741824 1073778376 140734272297792 140734272288928 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10203/statm: 2389619 6031 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200278 s] /proc/loadavg: 3.97 3.98 3.98 4/197 10203 /proc/meminfo: memFree=28192364/32872528 swapFree=239532/272236 [pid=10203] ppid=10200 vsize=9558476 CPUtime=0.22 cores=0,2,4,6 /proc/10203/stat : 10203 (java) S 10200 10203 5416 0 -1 4202496 4608 0 1 0 21 1 0 0 20 0 18 0 4882967 9787879424 7229 33554432000 1073741824 1073778376 140734272297792 140734272288928 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10203/statm: 2389619 7229 2197 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.30029 s] /proc/loadavg: 3.97 3.98 3.98 4/197 10203 /proc/meminfo: memFree=28192364/32872528 swapFree=239532/272236 [pid=10203] ppid=10200 vsize=9558476 CPUtime=0.44 cores=0,2,4,6 /proc/10203/stat : 10203 (java) S 10200 10203 5416 0 -1 4202496 5219 0 1 0 43 1 0 0 20 0 18 0 4882967 9787879424 8261 33554432000 1073741824 1073778376 140734272297792 140734272288928 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10203/statm: 2389619 8261 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558476 [startup+0.700278 s] /proc/loadavg: 3.97 3.98 3.98 4/197 10203 /proc/meminfo: memFree=28192364/32872528 swapFree=239532/272236 [pid=10203] ppid=10200 vsize=9824732 CPUtime=1.33 cores=0,2,4,6 /proc/10203/stat : 10203 (java) S 10200 10203 5416 0 -1 4202496 9397 0 1 0 129 4 0 0 20 0 19 0 4882967 10060525568 12978 33554432000 1073741824 1073778376 140734272297792 140734272288928 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10203/statm: 2456183 12978 2265 9 0 2446860 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 9824732 [startup+1.50077 s] /proc/loadavg: 3.89 3.96 3.98 6/217 10228 /proc/meminfo: memFree=28134384/32872528 swapFree=239532/272236 [pid=10203] ppid=10200 vsize=9824732 CPUtime=1.85 cores=0,2,4,6 /proc/10203/stat : 10203 (java) S 10200 10203 5416 0 -1 4202496 14590 0 1 0 178 7 0 0 20 0 19 0 4882967 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140734272288928 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10203/statm: 2456183 17237 2267 9 0 2446860 0 [pid=10203/tid=10205] ppid=10200 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/10203/task/10205/stat : 10205 (java) S 10200 10203 5416 0 -1 4202560 2425 0 1 0 48 1 0 0 20 0 19 0 4882968 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484973380472 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10206] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10206/stat : 10206 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484962441896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10207] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10207/stat : 10207 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484961389352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10208] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10208/stat : 10208 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484960336808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10209] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10209/stat : 10209 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484959284264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10210] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10210/stat : 10210 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484812683432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10211] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10211/stat : 10211 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484811630888 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10212] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10212/stat : 10212 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484810578344 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10213] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10213/stat : 10213 (java) S 10200 10203 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484809525800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10214] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10214/stat : 10214 (java) S 10200 10203 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4882970 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484797327976 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10215] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10215/stat : 10215 (java) S 10200 10203 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4882971 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484796274296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10216] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10216/stat : 10216 (java) S 10200 10203 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4882971 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484795221640 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10217] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10217/stat : 10217 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882973 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484794170384 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10218] ppid=10200 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/10203/task/10218/stat : 10218 (java) S 10200 10203 5416 0 -1 4202560 4544 0 0 0 56 0 0 0 20 0 19 0 4882973 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484793116728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10219] ppid=10200 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/10203/task/10219/stat : 10219 (java) S 10200 10203 5416 0 -1 4202560 6267 0 0 0 47 0 0 0 20 0 19 0 4882973 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484792064184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10220] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10220/stat : 10220 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882973 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484791011832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10221] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10221/stat : 10221 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882973 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484789959496 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10225] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10225/stat : 10225 (java) S 10200 10203 5416 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4883020 10060525568 17237 33554432000 1073741824 1073778376 140734272297792 140484785747624 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1.85 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 3.89 3.96 3.98 3/216 10234 /proc/meminfo: memFree=28094436/32872528 swapFree=239532/272236 [pid=10203] ppid=10200 vsize=9824732 CPUtime=2.36 cores=0,2,4,6 /proc/10203/stat : 10203 (java) S 10200 10203 5416 0 -1 4202496 15751 0 1 0 223 13 0 0 20 0 19 0 4882967 10060525568 24192 33554432000 1073741824 1073778376 140734272297792 140734272288928 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10203/statm: 2456183 24192 2274 9 0 2446860 0 [pid=10203/tid=10205] ppid=10200 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/10203/task/10205/stat : 10205 (java) S 10200 10203 5416 0 -1 4202560 2428 0 1 0 51 2 0 0 20 0 19 0 4882968 10060525568 24192 33554432000 1073741824 1073778376 140734272297792 140484973380472 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10206] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10206/stat : 10206 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 24192 33554432000 1073741824 1073778376 140734272297792 140484962441896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10207] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10207/stat : 10207 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 24192 33554432000 1073741824 1073778376 140734272297792 140484961389352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10208] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10208/stat : 10208 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 24192 33554432000 1073741824 1073778376 140734272297792 140484960336808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10209] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10209/stat : 10209 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 24130 33554432000 1073741824 1073778376 140734272297792 140484959284264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10210] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10210/stat : 10210 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 24133 33554432000 1073741824 1073778376 140734272297792 140484812683432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10211] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10211/stat : 10211 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 24155 33554432000 1073741824 1073778376 140734272297792 140484811630888 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10212] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10212/stat : 10212 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 24169 33554432000 1073741824 1073778376 140734272297792 140484810578344 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10213] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10213/stat : 10213 (java) S 10200 10203 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 24177 33554432000 1073741824 1073778376 140734272297792 140484809525800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10214] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10214/stat : 10214 (java) S 10200 10203 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4882970 10060525568 24193 33554432000 1073741824 1073778376 140734272297792 140484797327976 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10215] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10215/stat : 10215 (java) S 10200 10203 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4882971 10060525568 24206 33554432000 1073741824 1073778376 140734272297792 140484796274296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10216] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10216/stat : 10216 (java) S 10200 10203 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4882971 10060525568 24209 33554432000 1073741824 1073778376 140734272297792 140484795221640 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10217] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10217/stat : 10217 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882973 10060525568 24209 33554432000 1073741824 1073778376 140734272297792 140484794170384 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10218] ppid=10200 vsize=9824732 CPUtime=0.71 cores=0,2,4,6 /proc/10203/task/10218/stat : 10218 (java) R 10200 10203 5416 0 -1 4202560 5730 0 0 0 71 0 0 0 20 0 19 0 4882973 10060525568 24209 33554432000 1073741824 1073778376 140734272297792 140484793116568 140484977496528 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10219] ppid=10200 vsize=9824732 CPUtime=0.64 cores=0,2,4,6 /proc/10203/task/10219/stat : 10219 (java) R 10200 10203 5416 0 -1 4202560 6282 0 0 0 64 0 0 0 20 0 19 0 4882973 10060525568 24209 33554432000 1073741824 1073778376 140734272297792 140484792064184 140484975470449 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10220] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10220/stat : 10220 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882973 10060525568 24209 33554432000 1073741824 1073778376 140734272297792 140484791011832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10221] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10221/stat : 10221 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882973 10060525568 24209 33554432000 1073741824 1073778376 140734272297792 140484789959496 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10225] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10225/stat : 10225 (java) S 10200 10203 5416 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4883020 10060525568 24209 33554432000 1073741824 1073778376 140734272297792 140484785747624 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.36 Current children cumulated vsize (KiB) 9824732 heavy processes: [startup+6.30086 s] /proc/loadavg: 3.98 3.98 3.98 3/216 10252 /proc/meminfo: memFree=28052912/32872528 swapFree=239532/272236 [pid=10203] ppid=10200 vsize=9824732 CPUtime=2.73 cores=0,2,4,6 /proc/10203/stat : 10203 (java) S 10200 10203 5416 0 -1 4202496 16260 0 1 0 256 17 0 0 20 0 19 0 4882967 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140734272288928 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10203/statm: 2456183 35494 2275 9 0 2446860 0 [pid=10203/tid=10205] ppid=10200 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/10203/task/10205/stat : 10205 (java) S 10200 10203 5416 0 -1 4202560 2434 0 1 0 54 2 0 0 20 0 19 0 4882968 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484973380472 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10206] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10206/stat : 10206 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484962441896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10207] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10207/stat : 10207 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484961389352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10208] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10208/stat : 10208 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484960336808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10209] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10209/stat : 10209 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484959284264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10210] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10210/stat : 10210 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484812683432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10211] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10211/stat : 10211 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484811630888 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10212] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10212/stat : 10212 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484810578344 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10213] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10213/stat : 10213 (java) S 10200 10203 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4882969 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484809525800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10214] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10214/stat : 10214 (java) S 10200 10203 5416 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4882970 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484797327976 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10215] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10215/stat : 10215 (java) S 10200 10203 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4882971 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484796274296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10216] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10216/stat : 10216 (java) S 10200 10203 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4882971 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484795221640 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10217] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10217/stat : 10217 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882973 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484794170384 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10218] ppid=10200 vsize=9824732 CPUtime=0.77 cores=0,2,4,6 /proc/10203/task/10218/stat : 10218 (java) S 10200 10203 5416 0 -1 4202560 6079 0 0 0 77 0 0 0 20 0 19 0 4882973 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484793116728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10219] ppid=10200 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/10203/task/10219/stat : 10219 (java) S 10200 10203 5416 0 -1 4202560 6284 0 0 0 74 0 0 0 20 0 19 0 4882973 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484792064184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10220] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10220/stat : 10220 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882973 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484791011832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10221] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10221/stat : 10221 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4882973 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484789959496 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10225] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10225/stat : 10225 (java) S 10200 10203 5416 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4883020 10060525568 35494 33554432000 1073741824 1073778376 140734272297792 140484785747624 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.73 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [pid=10203/tid=10213] ppid=10200 vsize=9824732 CPUtime=4.7 cores=0,2,4,6 /proc/10203/task/10213/stat : 10213 (java) S 10200 10203 5416 0 -1 4202560 1305 0 0 0 420 50 0 0 20 0 22 0 4882969 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484809525800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10214] ppid=10200 vsize=9824732 CPUtime=12.42 cores=0,2,4,6 /proc/10203/task/10214/stat : 10214 (java) S 10200 10203 5416 0 -1 4202560 3818 0 0 0 1229 13 0 0 20 0 22 0 4882970 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484797327976 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10215] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10215/stat : 10215 (java) S 10200 10203 5416 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4882971 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484796274296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10216] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10216/stat : 10216 (java) S 10200 10203 5416 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4882971 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484795221640 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10217] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10217/stat : 10217 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4882973 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484794170384 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10218] ppid=10200 vsize=9824732 CPUtime=1.68 cores=0,2,4,6 /proc/10203/task/10218/stat : 10218 (java) S 10200 10203 5416 0 -1 4202560 14800 0 0 0 165 3 0 0 20 0 22 0 4882973 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484793116728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10219] ppid=10200 vsize=9824732 CPUtime=1.64 cores=0,2,4,6 /proc/10203/task/10219/stat : 10219 (java) S 10200 10203 5416 0 -1 4202560 7335 0 0 0 162 2 0 0 20 0 22 0 4882973 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484792064184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10220] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10220/stat : 10220 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4882973 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484791011832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10221] ppid=10200 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/10203/task/10221/stat : 10221 (java) S 10200 10203 5416 0 -1 4202560 51 0 0 0 12 17 0 0 20 0 22 0 4882973 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484789959496 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10814] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10814/stat : 10814 (java) S 10200 10203 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4949563 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484786799912 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10824] ppid=10200 vsize=9824732 CPUtime=204.02 cores=0,2,4,6 /proc/10203/task/10824/stat : 10824 (java) R 10200 10203 5416 0 -1 4202560 10 0 0 0 20399 3 0 0 20 0 22 0 4949818 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484785745840 140484841309969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10825] ppid=10200 vsize=9824732 CPUtime=204.02 cores=0,2,4,6 /proc/10203/task/10825/stat : 10825 (java) R 10200 10203 5416 0 -1 4202560 20 0 0 0 20399 3 0 0 20 0 22 0 4949818 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484788905120 140484841125773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10826] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10826/stat : 10826 (java) S 10200 10203 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4949818 10060525568 1146385 33554432000 1073741824 1073778376 140734272297792 140484787852072 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1637.55 Current children cumulated vsize (KiB) 9824732 [startup+942.301 s] /proc/loadavg: 4.12 3.98 3.94 5/219 11280 /proc/meminfo: memFree=23478644/32872528 swapFree=239532/272236 [pid=10203] ppid=10200 vsize=9824732 CPUtime=1758.71 cores=0,2,4,6 /proc/10203/stat : 10203 (java) S 10200 10203 5416 0 -1 4202496 41799 0 1 0 175092 779 0 0 20 0 22 0 4882967 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140734272288928 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10203/statm: 2456183 1146516 2303 9 0 2446860 0 [pid=10203/tid=10205] ppid=10200 vsize=9824732 CPUtime=1.48 cores=0,2,4,6 /proc/10203/task/10205/stat : 10205 (java) S 10200 10203 5416 0 -1 4202560 2468 0 1 0 144 4 0 0 20 0 22 0 4882968 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484973380472 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10206] ppid=10200 vsize=9824732 CPUtime=4.67 cores=0,2,4,6 /proc/10203/task/10206/stat : 10206 (java) S 10200 10203 5416 0 -1 4202560 1076 0 0 0 414 53 0 0 20 0 22 0 4882969 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484962441896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10207] ppid=10200 vsize=9824732 CPUtime=5.07 cores=0,2,4,6 /proc/10203/task/10207/stat : 10207 (java) S 10200 10203 5416 0 -1 4202560 1326 0 0 0 459 48 0 0 20 0 22 0 4882969 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484961389352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10208] ppid=10200 vsize=9824732 CPUtime=5.41 cores=0,2,4,6 /proc/10203/task/10208/stat : 10208 (java) S 10200 10203 5416 0 -1 4202560 1314 0 0 0 490 51 0 0 20 0 22 0 4882969 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484960336808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10209] ppid=10200 vsize=9824732 CPUtime=4.68 cores=0,2,4,6 /proc/10203/task/10209/stat : 10209 (java) S 10200 10203 5416 0 -1 4202560 1005 0 0 0 422 46 0 0 20 0 22 0 4882969 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484959284264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10210] ppid=10200 vsize=9824732 CPUtime=4.56 cores=0,2,4,6 /proc/10203/task/10210/stat : 10210 (java) S 10200 10203 5416 0 -1 4202560 1053 0 0 0 414 42 0 0 20 0 22 0 4882969 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484812683432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10211] ppid=10200 vsize=9824732 CPUtime=5.07 cores=0,2,4,6 /proc/10203/task/10211/stat : 10211 (java) S 10200 10203 5416 0 -1 4202560 1284 0 0 0 455 52 0 0 20 0 22 0 4882969 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484811630888 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10212] ppid=10200 vsize=9824732 CPUtime=4.74 cores=0,2,4,6 /proc/10203/task/10212/stat : 10212 (java) S 10200 10203 5416 0 -1 4202560 1358 0 0 0 425 49 0 0 20 0 22 0 4882969 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484810578344 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10213] ppid=10200 vsize=9824732 CPUtime=4.9 cores=0,2,4,6 /proc/10203/task/10213/stat : 10213 (java) S 10200 10203 5416 0 -1 4202560 1305 0 0 0 440 50 0 0 20 0 22 0 4882969 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484809525800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10214] ppid=10200 vsize=9824732 CPUtime=12.43 cores=0,2,4,6 /proc/10203/task/10214/stat : 10214 (java) S 10200 10203 5416 0 -1 4202560 3897 0 0 0 1230 13 0 0 20 0 22 0 4882970 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484797327976 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10215] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10215/stat : 10215 (java) S 10200 10203 5416 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4882971 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484796274296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10216] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10216/stat : 10216 (java) S 10200 10203 5416 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4882971 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484795221640 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10217] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10217/stat : 10217 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4882973 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484794170384 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10218] ppid=10200 vsize=9824732 CPUtime=1.71 cores=0,2,4,6 /proc/10203/task/10218/stat : 10218 (java) S 10200 10203 5416 0 -1 4202560 14802 0 0 0 168 3 0 0 20 0 22 0 4882973 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484793116728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10219] ppid=10200 vsize=9824732 CPUtime=1.64 cores=0,2,4,6 /proc/10203/task/10219/stat : 10219 (java) S 10200 10203 5416 0 -1 4202560 7335 0 0 0 162 2 0 0 20 0 22 0 4882973 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484792064184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10220] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10220/stat : 10220 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4882973 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484791011832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10221] ppid=10200 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/10203/task/10221/stat : 10221 (java) S 10200 10203 5416 0 -1 4202560 55 0 0 0 13 19 0 0 20 0 22 0 4882973 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484789959496 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10814] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10814/stat : 10814 (java) S 10200 10203 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4949563 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484786799912 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10824] ppid=10200 vsize=9824732 CPUtime=263.21 cores=0,2,4,6 /proc/10203/task/10824/stat : 10824 (java) R 10200 10203 5416 0 -1 4202560 14 0 0 0 26317 4 0 0 20 0 22 0 4949818 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484785745840 140484841391717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10825] ppid=10200 vsize=9824732 CPUtime=263.21 cores=0,2,4,6 /proc/10203/task/10825/stat : 10825 (java) R 10200 10203 5416 0 -1 4202560 22 0 0 0 26317 4 0 0 20 0 22 0 4949818 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484788902720 140484840976778 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10826] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10826/stat : 10826 (java) S 10200 10203 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4949818 10060525568 1146516 33554432000 1073741824 1073778376 140734272297792 140484787852072 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1758.71 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+961.801 s] /proc/loadavg: 4.16 4.00 3.94 5/219 11283 /proc/meminfo: memFree=23460108/32872528 swapFree=239532/272236 [pid=10203] ppid=10200 vsize=9824732 CPUtime=1798.44 cores=0,2,4,6 /proc/10203/stat : 10203 (java) S 10200 10203 5416 0 -1 4202496 41859 0 1 0 179064 780 0 0 20 0 22 0 4882967 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140734272288928 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10203/statm: 2456183 1146568 2303 9 0 2446860 0 [pid=10203/tid=10205] ppid=10200 vsize=9824732 CPUtime=1.48 cores=0,2,4,6 /proc/10203/task/10205/stat : 10205 (java) S 10200 10203 5416 0 -1 4202560 2469 0 1 0 144 4 0 0 20 0 22 0 4882968 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484973380472 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10206] ppid=10200 vsize=9824732 CPUtime=4.88 cores=0,2,4,6 /proc/10203/task/10206/stat : 10206 (java) S 10200 10203 5416 0 -1 4202560 1079 0 0 0 435 53 0 0 20 0 22 0 4882969 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484962441896 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10207] ppid=10200 vsize=9824732 CPUtime=5.26 cores=0,2,4,6 /proc/10203/task/10207/stat : 10207 (java) S 10200 10203 5416 0 -1 4202560 1326 0 0 0 478 48 0 0 20 0 22 0 4882969 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484961389352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10208] ppid=10200 vsize=9824732 CPUtime=5.59 cores=0,2,4,6 /proc/10203/task/10208/stat : 10208 (java) S 10200 10203 5416 0 -1 4202560 1316 0 0 0 508 51 0 0 20 0 22 0 4882969 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484960336808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10209] ppid=10200 vsize=9824732 CPUtime=4.91 cores=0,2,4,6 /proc/10203/task/10209/stat : 10209 (java) S 10200 10203 5416 0 -1 4202560 1027 0 0 0 445 46 0 0 20 0 22 0 4882969 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484959284264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10210] ppid=10200 vsize=9824732 CPUtime=4.73 cores=0,2,4,6 /proc/10203/task/10210/stat : 10210 (java) S 10200 10203 5416 0 -1 4202560 1053 0 0 0 431 42 0 0 20 0 22 0 4882969 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484812683432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10211] ppid=10200 vsize=9824732 CPUtime=5.21 cores=0,2,4,6 /proc/10203/task/10211/stat : 10211 (java) S 10200 10203 5416 0 -1 4202560 1284 0 0 0 469 52 0 0 20 0 22 0 4882969 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484811630888 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10212] ppid=10200 vsize=9824732 CPUtime=4.93 cores=0,2,4,6 /proc/10203/task/10212/stat : 10212 (java) S 10200 10203 5416 0 -1 4202560 1358 0 0 0 444 49 0 0 20 0 22 0 4882969 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484810578344 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10213] ppid=10200 vsize=9824732 CPUtime=5.08 cores=0,2,4,6 /proc/10203/task/10213/stat : 10213 (java) S 10200 10203 5416 0 -1 4202560 1317 0 0 0 458 50 0 0 20 0 22 0 4882969 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484809525800 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10214] ppid=10200 vsize=9824732 CPUtime=12.44 cores=0,2,4,6 /proc/10203/task/10214/stat : 10214 (java) S 10200 10203 5416 0 -1 4202560 3912 0 0 0 1230 14 0 0 20 0 22 0 4882970 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484797327976 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10215] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10215/stat : 10215 (java) S 10200 10203 5416 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4882971 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484796274296 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10216] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10216/stat : 10216 (java) S 10200 10203 5416 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4882971 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484795221640 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10217] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10217/stat : 10217 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4882973 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484794170384 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10218] ppid=10200 vsize=9824732 CPUtime=1.71 cores=0,2,4,6 /proc/10203/task/10218/stat : 10218 (java) S 10200 10203 5416 0 -1 4202560 14802 0 0 0 168 3 0 0 20 0 22 0 4882973 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484793116728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10219] ppid=10200 vsize=9824732 CPUtime=1.64 cores=0,2,4,6 /proc/10203/task/10219/stat : 10219 (java) S 10200 10203 5416 0 -1 4202560 7335 0 0 0 162 2 0 0 20 0 22 0 4882973 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484792064184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10203/tid=10220] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10220/stat : 10220 (java) S 10200 10203 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4882973 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484791011832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10221] ppid=10200 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/10203/task/10221/stat : 10221 (java) S 10200 10203 5416 0 -1 4202560 57 0 0 0 13 19 0 0 20 0 22 0 4882973 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484789959496 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10814] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10814/stat : 10814 (java) S 10200 10203 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4949563 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484786799912 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10203/tid=10824] ppid=10200 vsize=9824732 CPUtime=282.27 cores=0,2,4,6 /proc/10203/task/10824/stat : 10824 (java) R 10200 10203 5416 0 -1 4202560 15 0 0 0 28223 4 0 0 20 0 22 0 4949818 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484785744960 140484841516360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10203/tid=10825] ppid=10200 vsize=9824732 CPUtime=282.28 cores=0,2,4,6 /proc/10203/task/10825/stat : 10825 (java) R 10200 10203 5416 0 -1 4202560 24 0 0 0 28224 4 0 0 20 0 22 0 4949818 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484788903632 140484840927895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=10203/tid=10826] ppid=10200 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10203/task/10826/stat : 10826 (java) S 10200 10203 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4949818 10060525568 1146568 33554432000 1073741824 1073778376 140734272297792 140484787852072 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.44 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 10203 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 10203 and gives # childrusage.ru_utime.tv_sec=1789 # childrusage.ru_utime.tv_usec=139009 # childrusage.ru_stime.tv_sec=8 # childrusage.ru_stime.tv_usec=82771 # CPU time returned by wait4() is 1797.22 # while last known CPU time is 1798.44 # # 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): 1.63004 # lost CPU user time (s): 1.75995 # lost CPU system time (s): -0.129999 Real time (s): 961.849 CPU time (s): 1800.07 CPU user time (s): 1792.4 CPU system time (s): 7.67 CPU usage (%): 187.147 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.14 system time used= 8.08277 maximum resident set size= 4619988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41894 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1096 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28749 involuntary context switches= 32212 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.51216 second user time and 8.34673 second system time The end
Begin job on node107 at 2016-06-30 05:48:39 IDJOB=4119541 IDBENCH=111756 IDSOLVER=2543 FILE ID=node107/4119541-1467258519 RUNJOBID= node107-1467248484-5592 PBS_JOBID= 20004476 Free space on /tmp= 71720 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-11.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119541-1467258519/watcher-4119541-1467258519 -o /tmp/evaluation-result-4119541-1467258519/solver-4119541-1467258519 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5592 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119541-1467258519.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b237ad5554df01098f4313a42e3fd5d3 RANDOM SEED=1354174498 node107.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 : 2667.110 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 : 5334.22 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 : 2667.110 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 : 2667.110 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.39 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 : 2667.110 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 : 2667.110 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.54 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 : 2667.110 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 : 2667.110 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.56 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 : 2667.110 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28193008 kB Buffers: 105100 kB Cached: 425980 kB SwapCached: 0 kB Active: 3205220 kB Inactive: 439064 kB Active(anon): 3115648 kB Inactive(anon): 4 kB Active(file): 89572 kB Inactive(file): 439060 kB Unevictable: 272236 kB Mlocked: 239532 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 452 kB Writeback: 0 kB AnonPages: 3436436 kB Mapped: 22248 kB Shmem: 204 kB Slab: 605048 kB SReclaimable: 49016 kB SUnreclaim: 556032 kB KernelStack: 1808 kB PageTables: 11236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3664344 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3129344 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= 71720 MiB End job on node107 at 2016-06-30 06:04:41