Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 3831 | 1800.44 | 1113.76 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3124 |
Best CPU time to get the best result obtained on this benchmark | 1.66275 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.2.v20120418 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3687550-1337871945.opb 0.09/0.11 c reading problem ... 0.55/0.31 c ... done. Wall clock time 0.197s. 0.55/0.31 c declared #vars 2756 0.55/0.31 c #constraints 749 0.55/0.31 c constraints type 0.55/0.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 220 0.55/0.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 132 0.55/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 397 0.55/0.31 c 749 constraints processed. 0.55/0.31 c constraints type 0.55/0.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 132 0.55/0.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 220 0.55/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 397 0.55/0.31 c 749 constraints processed. 0.55/0.31 c objective function length is 2166 literals 1.33/0.55 c And the winner is solver0 1.73/0.82 c SATISFIABLE 1.73/0.82 c OPTIMIZING... 1.73/0.82 c Got one! Elapsed wall clock time (in seconds):0.702 1.73/0.82 o 4216 1.73/0.84 c And the winner is solver0 1.91/1.33 c Got one! Elapsed wall clock time (in seconds):1.212 1.91/1.33 o 4148 1.91/1.34 c And the winner is solver0 1.95/1.83 c Got one! Elapsed wall clock time (in seconds):1.72 1.95/1.83 o 4136 1.95/1.85 c And the winner is solver0 2.00/2.34 c Got one! Elapsed wall clock time (in seconds):2.226 2.00/2.34 o 4135 2.19/2.40 c And the winner is solver0 2.44/2.85 c Got one! Elapsed wall clock time (in seconds):2.731 2.44/2.85 o 4134 2.44/2.88 c And the winner is solver0 2.68/3.35 c Got one! Elapsed wall clock time (in seconds):3.235 2.68/3.35 o 4133 2.68/3.37 c And the winner is solver0 2.76/3.85 c Got one! Elapsed wall clock time (in seconds):3.739 2.76/3.85 o 4130 2.76/3.88 c And the winner is solver0 2.85/4.36 c Got one! Elapsed wall clock time (in seconds):4.242 2.85/4.36 o 4129 4.32/5.07 c And the winner is solver0 4.52/5.36 c Got one! Elapsed wall clock time (in seconds):5.246 4.52/5.36 o 4128 4.81/5.54 c cleaning 2928 clauses out of 5856 with flag 1000/5856 6.19/6.26 c And the winner is solver0 6.36/6.36 c Got one! Elapsed wall clock time (in seconds):6.249 6.36/6.36 o 4127 6.46/6.45 c And the winner is solver0 6.78/6.87 c Got one! Elapsed wall clock time (in seconds):6.753 6.78/6.87 o 4125 7.03/7.01 c And the winner is solver0 7.10/7.37 c Got one! Elapsed wall clock time (in seconds):7.256 7.10/7.37 o 4124 7.15/7.40 c And the winner is solver1 7.17/7.87 c Got one! Elapsed wall clock time (in seconds):7.76 7.17/7.87 o 4022 7.42/8.02 c cleaning 4961 clauses out of 9922 with flag 1000/12850 9.45/9.07 c cleaning 5479 clauses out of 10961 with flag 7000/18850 12.04/10.35 c cleaning 6234 clauses out of 12482 with flag 14000/25850 15.06/11.87 c cleaning 7123 clauses out of 14248 with flag 22000/33850 18.71/13.60 c cleaning 8055 clauses out of 16125 with flag 31000/42850 18.87/13.74 c And the winner is solver0 19.00/13.92 c Got one! Elapsed wall clock time (in seconds):13.804 19.00/13.92 o 4021 19.16/14.04 c And the winner is solver0 19.29/14.42 c Got one! Elapsed wall clock time (in seconds):14.307 19.29/14.42 o 4020 20.85/15.25 c cleaning 7274 clauses out of 14553 with flag 5000/49333 23.00/16.36 c cleaning 6640 clauses out of 13280 with flag 11001/55334 25.60/17.68 c cleaning 6812 clauses out of 13639 with flag 18000/62333 28.55/19.12 c cleaning 7405 clauses out of 14827 with flag 26000/70333 30.92/20.33 c And the winner is solver1 31.01/20.43 c Got one! Elapsed wall clock time (in seconds):20.312 31.01/20.43 o 4019 31.34/20.63 c And the winner is solver0 31.46/20.93 c Got one! Elapsed wall clock time (in seconds):20.815 31.46/20.93 o 4018 32.81/21.70 c cleaning 9686 clauses out of 19371 with flag 4001/82282 35.16/22.85 c cleaning 7839 clauses out of 15684 with flag 10000/88281 36.89/23.70 c And the winner is solver0 36.97/23.94 c Got one! Elapsed wall clock time (in seconds):23.828 36.97/23.94 o 4017 36.97/23.97 c And the winner is solver0 37.12/24.45 c Got one! Elapsed wall clock time (in seconds):24.331 37.12/24.45 o 4015 37.62/24.71 c And the winner is solver0 37.72/24.95 c Got one! Elapsed wall clock time (in seconds):24.834 37.72/24.95 o 4014 38.04/25.11 c cleaning 7405 clauses out of 14812 with flag 1000/95248 38.18/25.21 c And the winner is solver0 38.22/25.45 c Got one! Elapsed wall clock time (in seconds):25.338 38.22/25.45 o 4013 38.91/25.85 c And the winner is solver0 39.05/25.96 c Got one! Elapsed wall clock time (in seconds):25.841 39.05/25.96 o 4012 39.12/26.05 c And the winner is solver0 39.24/26.46 c Got one! Elapsed wall clock time (in seconds):26.345 39.24/26.46 o 4011 39.72/26.73 c And the winner is solver0 39.88/26.96 c Got one! Elapsed wall clock time (in seconds):26.848 39.88/26.96 o 4010 39.94/27.09 c And the winner is solver0 40.24/27.47 c Got one! Elapsed wall clock time (in seconds):27.352 40.24/27.47 o 4009 40.50/27.65 c And the winner is solver0 40.63/27.97 c Got one! Elapsed wall clock time (in seconds):27.855 40.63/27.97 o 4008 40.89/28.14 c cleaning 7916 clauses out of 15869 with flag 1002/103710 41.63/28.52 c And the winner is solver0 41.70/28.97 c Got one! Elapsed wall clock time (in seconds):28.859 41.70/28.97 o 4007 42.54/29.45 c cleaning 6558 clauses out of 13158 with flag 3001/108915 42.88/29.62 c And the winner is solver0 42.99/30.03 c Got one! Elapsed wall clock time (in seconds):29.915 42.99/30.03 o 4006 43.12/30.13 c And the winner is solver0 43.23/30.53 c Got one! Elapsed wall clock time (in seconds):30.418 43.23/30.53 o 4005 43.76/30.90 c And the winner is solver0 43.98/31.04 c Got one! Elapsed wall clock time (in seconds):30.922 43.98/31.04 o 4004 44.70/31.49 c cleaning 6658 clauses out of 13331 with flag 3001/115646 46.79/32.57 c cleaning 6319 clauses out of 12672 with flag 9000/121645 49.52/33.92 c cleaning 6670 clauses out of 13353 with flag 16000/128645 52.46/35.43 c cleaning 7337 clauses out of 14683 with flag 24000/136645 55.38/36.98 c And the winner is solver1 55.58/37.16 c Got one! Elapsed wall clock time (in seconds):37.045 55.58/37.16 o 3973 55.58/37.19 c And the winner is solver0 55.66/37.67 c Got one! Elapsed wall clock time (in seconds):37.549 55.66/37.67 o 3946 55.66/37.69 c And the winner is solver0 55.73/38.17 c Got one! Elapsed wall clock time (in seconds):38.052 55.73/38.17 o 3945 55.78/38.25 c And the winner is solver0 55.94/38.67 c Got one! Elapsed wall clock time (in seconds):38.556 55.94/38.67 o 3943 56.18/38.86 c And the winner is solver0 56.38/39.17 c Got one! Elapsed wall clock time (in seconds):39.06 56.38/39.17 o 3942 56.42/39.23 c And the winner is solver0 56.52/39.68 c Got one! Elapsed wall clock time (in seconds):39.563 56.52/39.68 o 3941 57.37/40.14 c And the winner is solver0 57.37/40.18 c Got one! Elapsed wall clock time (in seconds):40.067 57.37/40.18 o 3940 57.52/40.29 c And the winner is solver0 57.73/40.69 c Got one! Elapsed wall clock time (in seconds):40.571 57.73/40.69 o 3939 58.35/41.00 c cleaning 11518 clauses out of 23036 with flag 2001/152335 60.41/42.15 c cleaning 8756 clauses out of 17518 with flag 8001/158335 61.31/42.69 c And the winner is solver0 61.50/42.76 c Got one! Elapsed wall clock time (in seconds):42.646 61.50/42.76 o 3938 62.43/43.22 c cleaning 7178 clauses out of 14368 with flag 3001/163941 62.93/43.54 c And the winner is solver0 63.08/43.84 c Got one! Elapsed wall clock time (in seconds):43.718 63.08/43.84 o 3937 63.08/43.87 c And the winner is solver0 63.19/44.34 c Got one! Elapsed wall clock time (in seconds):44.222 63.19/44.34 o 3934 63.50/44.50 c And the winner is solver0 63.59/44.84 c Got one! Elapsed wall clock time (in seconds):44.726 63.59/44.84 o 3933 63.90/45.02 c And the winner is solver0 63.99/45.34 c Got one! Elapsed wall clock time (in seconds):45.23 63.99/45.34 o 3932 64.08/45.48 c And the winner is solver0 64.34/45.85 c Got one! Elapsed wall clock time (in seconds):45.733 64.34/45.85 o 3931 64.64/46.03 c cleaning 6575 clauses out of 13159 with flag 1001/169910 64.96/46.27 c And the winner is solver0 65.20/46.40 c Got one! Elapsed wall clock time (in seconds):46.287 65.20/46.40 o 3930 65.99/46.87 c And the winner is solver0 66.17/46.91 c Got one! Elapsed wall clock time (in seconds):46.791 66.17/46.91 o 3929 67.15/47.42 c cleaning 6752 clauses out of 13505 with flag 3001/176831 67.40/47.61 c And the winner is solver0 67.51/47.91 c Got one! Elapsed wall clock time (in seconds):47.795 67.51/47.91 o 3928 67.68/48.03 c And the winner is solver0 67.79/48.41 c Got one! Elapsed wall clock time (in seconds):48.298 67.79/48.41 o 3927 67.79/48.48 c And the winner is solver0 67.99/48.92 c Got one! Elapsed wall clock time (in seconds):48.802 67.99/48.92 o 3926 68.74/49.32 c And the winner is solver0 68.85/49.42 c Got one! Elapsed wall clock time (in seconds):49.306 68.85/49.42 o 3924 69.21/49.63 c And the winner is solver0 69.29/49.92 c Got one! Elapsed wall clock time (in seconds):49.81 69.29/49.92 o 3923 69.84/50.28 c cleaning 7073 clauses out of 14164 with flag 2000/184242 70.20/50.45 c And the winner is solver0 70.69/50.93 c Got one! Elapsed wall clock time (in seconds):50.82 70.69/50.93 o 3922 72.01/51.70 c cleaning 6249 clauses out of 12521 with flag 5003/189672 72.60/51.90 c And the winner is solver0 72.60/51.94 c Got one! Elapsed wall clock time (in seconds):51.824 72.60/51.94 o 3921 73.94/52.58 c And the winner is solver0 74.17/52.94 c Got one! Elapsed wall clock time (in seconds):52.828 74.17/52.94 o 3920 74.48/53.12 c cleaning 6161 clauses out of 12333 with flag 1002/195733 76.19/54.04 c And the winner is solver0 76.34/54.45 c Got one! Elapsed wall clock time (in seconds):54.331 76.34/54.45 o 3919 76.64/54.62 c cleaning 5859 clauses out of 11725 with flag 1002/201286 77.08/54.92 c And the winner is solver0 77.21/55.05 c Got one! Elapsed wall clock time (in seconds):54.935 77.21/55.05 o 3918 78.51/55.72 c And the winner is solver0 78.61/56.05 c Got one! Elapsed wall clock time (in seconds):55.939 78.61/56.05 o 3917 78.90/56.23 c cleaning 6243 clauses out of 12502 with flag 1001/207922 80.80/57.25 c cleaning 6122 clauses out of 12259 with flag 7001/213922 81.27/57.56 c And the winner is solver0 81.49/58.06 c Got one! Elapsed wall clock time (in seconds):57.943 81.49/58.06 o 3916 82.36/58.51 c cleaning 5743 clauses out of 11516 with flag 4001/219301 82.65/58.71 c And the winner is solver0 82.72/59.13 c Got one! Elapsed wall clock time (in seconds):59.011 82.72/59.13 o 3915 82.86/59.23 c And the winner is solver0 83.00/59.63 c Got one! Elapsed wall clock time (in seconds):59.515 83.00/59.63 o 3914 83.12/59.78 c And the winner is solver0 83.39/60.13 c Got one! Elapsed wall clock time (in seconds):60.019 83.39/60.13 o 3913 83.91/60.45 c And the winner is solver0 84.11/60.64 c Got one! Elapsed wall clock time (in seconds):60.522 84.11/60.64 o 3912 84.44/60.85 c And the winner is solver0 84.58/61.14 c Got one! Elapsed wall clock time (in seconds):61.026 84.58/61.14 o 3911 85.09/61.47 c cleaning 6784 clauses out of 13600 with flag 2001/227128 86.31/62.19 c And the winner is solver0 86.56/62.66 c Got one! Elapsed wall clock time (in seconds):62.543 86.56/62.66 o 3910 87.03/62.97 c cleaning 6260 clauses out of 12541 with flag 2000/232853 88.52/63.75 c And the winner is solver0 88.68/64.16 c Got one! Elapsed wall clock time (in seconds):64.047 88.68/64.16 o 3909 88.95/64.32 c cleaning 5786 clauses out of 11582 with flag 1000/238154 90.84/65.34 c cleaning 5890 clauses out of 11796 with flag 7000/244154 91.53/65.79 c And the winner is solver0 91.74/66.17 c Got one! Elapsed wall clock time (in seconds):66.051 91.74/66.17 o 3908 92.59/66.63 c cleaning 5547 clauses out of 11118 with flag 3000/249366 94.62/67.76 c cleaning 5777 clauses out of 11572 with flag 9001/255367 96.30/68.60 c And the winner is solver0 96.39/68.88 c Got one! Elapsed wall clock time (in seconds):68.767 96.39/68.88 o 3907 96.62/69.07 c cleaning 5717 clauses out of 11450 with flag 1001/261022 98.70/70.17 c cleaning 5862 clauses out of 11732 with flag 7000/267021 101.18/71.45 c cleaning 6429 clauses out of 12870 with flag 14000/274021 104.40/73.11 c cleaning 7215 clauses out of 14442 with flag 22001/282022 107.49/74.80 c cleaning 8113 clauses out of 16227 with flag 31001/291022 111.36/76.71 c cleaning 9055 clauses out of 18114 with flag 41001/301022 115.45/78.82 c cleaning 10027 clauses out of 20059 with flag 52001/312022 120.29/81.33 c cleaning 11010 clauses out of 22032 with flag 64001/324022 125.40/83.96 c cleaning 12007 clauses out of 24021 with flag 77000/337021 130.92/86.78 c cleaning 13000 clauses out of 26015 with flag 91001/351022 137.22/89.91 c cleaning 13997 clauses out of 28016 with flag 106002/366023 137.56/90.21 c And the winner is solver0 137.67/90.70 c Got one! Elapsed wall clock time (in seconds):90.587 137.67/90.70 o 3906 139.25/91.51 c cleaning 9523 clauses out of 19062 with flag 5002/371066 140.90/92.43 c And the winner is solver0 141.05/92.71 c Got one! Elapsed wall clock time (in seconds):92.597 141.05/92.71 o 3905 141.21/92.89 c cleaning 7482 clauses out of 14978 with flag 1003/376505 143.23/93.95 c cleaning 6740 clauses out of 13496 with flag 7003/382505 145.85/95.32 c cleaning 6869 clauses out of 13756 with flag 14003/389505 148.96/97.02 c cleaning 7431 clauses out of 14884 with flag 22000/397502 151.00/98.16 c And the winner is solver0 151.56/98.62 c Got one! Elapsed wall clock time (in seconds):98.507 151.56/98.62 o 3904 153.13/99.47 c cleaning 9769 clauses out of 19563 with flag 5000/409612 155.55/100.76 c cleaning 7882 clauses out of 15794 with flag 11000/415612 157.56/101.88 c And the winner is solver0 159.35/103.58 c Got one! Elapsed wall clock time (in seconds):103.47 159.35/103.58 o 3903 160.87/104.38 c cleaning 9016 clauses out of 18057 with flag 5000/425757 162.97/105.51 c And the winner is solver0 163.18/105.71 c Got one! Elapsed wall clock time (in seconds):105.596 163.18/105.71 o 3902 164.75/106.54 c cleaning 9646 clauses out of 19301 with flag 5000/436017 166.97/107.80 c cleaning 7817 clauses out of 15656 with flag 11001/442018 167.78/108.20 c And the winner is solver0 168.10/108.54 c Got one! Elapsed wall clock time (in seconds):108.428 168.10/108.54 o 3901 169.20/109.13 c cleaning 6597 clauses out of 13205 with flag 4002/447384 171.42/110.32 c cleaning 6294 clauses out of 12606 with flag 10000/453382 173.30/111.46 c cleaning 6645 clauses out of 13314 with flag 17002/460384 174.11/111.93 c And the winner is solver0 174.54/112.32 c Got one! Elapsed wall clock time (in seconds):112.203 174.54/112.32 o 3900 175.29/112.79 c cleaning 5841 clauses out of 11697 with flag 3000/465412 177.50/113.93 c cleaning 5918 clauses out of 11858 with flag 9002/471414 179.69/115.18 c cleaning 6455 clauses out of 12938 with flag 16000/478412 182.39/116.63 c cleaning 7224 clauses out of 14484 with flag 24001/486413 184.19/117.61 c And the winner is solver0 184.61/118.03 c Got one! Elapsed wall clock time (in seconds):117.919 184.61/118.03 o 3899 185.96/118.79 c cleaning 9196 clauses out of 18419 with flag 5000/497572 187.56/119.66 c cleaning 7602 clauses out of 15225 with flag 11002/503574 189.77/120.80 c cleaning 7296 clauses out of 14622 with flag 18001/510573 192.28/122.24 c cleaning 7643 clauses out of 15325 with flag 26000/518572 195.28/123.87 c cleaning 8326 clauses out of 16682 with flag 35000/527572 197.89/125.26 c And the winner is solver0 198.08/125.63 c Got one! Elapsed wall clock time (in seconds):125.512 198.08/125.63 o 3898 198.22/125.77 c And the winner is solver0 198.50/126.13 c Got one! Elapsed wall clock time (in seconds):126.016 198.50/126.13 o 3897 198.63/126.25 c And the winner is solver0 198.86/126.64 c Got one! Elapsed wall clock time (in seconds):126.52 198.86/126.64 o 3896 199.97/127.28 c And the winner is solver0 200.45/127.64 c Got one! Elapsed wall clock time (in seconds):127.525 200.45/127.64 o 3895 200.76/127.85 c cleaning 11253 clauses out of 22542 with flag 1001/541758 202.16/128.65 c And the winner is solver0 202.42/129.15 c Got one! Elapsed wall clock time (in seconds):129.03 202.42/129.15 o 3894 202.92/129.47 c cleaning 8586 clauses out of 17183 with flag 2000/547652 203.81/130.03 c And the winner is solver0 205.54/131.71 c Got one! Elapsed wall clock time (in seconds):131.59 205.54/131.71 o 3893 206.51/132.23 c And the winner is solver0 208.25/133.91 c Got one! Elapsed wall clock time (in seconds):133.797 208.25/133.91 o 3892 208.42/134.08 c cleaning 7478 clauses out of 14967 with flag 1001/554022 210.41/135.16 c cleaning 6739 clauses out of 13490 with flag 7002/560023 213.02/136.52 c cleaning 6864 clauses out of 13749 with flag 14000/567021 216.01/138.13 c cleaning 7441 clauses out of 14887 with flag 22002/575023 219.51/140.01 c cleaning 8216 clauses out of 16444 with flag 31000/584021 222.32/141.55 c And the winner is solver0 222.55/141.96 c Got one! Elapsed wall clock time (in seconds):141.843 222.55/141.96 o 3891 223.03/142.27 c And the winner is solver0 223.51/142.61 c Got one! Elapsed wall clock time (in seconds):142.497 223.51/142.61 o 3890 224.31/143.07 c cleaning 10558 clauses out of 21135 with flag 3001/596928 226.30/144.18 c cleaning 8281 clauses out of 16577 with flag 9001/602928 228.51/145.34 c cleaning 7631 clauses out of 15299 with flag 16004/609931 230.56/146.59 c cleaning 7817 clauses out of 15666 with flag 24002/617929 232.37/147.52 c And the winner is solver0 232.67/147.80 c Got one! Elapsed wall clock time (in seconds):147.686 232.67/147.80 o 3889 234.07/148.57 c cleaning 9122 clauses out of 18259 with flag 5000/628339 236.06/149.65 c cleaning 7558 clauses out of 15139 with flag 11002/634341 238.26/150.89 c cleaning 7281 clauses out of 14580 with flag 18001/641340 240.93/152.34 c cleaning 7632 clauses out of 15298 with flag 26000/649339 243.92/153.97 c cleaning 8312 clauses out of 16666 with flag 35000/658339 247.33/155.71 c cleaning 9166 clauses out of 18354 with flag 45000/668339 249.14/156.72 c And the winner is solver0 249.49/157.18 c Got one! Elapsed wall clock time (in seconds):157.068 249.49/157.18 o 3888 249.72/157.35 c cleaning 7469 clauses out of 14948 with flag 1001/674099 251.98/158.65 c cleaning 6731 clauses out of 13478 with flag 7000/680098 254.37/159.93 c cleaning 6863 clauses out of 13747 with flag 14000/687098 257.17/161.44 c cleaning 7436 clauses out of 14884 with flag 22000/695098 260.16/163.04 c cleaning 8217 clauses out of 16448 with flag 31000/704098 263.85/165.09 c cleaning 9106 clauses out of 18231 with flag 41000/714098 267.84/167.16 c cleaning 10054 clauses out of 20126 with flag 52001/725099 270.43/168.50 c And the winner is solver0 271.84/169.92 c Got one! Elapsed wall clock time (in seconds):169.803 271.84/169.92 o 3887 271.84/169.99 c And the winner is solver0 272.02/170.42 c Got one! Elapsed wall clock time (in seconds):170.307 272.02/170.42 o 3886 272.18/170.54 c And the winner is solver0 272.33/170.93 c Got one! Elapsed wall clock time (in seconds):170.812 272.33/170.93 o 3885 272.46/171.00 c And the winner is solver0 272.53/171.43 c Got one! Elapsed wall clock time (in seconds):171.316 272.53/171.43 o 3884 274.07/172.26 c cleaning 11875 clauses out of 23758 with flag 5001/738785 276.47/173.51 c cleaning 8938 clauses out of 17884 with flag 11002/744786 278.96/174.96 c cleaning 7963 clauses out of 15944 with flag 18000/751784 281.95/176.56 c cleaning 7986 clauses out of 15981 with flag 26000/759784 285.56/178.40 c cleaning 8491 clauses out of 16996 with flag 35001/768785 289.38/180.47 c cleaning 9247 clauses out of 18504 with flag 45000/778784 293.84/182.84 c cleaning 10123 clauses out of 20258 with flag 56001/789785 298.83/185.47 c cleaning 11059 clauses out of 22136 with flag 68002/801786 304.24/188.28 c cleaning 12031 clauses out of 24077 with flag 81002/814786 310.23/191.36 c cleaning 13017 clauses out of 26046 with flag 95002/828786 314.11/193.42 c And the winner is solver0 315.13/194.46 c Got one! Elapsed wall clock time (in seconds):194.346 315.13/194.46 o 3883 316.65/195.29 c cleaning 13425 clauses out of 26865 with flag 5000/842622 318.86/196.49 c cleaning 9713 clauses out of 19441 with flag 11001/848623 321.66/197.91 c cleaning 8352 clauses out of 16727 with flag 18000/855622 324.44/199.42 c cleaning 8174 clauses out of 16376 with flag 26001/863623 325.11/199.93 c And the winner is solver0 326.15/200.92 c Got one! Elapsed wall clock time (in seconds):200.802 326.15/200.92 o 3882 327.30/201.53 c cleaning 6686 clauses out of 13385 with flag 4000/868806 329.49/202.75 c cleaning 6344 clauses out of 12699 with flag 10000/874806 331.89/204.04 c cleaning 6667 clauses out of 13355 with flag 17000/881806 334.49/205.46 c cleaning 7333 clauses out of 14689 with flag 25001/889807 337.75/207.25 c cleaning 8166 clauses out of 16356 with flag 34001/898807 341.35/209.11 c cleaning 9085 clauses out of 18190 with flag 44001/908807 345.35/211.29 c cleaning 10041 clauses out of 20104 with flag 55000/919806 349.33/213.39 c And the winner is solver0 367.62/231.58 c Got one! Elapsed wall clock time (in seconds):231.462 367.62/231.58 o 3881 369.13/232.39 c cleaning 13221 clauses out of 26459 with flag 5000/936202 371.40/233.63 c cleaning 9604 clauses out of 19238 with flag 11000/942202 373.79/234.96 c cleaning 8302 clauses out of 16634 with flag 18000/949202 376.38/236.32 c cleaning 8150 clauses out of 16333 with flag 26001/957203 379.17/237.85 c cleaning 8574 clauses out of 17184 with flag 35002/966204 382.47/239.64 c cleaning 9291 clauses out of 18609 with flag 45001/976203 385.86/241.49 c cleaning 10144 clauses out of 20317 with flag 56000/987202 390.06/243.61 c cleaning 11072 clauses out of 22174 with flag 68001/999203 394.24/245.90 c cleaning 12035 clauses out of 24102 with flag 81001/1012203 399.53/248.61 c cleaning 13022 clauses out of 26067 with flag 95001/1026203 400.51/249.29 c And the winner is solver0 420.43/269.03 c Got one! Elapsed wall clock time (in seconds):268.915 420.43/269.03 o 3880 420.99/269.39 c cleaning 9130 clauses out of 18264 with flag 2002/1031422 422.98/270.47 c And the winner is solver0 424.54/271.91 c Got one! Elapsed wall clock time (in seconds):271.8 424.54/271.91 o 3879 425.89/272.65 c And the winner is solver0 427.85/274.57 c Got one! Elapsed wall clock time (in seconds):274.456 427.85/274.57 o 3878 428.13/274.72 c cleaning 10074 clauses out of 20164 with flag 1001/1042452 429.10/275.30 c And the winner is solver0 431.21/277.43 c Got one! Elapsed wall clock time (in seconds):277.312 431.21/277.43 o 3877 432.16/277.90 c cleaning 7884 clauses out of 15783 with flag 3000/1048145 433.87/278.93 c And the winner is solver0 435.31/280.35 c Got one! Elapsed wall clock time (in seconds):280.235 435.31/280.35 o 3876 436.84/281.10 c cleaning 9007 clauses out of 18041 with flag 5000/1058287 438.65/282.15 c cleaning 7502 clauses out of 15036 with flag 11002/1064289 439.44/282.66 c And the winner is solver0 440.30/283.41 c Got one! Elapsed wall clock time (in seconds):283.298 440.30/283.41 o 3875 441.08/283.86 c cleaning 6442 clauses out of 12904 with flag 3000/1069659 443.07/284.98 c cleaning 6222 clauses out of 12464 with flag 9002/1075661 445.33/286.21 c cleaning 6601 clauses out of 13240 with flag 16000/1082659 446.32/286.87 c And the winner is solver0 451.50/291.98 c Got one! Elapsed wall clock time (in seconds):291.863 451.50/291.98 o 3874 452.16/292.31 c cleaning 5894 clauses out of 11827 with flag 2000/1087847 453.76/293.27 c cleaning 5955 clauses out of 11934 with flag 8001/1093848 455.94/294.42 c cleaning 6473 clauses out of 12979 with flag 15001/1100848 458.40/295.88 c cleaning 7244 clauses out of 14507 with flag 23002/1108849 461.20/297.37 c cleaning 8121 clauses out of 16262 with flag 32001/1117848 464.80/299.25 c cleaning 9064 clauses out of 18140 with flag 42000/1127847 468.77/301.35 c cleaning 10028 clauses out of 20079 with flag 53003/1138850 473.45/303.87 c cleaning 11018 clauses out of 22050 with flag 65002/1150849 478.23/306.39 c cleaning 12010 clauses out of 24031 with flag 78001/1163848 478.82/306.78 c And the winner is solver0 498.68/326.50 c Got one! Elapsed wall clock time (in seconds):326.389 498.68/326.50 o 3873 499.66/327.04 c cleaning 8522 clauses out of 17063 with flag 4000/1168890 501.66/328.17 c cleaning 7260 clauses out of 14541 with flag 10000/1174890 504.52/329.76 c cleaning 7134 clauses out of 14282 with flag 17001/1181891 507.51/331.38 c cleaning 7564 clauses out of 15147 with flag 25000/1189890 510.70/333.05 c cleaning 8284 clauses out of 16584 with flag 34001/1198891 514.49/335.03 c cleaning 9137 clauses out of 18299 with flag 44000/1208890 518.60/337.23 c cleaning 10071 clauses out of 20164 with flag 55002/1219892 522.78/339.45 c cleaning 11037 clauses out of 22093 with flag 67002/1231892 523.59/339.94 c And the winner is solver0 544.32/360.67 c Got one! Elapsed wall clock time (in seconds):360.558 544.32/360.67 o 3872 545.40/361.29 c cleaning 8461 clauses out of 16948 with flag 4000/1237784 547.59/362.44 c cleaning 7234 clauses out of 14487 with flag 10000/1243784 550.26/363.91 c cleaning 7115 clauses out of 14253 with flag 17000/1250784 553.06/365.49 c cleaning 7563 clauses out of 15140 with flag 25002/1258786 556.25/367.16 c cleaning 8280 clauses out of 16578 with flag 34003/1267787 559.44/368.88 c cleaning 9140 clauses out of 18297 with flag 44002/1277786 563.30/370.94 c cleaning 10065 clauses out of 20156 with flag 55001/1288785 567.48/373.18 c cleaning 11033 clauses out of 22090 with flag 67000/1300784 572.07/375.51 c cleaning 12016 clauses out of 24060 with flag 80003/1313787 575.69/377.49 c And the winner is solver0 593.48/395.12 c Got one! Elapsed wall clock time (in seconds):395.005 593.48/395.12 o 3871 595.04/395.90 c cleaning 13976 clauses out of 27976 with flag 5000/1329719 596.92/397.08 c cleaning 9992 clauses out of 20002 with flag 11002/1335721 599.12/398.28 c cleaning 8494 clauses out of 17009 with flag 18001/1342720 601.48/399.51 c cleaning 8244 clauses out of 16514 with flag 26000/1350719 604.27/401.01 c cleaning 8622 clauses out of 17271 with flag 35001/1359720 607.72/402.90 c cleaning 9317 clauses out of 18652 with flag 45004/1369723 611.12/404.77 c cleaning 10152 clauses out of 20331 with flag 56000/1380719 615.31/406.92 c cleaning 11076 clauses out of 22180 with flag 68001/1392720 619.71/409.20 c cleaning 12040 clauses out of 24104 with flag 81001/1405720 624.55/411.84 c cleaning 13019 clauses out of 26065 with flag 95002/1419721 629.54/414.43 c cleaning 14008 clauses out of 28044 with flag 110000/1434719 635.13/417.34 c cleaning 15008 clauses out of 30037 with flag 126001/1450720 641.12/420.41 c cleaning 16006 clauses out of 32028 with flag 143000/1467719 642.97/421.53 c And the winner is solver0 652.31/430.83 c Got one! Elapsed wall clock time (in seconds):430.711 652.31/430.83 o 3870 652.88/431.11 c And the winner is solver0 652.98/431.33 c Got one! Elapsed wall clock time (in seconds):431.216 652.98/431.33 o 3869 653.10/431.47 c And the winner is solver0 653.35/431.83 c Got one! Elapsed wall clock time (in seconds):431.72 653.35/431.83 o 3868 654.67/432.52 c cleaning 13952 clauses out of 27933 with flag 4002/1479630 655.47/433.05 c And the winner is solver0 657.14/434.69 c Got one! Elapsed wall clock time (in seconds):434.576 657.14/434.69 o 3867 658.01/435.16 c cleaning 9728 clauses out of 19482 with flag 3000/1485131 659.40/435.99 c And the winner is solver0 661.10/437.54 c Got one! Elapsed wall clock time (in seconds):437.422 661.10/437.54 o 3866 661.24/437.68 c cleaning 7384 clauses out of 14790 with flag 1000/1490167 663.04/438.68 c cleaning 6690 clauses out of 13406 with flag 7000/1496167 663.70/439.12 c And the winner is solver0 665.33/440.74 c Got one! Elapsed wall clock time (in seconds):440.628 665.33/440.74 o 3865 666.66/441.45 c cleaning 6160 clauses out of 12346 with flag 5002/1501797 668.27/442.37 c cleaning 6076 clauses out of 12185 with flag 11001/1507796 669.05/442.82 c And the winner is solver0 670.06/443.80 c Got one! Elapsed wall clock time (in seconds):443.683 670.06/443.80 o 3864 671.05/444.32 c cleaning 6004 clauses out of 12036 with flag 4000/1513723 672.84/445.37 c cleaning 6004 clauses out of 12034 with flag 10002/1519725 675.31/446.72 c cleaning 6495 clauses out of 13028 with flag 17000/1526723 676.09/447.26 c And the winner is solver0 681.26/452.35 c Got one! Elapsed wall clock time (in seconds):452.231 681.26/452.35 o 3863 681.96/452.77 c cleaning 5954 clauses out of 11927 with flag 3001/1532117 683.55/453.69 c cleaning 5975 clauses out of 11972 with flag 9000/1538116 685.95/454.92 c cleaning 6481 clauses out of 12997 with flag 16000/1545116 688.45/456.34 c cleaning 7244 clauses out of 14518 with flag 24002/1553118 690.03/457.25 c And the winner is solver0 693.90/461.03 c Got one! Elapsed wall clock time (in seconds):460.911 693.90/461.03 o 3862 695.46/461.83 c cleaning 8738 clauses out of 17498 with flag 5000/1563342 697.47/462.90 c cleaning 7369 clauses out of 14760 with flag 11000/1569342 699.45/464.09 c cleaning 7180 clauses out of 14393 with flag 18002/1576344 701.95/465.44 c cleaning 7594 clauses out of 15212 with flag 26001/1584343 704.72/466.91 c cleaning 8293 clauses out of 16617 with flag 35000/1593342 707.51/468.40 c And the winner is solver0 709.02/469.96 c Got one! Elapsed wall clock time (in seconds):469.846 709.02/469.96 o 3861 710.56/470.73 c cleaning 11238 clauses out of 22502 with flag 5004/1607520 712.54/471.84 c cleaning 8613 clauses out of 17263 with flag 11003/1613519 714.81/473.18 c cleaning 7798 clauses out of 15647 with flag 18000/1620516 717.38/474.53 c cleaning 7905 clauses out of 15850 with flag 26001/1628517 719.77/475.84 c cleaning 8454 clauses out of 16946 with flag 35002/1637518 722.77/477.43 c cleaning 9225 clauses out of 18491 with flag 45001/1647517 725.94/479.14 c cleaning 10118 clauses out of 20265 with flag 56000/1658516 728.53/480.58 c And the winner is solver0 751.93/503.89 c Got one! Elapsed wall clock time (in seconds):503.776 751.93/503.89 o 3860 753.79/504.84 c cleaning 12391 clauses out of 24807 with flag 5001/1673176 755.58/505.89 c cleaning 9188 clauses out of 18416 with flag 11001/1679176 757.77/507.04 c cleaning 8090 clauses out of 16228 with flag 18001/1686176 760.25/508.42 c cleaning 8056 clauses out of 16137 with flag 26000/1694175 762.84/509.83 c cleaning 8521 clauses out of 17082 with flag 35001/1703176 766.04/511.56 c cleaning 9257 clauses out of 18560 with flag 45000/1713175 769.82/513.56 c cleaning 10128 clauses out of 20304 with flag 56001/1724176 773.99/515.74 c cleaning 11062 clauses out of 22175 with flag 68000/1736175 778.18/517.99 c cleaning 12040 clauses out of 24113 with flag 81000/1749175 782.78/520.31 c cleaning 13023 clauses out of 26075 with flag 95002/1763177 783.96/521.01 c And the winner is solver0 801.40/538.48 c Got one! Elapsed wall clock time (in seconds):538.366 801.40/538.48 o 3859 801.87/538.78 c cleaning 9089 clauses out of 18218 with flag 2000/1768343 804.10/540.00 c cleaning 7539 clauses out of 15130 with flag 8001/1774344 806.09/541.19 c cleaning 7273 clauses out of 14591 with flag 15001/1781344 808.67/542.53 c cleaning 7631 clauses out of 15317 with flag 23000/1789343 811.46/544.04 c cleaning 8320 clauses out of 16686 with flag 32000/1798343 814.25/545.58 c cleaning 9161 clauses out of 18366 with flag 42000/1808343 817.44/547.23 c cleaning 10087 clauses out of 20205 with flag 53000/1819343 821.02/549.12 c cleaning 11043 clauses out of 22118 with flag 65000/1831343 824.83/551.15 c cleaning 12022 clauses out of 24075 with flag 78000/1844343 828.88/553.37 c cleaning 13015 clauses out of 26053 with flag 92000/1858343 833.65/555.85 c cleaning 14001 clauses out of 28038 with flag 107000/1873343 838.83/558.53 c cleaning 14997 clauses out of 30037 with flag 123000/1889343 843.83/561.17 c cleaning 16010 clauses out of 32041 with flag 140001/1906344 846.68/562.73 c And the winner is solver0 857.92/573.94 c Got one! Elapsed wall clock time (in seconds):573.827 857.92/573.94 o 3858 859.65/574.83 c cleaning 14807 clauses out of 29648 with flag 5000/1919961 861.44/575.81 c cleaning 10402 clauses out of 20841 with flag 11000/1925961 863.43/576.93 c cleaning 8706 clauses out of 17440 with flag 18001/1932962 865.82/578.21 c cleaning 8349 clauses out of 16733 with flag 26000/1940961 868.51/579.73 c cleaning 8678 clauses out of 17384 with flag 35000/1949961 871.48/581.36 c cleaning 9340 clauses out of 18708 with flag 45002/1959963 875.07/583.24 c cleaning 10163 clauses out of 20366 with flag 56000/1970961 878.87/585.24 c cleaning 11091 clauses out of 22204 with flag 68001/1982962 882.79/587.31 c cleaning 12038 clauses out of 24113 with flag 81001/1995962 886.96/589.53 c cleaning 13019 clauses out of 26075 with flag 95001/2009962 891.74/592.07 c cleaning 14018 clauses out of 28058 with flag 110003/2024964 896.92/594.75 c cleaning 14995 clauses out of 30037 with flag 126000/2040961 902.59/597.77 c cleaning 15999 clauses out of 32042 with flag 143000/2057961 908.18/600.68 c cleaning 17005 clauses out of 34044 with flag 161001/2075962 914.15/603.77 c cleaning 18008 clauses out of 36039 with flag 180001/2094962 920.53/607.00 c cleaning 18997 clauses out of 38033 with flag 200003/2114964 926.84/610.31 c And the winner is solver0 926.97/610.79 c Got one! Elapsed wall clock time (in seconds):610.679 926.97/610.79 o 3857 929.21/611.91 c cleaning 22309 clauses out of 44653 with flag 5000/2140581 931.41/613.10 c cleaning 14161 clauses out of 28344 with flag 11000/2146581 933.00/614.09 c And the winner is solver0 933.27/614.33 c Got one! Elapsed wall clock time (in seconds):614.219 933.27/614.33 o 3856 933.59/614.50 c cleaning 10075 clauses out of 20170 with flag 1000/2152568 934.77/615.27 c And the winner is solver0 935.05/615.44 c Got one! Elapsed wall clock time (in seconds):615.323 935.05/615.44 o 3855 935.57/615.74 c cleaning 7761 clauses out of 15539 with flag 2000/2158012 936.82/616.59 c And the winner is solver0 938.11/617.72 c Got one! Elapsed wall clock time (in seconds):617.608 938.11/617.72 o 3854 938.67/618.02 c cleaning 6515 clauses out of 13047 with flag 2000/2163281 940.45/619.08 c cleaning 6253 clauses out of 12533 with flag 8001/2169282 942.04/619.94 c And the winner is solver0 945.19/623.07 c Got one! Elapsed wall clock time (in seconds):622.953 945.19/623.07 o 3853 946.30/623.70 c cleaning 8315 clauses out of 16649 with flag 5000/2179651 948.08/624.69 c cleaning 7153 clauses out of 14335 with flag 11001/2185652 950.38/625.94 c cleaning 7076 clauses out of 14181 with flag 18000/2192651 950.95/626.33 c And the winner is solver0 953.38/628.77 c Got one! Elapsed wall clock time (in seconds):628.653 953.38/628.77 o 3852 954.48/629.36 c cleaning 6201 clauses out of 12431 with flag 4000/2197977 956.48/630.42 c cleaning 6104 clauses out of 12230 with flag 10000/2203977 958.45/631.59 c cleaning 6557 clauses out of 13130 with flag 17004/2210981 960.88/633.00 c cleaning 7266 clauses out of 14570 with flag 25001/2218978 962.45/633.80 c And the winner is solver0 963.37/634.71 c Got one! Elapsed wall clock time (in seconds):634.596 963.37/634.71 o 3851 963.55/634.86 c cleaning 6452 clauses out of 12932 with flag 1001/2224606 965.33/635.87 c cleaning 6225 clauses out of 12479 with flag 7000/2230605 967.69/637.13 c cleaning 6616 clauses out of 13255 with flag 14001/2237606 970.16/638.55 c cleaning 7304 clauses out of 14638 with flag 22000/2245605 972.74/639.96 c cleaning 8147 clauses out of 16335 with flag 31001/2254606 975.72/641.54 c cleaning 9070 clauses out of 18188 with flag 41001/2264606 976.50/642.08 c And the winner is solver0 977.39/642.86 c Got one! Elapsed wall clock time (in seconds):642.741 977.39/642.86 o 3850 978.12/643.27 c cleaning 7193 clauses out of 14411 with flag 3000/2269899 980.22/644.41 c cleaning 6591 clauses out of 13219 with flag 9001/2275900 982.40/645.65 c cleaning 6796 clauses out of 13629 with flag 16002/2282901 984.81/646.98 c cleaning 7399 clauses out of 14831 with flag 24000/2290899 987.17/648.28 c cleaning 8194 clauses out of 16432 with flag 33000/2299899 990.13/649.81 c cleaning 9102 clauses out of 18239 with flag 43001/2309900 993.11/651.43 c cleaning 10047 clauses out of 20136 with flag 54000/2320899 996.28/653.15 c And the winner is solver0 999.24/656.02 c Got one! Elapsed wall clock time (in seconds):655.903 999.24/656.02 o 3849 1000.61/656.80 c cleaning 13432 clauses out of 26909 with flag 5000/2337719 1002.80/657.96 c cleaning 9719 clauses out of 19477 with flag 11000/2343719 1005.15/659.23 c cleaning 8359 clauses out of 16758 with flag 18000/2350719 1007.72/660.68 c cleaning 8183 clauses out of 16400 with flag 26001/2358720 1010.49/662.20 c cleaning 8587 clauses out of 17216 with flag 35000/2367719 1013.47/663.79 c cleaning 9293 clauses out of 18629 with flag 45000/2377719 1016.85/665.51 c cleaning 10152 clauses out of 20337 with flag 56001/2388720 1020.40/667.42 c cleaning 11067 clauses out of 22185 with flag 68001/2400720 1024.38/669.55 c cleaning 12045 clauses out of 24117 with flag 81000/2413719 1028.75/671.86 c cleaning 13029 clauses out of 26075 with flag 95003/2427722 1030.04/672.67 c And the winner is solver0 1030.72/673.24 c Got one! Elapsed wall clock time (in seconds):673.128 1030.72/673.24 o 3848 1031.04/673.49 c cleaning 9169 clauses out of 18371 with flag 2000/2433047 1032.85/674.48 c cleaning 7583 clauses out of 15202 with flag 8000/2439047 1035.01/675.60 c cleaning 7295 clauses out of 14620 with flag 15001/2446048 1037.38/676.99 c cleaning 7650 clauses out of 15324 with flag 23000/2454047 1040.15/678.40 c cleaning 8323 clauses out of 16674 with flag 32000/2463047 1042.93/679.91 c cleaning 9163 clauses out of 18352 with flag 42001/2473048 1046.09/681.64 c cleaning 10078 clauses out of 20189 with flag 53001/2484048 1049.86/683.64 c cleaning 11039 clauses out of 22110 with flag 65000/2496047 1053.84/685.78 c cleaning 12018 clauses out of 24071 with flag 78000/2509047 1058.42/688.10 c cleaning 13006 clauses out of 26053 with flag 92000/2523047 1063.19/690.61 c cleaning 14008 clauses out of 28050 with flag 107003/2538050 1068.16/693.29 c cleaning 14996 clauses out of 30039 with flag 123000/2554047 1073.82/696.29 c cleaning 16003 clauses out of 32043 with flag 140000/2571047 1079.98/699.43 c cleaning 17004 clauses out of 34040 with flag 158000/2589047 1086.97/703.05 c cleaning 18015 clauses out of 36041 with flag 177005/2608052 1094.33/706.89 c cleaning 18995 clauses out of 38021 with flag 197000/2628047 1102.76/711.30 c cleaning 20005 clauses out of 40027 with flag 218001/2649048 1111.53/715.75 c cleaning 21000 clauses out of 42025 with flag 240004/2671051 1120.12/720.16 c cleaning 21998 clauses out of 44021 with flag 263000/2694047 1129.29/724.86 c cleaning 22999 clauses out of 46023 with flag 287000/2718047 1139.11/729.94 c cleaning 23997 clauses out of 48024 with flag 312000/2743047 1149.30/735.12 c cleaning 24999 clauses out of 50027 with flag 338000/2769047 1159.90/740.58 c cleaning 25997 clauses out of 52028 with flag 365000/2796047 1161.70/741.59 c And the winner is solver0 1180.49/760.22 c Got one! Elapsed wall clock time (in seconds):760.104 1180.49/760.22 o 3847 1180.84/760.41 c cleaning 15853 clauses out of 31715 with flag 1001/2801731 1183.03/761.79 c cleaning 10923 clauses out of 21862 with flag 7001/2807731 1185.59/763.17 c cleaning 8957 clauses out of 17938 with flag 14000/2814730 1188.17/764.59 c cleaning 8482 clauses out of 16982 with flag 22001/2822731 1191.12/766.19 c cleaning 8741 clauses out of 17500 with flag 31001/2831731 1194.49/767.92 c cleaning 9370 clauses out of 18758 with flag 41000/2841730 1198.24/769.97 c cleaning 10181 clauses out of 20388 with flag 52000/2852730 1202.40/772.17 c cleaning 11092 clauses out of 22208 with flag 64001/2864731 1207.00/774.52 c cleaning 12050 clauses out of 24116 with flag 77001/2877731 1211.67/777.02 c cleaning 13022 clauses out of 26066 with flag 91001/2891731 1216.43/779.54 c cleaning 14014 clauses out of 28043 with flag 106000/2906730 1221.79/782.35 c cleaning 15007 clauses out of 30029 with flag 122000/2922730 1227.78/785.42 c cleaning 16003 clauses out of 32024 with flag 139002/2939732 1234.01/788.77 c cleaning 16998 clauses out of 34019 with flag 157000/2957730 1240.97/792.35 c cleaning 17995 clauses out of 36023 with flag 176002/2976732 1248.55/796.21 c cleaning 19003 clauses out of 38027 with flag 196001/2996731 1256.10/800.12 c cleaning 20001 clauses out of 40023 with flag 217000/3017730 1264.09/804.35 c cleaning 21002 clauses out of 42023 with flag 239001/3039731 1272.67/808.70 c cleaning 21989 clauses out of 44021 with flag 262001/3062731 1281.23/813.15 c cleaning 23001 clauses out of 46031 with flag 286000/3086730 1290.98/818.11 c cleaning 23998 clauses out of 48030 with flag 311000/3111730 1299.57/822.68 c And the winner is solver0 1305.36/828.39 c Got one! Elapsed wall clock time (in seconds):828.276 1305.36/828.39 o 3846 1305.83/828.62 c And the winner is solver0 1305.98/828.89 c Got one! Elapsed wall clock time (in seconds):828.78 1305.98/828.89 o 3845 1306.18/829.02 c And the winner is solver0 1306.60/829.46 c Got one! Elapsed wall clock time (in seconds):829.342 1306.60/829.46 o 3841 1307.49/829.90 c And the winner is solver0 1307.69/830.16 c Got one! Elapsed wall clock time (in seconds):830.047 1307.69/830.16 o 3840 1308.62/830.61 c cleaning 26057 clauses out of 52143 with flag 2001/3139841 1311.24/832.01 c cleaning 16024 clauses out of 32085 with flag 8000/3145840 1312.20/832.61 c And the winner is solver0 1313.52/833.92 c Got one! Elapsed wall clock time (in seconds):833.802 1313.52/833.92 o 3839 1314.27/834.39 c cleaning 10625 clauses out of 21264 with flag 3000/3151043 1316.67/835.79 c cleaning 8312 clauses out of 16639 with flag 9000/3157043 1319.24/837.19 c cleaning 7650 clauses out of 15327 with flag 16000/3164043 1322.18/838.78 c cleaning 7834 clauses out of 15677 with flag 24000/3172043 1324.16/839.81 c And the winner is solver0 1327.86/843.50 c Got one! Elapsed wall clock time (in seconds):843.382 1327.86/843.50 o 3838 1328.05/843.64 c cleaning 6884 clauses out of 13782 with flag 1002/3177982 1330.07/844.87 c cleaning 6440 clauses out of 12897 with flag 7001/3183981 1332.23/846.07 c cleaning 6720 clauses out of 13456 with flag 14000/3190980 1332.61/846.38 c And the winner is solver0 1333.89/847.53 c Got one! Elapsed wall clock time (in seconds):847.412 1333.89/847.53 o 3837 1335.05/848.16 c cleaning 6053 clauses out of 12138 with flag 5000/3196382 1337.01/849.23 c cleaning 6032 clauses out of 12087 with flag 11002/3202384 1339.21/850.56 c cleaning 6511 clauses out of 13053 with flag 18000/3209382 1341.57/851.81 c cleaning 7257 clauses out of 14542 with flag 26000/3217382 1342.94/852.70 c And the winner is solver0 1343.23/852.80 c Got one! Elapsed wall clock time (in seconds):852.689 1343.23/852.80 o 3836 1343.43/852.97 c cleaning 6331 clauses out of 12675 with flag 1003/3222772 1345.40/854.05 c cleaning 6154 clauses out of 12342 with flag 7001/3228770 1347.57/855.24 c cleaning 6580 clauses out of 13188 with flag 14001/3235770 1350.12/856.65 c cleaning 7290 clauses out of 14610 with flag 22003/3243772 1352.89/858.18 c cleaning 8143 clauses out of 16317 with flag 31000/3252769 1356.24/859.92 c cleaning 9063 clauses out of 18174 with flag 41000/3262769 1356.99/860.46 c And the winner is solver0 1359.37/862.72 c Got one! Elapsed wall clock time (in seconds):862.607 1359.37/862.72 o 3835 1360.11/863.12 c cleaning 7136 clauses out of 14296 with flag 3002/3267954 1361.88/864.11 c cleaning 6569 clauses out of 13158 with flag 9000/3273952 1363.84/865.27 c cleaning 6789 clauses out of 13590 with flag 16001/3280953 1366.40/866.61 c cleaning 7381 clauses out of 14801 with flag 24001/3288953 1368.78/867.98 c cleaning 8188 clauses out of 16419 with flag 33000/3297952 1371.93/869.63 c cleaning 9102 clauses out of 18232 with flag 43001/3307953 1375.31/871.41 c cleaning 10036 clauses out of 20131 with flag 54002/3318954 1378.86/873.32 c cleaning 11036 clauses out of 22093 with flag 66000/3330952 1383.26/875.75 c cleaning 12007 clauses out of 24057 with flag 79000/3343952 1388.01/878.26 c cleaning 13019 clauses out of 26051 with flag 93001/3357953 1393.17/880.91 c cleaning 13999 clauses out of 28031 with flag 108000/3372952 1398.52/883.75 c cleaning 15004 clauses out of 30033 with flag 124001/3388953 1404.51/886.99 c cleaning 16000 clauses out of 32031 with flag 141003/3405955 1411.26/890.41 c cleaning 17013 clauses out of 34030 with flag 159002/3423954 1413.02/891.41 c And the winner is solver0 1427.83/906.27 c Got one! Elapsed wall clock time (in seconds):906.152 1427.83/906.27 o 3834 1428.16/906.44 c cleaning 11315 clauses out of 22641 with flag 1002/3429578 1430.13/907.56 c cleaning 8648 clauses out of 17326 with flag 7002/3435578 1432.71/909.02 c cleaning 7827 clauses out of 15676 with flag 14000/3442576 1435.26/910.40 c cleaning 7914 clauses out of 15849 with flag 22000/3450576 1438.04/911.95 c cleaning 8459 clauses out of 16936 with flag 31001/3459577 1441.79/913.90 c cleaning 9229 clauses out of 18476 with flag 41000/3469576 1445.95/916.14 c cleaning 10116 clauses out of 20247 with flag 52000/3480576 1450.32/918.46 c cleaning 11058 clauses out of 22131 with flag 64000/3492576 1455.50/921.10 c cleaning 12025 clauses out of 24073 with flag 77000/3505576 1460.86/923.97 c cleaning 13011 clauses out of 26049 with flag 91001/3519577 1466.15/926.73 c cleaning 14003 clauses out of 28038 with flag 106001/3534577 1471.73/929.63 c cleaning 15005 clauses out of 30036 with flag 122002/3550578 1478.09/932.93 c cleaning 16005 clauses out of 32029 with flag 139000/3567576 1481.64/934.81 c And the winner is solver0 1496.35/949.50 c Got one! Elapsed wall clock time (in seconds):949.384 1496.35/949.50 o 3833 1497.94/950.36 c cleaning 15327 clauses out of 30681 with flag 5001/3582233 1499.89/951.50 c cleaning 10663 clauses out of 21355 with flag 11002/3588234 1502.26/952.71 c cleaning 8828 clauses out of 17692 with flag 18002/3595234 1504.60/954.06 c cleaning 8419 clauses out of 16863 with flag 26001/3603233 1507.36/955.51 c cleaning 8704 clauses out of 17444 with flag 35001/3612233 1510.33/957.17 c cleaning 9361 clauses out of 18740 with flag 45001/3622233 1513.68/958.99 c cleaning 10175 clauses out of 20380 with flag 56002/3633234 1517.24/960.88 c cleaning 11083 clauses out of 22203 with flag 68000/3645232 1521.19/962.97 c cleaning 12044 clauses out of 24120 with flag 81000/3658232 1525.91/965.41 c cleaning 13024 clauses out of 26076 with flag 95000/3672232 1530.26/967.79 c cleaning 14009 clauses out of 28053 with flag 110001/3687233 1535.43/970.41 c cleaning 14998 clauses out of 30044 with flag 126001/3703233 1541.00/973.30 c cleaning 16014 clauses out of 32048 with flag 143003/3720235 1547.35/976.61 c cleaning 17002 clauses out of 34031 with flag 161000/3738232 1554.33/980.21 c cleaning 18001 clauses out of 36030 with flag 180001/3757233 1561.47/983.90 c cleaning 19006 clauses out of 38028 with flag 200000/3777232 1568.45/987.58 c And the winner is solver0 1574.35/993.37 c Got one! Elapsed wall clock time (in seconds):993.255 1574.35/993.37 o 3832 1576.83/994.60 c cleaning 22268 clauses out of 44550 with flag 5000/3802760 1579.29/996.07 c cleaning 14128 clauses out of 28283 with flag 11001/3808761 1581.85/997.49 c cleaning 10567 clauses out of 21154 with flag 18000/3815760 1584.80/999.00 c cleaning 9281 clauses out of 18588 with flag 26001/3823761 1587.97/1000.71 c cleaning 9140 clauses out of 18306 with flag 35000/3832760 1591.13/1002.49 c cleaning 9567 clauses out of 19166 with flag 45000/3842760 1594.90/1004.44 c cleaning 10290 clauses out of 20599 with flag 56000/3853760 1598.86/1006.58 c cleaning 11142 clauses out of 22309 with flag 68000/3865760 1603.21/1008.89 c cleaning 12074 clauses out of 24167 with flag 81000/3878760 1608.29/1011.53 c cleaning 13036 clauses out of 26093 with flag 95000/3892760 1613.67/1014.36 c cleaning 14015 clauses out of 28058 with flag 110001/3907761 1620.20/1017.72 c cleaning 15009 clauses out of 30043 with flag 126001/3923761 1626.37/1020.95 c cleaning 16001 clauses out of 32033 with flag 143000/3940760 1633.07/1024.40 c cleaning 16998 clauses out of 34033 with flag 161001/3958761 1640.22/1028.14 c cleaning 18002 clauses out of 36034 with flag 180000/3977760 1647.39/1031.83 c cleaning 19001 clauses out of 38032 with flag 200000/3997760 1655.13/1035.81 c cleaning 19997 clauses out of 40032 with flag 221001/4018761 1663.46/1040.11 c cleaning 20994 clauses out of 42034 with flag 243000/4040760 1671.83/1044.43 c cleaning 22011 clauses out of 44044 with flag 266004/4063764 1681.59/1049.46 c cleaning 23003 clauses out of 46029 with flag 290000/4087760 1690.93/1054.26 c cleaning 23999 clauses out of 48028 with flag 315002/4112762 1697.33/1057.60 c And the winner is solver0 1701.54/1061.88 c Got one! Elapsed wall clock time (in seconds):1061.768 1701.54/1061.88 o 3831 1703.63/1062.99 c cleaning 23310 clauses out of 46637 with flag 5001/4135370 1705.98/1064.26 c cleaning 14652 clauses out of 29326 with flag 11000/4141369 1708.32/1065.58 c cleaning 10829 clauses out of 21675 with flag 18001/4148370 1710.86/1066.98 c cleaning 9407 clauses out of 18846 with flag 26001/4156370 1713.86/1068.66 c cleaning 9205 clauses out of 18438 with flag 35000/4165369 1717.03/1070.32 c cleaning 9603 clauses out of 19234 with flag 45001/4175370 1720.38/1072.17 c cleaning 10302 clauses out of 20630 with flag 56000/4186369 1724.34/1074.23 c cleaning 11150 clauses out of 22328 with flag 68000/4198369 1728.72/1076.64 c cleaning 12075 clauses out of 24178 with flag 81000/4211369 1733.49/1079.20 c cleaning 13030 clauses out of 26103 with flag 95000/4225369 1738.63/1081.82 c cleaning 14024 clauses out of 28073 with flag 110000/4240369 1744.00/1084.69 c cleaning 15008 clauses out of 30050 with flag 126001/4256370 1750.11/1087.80 c cleaning 16008 clauses out of 32041 with flag 143000/4273369 1756.06/1090.97 c cleaning 17003 clauses out of 34033 with flag 161000/4291369 1762.61/1094.34 c cleaning 17997 clauses out of 36032 with flag 180002/4310371 1769.38/1097.89 c cleaning 19000 clauses out of 38034 with flag 200001/4330370 1777.16/1101.97 c cleaning 20000 clauses out of 40033 with flag 221000/4351369 1784.92/1105.99 c cleaning 21004 clauses out of 42034 with flag 243001/4373370 1793.48/1110.32 c cleaning 22002 clauses out of 44030 with flag 266001/4396370 1800.05/1113.71 c starts : 581 1800.05/1113.71 c conflicts : 4415334 1800.05/1113.71 c decisions : 6145023 1800.05/1113.71 c propagations : 428111315 1800.05/1113.71 c inspects : 2741146623 1800.05/1113.71 c shortcuts : 0 1800.05/1113.71 c learnt literals : 0 1800.05/1113.71 c learnt binary clauses : 1 1800.05/1113.71 c learnt ternary clauses : 1 1800.05/1113.71 c learnt constraints : 4415334 1800.05/1113.71 c ignored constraints : 0 1800.05/1113.71 c root simplifications : 0 1800.05/1113.71 c removed literals (reason simplification) : 33256528 1800.05/1113.71 c reason swapping (by a shorter reason) : 0 1800.05/1113.71 c Calls to reduceDB : 418 1800.05/1113.71 c number of reductions to clauses (during analyze) : 0 1800.05/1113.71 c number of learned constraints concerned by reduction : 0 1800.05/1113.71 c number of learning phase by resolution : 0 1800.05/1113.71 c number of learning phase by cutting planes : 0 1800.05/1113.71 c speed (assignments/second) : 397671.2402442627 1800.05/1113.71 c non guided choices 41240 1800.05/1113.73 c learnt constraints type 1800.05/1113.73 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1 1800.05/1113.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 41083 1800.05/1113.73 c constraints type 1800.05/1113.73 c org.sat4j.minisat.constraints.card.MinWatchCard => 220 1800.05/1113.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 132 1800.05/1113.73 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 398 1800.05/1113.73 c 750 constraints processed. 1800.05/1113.73 c constraints type 1800.05/1113.73 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 132 1800.05/1113.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 220 1800.05/1113.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 398 1800.05/1113.73 c 750 constraints processed. 1800.05/1113.73 s SATISFIABLE 1800.05/1113.74 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 x155 -x156 -x157 -x158 x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 x815 -x816 -x817 -x818 x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 x1215 -x1216 x1217 -x1218 -x1219 x1220 x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 x2361 -x2362 -x2363 x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 1800.05/1113.74 c objective function=3831 1800.05/1113.74 c Total wall clock time (in seconds): 1113.627
OK 3831
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3687550-1337871945/watcher-3687550-1337871945 -o /tmp/evaluation-result-3687550-1337871945/solver-3687550-1337871945 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687550-1337871945.opb 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: 1.43 0.41 0.14 4/197 24888 /proc/meminfo: memFree=28759108/32873648 swapFree=6856/6856 [pid=24888] ppid=24886 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/24888/stat : 24888 (java) R 24886 24888 24583 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 253319960 278528 26 33554432000 1073741824 1073778376 140736212920960 140736904007752 270698355281 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/24888/statm: 68 33 25 9 0 25 0 [startup+0.100435 s] /proc/loadavg: 1.43 0.41 0.14 4/197 24888 /proc/meminfo: memFree=28759108/32873648 swapFree=6856/6856 [pid=24888] ppid=24886 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/24888/stat : 24888 (java) S 24886 24888 24583 0 -1 4202496 4305 0 1 0 8 1 0 0 20 0 18 0 253319960 9787813888 5508 33554432000 1073741824 1073778376 140736212920960 140736212912096 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24888/statm: 2389603 5508 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.200254 s] /proc/loadavg: 1.43 0.41 0.14 4/197 24888 /proc/meminfo: memFree=28759108/32873648 swapFree=6856/6856 [pid=24888] ppid=24886 vsize=9558412 CPUtime=0.27 cores=0,2,4,6 /proc/24888/stat : 24888 (java) S 24886 24888 24583 0 -1 4202496 4957 0 1 0 26 1 0 0 20 0 18 0 253319960 9787813888 6891 33554432000 1073741824 1073778376 140736212920960 140736212912096 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24888/statm: 2389603 6891 2203 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558412 [startup+0.300285 s] /proc/loadavg: 1.43 0.41 0.14 4/197 24888 /proc/meminfo: memFree=28759108/32873648 swapFree=6856/6856 [pid=24888] ppid=24886 vsize=9558412 CPUtime=0.55 cores=0,2,4,6 /proc/24888/stat : 24888 (java) S 24886 24888 24583 0 -1 4202496 7778 0 1 0 53 2 0 0 20 0 18 0 253319960 9787813888 11811 33554432000 1073741824 1073778376 140736212920960 140736212912096 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24888/statm: 2389603 11811 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9558412 [startup+0.70024 s] /proc/loadavg: 1.43 0.41 0.14 4/197 24888 /proc/meminfo: memFree=28759108/32873648 swapFree=6856/6856 [pid=24888] ppid=24886 vsize=9824668 CPUtime=1.73 cores=0,2,4,6 /proc/24888/stat : 24888 (java) S 24886 24888 24583 0 -1 4202496 16702 0 1 0 167 6 0 0 20 0 19 0 253319960 10060460032 17894 33554432000 1073741824 1073778376 140736212920960 140736212912096 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24888/statm: 2456167 17894 2247 9 0 2446860 0 Current children cumulated CPU time (s) 1.73 Current children cumulated vsize (KiB) 9824668 [startup+1.50067 s] /proc/loadavg: 1.43 0.41 0.14 3/216 24913 /proc/meminfo: memFree=28590048/32873648 swapFree=6856/6856 [pid=24888] ppid=24886 vsize=9824668 CPUtime=1.95 cores=0,2,4,6 /proc/24888/stat : 24888 (java) S 24886 24888 24583 0 -1 4202496 16724 0 1 0 187 8 0 0 20 0 19 0 253319960 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140736212912096 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24888/statm: 2456167 21480 2249 9 0 2446860 0 [pid=24888/tid=24890] ppid=24886 vsize=9824668 CPUtime=0.3 cores=0,2,4,6 /proc/24888/task/24890/stat : 24890 (java) S 24886 24888 24583 0 -1 4202560 2475 0 1 0 28 2 0 0 20 0 19 0 253319961 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593291211768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24891] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24891/stat : 24891 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593280273448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24892] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24892/stat : 24892 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593279220648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24893] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24893/stat : 24893 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593278167848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24894] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24894/stat : 24894 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593277115048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24895] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24895/stat : 24895 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593276062248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24896] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24896/stat : 24896 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593275009448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24897] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24897/stat : 24897 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593273956648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24898] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24898/stat : 24898 (java) S 24886 24888 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593272903848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24899] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24899/stat : 24899 (java) S 24886 24888 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319963 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593115245544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24900] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24900/stat : 24900 (java) S 24886 24888 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253319963 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593114191608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24901] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24901/stat : 24901 (java) S 24886 24888 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253319963 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593113138696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24902] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24902/stat : 24902 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319966 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593112087184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24903] ppid=24886 vsize=9824668 CPUtime=0.53 cores=0,2,4,6 /proc/24888/task/24903/stat : 24903 (java) S 24886 24888 24583 0 -1 4202560 5674 0 0 0 53 0 0 0 20 0 19 0 253319966 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593111034296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24904] ppid=24886 vsize=9824668 CPUtime=0.54 cores=0,2,4,6 /proc/24888/task/24904/stat : 24904 (java) S 24886 24888 24583 0 -1 4202560 7229 0 0 0 52 2 0 0 20 0 19 0 253319966 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593109981496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24905] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24905/stat : 24905 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319966 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593108928888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24906] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24906/stat : 24906 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319966 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593107876296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24910] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24910/stat : 24910 (java) S 24886 24888 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253319995 10060460032 21480 33554432000 1073741824 1073778376 140736212920960 140593103631656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.95 Current children cumulated vsize (KiB) 9824668 [startup+3.10076 s] /proc/loadavg: 1.39 0.42 0.14 2/216 24919 /proc/meminfo: memFree=28365968/32873648 swapFree=6856/6856 [pid=24888] ppid=24886 vsize=9824668 CPUtime=2.68 cores=0,2,4,6 /proc/24888/stat : 24888 (java) S 24886 24888 24583 0 -1 4202496 17705 0 1 0 256 12 0 0 20 0 19 0 253319960 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140736212912096 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24888/statm: 2456167 28655 2254 9 0 2446860 0 [pid=24888/tid=24890] ppid=24886 vsize=9824668 CPUtime=0.32 cores=0,2,4,6 /proc/24888/task/24890/stat : 24890 (java) S 24886 24888 24583 0 -1 4202560 2477 0 1 0 30 2 0 0 20 0 19 0 253319961 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593291211768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24891] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24891/stat : 24891 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593280273448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24892] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24892/stat : 24892 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593279220648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24893] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24893/stat : 24893 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593278167848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24894] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24894/stat : 24894 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593277115048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24895] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24895/stat : 24895 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593276062248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24896] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24896/stat : 24896 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593275009448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24897] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24897/stat : 24897 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593273956648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24898] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24898/stat : 24898 (java) S 24886 24888 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319962 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593272903848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24899] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24899/stat : 24899 (java) S 24886 24888 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253319963 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593115245544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24900] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24900/stat : 24900 (java) S 24886 24888 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253319963 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593114191608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24901] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24901/stat : 24901 (java) S 24886 24888 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253319963 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593113138696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24902] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24902/stat : 24902 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319966 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593112087184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24903] ppid=24886 vsize=9824668 CPUtime=0.73 cores=0,2,4,6 /proc/24888/task/24903/stat : 24903 (java) S 24886 24888 24583 0 -1 4202560 5846 0 0 0 72 1 0 0 20 0 19 0 253319966 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593111034296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24904] ppid=24886 vsize=9824668 CPUtime=0.78 cores=0,2,4,6 /proc/24888/task/24904/stat : 24904 (java) S 24886 24888 24583 0 -1 4202560 8002 0 0 0 76 2 0 0 20 0 19 0 253319966 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593109981496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24905] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24905/stat : 24905 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319966 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593108928888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24906] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24906/stat : 24906 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319966 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593107876296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24910] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24910/stat : 24910 (java) S 24886 24888 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253319995 10060460032 28655 33554432000 1073741824 1073778376 140736212920960 140593103631656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.68 Current children cumulated vsize (KiB) 9824668 [startup+6.30073 s] /proc/loadavg: 1.39 0.42 0.14 5/219 24937 /proc/meminfo: memFree=28243636/32873648 swapFree=6856/6856 [pid=24888] ppid=24886 vsize=9824668 CPUtime=6.36 cores=0,2,4,6 /proc/24888/stat : 24888 (java) S 24886 24888 24583 0 -1 4202496 18391 0 1 0 613 23 0 0 20 0 20 0 253319960 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140736212912096 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24888/statm: 2456167 53707 2279 9 0 2446860 0 [pid=24888/tid=24890] ppid=24886 vsize=9824668 CPUtime=0.33 cores=0,2,4,6 /proc/24888/task/24890/stat : 24890 (java) S 24886 24888 24583 0 -1 4202560 2480 0 1 0 31 2 0 0 20 0 20 0 253319961 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593291211768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24891] ppid=24886 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24888/task/24891/stat : 24891 (java) S 24886 24888 24583 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 20 0 253319962 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593280273448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24892] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24892/stat : 24892 (java) S 24886 24888 24583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 253319962 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593279220648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24893] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24893/stat : 24893 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253319962 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593278167848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24894] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24894/stat : 24894 (java) S 24886 24888 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253319962 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593277115048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24895] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24895/stat : 24895 (java) S 24886 24888 24583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 253319962 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593276062248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24896] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24896/stat : 24896 (java) S 24886 24888 24583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 253319962 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593275009448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24897] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24897/stat : 24897 (java) S 24886 24888 24583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 253319962 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593273956648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24898] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24898/stat : 24898 (java) S 24886 24888 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 253319962 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593272903848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24899] ppid=24886 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/24888/task/24899/stat : 24899 (java) S 24886 24888 24583 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 20 0 253319963 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593115245544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24900] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24900/stat : 24900 (java) S 24886 24888 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253319963 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593114191608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24901] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24901/stat : 24901 (java) S 24886 24888 24583 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 253319963 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593113138696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24902] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24902/stat : 24902 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253319966 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593112087184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24903] ppid=24886 vsize=9824668 CPUtime=0.93 cores=0,2,4,6 /proc/24888/task/24903/stat : 24903 (java) S 24886 24888 24583 0 -1 4202560 6368 0 0 0 92 1 0 0 20 0 20 0 253319966 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593111034296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24904] ppid=24886 vsize=9824668 CPUtime=0.86 cores=0,2,4,6 /proc/24888/task/24904/stat : 24904 (java) S 24886 24888 24583 0 -1 4202560 8002 0 0 0 84 2 0 0 20 0 20 0 253319966 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593109981496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24905] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24905/stat : 24905 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253319966 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593108928888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24906] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24906/stat : 24906 (java) S 24886 24888 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 253319966 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593107876296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24910] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24910/stat : 24910 (java) S 24886 24888 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253319995 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593103631656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24936] ppid=24886 vsize=9824668 CPUtime=0.86 cores=0,2,4,6 /proc/24888/task/24936/stat : 24936 (java) R 24886 24888 24583 0 -1 4202560 2 0 0 0 86 0 0 0 20 0 20 0 253320497 10060460032 53707 33554432000 1073741824 1073778376 140736212920960 140593105735160 140593154718874 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 6.36 Current children cumulated vsize (KiB) 9824668 ################ # More data... # ################ /proc/24888/task/25003/stat : 25003 (java) S 24886 24888 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253323677 10060460032 306019 33554432000 1073741824 1073778376 140736212920960 140593105737384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=25329] ppid=24886 vsize=9824668 CPUtime=32.49 cores=0,2,4,6 /proc/24888/task/25329/stat : 25329 (java) R 24886 24888 24583 0 -1 4202560 2 0 0 0 3249 0 0 0 20 0 20 0 253410587 10060460032 306019 33554432000 1073741824 1073778376 140736212920960 140593106786592 140593155150838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1489.16 Current children cumulated vsize (KiB) 9824668 [startup+1002.3 s] /proc/loadavg: 3.54 3.44 2.36 5/219 25425 /proc/meminfo: memFree=27244316/32873648 swapFree=6856/6856 [pid=24888] ppid=24886 vsize=9824668 CPUtime=1590.93 cores=0,2,4,6 /proc/24888/stat : 24888 (java) S 24886 24888 24583 0 -1 4202496 40689 0 1 0 158716 377 0 0 20 0 22 0 253319960 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140736212912096 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24888/statm: 2456167 308986 2282 9 0 2446860 0 [pid=24888/tid=24890] ppid=24886 vsize=9824668 CPUtime=0.9 cores=0,2,4,6 /proc/24888/task/24890/stat : 24890 (java) S 24886 24888 24583 0 -1 4202560 2945 0 1 0 85 5 0 0 20 0 22 0 253319961 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593291211768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24891] ppid=24886 vsize=9824668 CPUtime=1.04 cores=0,2,4,6 /proc/24888/task/24891/stat : 24891 (java) S 24886 24888 24583 0 -1 4202560 546 0 0 0 97 7 0 0 20 0 22 0 253319962 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593280273448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24892] ppid=24886 vsize=9824668 CPUtime=1.02 cores=0,2,4,6 /proc/24888/task/24892/stat : 24892 (java) S 24886 24888 24583 0 -1 4202560 940 0 0 0 97 5 0 0 20 0 22 0 253319962 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593279220648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24893] ppid=24886 vsize=9824668 CPUtime=1.01 cores=0,2,4,6 /proc/24888/task/24893/stat : 24893 (java) S 24886 24888 24583 0 -1 4202560 638 0 0 0 96 5 0 0 20 0 22 0 253319962 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593278167848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24894] ppid=24886 vsize=9824668 CPUtime=1.07 cores=0,2,4,6 /proc/24888/task/24894/stat : 24894 (java) S 24886 24888 24583 0 -1 4202560 1093 0 0 0 100 7 0 0 20 0 22 0 253319962 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593277115048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24895] ppid=24886 vsize=9824668 CPUtime=1.02 cores=0,2,4,6 /proc/24888/task/24895/stat : 24895 (java) S 24886 24888 24583 0 -1 4202560 1634 0 0 0 95 7 0 0 20 0 22 0 253319962 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593276062248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24896] ppid=24886 vsize=9824668 CPUtime=0.99 cores=0,2,4,6 /proc/24888/task/24896/stat : 24896 (java) S 24886 24888 24583 0 -1 4202560 623 0 0 0 93 6 0 0 20 0 22 0 253319962 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593275009448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24897] ppid=24886 vsize=9824668 CPUtime=1.02 cores=0,2,4,6 /proc/24888/task/24897/stat : 24897 (java) S 24886 24888 24583 0 -1 4202560 758 0 0 0 97 5 0 0 20 0 22 0 253319962 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593273956648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24898] ppid=24886 vsize=9824668 CPUtime=1.07 cores=0,2,4,6 /proc/24888/task/24898/stat : 24898 (java) S 24886 24888 24583 0 -1 4202560 861 0 0 0 100 7 0 0 20 0 22 0 253319962 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593272903848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24899] ppid=24886 vsize=9824668 CPUtime=88.73 cores=0,2,4,6 /proc/24888/task/24899/stat : 24899 (java) S 24886 24888 24583 0 -1 4202560 1654 0 0 0 8842 31 0 0 20 0 22 0 253319963 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593115245544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24900] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24900/stat : 24900 (java) S 24886 24888 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253319963 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593114191608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24901] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24901/stat : 24901 (java) S 24886 24888 24583 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 22 0 253319963 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593113138696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24902] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24902/stat : 24902 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319966 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593112087184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24903] ppid=24886 vsize=9824668 CPUtime=1.88 cores=0,2,4,6 /proc/24888/task/24903/stat : 24903 (java) S 24886 24888 24583 0 -1 4202560 16531 0 0 0 184 4 0 0 20 0 22 0 253319966 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593111034296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24904] ppid=24886 vsize=9824668 CPUtime=1.27 cores=0,2,4,6 /proc/24888/task/24904/stat : 24904 (java) S 24886 24888 24583 0 -1 4202560 8564 0 0 0 125 2 0 0 20 0 22 0 253319966 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593109981496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24905] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24905/stat : 24905 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319966 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593108928888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24906] ppid=24886 vsize=9824668 CPUtime=0.17 cores=0,2,4,6 /proc/24888/task/24906/stat : 24906 (java) S 24886 24888 24583 0 -1 4202560 57 0 0 0 8 9 0 0 20 0 22 0 253319966 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593107876296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=25003] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/25003/stat : 25003 (java) S 24886 24888 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253323677 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593105737384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=25423] ppid=24886 vsize=9824668 CPUtime=7.48 cores=0,2,4,6 /proc/24888/task/25423/stat : 25423 (java) R 24886 24888 24583 0 -1 4202560 4 0 0 0 748 0 0 0 20 0 22 0 253419298 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593103631072 140593154730540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=25424] ppid=24886 vsize=9824668 CPUtime=7.48 cores=0,2,4,6 /proc/24888/task/25424/stat : 25424 (java) R 24886 24888 24583 0 -1 4202560 3 0 0 0 748 0 0 0 20 0 22 0 253419298 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593106786512 140593154886336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=25425] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/25425/stat : 25425 (java) S 24886 24888 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253419300 10060460032 308986 33554432000 1073741824 1073778376 140736212920960 140593104684200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1590.93 Current children cumulated vsize (KiB) 9824668 [startup+1062.3 s] /proc/loadavg: 3.70 3.51 2.45 3/217 25428 /proc/meminfo: memFree=26840020/32873648 swapFree=6856/6856 [pid=24888] ppid=24886 vsize=9824668 CPUtime=1702.43 cores=0,2,4,6 /proc/24888/stat : 24888 (java) S 24886 24888 24583 0 -1 4202496 40820 0 1 0 169863 380 0 0 20 0 22 0 253319960 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140736212912096 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24888/statm: 2456167 312143 2282 9 0 2446860 0 [pid=24888/tid=24890] ppid=24886 vsize=9824668 CPUtime=0.9 cores=0,2,4,6 /proc/24888/task/24890/stat : 24890 (java) S 24886 24888 24583 0 -1 4202560 2954 0 1 0 85 5 0 0 20 0 22 0 253319961 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593291211768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24891] ppid=24886 vsize=9824668 CPUtime=1.07 cores=0,2,4,6 /proc/24888/task/24891/stat : 24891 (java) S 24886 24888 24583 0 -1 4202560 565 0 0 0 100 7 0 0 20 0 22 0 253319962 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593280273448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24892] ppid=24886 vsize=9824668 CPUtime=1.04 cores=0,2,4,6 /proc/24888/task/24892/stat : 24892 (java) S 24886 24888 24583 0 -1 4202560 940 0 0 0 99 5 0 0 20 0 22 0 253319962 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593279220648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24893] ppid=24886 vsize=9824668 CPUtime=1.04 cores=0,2,4,6 /proc/24888/task/24893/stat : 24893 (java) S 24886 24888 24583 0 -1 4202560 638 0 0 0 99 5 0 0 20 0 22 0 253319962 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593278167848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24894] ppid=24886 vsize=9824668 CPUtime=1.09 cores=0,2,4,6 /proc/24888/task/24894/stat : 24894 (java) S 24886 24888 24583 0 -1 4202560 1113 0 0 0 102 7 0 0 20 0 22 0 253319962 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593277115048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24895] ppid=24886 vsize=9824668 CPUtime=1.06 cores=0,2,4,6 /proc/24888/task/24895/stat : 24895 (java) S 24886 24888 24583 0 -1 4202560 1636 0 0 0 99 7 0 0 20 0 22 0 253319962 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593276062248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24896] ppid=24886 vsize=9824668 CPUtime=1.02 cores=0,2,4,6 /proc/24888/task/24896/stat : 24896 (java) S 24886 24888 24583 0 -1 4202560 623 0 0 0 96 6 0 0 20 0 22 0 253319962 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593275009448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24897] ppid=24886 vsize=9824668 CPUtime=1.06 cores=0,2,4,6 /proc/24888/task/24897/stat : 24897 (java) S 24886 24888 24583 0 -1 4202560 777 0 0 0 101 5 0 0 20 0 22 0 253319962 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593273956648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24898] ppid=24886 vsize=9824668 CPUtime=1.11 cores=0,2,4,6 /proc/24888/task/24898/stat : 24898 (java) S 24886 24888 24583 0 -1 4202560 884 0 0 0 104 7 0 0 20 0 22 0 253319962 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593272903848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24899] ppid=24886 vsize=9824668 CPUtime=93.01 cores=0,2,4,6 /proc/24888/task/24899/stat : 24899 (java) S 24886 24888 24583 0 -1 4202560 1676 0 0 0 9269 32 0 0 20 0 22 0 253319963 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593115245544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24900] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24900/stat : 24900 (java) S 24886 24888 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253319963 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593114191608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24901] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24901/stat : 24901 (java) S 24886 24888 24583 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 22 0 253319963 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593113138696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24902] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24902/stat : 24902 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319966 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593112087184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24903] ppid=24886 vsize=9824668 CPUtime=1.88 cores=0,2,4,6 /proc/24888/task/24903/stat : 24903 (java) S 24886 24888 24583 0 -1 4202560 16531 0 0 0 184 4 0 0 20 0 22 0 253319966 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593111034296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24904] ppid=24886 vsize=9824668 CPUtime=1.27 cores=0,2,4,6 /proc/24888/task/24904/stat : 24904 (java) S 24886 24888 24583 0 -1 4202560 8564 0 0 0 125 2 0 0 20 0 22 0 253319966 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593109981496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24905] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24905/stat : 24905 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319966 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593108928888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24906] ppid=24886 vsize=9824668 CPUtime=0.19 cores=0,2,4,6 /proc/24888/task/24906/stat : 24906 (java) S 24886 24888 24583 0 -1 4202560 60 0 0 0 9 10 0 0 20 0 22 0 253319966 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593107876296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=25003] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/25003/stat : 25003 (java) S 24886 24888 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253323677 10060460032 312143 33554432000 1073741824 1073778376 140736212920960 140593105737384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1702.43 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1113.7 s] /proc/loadavg: 3.50 3.48 2.50 5/219 25437 /proc/meminfo: memFree=26746924/32873648 swapFree=6856/6856 [pid=24888] ppid=24886 vsize=9824668 CPUtime=1800.05 cores=0,2,4,6 /proc/24888/stat : 24888 (java) S 24886 24888 24583 0 -1 4202496 41021 0 1 0 179620 385 0 0 20 0 22 0 253319960 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140736212912096 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24888/statm: 2456167 313667 2282 9 0 2446860 0 [pid=24888/tid=24890] ppid=24886 vsize=9824668 CPUtime=0.91 cores=0,2,4,6 /proc/24888/task/24890/stat : 24890 (java) S 24886 24888 24583 0 -1 4202560 2962 0 1 0 85 6 0 0 20 0 22 0 253319961 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593291211768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24891] ppid=24886 vsize=9824668 CPUtime=1.11 cores=0,2,4,6 /proc/24888/task/24891/stat : 24891 (java) S 24886 24888 24583 0 -1 4202560 568 0 0 0 104 7 0 0 20 0 22 0 253319962 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593280273448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24892] ppid=24886 vsize=9824668 CPUtime=1.09 cores=0,2,4,6 /proc/24888/task/24892/stat : 24892 (java) S 24886 24888 24583 0 -1 4202560 949 0 0 0 103 6 0 0 20 0 22 0 253319962 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593279220648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24893] ppid=24886 vsize=9824668 CPUtime=1.08 cores=0,2,4,6 /proc/24888/task/24893/stat : 24893 (java) S 24886 24888 24583 0 -1 4202560 638 0 0 0 103 5 0 0 20 0 22 0 253319962 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593278167848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=24894] ppid=24886 vsize=9824668 CPUtime=1.14 cores=0,2,4,6 /proc/24888/task/24894/stat : 24894 (java) S 24886 24888 24583 0 -1 4202560 1149 0 0 0 107 7 0 0 20 0 22 0 253319962 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593277115048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24895] ppid=24886 vsize=9824668 CPUtime=1.1 cores=0,2,4,6 /proc/24888/task/24895/stat : 24895 (java) S 24886 24888 24583 0 -1 4202560 1687 0 0 0 103 7 0 0 20 0 22 0 253319962 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593276062248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24896] ppid=24886 vsize=9824668 CPUtime=1.07 cores=0,2,4,6 /proc/24888/task/24896/stat : 24896 (java) S 24886 24888 24583 0 -1 4202560 650 0 0 0 101 6 0 0 20 0 22 0 253319962 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593275009448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24897] ppid=24886 vsize=9824668 CPUtime=1.11 cores=0,2,4,6 /proc/24888/task/24897/stat : 24897 (java) S 24886 24888 24583 0 -1 4202560 812 0 0 0 106 5 0 0 20 0 22 0 253319962 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593273956648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24898] ppid=24886 vsize=9824668 CPUtime=1.14 cores=0,2,4,6 /proc/24888/task/24898/stat : 24898 (java) S 24886 24888 24583 0 -1 4202560 884 0 0 0 107 7 0 0 20 0 22 0 253319962 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593272903848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24899] ppid=24886 vsize=9824668 CPUtime=98.31 cores=0,2,4,6 /proc/24888/task/24899/stat : 24899 (java) S 24886 24888 24583 0 -1 4202560 1692 0 0 0 9795 36 0 0 20 0 22 0 253319963 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593115245544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24900] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24900/stat : 24900 (java) S 24886 24888 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253319963 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593114191608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24901] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24901/stat : 24901 (java) S 24886 24888 24583 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 22 0 253319963 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593113138696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24902] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24902/stat : 24902 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319966 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593112087184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24903] ppid=24886 vsize=9824668 CPUtime=1.88 cores=0,2,4,6 /proc/24888/task/24903/stat : 24903 (java) S 24886 24888 24583 0 -1 4202560 16531 0 0 0 184 4 0 0 20 0 22 0 253319966 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593111034296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24888/tid=24904] ppid=24886 vsize=9824668 CPUtime=1.27 cores=0,2,4,6 /proc/24888/task/24904/stat : 24904 (java) S 24886 24888 24583 0 -1 4202560 8564 0 0 0 125 2 0 0 20 0 22 0 253319966 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593109981496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=24905] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/24905/stat : 24905 (java) S 24886 24888 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253319966 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593108928888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=24906] ppid=24886 vsize=9824668 CPUtime=0.2 cores=0,2,4,6 /proc/24888/task/24906/stat : 24906 (java) S 24886 24888 24583 0 -1 4202560 64 0 0 0 9 11 0 0 20 0 22 0 253319966 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593107876296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=25003] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/25003/stat : 25003 (java) S 24886 24888 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253323677 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593105737384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24888/tid=25429] ppid=24886 vsize=9824668 CPUtime=46.39 cores=0,2,4,6 /proc/24888/task/25429/stat : 25429 (java) R 24886 24888 24583 0 -1 4202560 12 0 0 0 4639 0 0 0 20 0 22 0 253426149 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593106788704 140593154649205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24888/tid=25430] ppid=24886 vsize=9824668 CPUtime=46.41 cores=0,2,4,6 /proc/24888/task/25430/stat : 25430 (java) R 24886 24888 24583 0 -1 4202560 4 0 0 0 4641 0 0 0 20 0 22 0 253426149 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593103628352 140593154886449 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=24888/tid=25431] ppid=24886 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24888/task/25431/stat : 25431 (java) S 24886 24888 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253426152 10060460032 313667 33554432000 1073741824 1073778376 140736212920960 140593104683816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # 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): 3.05176e-05 # lost CPU user time (s): 0.0100098 # lost CPU system time (s): -0.00999999 Real time (s): 1113.76 CPU time (s): 1800.44 CPU user time (s): 1796.37 CPU system time (s): 4.07338 CPU usage (%): 161.655 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.36 system time used= 4.08338 maximum resident set size= 1257228 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41060 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45622 involuntary context switches= 28393 runsolver used 3.85341 second user time and 9.67253 second system time The end
Begin job on node125 at 2012-05-24 17:05:45 IDJOB=3687550 IDBENCH=1871 IDSOLVER=2268 FILE ID=node125/3687550-1337871945 RUNJOBID= node125-1337871881-24599 PBS_JOBID= 14620079 Free space on /tmp= 71700 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687550-1337871945/watcher-3687550-1337871945 -o /tmp/evaluation-result-3687550-1337871945/solver-3687550-1337871945 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687550-1337871945.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=2118794574 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28759372 kB Buffers: 197420 kB Cached: 2193632 kB SwapCached: 0 kB Active: 1539488 kB Inactive: 1791020 kB Active(anon): 941832 kB Inactive(anon): 0 kB Active(file): 597656 kB Inactive(file): 1791020 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2076 kB Writeback: 0 kB AnonPages: 965960 kB Mapped: 22636 kB Shmem: 200 kB Slab: 626896 kB SReclaimable: 71140 kB SUnreclaim: 555756 kB KernelStack: 1616 kB PageTables: 6464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1600380 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 907264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node125 at 2012-05-24 17:24:21