Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 786 | 1800.56 | 924.952 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-edgecross10-070.opb |
| MD5SUM | 6cb51ee5205dadc6b9b1bd65363f7533 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 785 |
| Best CPU time to get the best result obtained on this benchmark | 1800 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 91 |
| Total number of constraints | 481 |
| Number of constraints which are clauses | 480 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1221 |
| Biggest coefficient in the objective function | 1013 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 3843 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1013 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 3843 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 1133 |
| Sum of products size (including duplicates) | 2266 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 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 PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4119313-1467252894.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.44/0.31 c ... done. Wall clock time 0.193s. 0.44/0.31 c declared #vars 91 0.44/0.31 c internal #vars 1224 0.44/0.31 c #constraints 2748 0.44/0.31 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.44/0.31 c constraints type 0.44/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1613 0.44/0.31 c org.sat4j.specs.Constr$1 => 1 0.44/0.31 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.44/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1133 0.44/0.31 c 2748 constraints processed. 0.44/0.31 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.44/0.31 c constraints type 0.44/0.31 c org.sat4j.specs.Constr$1 => 1 0.44/0.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1613 0.44/0.31 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 0.44/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1133 0.44/0.31 c 2748 constraints processed. 0.44/0.31 c objective function length is 1221 literals 0.44/0.33 c And the winner is solver0 0.54/0.82 c SATISFIABLE 0.54/0.82 c OPTIMIZING... 0.54/0.82 c Got one! Elapsed wall clock time (in seconds):0.699 0.54/0.82 o 962 0.54/0.89 c And the winner is solver0 1.38/1.33 c Got one! Elapsed wall clock time (in seconds):1.209 1.38/1.33 o 958 1.38/1.37 c And the winner is solver0 1.70/1.83 c Got one! Elapsed wall clock time (in seconds):1.716 1.70/1.83 o 956 1.70/1.85 c And the winner is solver0 1.77/2.34 c Got one! Elapsed wall clock time (in seconds):2.222 1.77/2.34 o 955 1.77/2.38 c And the winner is solver0 1.92/2.84 c Got one! Elapsed wall clock time (in seconds):2.726 1.92/2.84 o 948 1.92/2.85 c And the winner is solver0 1.95/3.35 c Got one! Elapsed wall clock time (in seconds):3.229 1.95/3.35 o 947 1.95/3.37 c And the winner is solver0 2.06/3.85 c Got one! Elapsed wall clock time (in seconds):3.732 2.06/3.85 o 943 2.06/3.85 c And the winner is solver0 2.07/4.35 c Got one! Elapsed wall clock time (in seconds):4.235 2.07/4.35 o 942 2.07/4.36 c And the winner is solver0 2.12/4.86 c Got one! Elapsed wall clock time (in seconds):4.738 2.12/4.86 o 940 2.12/4.86 c And the winner is solver0 2.14/5.36 c Got one! Elapsed wall clock time (in seconds):5.241 2.14/5.36 o 939 2.14/5.37 c And the winner is solver0 2.17/5.86 c Got one! Elapsed wall clock time (in seconds):5.743 2.17/5.86 o 938 2.17/5.89 c And the winner is solver0 2.33/6.36 c Got one! Elapsed wall clock time (in seconds):6.246 2.33/6.36 o 937 2.33/6.37 c And the winner is solver0 2.33/6.87 c Got one! Elapsed wall clock time (in seconds):6.748 2.33/6.87 o 936 2.33/6.87 c And the winner is solver0 2.33/7.37 c Got one! Elapsed wall clock time (in seconds):7.249 2.33/7.37 o 932 2.33/7.38 c And the winner is solver0 2.49/7.87 c Got one! Elapsed wall clock time (in seconds):7.751 2.49/7.87 o 929 2.49/7.87 c And the winner is solver0 2.49/8.37 c Got one! Elapsed wall clock time (in seconds):8.253 2.49/8.37 o 927 2.88/8.54 c And the winner is solver0 2.99/8.87 c Got one! Elapsed wall clock time (in seconds):8.755 2.99/8.87 o 922 2.99/8.89 c And the winner is solver0 3.03/9.37 c Got one! Elapsed wall clock time (in seconds):9.257 3.03/9.37 o 920 3.03/9.38 c And the winner is solver0 3.03/9.88 c Got one! Elapsed wall clock time (in seconds):9.759 3.03/9.88 o 917 3.03/9.88 c And the winner is solver0 3.03/10.38 c Got one! Elapsed wall clock time (in seconds):10.26 3.03/10.38 o 915 4.39/11.04 c cleaning 2909 clauses out of 5818 with flag 8081/5818 5.72/11.54 c And the winner is solver0 5.83/11.88 c Got one! Elapsed wall clock time (in seconds):11.762 5.83/11.88 o 911 5.88/11.92 c And the winner is solver0 6.10/12.38 c Got one! Elapsed wall clock time (in seconds):12.264 6.10/12.38 o 909 6.10/12.39 c And the winner is solver0 6.12/12.88 c Got one! Elapsed wall clock time (in seconds):12.766 6.12/12.88 o 907 6.12/12.89 c And the winner is solver0 6.12/13.39 c Got one! Elapsed wall clock time (in seconds):13.268 6.12/13.39 o 906 6.12/13.39 c And the winner is solver0 6.12/13.89 c Got one! Elapsed wall clock time (in seconds):13.77 6.12/13.89 o 904 6.34/14.02 c And the winner is solver0 6.46/14.39 c Got one! Elapsed wall clock time (in seconds):14.272 6.46/14.39 o 903 6.48/14.44 c And the winner is solver0 6.58/14.89 c Got one! Elapsed wall clock time (in seconds):14.773 6.58/14.89 o 901 6.59/14.90 c And the winner is solver0 6.59/15.39 c Got one! Elapsed wall clock time (in seconds):15.275 6.59/15.39 o 899 7.28/15.70 c And the winner is solver0 7.33/15.89 c Got one! Elapsed wall clock time (in seconds):15.777 7.33/15.89 o 895 7.54/16.07 c cleaning 5064 clauses out of 10138 with flag 2003/13047 8.16/16.38 c And the winner is solver0 8.35/16.45 c Got one! Elapsed wall clock time (in seconds):16.329 8.35/16.45 o 893 8.35/16.49 c And the winner is solver0 8.46/16.95 c Got one! Elapsed wall clock time (in seconds):16.831 8.46/16.95 o 892 8.46/16.96 c And the winner is solver0 8.47/17.45 c Got one! Elapsed wall clock time (in seconds):17.333 8.47/17.45 o 891 8.79/17.65 c And the winner is solver0 8.92/17.98 c Got one! Elapsed wall clock time (in seconds):17.867 8.92/17.98 o 890 8.93/18.01 c And the winner is solver0 9.00/18.49 c Got one! Elapsed wall clock time (in seconds):18.369 9.00/18.49 o 888 9.00/18.49 c And the winner is solver0 9.01/18.99 c Got one! Elapsed wall clock time (in seconds):18.871 9.01/18.99 o 886 9.66/19.33 c cleaning 5368 clauses out of 10745 with flag 4160/18718 10.50/19.75 c And the winner is solver0 10.63/19.99 c Got one! Elapsed wall clock time (in seconds):19.873 10.63/19.99 o 885 10.84/20.10 c And the winner is solver0 10.87/20.49 c Got one! Elapsed wall clock time (in seconds):20.376 10.87/20.49 o 884 11.08/20.69 c And the winner is solver0 11.29/21.00 c Got one! Elapsed wall clock time (in seconds):20.878 11.29/21.00 o 883 11.48/21.12 c And the winner is solver0 11.70/21.50 c Got one! Elapsed wall clock time (in seconds):21.38 11.70/21.50 o 880 11.70/21.50 c And the winner is solver0 11.70/22.00 c Got one! Elapsed wall clock time (in seconds):21.882 11.70/22.00 o 879 12.30/22.34 c cleaning 6266 clauses out of 12540 with flag 4075/25881 13.93/23.13 c And the winner is solver0 14.00/23.50 c Got one! Elapsed wall clock time (in seconds):23.384 14.00/23.50 o 876 14.19/23.68 c cleaning 6077 clauses out of 12166 with flag 2108/31773 15.28/24.16 c And the winner is solver0 15.45/24.50 c Got one! Elapsed wall clock time (in seconds):24.387 15.45/24.50 o 866 16.43/25.04 c cleaning 5953 clauses out of 11906 with flag 6578/37590 18.73/26.16 c cleaning 5977 clauses out of 11953 with flag 20263/43590 21.33/27.45 c cleaning 6486 clauses out of 12975 with flag 35569/50589 24.60/29.04 c cleaning 7244 clauses out of 14491 with flag 52790/58591 28.69/31.09 c cleaning 8120 clauses out of 16245 with flag 72645/67589 32.90/33.19 c cleaning 9057 clauses out of 18128 with flag 94817/77592 33.69/33.54 c And the winner is solver0 33.88/34.01 c Got one! Elapsed wall clock time (in seconds):33.891 33.88/34.01 o 865 34.27/34.27 c And the winner is solver0 34.49/34.51 c Got one! Elapsed wall clock time (in seconds):34.393 34.49/34.51 o 864 34.66/34.61 c And the winner is solver0 34.75/35.01 c Got one! Elapsed wall clock time (in seconds):34.896 34.75/35.01 o 861 35.05/35.11 c And the winner is solver0 35.10/35.52 c Got one! Elapsed wall clock time (in seconds):35.399 35.10/35.52 o 858 36.06/36.07 c cleaning 7912 clauses out of 15831 with flag 7557/84352 38.26/37.14 c cleaning 6953 clauses out of 13918 with flag 21170/90351 40.67/38.36 c cleaning 6982 clauses out of 13966 with flag 36153/97352 43.77/39.82 c cleaning 7489 clauses out of 14983 with flag 52874/105351 46.97/41.45 c cleaning 8248 clauses out of 16495 with flag 71153/114352 50.77/43.35 c cleaning 9123 clauses out of 18246 with flag 91524/124351 55.06/45.50 c cleaning 10062 clauses out of 20123 with flag 114906/135351 59.66/47.78 c cleaning 11030 clauses out of 22062 with flag 141703/147352 65.40/50.50 c cleaning 12007 clauses out of 24032 with flag 170652/160352 71.39/53.59 c cleaning 13008 clauses out of 26026 with flag 201874/174353 79.68/57.82 c cleaning 14005 clauses out of 28017 with flag 235802/189352 86.49/61.25 c And the winner is solver1 86.60/61.74 c Got one! Elapsed wall clock time (in seconds):61.622 86.60/61.74 o 857 87.51/62.28 c And the winner is solver0 87.86/62.74 c Got one! Elapsed wall clock time (in seconds):62.626 87.86/62.74 o 834 89.36/63.59 c cleaning 16615 clauses out of 33232 with flag 8945/208572 90.18/63.92 c And the winner is solver0 90.40/64.25 c Got one! Elapsed wall clock time (in seconds):64.129 90.40/64.25 o 832 90.70/64.40 c And the winner is solver0 90.84/64.75 c Got one! Elapsed wall clock time (in seconds):64.633 90.84/64.75 o 831 92.53/65.62 c cleaning 11535 clauses out of 23072 with flag 10287/215027 94.82/66.75 c cleaning 8768 clauses out of 17538 with flag 26903/221028 96.02/67.30 c And the winner is solver0 96.22/67.75 c Got one! Elapsed wall clock time (in seconds):67.637 96.22/67.75 o 829 96.30/67.83 c And the winner is solver0 96.43/68.26 c Got one! Elapsed wall clock time (in seconds):68.14 96.43/68.26 o 828 96.43/68.28 c And the winner is solver0 96.49/68.76 c Got one! Elapsed wall clock time (in seconds):68.644 96.49/68.76 o 827 97.16/69.19 c cleaning 7347 clauses out of 14696 with flag 5665/226954 99.36/70.24 c cleaning 6673 clauses out of 13351 with flag 23648/232956 100.16/70.62 c And the winner is solver0 100.38/70.82 c Got one! Elapsed wall clock time (in seconds):70.697 100.38/70.82 o 826 101.36/71.38 c cleaning 6068 clauses out of 12137 with flag 9196/238415 103.36/72.38 c cleaning 6033 clauses out of 12069 with flag 26761/244415 105.76/73.57 c cleaning 6519 clauses out of 13037 with flag 47229/251416 108.58/74.98 c cleaning 7255 clauses out of 14517 with flag 71371/259415 111.77/76.56 c cleaning 8129 clauses out of 16263 with flag 99076/268416 115.66/78.45 c cleaning 9064 clauses out of 18133 with flag 128750/278415 116.06/78.68 c And the winner is solver0 116.45/78.92 c Got one! Elapsed wall clock time (in seconds):78.805 116.45/78.92 o 825 118.00/79.72 c cleaning 7223 clauses out of 14449 with flag 12159/283795 120.00/80.73 c cleaning 6613 clauses out of 13229 with flag 30473/289798 122.40/81.97 c cleaning 6804 clauses out of 13613 with flag 51629/296795 123.61/82.53 c And the winner is solver0 123.92/82.93 c Got one! Elapsed wall clock time (in seconds):82.809 123.92/82.93 o 819 124.65/83.32 c cleaning 6108 clauses out of 12222 with flag 5809/302208 126.65/84.34 c cleaning 6054 clauses out of 12115 with flag 24557/308209 129.04/85.51 c cleaning 6527 clauses out of 13061 with flag 46669/315209 131.64/86.87 c cleaning 7264 clauses out of 14532 with flag 71632/323207 132.64/87.36 c And the winner is solver0 133.11/87.73 c Got one! Elapsed wall clock time (in seconds):87.614 133.11/87.73 o 816 133.87/88.14 c cleaning 6210 clauses out of 12424 with flag 5965/328363 135.95/89.19 c cleaning 6105 clauses out of 12214 with flag 24760/334363 137.53/89.91 c And the winner is solver0 137.79/90.24 c Got one! Elapsed wall clock time (in seconds):90.118 137.79/90.24 o 812 138.11/90.47 c cleaning 5751 clauses out of 11508 with flag 3134/339762 140.31/91.51 c cleaning 5878 clauses out of 11758 with flag 21237/345763 142.72/92.71 c cleaning 6440 clauses out of 12880 with flag 42937/352763 145.52/94.13 c cleaning 7218 clauses out of 14439 with flag 68456/360762 148.52/95.68 c cleaning 8108 clauses out of 16221 with flag 94464/369762 152.32/97.54 c cleaning 9052 clauses out of 18113 with flag 124529/379762 155.33/99.08 c And the winner is solver0 155.71/99.34 c Got one! Elapsed wall clock time (in seconds):99.224 155.71/99.34 o 804 157.85/100.45 c cleaning 11175 clauses out of 22354 with flag 14913/393055 160.13/101.58 c cleaning 8584 clauses out of 17180 with flag 31968/399056 162.73/102.86 c cleaning 7798 clauses out of 15596 with flag 53020/406056 165.53/104.29 c cleaning 7899 clauses out of 15799 with flag 76315/414057 165.73/104.30 c And the winner is solver0 165.95/104.55 c Got one! Elapsed wall clock time (in seconds):104.429 165.95/104.55 o 800 167.67/105.42 c cleaning 6497 clauses out of 12997 with flag 14077/419154 169.67/106.49 c cleaning 6249 clauses out of 12500 with flag 31260/425154 172.27/107.71 c cleaning 6623 clauses out of 13249 with flag 51130/432152 175.07/109.16 c cleaning 7309 clauses out of 14626 with flag 72680/440152 178.47/110.81 c cleaning 8158 clauses out of 16318 with flag 95963/449153 182.07/112.64 c cleaning 9078 clauses out of 18161 with flag 125361/459154 186.58/114.80 c cleaning 10041 clauses out of 20082 with flag 154825/470153 191.78/117.40 c cleaning 11016 clauses out of 22040 with flag 184980/482152 197.58/120.34 c cleaning 12009 clauses out of 24024 with flag 219900/495152 201.58/122.30 c And the winner is solver0 201.88/122.60 c Got one! Elapsed wall clock time (in seconds):122.487 201.88/122.60 o 797 204.06/123.75 c cleaning 13757 clauses out of 27513 with flag 13062/510650 206.65/125.00 c cleaning 9878 clauses out of 19757 with flag 28183/516651 209.05/126.23 c cleaning 8435 clauses out of 16880 with flag 47754/523652 212.37/127.81 c cleaning 8217 clauses out of 16443 with flag 68320/531650 215.77/129.54 c cleaning 8613 clauses out of 17226 with flag 90295/540650 219.57/131.41 c cleaning 9297 clauses out of 18613 with flag 116119/550650 223.57/133.41 c cleaning 10155 clauses out of 20316 with flag 146251/561650 227.96/135.62 c cleaning 11080 clauses out of 22163 with flag 175821/573652 233.56/138.48 c cleaning 12037 clauses out of 24081 with flag 205340/586650 238.96/141.19 c cleaning 13016 clauses out of 26044 with flag 242777/600650 245.76/144.54 c cleaning 14012 clauses out of 28029 with flag 281460/615651 248.36/145.84 c And the winner is solver0 249.00/146.41 c Got one! Elapsed wall clock time (in seconds):146.297 249.00/146.41 o 795 251.17/147.55 c cleaning 12952 clauses out of 25909 with flag 13589/627543 253.56/148.77 c cleaning 9476 clauses out of 18956 with flag 29469/633542 256.16/150.08 c cleaning 8236 clauses out of 16480 with flag 47798/640542 258.96/151.46 c cleaning 8116 clauses out of 16244 with flag 67884/648542 261.97/152.96 c cleaning 8557 clauses out of 17128 with flag 88734/657542 265.56/154.77 c cleaning 9284 clauses out of 18571 with flag 112805/667542 270.16/157.01 c cleaning 10142 clauses out of 20287 with flag 139427/678542 275.76/159.81 c cleaning 11071 clauses out of 22147 with flag 168056/690544 276.36/160.17 c And the winner is solver0 277.24/160.97 c Got one! Elapsed wall clock time (in seconds):160.855 277.24/160.97 o 794 279.21/162.29 c cleaning 8197 clauses out of 16400 with flag 8169/695868 281.21/163.22 c cleaning 7097 clauses out of 14203 with flag 21553/701868 283.41/164.36 c cleaning 7047 clauses out of 14106 with flag 37626/708868 286.21/165.76 c cleaning 7529 clauses out of 15061 with flag 57588/716870 289.61/167.46 c cleaning 8262 clauses out of 16531 with flag 79068/725869 293.21/169.20 c cleaning 9136 clauses out of 18271 with flag 105115/735871 297.21/171.27 c cleaning 10067 clauses out of 20133 with flag 131114/746869 301.81/173.54 c cleaning 11025 clauses out of 22066 with flag 160774/758869 307.02/176.10 c cleaning 12017 clauses out of 24041 with flag 192948/771869 312.61/178.93 c cleaning 13011 clauses out of 26025 with flag 227534/785870 318.61/181.95 c cleaning 13999 clauses out of 28013 with flag 265045/800869 325.21/185.26 c cleaning 15005 clauses out of 30014 with flag 301382/816869 332.46/188.85 c cleaning 16004 clauses out of 32010 with flag 340416/833870 336.06/190.67 c And the winner is solver0 337.83/192.38 c Got one! Elapsed wall clock time (in seconds):192.266 337.83/192.38 o 793 340.14/193.55 c cleaning 15290 clauses out of 30592 with flag 13582/848456 342.55/194.72 c cleaning 10650 clauses out of 21303 with flag 29137/854457 344.95/195.95 c cleaning 8821 clauses out of 17654 with flag 45039/861458 347.74/197.30 c cleaning 8411 clauses out of 16832 with flag 62933/869457 350.34/198.66 c And the winner is solver0 351.61/199.84 c Got one! Elapsed wall clock time (in seconds):199.722 351.61/199.84 o 791 353.75/200.94 c cleaning 10495 clauses out of 20993 with flag 12397/882029 356.34/202.21 c cleaning 8245 clauses out of 16498 with flag 28664/888029 358.74/203.50 c cleaning 7626 clauses out of 15254 with flag 46956/895030 361.36/204.78 c cleaning 7813 clauses out of 15629 with flag 67165/903031 364.34/206.21 c cleaning 8403 clauses out of 16814 with flag 88605/912029 364.34/206.22 c And the winner is solver0 365.38/207.30 c Got one! Elapsed wall clock time (in seconds):207.179 365.38/207.30 o 789 367.25/208.28 c cleaning 6756 clauses out of 13522 with flag 13071/917140 369.65/209.42 c cleaning 6377 clauses out of 12767 with flag 29495/923141 372.05/210.67 c cleaning 6689 clauses out of 13391 with flag 48435/930142 375.04/212.18 c cleaning 7345 clauses out of 14700 with flag 69180/938140 378.64/213.95 c cleaning 8175 clauses out of 16355 with flag 91476/947140 382.65/215.90 c cleaning 9090 clauses out of 18182 with flag 116711/957142 387.05/218.15 c cleaning 10044 clauses out of 20090 with flag 143036/968140 392.05/220.64 c cleaning 11023 clauses out of 22046 with flag 174672/980140 397.73/223.41 c cleaning 12012 clauses out of 24023 with flag 206943/993140 403.52/226.38 c cleaning 13006 clauses out of 26012 with flag 243284/1007141 410.12/229.60 c cleaning 14000 clauses out of 28005 with flag 279431/1022140 417.11/233.14 c cleaning 15001 clauses out of 30005 with flag 317384/1038140 423.51/236.36 c cleaning 15998 clauses out of 32005 with flag 358004/1055141 431.21/240.17 c cleaning 17001 clauses out of 34006 with flag 399791/1073140 439.01/244.06 c cleaning 18001 clauses out of 36005 with flag 446223/1092140 447.00/248.02 c cleaning 18997 clauses out of 38006 with flag 494787/1112142 456.00/252.50 c cleaning 19999 clauses out of 40008 with flag 545166/1133141 466.50/257.75 c cleaning 21002 clauses out of 42008 with flag 597373/1155140 467.10/258.03 c And the winner is solver0 467.44/258.36 c Got one! Elapsed wall clock time (in seconds):258.246 467.44/258.36 o 786 469.34/259.35 c cleaning 13200 clauses out of 26407 with flag 10108/1160541 471.74/260.50 c cleaning 9597 clauses out of 19207 with flag 24473/1166541 474.36/261.85 c cleaning 8295 clauses out of 16610 with flag 41747/1173541 477.34/263.37 c cleaning 8147 clauses out of 16316 with flag 59987/1181542 480.54/264.92 c cleaning 8582 clauses out of 17170 with flag 81365/1190543 484.14/266.71 c cleaning 9293 clauses out of 18586 with flag 105274/1200541 488.94/269.12 c cleaning 10148 clauses out of 20295 with flag 131218/1211543 494.69/271.90 c cleaning 11066 clauses out of 22146 with flag 159885/1223542 499.88/274.53 c cleaning 12039 clauses out of 24080 with flag 189541/1236542 506.48/277.88 c cleaning 13017 clauses out of 26040 with flag 220772/1250541 513.28/281.24 c cleaning 14010 clauses out of 28023 with flag 255683/1265541 520.29/284.77 c cleaning 15005 clauses out of 30014 with flag 292997/1281542 528.76/288.95 c cleaning 15998 clauses out of 32008 with flag 331055/1298541 537.16/293.11 c cleaning 17002 clauses out of 34010 with flag 371497/1316541 547.38/298.25 c cleaning 18004 clauses out of 36008 with flag 415706/1335541 558.78/303.87 c cleaning 18997 clauses out of 38004 with flag 461879/1355541 571.00/310.25 c cleaning 20004 clauses out of 40007 with flag 509163/1376541 581.18/315.37 c cleaning 20993 clauses out of 42004 with flag 561332/1398542 591.19/320.32 c cleaning 22000 clauses out of 44012 with flag 616720/1421543 602.44/325.98 c cleaning 23002 clauses out of 46010 with flag 678305/1445541 614.63/332.03 c cleaning 24002 clauses out of 48010 with flag 741651/1470543 627.23/338.31 c cleaning 24997 clauses out of 50006 with flag 806031/1496541 640.82/345.14 c cleaning 26002 clauses out of 52009 with flag 872967/1523541 655.82/352.60 c cleaning 26997 clauses out of 54008 with flag 941405/1551542 671.21/360.31 c cleaning 28003 clauses out of 56010 with flag 1011791/1580541 687.21/368.38 c cleaning 28999 clauses out of 58008 with flag 1084364/1610542 704.20/376.88 c cleaning 29993 clauses out of 60008 with flag 1158789/1641541 720.40/384.98 c cleaning 31007 clauses out of 62016 with flag 1234519/1673542 736.60/393.03 c cleaning 31998 clauses out of 64008 with flag 1314317/1706541 753.81/401.69 c cleaning 32999 clauses out of 66011 with flag 1393913/1740542 771.21/410.40 c cleaning 34005 clauses out of 68013 with flag 1478503/1775543 788.39/418.95 c cleaning 35001 clauses out of 70006 with flag 1565820/1811541 809.59/429.53 c cleaning 35999 clauses out of 72007 with flag 1660187/1848543 831.98/440.77 c cleaning 36996 clauses out of 74006 with flag 1749104/1886541 854.17/451.87 c cleaning 38004 clauses out of 76010 with flag 1840885/1925541 878.57/464.08 c cleaning 38993 clauses out of 78007 with flag 1932175/1965542 899.56/474.54 c cleaning 40001 clauses out of 80014 with flag 2028013/2006542 921.15/485.32 c cleaning 41004 clauses out of 82013 with flag 2126266/2048542 945.45/497.31 c cleaning 42005 clauses out of 84009 with flag 2222732/2091542 971.03/510.19 c cleaning 42999 clauses out of 86004 with flag 2322877/2135542 994.62/521.94 c cleaning 43997 clauses out of 88006 with flag 2426930/2180543 1020.82/535.09 c cleaning 44998 clauses out of 90008 with flag 2533057/2226542 1048.63/548.93 c cleaning 45999 clauses out of 92010 with flag 2640190/2273542 1077.55/563.81 c cleaning 47005 clauses out of 94012 with flag 2745383/2321543 1105.55/577.84 c cleaning 48004 clauses out of 96007 with flag 2855962/2370543 1135.77/592.98 c cleaning 48996 clauses out of 98002 with flag 2968332/2420542 1169.15/609.66 c cleaning 50000 clauses out of 100005 with flag 3078394/2471541 1201.56/625.88 c cleaning 50997 clauses out of 102005 with flag 3190200/2523541 1233.27/641.60 c cleaning 52002 clauses out of 104010 with flag 3315059/2576543 1269.26/659.68 c cleaning 52993 clauses out of 106006 with flag 3436224/2630541 1302.46/676.27 c cleaning 53999 clauses out of 108014 with flag 3566591/2685542 1335.26/692.66 c cleaning 55007 clauses out of 110015 with flag 3693440/2741542 1369.87/709.96 c cleaning 56001 clauses out of 112007 with flag 3816040/2798541 1408.68/729.38 c cleaning 56999 clauses out of 114007 with flag 3939506/2856542 1445.86/747.92 c cleaning 57997 clauses out of 116008 with flag 4063431/2915542 1485.07/767.56 c cleaning 59003 clauses out of 118011 with flag 4195851/2975542 1530.88/790.35 c cleaning 59993 clauses out of 120007 with flag 4345049/3036541 1578.86/814.36 c cleaning 61007 clauses out of 122014 with flag 4495560/3098541 1621.26/835.52 c cleaning 62000 clauses out of 124007 with flag 4646255/3161541 1662.24/856.00 c cleaning 62998 clauses out of 126007 with flag 4805138/3225541 1709.63/879.75 c cleaning 64001 clauses out of 128011 with flag 4961195/3290543 1750.41/900.10 c cleaning 65000 clauses out of 130008 with flag 5115980/3356541 1794.80/922.33 c cleaning 66004 clauses out of 132009 with flag 5272968/3423542 1800.00/924.90 c >>>>>>>>>> Solver number 0 (66 answers) <<<<<<<<<<<<<<<<<< 1800.00/924.90 c starts : 7041 1800.00/924.90 c conflicts : 3433826 1800.00/924.90 c decisions : 3782468 1800.00/924.90 c propagations : 202813890 1800.00/924.90 c inspects : 7823835139 1800.00/924.90 c shortcuts : 0 1800.00/924.90 c learnt literals : 0 1800.00/924.90 c learnt binary clauses : 0 1800.00/924.90 c learnt ternary clauses : 1831 1800.00/924.90 c learnt constraints : 3433826 1800.00/924.90 c ignored constraints : 0 1800.00/924.90 c root simplifications : 0 1800.00/924.90 c removed literals (reason simplification) : 390795684 1800.00/924.90 c reason swapping (by a shorter reason) : 0 1800.00/924.90 c Calls to reduceDB : 183 1800.00/924.90 c Number of update (reduction) of LBD : 11336 1800.00/924.90 c Imported unit clauses : 0 1800.00/924.90 c number of reductions to clauses (during analyze) : 0 1800.00/924.90 c number of learned constraints concerned by reduction : 0 1800.00/924.90 c number of learning phase by resolution : 0 1800.00/924.90 c number of learning phase by cutting planes : 0 1800.00/924.90 c speed (assignments/second) : 234966.4662791762 1800.00/924.90 c non guided choices 2 1800.00/924.93 c learnt constraints type 1800.00/924.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 76289 1800.00/924.93 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.00/924.93 c starts : 78 1800.00/924.93 c conflicts : 2138 1800.00/924.93 c decisions : 6635 1800.00/924.93 c propagations : 214696 1800.00/924.93 c inspects : 88701630 1800.00/924.93 c shortcuts : 0 1800.00/924.93 c learnt literals : 0 1800.00/924.93 c learnt binary clauses : 0 1800.00/924.93 c learnt ternary clauses : 0 1800.00/924.93 c learnt constraints : 2096 1800.00/924.93 c ignored constraints : 0 1800.00/924.93 c root simplifications : 0 1800.00/924.93 c removed literals (reason simplification) : 0 1800.00/924.93 c reason swapping (by a shorter reason) : 0 1800.00/924.93 c Calls to reduceDB : 0 1800.00/924.93 c Number of update (reduction) of LBD : 0 1800.00/924.93 c Imported unit clauses : 0 1800.00/924.93 c number of reductions to clauses (during analyze) : 0 1800.00/924.93 c number of learned constraints concerned by reduction : 0 1800.00/924.93 c number of learning phase by resolution : 0 1800.00/924.93 c number of learning phase by cutting planes : 0 1800.00/924.93 c speed (assignments/second) : 322.0955352856457 1800.00/924.93 c non guided choices 0 1800.00/924.93 c learnt constraints type 1800.00/924.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2096 1800.00/924.93 s SATISFIABLE 1800.00/924.93 c Found 67 solution(s) 1800.00/924.93 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 1800.00/924.93 c objective function=786 1800.00/924.93 c Total wall clock time (in seconds): 924.812
OK 786
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4119313-1467252894/watcher-4119313-1467252894 -o /tmp/evaluation-result-4119313-1467252894/solver-4119313-1467252894 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6245 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119313-1467252894.opb pid=9388 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.82 3.79 3.50 4/197 9391 /proc/meminfo: memFree=29508916/32872528 swapFree=480236/529292 [pid=9391] ppid=9388 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/9391/stat : 9391 (java) D 9388 9391 6228 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 4309372 2560000 46 33554432000 1073741824 1073778376 140734778373824 140734778370952 211449638183 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/9391/statm: 625 46 37 9 0 29 0 [startup+0.10006 s] /proc/loadavg: 3.82 3.79 3.50 4/197 9391 /proc/meminfo: memFree=29508916/32872528 swapFree=480236/529292 [pid=9391] ppid=9388 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/9391/stat : 9391 (java) S 9388 9391 6228 0 -1 4202496 4401 0 1 0 8 1 0 0 20 0 18 0 4309372 9787879424 6027 33554432000 1073741824 1073778376 140734778373824 140734778364960 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9391/statm: 2389619 6027 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200197 s] /proc/loadavg: 3.82 3.79 3.50 4/197 9391 /proc/meminfo: memFree=29508916/32872528 swapFree=480236/529292 [pid=9391] ppid=9388 vsize=9558476 CPUtime=0.22 cores=1,3,5,7 /proc/9391/stat : 9391 (java) S 9388 9391 6228 0 -1 4202496 4583 0 1 0 21 1 0 0 20 0 18 0 4309372 9787879424 7199 33554432000 1073741824 1073778376 140734778373824 140734778364960 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9391/statm: 2389619 7199 2208 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300201 s] /proc/loadavg: 3.82 3.79 3.50 4/197 9391 /proc/meminfo: memFree=29508916/32872528 swapFree=480236/529292 [pid=9391] ppid=9388 vsize=9558476 CPUtime=0.44 cores=1,3,5,7 /proc/9391/stat : 9391 (java) S 9388 9391 6228 0 -1 4202496 5709 0 1 0 43 1 0 0 20 0 18 0 4309372 9787879424 9008 33554432000 1073741824 1073778376 140734778373824 140734778364960 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9391/statm: 2389619 9008 2225 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558476 [startup+0.70022 s] /proc/loadavg: 3.82 3.79 3.50 4/197 9391 /proc/meminfo: memFree=29508916/32872528 swapFree=480236/529292 [pid=9391] ppid=9388 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/9391/stat : 9391 (java) S 9388 9391 6228 0 -1 4202496 5874 0 1 0 51 3 0 0 20 0 19 0 4309372 10060525568 10044 33554432000 1073741824 1073778376 140734778373824 140734778364960 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9391/statm: 2456183 10044 2255 9 0 2446860 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9824732 [startup+1.50079 s] /proc/loadavg: 3.82 3.79 3.50 5/216 9416 /proc/meminfo: memFree=29446512/32872528 swapFree=480236/529292 [pid=9391] ppid=9388 vsize=9824732 CPUtime=1.7 cores=1,3,5,7 /proc/9391/stat : 9391 (java) S 9388 9391 6228 0 -1 4202496 16363 0 1 0 162 8 0 0 20 0 19 0 4309372 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140734778364960 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9391/statm: 2456183 18720 2262 9 0 2446860 0 [pid=9391/tid=9393] ppid=9388 vsize=9824732 CPUtime=0.3 cores=1,3,5,7 /proc/9391/task/9393/stat : 9393 (java) S 9388 9391 6228 0 -1 4202560 2414 0 1 0 30 0 0 0 20 0 19 0 4309373 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140310156878712 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9394] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9394/stat : 9394 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140310145939624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9395] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9395/stat : 9395 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140310144887080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9396] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9396/stat : 9396 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140310143834536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9397] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9397/stat : 9397 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140310142781992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9398] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9398/stat : 9398 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140310141729448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9399] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9399/stat : 9399 (java) S 9388 9391 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140310140676904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9400] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9400/stat : 9400 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140309994093480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9401] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9401/stat : 9401 (java) S 9388 9391 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140309993040936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9402] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9402/stat : 9402 (java) S 9388 9391 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4309375 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140309980842088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9403] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9403/stat : 9403 (java) S 9388 9391 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4309376 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140309979788408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9404] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9404/stat : 9404 (java) S 9388 9391 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4309376 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140309978735752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9405] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9405/stat : 9405 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309378 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140309977684496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9406] ppid=9388 vsize=9824732 CPUtime=0.52 cores=1,3,5,7 /proc/9391/task/9406/stat : 9406 (java) S 9388 9391 6228 0 -1 4202560 7274 0 0 0 52 0 0 0 20 0 19 0 4309378 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140309976631864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9407] ppid=9388 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/9391/task/9407/stat : 9407 (java) S 9388 9391 6228 0 -1 4202560 5308 0 0 0 49 0 0 0 20 0 19 0 4309378 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140309975579320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9408] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9408/stat : 9408 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309378 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140309974526968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9409] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9409/stat : 9409 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309378 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140309973474632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9413] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9413/stat : 9413 (java) S 9388 9391 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4309405 10060525568 18720 33554432000 1073741824 1073778376 140734778373824 140309969261736 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 9824732 [startup+3.10076 s] /proc/loadavg: 3.82 3.79 3.50 3/216 9422 /proc/meminfo: memFree=29435652/32872528 swapFree=480236/529292 [pid=9391] ppid=9388 vsize=9824732 CPUtime=1.95 cores=1,3,5,7 /proc/9391/stat : 9391 (java) S 9388 9391 6228 0 -1 4202496 16397 0 1 0 185 10 0 0 20 0 19 0 4309372 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140734778364960 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9391/statm: 2456183 23334 2267 9 0 2446860 0 [pid=9391/tid=9393] ppid=9388 vsize=9824732 CPUtime=0.31 cores=1,3,5,7 /proc/9391/task/9393/stat : 9393 (java) S 9388 9391 6228 0 -1 4202560 2417 0 1 0 31 0 0 0 20 0 19 0 4309373 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140310156878712 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9394] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9394/stat : 9394 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140310145939624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9395] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9395/stat : 9395 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140310144887080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9396] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9396/stat : 9396 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140310143834536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9397] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9397/stat : 9397 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140310142781992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9398] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9398/stat : 9398 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140310141729448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9399] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9399/stat : 9399 (java) S 9388 9391 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140310140676904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9400] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9400/stat : 9400 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140309994093480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9401] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9401/stat : 9401 (java) S 9388 9391 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140309993040936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9402] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9402/stat : 9402 (java) S 9388 9391 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4309375 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140309980842088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9403] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9403/stat : 9403 (java) S 9388 9391 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4309376 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140309979788408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9404] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9404/stat : 9404 (java) S 9388 9391 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4309376 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140309978735752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9405] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9405/stat : 9405 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309378 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140309977684496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9406] ppid=9388 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/9391/task/9406/stat : 9406 (java) S 9388 9391 6228 0 -1 4202560 7279 0 0 0 61 0 0 0 20 0 19 0 4309378 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140309976631864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9407] ppid=9388 vsize=9824732 CPUtime=0.56 cores=1,3,5,7 /proc/9391/task/9407/stat : 9407 (java) S 9388 9391 6228 0 -1 4202560 5308 0 0 0 56 0 0 0 20 0 19 0 4309378 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140309975579320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9408] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9408/stat : 9408 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309378 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140309974526968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9409] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9409/stat : 9409 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309378 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140309973474632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9413] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9413/stat : 9413 (java) S 9388 9391 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4309405 10060525568 23334 33554432000 1073741824 1073778376 140734778373824 140309969261736 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.95 Current children cumulated vsize (KiB) 9824732 heavy processes: [startup+6.30078 s] /proc/loadavg: 3.68 3.76 3.49 3/216 9443 /proc/meminfo: memFree=29394492/32872528 swapFree=480236/529292 [pid=9391] ppid=9388 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/9391/stat : 9391 (java) S 9388 9391 6228 0 -1 4202496 16486 0 1 0 218 15 0 0 20 0 19 0 4309372 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140734778364960 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9391/statm: 2456183 31730 2273 9 0 2446860 0 [pid=9391/tid=9393] ppid=9388 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/9391/task/9393/stat : 9393 (java) S 9388 9391 6228 0 -1 4202560 2420 0 1 0 33 0 0 0 20 0 19 0 4309373 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140310156878712 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9394] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9394/stat : 9394 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140310145939624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9395] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9395/stat : 9395 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140310144887080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9396] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9396/stat : 9396 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140310143834536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9397] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9397/stat : 9397 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140310142781992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9398] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9398/stat : 9398 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140310141729448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9399] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9399/stat : 9399 (java) S 9388 9391 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140310140676904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9400] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9400/stat : 9400 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140309994093480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9401] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9401/stat : 9401 (java) S 9388 9391 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4309374 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140309993040936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9402] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9402/stat : 9402 (java) S 9388 9391 6228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4309375 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140309980842088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9403] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9403/stat : 9403 (java) S 9388 9391 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4309376 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140309979788408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9404] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9404/stat : 9404 (java) S 9388 9391 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4309376 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140309978735752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9405] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9405/stat : 9405 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309378 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140309977684496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9406] ppid=9388 vsize=9824732 CPUtime=0.78 cores=1,3,5,7 /proc/9391/task/9406/stat : 9406 (java) S 9388 9391 6228 0 -1 4202560 7287 0 0 0 78 0 0 0 20 0 19 0 4309378 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140309976631864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9407] ppid=9388 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/9391/task/9407/stat : 9407 (java) S 9388 9391 6228 0 -1 4202560 5314 0 0 0 62 0 0 0 20 0 19 0 4309378 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140309975579320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9408] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9408/stat : 9408 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4309378 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140309974526968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9409] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9409/stat : 9409 (java) S 9388 9391 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4309378 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140309973474632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9413] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9413/stat : 9413 (java) S 9388 9391 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4309405 10060525568 31730 33554432000 1073741824 1073778376 140734778373824 140309969261736 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.33 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [pid=9391/tid=9394] ppid=9388 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/9391/task/9394/stat : 9394 (java) S 9388 9391 6228 0 -1 4202560 931 0 0 0 83 23 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310145939624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9395] ppid=9388 vsize=9824732 CPUtime=1.18 cores=1,3,5,7 /proc/9391/task/9395/stat : 9395 (java) S 9388 9391 6228 0 -1 4202560 751 0 0 0 95 23 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310144887080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9396] ppid=9388 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/9391/task/9396/stat : 9396 (java) S 9388 9391 6228 0 -1 4202560 956 0 0 0 67 17 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310143834536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9397] ppid=9388 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/9391/task/9397/stat : 9397 (java) S 9388 9391 6228 0 -1 4202560 974 0 0 0 83 25 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310142781992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9398] ppid=9388 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/9391/task/9398/stat : 9398 (java) S 9388 9391 6228 0 -1 4202560 1183 0 0 0 75 22 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310141729448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9399] ppid=9388 vsize=9824732 CPUtime=0.86 cores=1,3,5,7 /proc/9391/task/9399/stat : 9399 (java) S 9388 9391 6228 0 -1 4202560 1052 0 0 0 70 16 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310140676904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9400] ppid=9388 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/9391/task/9400/stat : 9400 (java) S 9388 9391 6228 0 -1 4202560 668 0 0 0 84 22 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309994093480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9401] ppid=9388 vsize=9824732 CPUtime=1.07 cores=1,3,5,7 /proc/9391/task/9401/stat : 9401 (java) S 9388 9391 6228 0 -1 4202560 918 0 0 0 84 23 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309993040936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9402] ppid=9388 vsize=9824732 CPUtime=3.12 cores=1,3,5,7 /proc/9391/task/9402/stat : 9402 (java) S 9388 9391 6228 0 -1 4202560 2325 0 0 0 304 8 0 0 20 0 22 0 4309375 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309980842088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9403] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9403/stat : 9403 (java) S 9388 9391 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4309376 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309979788408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9404] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9404/stat : 9404 (java) S 9388 9391 6228 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 22 0 4309376 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309978735752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9405] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9405/stat : 9405 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309977684496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9406] ppid=9388 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/9391/task/9406/stat : 9406 (java) S 9388 9391 6228 0 -1 4202560 13629 0 0 0 152 2 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309976631864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9407] ppid=9388 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/9391/task/9407/stat : 9407 (java) S 9388 9391 6228 0 -1 4202560 5321 0 0 0 100 0 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309975579320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9408] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9408/stat : 9408 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309974526968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9409] ppid=9388 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/9391/task/9409/stat : 9409 (java) S 9388 9391 6228 0 -1 4202560 52 0 0 0 10 15 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309973474632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9555] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9555/stat : 9555 (java) S 9388 9391 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4315547 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309969261352 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9618] ppid=9388 vsize=9824732 CPUtime=621.11 cores=1,3,5,7 /proc/9391/task/9618/stat : 9618 (java) R 9388 9391 6228 0 -1 4202560 9 0 0 0 62102 9 0 0 20 0 22 0 4335209 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309971357552 140310022436702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9619] ppid=9388 vsize=9824732 CPUtime=621.18 cores=1,3,5,7 /proc/9391/task/9619/stat : 9619 (java) R 9388 9391 6228 0 -1 4202560 5 0 0 0 62109 9 0 0 20 0 22 0 4335209 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309972416704 140310022806527 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9620] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9620/stat : 9620 (java) S 9388 9391 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4335209 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309970314536 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1714.83 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+924.901 s] /proc/loadavg: 4.17 4.05 3.81 5/220 10089 /proc/meminfo: memFree=23619216/32872528 swapFree=480236/529292 [pid=9391] ppid=9388 vsize=9824732 CPUtime=1799.99 cores=1,3,5,7 /proc/9391/stat : 9391 (java) S 9388 9391 6228 0 -1 4202496 34562 0 1 0 179677 322 0 0 20 0 22 0 4309372 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140734778364960 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9391/statm: 2456183 908751 2301 9 0 2446860 0 [pid=9391/tid=9393] ppid=9388 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/9391/task/9393/stat : 9393 (java) S 9388 9391 6228 0 -1 4202560 2429 0 1 0 47 2 0 0 20 0 22 0 4309373 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310156878712 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9394] ppid=9388 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/9391/task/9394/stat : 9394 (java) S 9388 9391 6228 0 -1 4202560 931 0 0 0 83 23 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310145939624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9395] ppid=9388 vsize=9824732 CPUtime=1.18 cores=1,3,5,7 /proc/9391/task/9395/stat : 9395 (java) S 9388 9391 6228 0 -1 4202560 751 0 0 0 95 23 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310144887080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9396] ppid=9388 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/9391/task/9396/stat : 9396 (java) S 9388 9391 6228 0 -1 4202560 956 0 0 0 67 17 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310143834536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9397] ppid=9388 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/9391/task/9397/stat : 9397 (java) S 9388 9391 6228 0 -1 4202560 974 0 0 0 83 25 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310142781992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9398] ppid=9388 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/9391/task/9398/stat : 9398 (java) S 9388 9391 6228 0 -1 4202560 1183 0 0 0 75 22 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310141729448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9399] ppid=9388 vsize=9824732 CPUtime=0.86 cores=1,3,5,7 /proc/9391/task/9399/stat : 9399 (java) S 9388 9391 6228 0 -1 4202560 1052 0 0 0 70 16 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310140676904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9400] ppid=9388 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/9391/task/9400/stat : 9400 (java) S 9388 9391 6228 0 -1 4202560 668 0 0 0 84 22 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309994093480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9401] ppid=9388 vsize=9824732 CPUtime=1.07 cores=1,3,5,7 /proc/9391/task/9401/stat : 9401 (java) S 9388 9391 6228 0 -1 4202560 918 0 0 0 84 23 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309993040936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9402] ppid=9388 vsize=9824732 CPUtime=3.12 cores=1,3,5,7 /proc/9391/task/9402/stat : 9402 (java) S 9388 9391 6228 0 -1 4202560 2325 0 0 0 304 8 0 0 20 0 22 0 4309375 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309980842088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9403] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9403/stat : 9403 (java) S 9388 9391 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4309376 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309979788408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9404] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9404/stat : 9404 (java) S 9388 9391 6228 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 22 0 4309376 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309978735752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9405] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9405/stat : 9405 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309977684496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9406] ppid=9388 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/9391/task/9406/stat : 9406 (java) S 9388 9391 6228 0 -1 4202560 13629 0 0 0 152 2 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309976631864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9407] ppid=9388 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/9391/task/9407/stat : 9407 (java) S 9388 9391 6228 0 -1 4202560 5321 0 0 0 100 0 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309975579320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9408] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9408/stat : 9408 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309974526968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9409] ppid=9388 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/9391/task/9409/stat : 9409 (java) S 9388 9391 6228 0 -1 4202560 54 0 0 0 10 16 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309973474632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9555] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9555/stat : 9555 (java) S 9388 9391 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4315547 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309969261352 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9618] ppid=9388 vsize=9824732 CPUtime=663.7 cores=1,3,5,7 /proc/9391/task/9618/stat : 9618 (java) R 9388 9391 6228 0 -1 4202560 11 0 0 0 66360 10 0 0 20 0 22 0 4335209 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309971357552 140310022487592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9619] ppid=9388 vsize=9824732 CPUtime=663.76 cores=1,3,5,7 /proc/9391/task/9619/stat : 9619 (java) R 9388 9391 6228 0 -1 4202560 5 0 0 0 66366 10 0 0 20 0 22 0 4335209 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309972416704 140310022902541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9620] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9620/stat : 9620 (java) S 9388 9391 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4335209 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309970314536 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9391 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+924.901 s] /proc/loadavg: 4.17 4.05 3.81 5/220 10089 /proc/meminfo: memFree=23619216/32872528 swapFree=480236/529292 [pid=9391] ppid=9388 vsize=9824732 CPUtime=1799.99 cores=1,3,5,7 /proc/9391/stat : 9391 (java) S 9388 9391 6228 0 -1 4202496 34562 0 1 0 179677 322 0 0 20 0 22 0 4309372 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140734778364960 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9391/statm: 2456183 908751 2301 9 0 2446860 0 [pid=9391/tid=9393] ppid=9388 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/9391/task/9393/stat : 9393 (java) S 9388 9391 6228 0 -1 4202560 2429 0 1 0 47 2 0 0 20 0 22 0 4309373 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310156878712 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9394] ppid=9388 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/9391/task/9394/stat : 9394 (java) S 9388 9391 6228 0 -1 4202560 931 0 0 0 83 23 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310145939624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9395] ppid=9388 vsize=9824732 CPUtime=1.18 cores=1,3,5,7 /proc/9391/task/9395/stat : 9395 (java) S 9388 9391 6228 0 -1 4202560 751 0 0 0 95 23 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310144887080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9396] ppid=9388 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/9391/task/9396/stat : 9396 (java) S 9388 9391 6228 0 -1 4202560 956 0 0 0 67 17 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310143834536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9397] ppid=9388 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/9391/task/9397/stat : 9397 (java) S 9388 9391 6228 0 -1 4202560 974 0 0 0 83 25 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310142781992 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9398] ppid=9388 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/9391/task/9398/stat : 9398 (java) S 9388 9391 6228 0 -1 4202560 1183 0 0 0 75 22 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310141729448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9399] ppid=9388 vsize=9824732 CPUtime=0.86 cores=1,3,5,7 /proc/9391/task/9399/stat : 9399 (java) S 9388 9391 6228 0 -1 4202560 1052 0 0 0 70 16 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140310140676904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9400] ppid=9388 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/9391/task/9400/stat : 9400 (java) S 9388 9391 6228 0 -1 4202560 668 0 0 0 84 22 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309994093480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9401] ppid=9388 vsize=9824732 CPUtime=1.07 cores=1,3,5,7 /proc/9391/task/9401/stat : 9401 (java) S 9388 9391 6228 0 -1 4202560 918 0 0 0 84 23 0 0 20 0 22 0 4309374 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309993040936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9391/tid=9402] ppid=9388 vsize=9824732 CPUtime=3.12 cores=1,3,5,7 /proc/9391/task/9402/stat : 9402 (java) S 9388 9391 6228 0 -1 4202560 2325 0 0 0 304 8 0 0 20 0 22 0 4309375 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309980842088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9403] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9403/stat : 9403 (java) S 9388 9391 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4309376 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309979788408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9404] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9404/stat : 9404 (java) S 9388 9391 6228 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 22 0 4309376 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309978735752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9405] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9405/stat : 9405 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309977684496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9406] ppid=9388 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/9391/task/9406/stat : 9406 (java) S 9388 9391 6228 0 -1 4202560 13629 0 0 0 152 2 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309976631864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9407] ppid=9388 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/9391/task/9407/stat : 9407 (java) S 9388 9391 6228 0 -1 4202560 5321 0 0 0 100 0 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309975579320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9408] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9408/stat : 9408 (java) S 9388 9391 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309974526968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9409] ppid=9388 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/9391/task/9409/stat : 9409 (java) S 9388 9391 6228 0 -1 4202560 54 0 0 0 10 16 0 0 20 0 22 0 4309378 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309973474632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9555] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9555/stat : 9555 (java) S 9388 9391 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4315547 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309969261352 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9391/tid=9618] ppid=9388 vsize=9824732 CPUtime=663.7 cores=1,3,5,7 /proc/9391/task/9618/stat : 9618 (java) R 9388 9391 6228 0 -1 4202560 11 0 0 0 66360 10 0 0 20 0 22 0 4335209 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309971357552 140310022487592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9391/tid=9619] ppid=9388 vsize=9824732 CPUtime=663.76 cores=1,3,5,7 /proc/9391/task/9619/stat : 9619 (java) R 9388 9391 6228 0 -1 4202560 5 0 0 0 66366 10 0 0 20 0 22 0 4335209 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309972416704 140310022902541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9391/tid=9620] ppid=9388 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9391/task/9620/stat : 9620 (java) S 9388 9391 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4335209 10060525568 908751 33554432000 1073741824 1073778376 140734778373824 140309970314536 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 9824732 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): 0.0100002 # lost CPU user time (s): 0.0100002 # lost CPU system time (s): 0 Real time (s): 924.952 CPU time (s): 1800.56 CPU user time (s): 1796.95 CPU system time (s): 3.61245 CPU usage (%): 194.665 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.94 system time used= 3.61245 maximum resident set size= 3712168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34601 page faults= 1 swaps= 0 block input operations= 0 block output operations= 728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24557 involuntary context switches= 15106 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.56215 second user time and 7.60384 second system time The end
Begin job on node141 at 2016-06-30 04:14:54 IDJOB=4119313 IDBENCH=111699 IDSOLVER=2543 FILE ID=node141/4119313-1467252894 RUNJOBID= node141-1467246696-6245 PBS_JOBID= 20004482 Free space on /tmp= 71704 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross10-070.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119313-1467252894/watcher-4119313-1467252894 -o /tmp/evaluation-result-4119313-1467252894/solver-4119313-1467252894 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6245 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119313-1467252894.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6cb51ee5205dadc6b9b1bd65363f7533 RANDOM SEED=967690792 node141.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.448 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.89 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.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 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 : 5339.30 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.448 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 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.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29509552 kB Buffers: 134908 kB Cached: 722772 kB SwapCached: 0 kB Active: 1414720 kB Inactive: 671532 kB Active(anon): 1231424 kB Inactive(anon): 4 kB Active(file): 183296 kB Inactive(file): 671528 kB Unevictable: 529292 kB Mlocked: 480236 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 800 kB Writeback: 0 kB AnonPages: 1764336 kB Mapped: 22160 kB Shmem: 204 kB Slab: 609364 kB SReclaimable: 53100 kB SUnreclaim: 556264 kB KernelStack: 1592 kB PageTables: 7704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2197540 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1226752 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node141 at 2016-06-30 04:30:19