Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 3 | 1800.88 | 936.261 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_2.opb |
| MD5SUM | c0264878059fff5e6fa5f51839a60b24 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1789.77 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | NO |
| Number of variables | 120 |
| Total number of constraints | 10 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 54 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1196 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4099 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.04/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.09 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.2.v20120418 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 501472288 0.04/0.09 c Max memory 7480803328 0.04/0.09 c Total memory 504102912 0.04/0.09 c Number of processors 8 0.09/0.13 c Pseudo Boolean Optimization by upper bound 0.09/0.13 c ManyCore solver with 2 solvers running in parallel 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.13 c Expensive reason simplification 0.09/0.13 c Armin Biere (Picosat) restarts strategy 0.09/0.13 c Glucose learned constraints deletion strategy 0.09/0.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c c --- End Solver configuration --- 0.09/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.13 c No reason simplification 0.09/0.13 c Armin Biere (Picosat) restarts strategy 0.09/0.13 c Glucose learned constraints deletion strategy 0.09/0.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-3688246-1337876576.opb 0.09/0.13 c reading problem ... 0.09/0.16 c ... done. Wall clock time 0.036s. 0.09/0.16 c declared #vars 120 0.09/0.16 c #constraints 10 0.09/0.16 c constraints type 0.09/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10 0.09/0.16 c 10 constraints processed. 0.09/0.16 c constraints type 0.09/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPb => 10 0.09/0.16 c 10 constraints processed. 0.09/0.16 c objective function length is 80 literals 0.29/0.20 c And the winner is solver0 0.49/0.66 c SATISFIABLE 0.49/0.66 c OPTIMIZING... 0.49/0.66 c Got one! Elapsed wall clock time (in seconds):0.538 0.49/0.66 o 212 0.49/0.68 c And the winner is solver0 0.62/1.16 c Got one! Elapsed wall clock time (in seconds):1.039 0.62/1.16 o 166 0.62/1.18 c And the winner is solver0 0.68/1.67 c Got one! Elapsed wall clock time (in seconds):1.541 0.68/1.67 o 164 0.68/1.67 c And the winner is solver0 0.70/2.17 c Got one! Elapsed wall clock time (in seconds):2.042 0.70/2.17 o 96 0.70/2.18 c And the winner is solver0 0.77/2.67 c Got one! Elapsed wall clock time (in seconds):2.543 0.77/2.67 o 95 0.77/2.68 c And the winner is solver0 0.94/3.17 c Got one! Elapsed wall clock time (in seconds):3.044 0.94/3.17 o 93 0.94/3.21 c And the winner is solver0 1.10/3.67 c Got one! Elapsed wall clock time (in seconds):3.546 1.10/3.67 o 92 1.10/3.68 c And the winner is solver0 1.11/4.17 c Got one! Elapsed wall clock time (in seconds):4.047 1.11/4.17 o 88 1.11/4.18 c And the winner is solver0 1.18/4.67 c Got one! Elapsed wall clock time (in seconds):4.548 1.18/4.67 o 80 1.24/4.70 c And the winner is solver0 1.27/5.17 c Got one! Elapsed wall clock time (in seconds):5.049 1.27/5.17 o 79 1.33/5.20 c And the winner is solver0 1.50/5.68 c Got one! Elapsed wall clock time (in seconds):5.551 1.50/5.68 o 77 1.50/5.69 c And the winner is solver0 1.60/6.18 c Got one! Elapsed wall clock time (in seconds):6.052 1.60/6.18 o 76 1.64/6.25 c And the winner is solver0 1.81/6.68 c Got one! Elapsed wall clock time (in seconds):6.553 1.81/6.68 o 74 1.87/6.71 c And the winner is solver0 1.92/7.18 c Got one! Elapsed wall clock time (in seconds):7.054 1.92/7.18 o 73 1.92/7.20 c And the winner is solver0 1.97/7.68 c Got one! Elapsed wall clock time (in seconds):7.556 1.97/7.68 o 69 2.04/7.71 c And the winner is solver0 2.06/8.18 c Got one! Elapsed wall clock time (in seconds):8.057 2.06/8.18 o 64 2.09/8.24 c And the winner is solver0 2.23/8.68 c Got one! Elapsed wall clock time (in seconds):8.558 2.23/8.68 o 60 2.23/8.69 c And the winner is solver0 2.24/9.18 c Got one! Elapsed wall clock time (in seconds):9.059 2.24/9.18 o 52 2.24/9.19 c And the winner is solver0 2.26/9.69 c Got one! Elapsed wall clock time (in seconds):9.56 2.26/9.69 o 51 2.28/9.70 c And the winner is solver0 2.31/10.19 c Got one! Elapsed wall clock time (in seconds):10.061 2.31/10.19 o 49 2.34/10.22 c And the winner is solver0 2.41/10.69 c Got one! Elapsed wall clock time (in seconds):10.562 2.41/10.69 o 45 2.44/10.79 c cleaning 5327 clauses out of 10653 with flag 1000/10653 2.81/10.84 c And the winner is solver0 2.87/11.19 c Got one! Elapsed wall clock time (in seconds):11.065 2.87/11.19 o 44 2.88/11.21 c And the winner is solver0 2.94/11.69 c Got one! Elapsed wall clock time (in seconds):11.566 2.94/11.69 o 43 3.15/11.87 c And the winner is solver0 3.31/12.19 c Got one! Elapsed wall clock time (in seconds):12.067 3.31/12.19 o 41 3.32/12.28 c cleaning 6159 clauses out of 12328 with flag 1001/17655 3.58/12.34 c And the winner is solver0 3.67/12.69 c Got one! Elapsed wall clock time (in seconds):12.568 3.67/12.69 o 40 3.68/12.79 c And the winner is solver0 3.89/13.19 c Got one! Elapsed wall clock time (in seconds):13.069 3.89/13.19 o 39 3.90/13.25 c And the winner is solver0 4.00/13.69 c Got one! Elapsed wall clock time (in seconds):13.57 4.00/13.69 o 38 4.00/13.76 c cleaning 5880 clauses out of 11768 with flag 1001/23254 4.19/13.85 c And the winner is solver0 4.32/14.20 c Got one! Elapsed wall clock time (in seconds):14.071 4.32/14.20 o 37 4.34/14.24 c And the winner is solver0 4.57/14.70 c Got one! Elapsed wall clock time (in seconds):14.572 4.57/14.70 o 36 4.76/14.85 c cleaning 5718 clauses out of 11441 with flag 3002/28807 4.92/14.90 c And the winner is solver0 4.94/15.20 c Got one! Elapsed wall clock time (in seconds):15.073 4.94/15.20 o 34 5.15/15.36 c And the winner is solver0 5.30/15.70 c Got one! Elapsed wall clock time (in seconds):15.574 5.30/15.70 o 32 5.30/15.77 c cleaning 5680 clauses out of 11364 with flag 1001/34448 5.48/15.81 c And the winner is solver0 5.53/16.20 c Got one! Elapsed wall clock time (in seconds):16.075 5.53/16.20 o 30 5.72/16.33 c And the winner is solver0 5.80/16.70 c Got one! Elapsed wall clock time (in seconds):16.576 5.80/16.70 o 26 5.99/16.81 c cleaning 5823 clauses out of 11651 with flag 2000/40415 6.35/17.05 c cleaning 5911 clauses out of 11829 with flag 8001/46416 6.94/17.34 c cleaning 6458 clauses out of 12918 with flag 15001/53416 7.71/17.75 c cleaning 7230 clauses out of 14460 with flag 23001/61416 8.08/17.99 c And the winner is solver0 8.29/18.20 c Got one! Elapsed wall clock time (in seconds):18.078 8.29/18.20 o 25 8.68/18.49 c cleaning 8798 clauses out of 17615 with flag 5000/71801 9.05/18.69 c And the winner is solver0 9.24/18.75 c Got one! Elapsed wall clock time (in seconds):18.629 9.24/18.75 o 24 9.33/18.86 c cleaning 7349 clauses out of 14707 with flag 2000/77691 9.51/18.96 c And the winner is solver0 9.64/19.26 c Got one! Elapsed wall clock time (in seconds):19.13 9.64/19.26 o 18 9.92/19.41 c cleaning 6555 clauses out of 13122 with flag 4001/83455 9.92/19.50 c And the winner is solver0 10.09/19.76 c Got one! Elapsed wall clock time (in seconds):19.631 10.09/19.76 o 17 10.37/19.93 c cleaning 5997 clauses out of 12010 with flag 5002/88898 10.72/20.19 c cleaning 5998 clauses out of 12011 with flag 11000/94896 11.48/20.50 c cleaning 6507 clauses out of 13014 with flag 18001/101897 12.26/20.95 c cleaning 7253 clauses out of 14506 with flag 26000/109896 12.97/21.38 c cleaning 8124 clauses out of 16253 with flag 35000/118896 13.93/21.89 c cleaning 9065 clauses out of 18130 with flag 45001/128897 15.07/22.48 c cleaning 10031 clauses out of 20064 with flag 56000/139896 16.43/23.17 c cleaning 11012 clauses out of 22033 with flag 68000/151896 17.95/23.94 c cleaning 12004 clauses out of 24022 with flag 81001/164897 19.70/24.82 c cleaning 13005 clauses out of 26018 with flag 95001/178897 21.45/25.71 c And the winner is solver0 21.45/25.76 c Got one! Elapsed wall clock time (in seconds):25.634 21.45/25.76 o 15 22.38/26.24 c cleaning 16422 clauses out of 32854 with flag 5002/198738 22.91/26.58 c cleaning 11210 clauses out of 22432 with flag 11002/204738 23.64/26.98 c cleaning 9108 clauses out of 18221 with flag 18001/211737 24.38/27.38 c cleaning 8549 clauses out of 17112 with flag 26000/219736 25.32/27.84 c cleaning 8781 clauses out of 17563 with flag 35000/228736 26.46/28.40 c cleaning 9385 clauses out of 18783 with flag 45001/238737 26.60/28.52 c And the winner is solver0 26.66/28.81 c Got one! Elapsed wall clock time (in seconds):28.689 26.66/28.81 o 13 27.02/29.03 c cleaning 7386 clauses out of 14787 with flag 5000/244126 27.56/29.36 c cleaning 6693 clauses out of 13401 with flag 11000/250126 28.30/29.72 c cleaning 6850 clauses out of 13709 with flag 18001/257127 29.02/30.11 c cleaning 7430 clauses out of 14860 with flag 26002/265128 29.32/30.36 c And the winner is solver0 29.48/30.82 c Got one! Elapsed wall clock time (in seconds):30.691 29.48/30.82 o 12 29.64/30.92 c cleaning 6533 clauses out of 13071 with flag 2002/270769 30.18/31.22 c cleaning 6266 clauses out of 12537 with flag 8001/276768 30.71/31.54 c cleaning 6630 clauses out of 13270 with flag 15000/283767 31.47/31.95 c cleaning 7318 clauses out of 14640 with flag 23000/291767 32.35/32.45 c cleaning 8157 clauses out of 16322 with flag 32000/300767 33.29/32.97 c cleaning 9083 clauses out of 18165 with flag 42000/310767 34.60/33.60 c cleaning 10036 clauses out of 20083 with flag 53001/321768 35.93/34.36 c cleaning 11023 clauses out of 22046 with flag 65000/333767 37.43/35.12 c cleaning 12009 clauses out of 24026 with flag 78003/346770 38.95/35.98 c cleaning 13006 clauses out of 26016 with flag 92002/360769 40.87/36.95 c cleaning 14004 clauses out of 28009 with flag 107001/375768 41.98/37.55 c And the winner is solver0 42.14/37.82 c Got one! Elapsed wall clock time (in seconds):37.693 42.14/37.82 o 11 42.89/38.22 c cleaning 14503 clauses out of 29008 with flag 5003/390771 43.59/38.67 c cleaning 10250 clauses out of 20504 with flag 11002/396770 44.30/39.10 c cleaning 8623 clauses out of 17252 with flag 18000/403768 45.23/39.57 c cleaning 8309 clauses out of 16629 with flag 26000/411768 46.33/40.11 c cleaning 8659 clauses out of 17320 with flag 35000/420768 47.43/40.75 c cleaning 9328 clauses out of 18661 with flag 45000/430768 48.72/41.42 c cleaning 10164 clauses out of 20334 with flag 56001/441769 50.03/42.17 c cleaning 11082 clauses out of 22169 with flag 68000/453768 50.34/42.34 c And the winner is solver0 50.46/42.41 c Got one! Elapsed wall clock time (in seconds):42.284 50.46/42.41 o 10 50.83/42.62 c cleaning 8433 clauses out of 16878 with flag 4002/459559 51.50/43.02 c cleaning 7216 clauses out of 14444 with flag 10001/465558 52.21/43.46 c cleaning 7106 clauses out of 14227 with flag 17000/472557 52.93/43.85 c cleaning 7558 clauses out of 15122 with flag 25001/480558 53.83/44.33 c cleaning 8282 clauses out of 16563 with flag 34000/489557 54.90/44.90 c cleaning 9139 clauses out of 18284 with flag 44003/499560 56.02/45.56 c cleaning 10070 clauses out of 20143 with flag 55001/510558 57.52/46.35 c cleaning 11034 clauses out of 22074 with flag 67002/522559 59.02/47.17 c cleaning 12018 clauses out of 24038 with flag 80000/535557 60.89/48.15 c cleaning 13005 clauses out of 26020 with flag 94000/549557 63.01/49.22 c cleaning 14008 clauses out of 28017 with flag 109002/564559 65.37/50.47 c cleaning 15002 clauses out of 30008 with flag 125001/580558 67.90/51.79 c cleaning 16002 clauses out of 32005 with flag 142000/597557 71.35/53.58 c cleaning 16999 clauses out of 34004 with flag 160001/615558 74.46/55.19 c cleaning 17998 clauses out of 36005 with flag 179001/634558 78.21/57.09 c cleaning 19002 clauses out of 38006 with flag 199000/654557 81.70/58.89 c cleaning 19998 clauses out of 40004 with flag 220000/675557 83.35/59.72 c And the winner is solver0 83.46/59.81 c Got one! Elapsed wall clock time (in seconds):59.684 83.46/59.81 o 9 84.43/60.32 c cleaning 17561 clauses out of 35134 with flag 5000/690685 85.32/60.81 c cleaning 11779 clauses out of 23573 with flag 11000/696685 86.02/61.28 c cleaning 9389 clauses out of 18795 with flag 18001/703686 86.89/61.76 c cleaning 8696 clauses out of 17405 with flag 26000/711685 87.92/62.33 c cleaning 8852 clauses out of 17709 with flag 35000/720685 89.23/63.01 c cleaning 9424 clauses out of 18857 with flag 45000/730685 90.31/63.70 c cleaning 10213 clauses out of 20433 with flag 56000/741685 91.60/64.38 c And the winner is solver0 91.80/64.46 c Got one! Elapsed wall clock time (in seconds):64.337 91.80/64.46 o 8 92.29/64.78 c cleaning 12958 clauses out of 25936 with flag 5001/757401 93.14/65.24 c cleaning 9484 clauses out of 18979 with flag 11002/763402 93.82/65.70 c cleaning 8238 clauses out of 16495 with flag 18002/770402 94.72/66.18 c cleaning 8119 clauses out of 16256 with flag 26001/778401 95.61/66.68 c cleaning 8563 clauses out of 17137 with flag 35001/787401 96.83/67.34 c cleaning 9283 clauses out of 18575 with flag 45002/797402 98.13/68.08 c cleaning 10144 clauses out of 20291 with flag 56001/808401 99.22/68.64 c And the winner is solver0 99.33/68.97 c Got one! Elapsed wall clock time (in seconds):68.849 99.33/68.97 o 7 99.78/69.30 c cleaning 11778 clauses out of 23573 with flag 5001/821827 100.64/69.73 c cleaning 8892 clauses out of 17796 with flag 11002/827828 101.48/70.22 c cleaning 7941 clauses out of 15903 with flag 18001/834827 102.37/70.70 c cleaning 7974 clauses out of 15963 with flag 26002/842828 103.24/71.23 c cleaning 8485 clauses out of 16991 with flag 35004/851830 104.32/71.81 c cleaning 9247 clauses out of 18503 with flag 45001/861827 105.75/72.61 c cleaning 10119 clauses out of 20258 with flag 56003/872829 107.03/73.40 c cleaning 11067 clauses out of 22136 with flag 68000/884826 108.50/74.17 c cleaning 12035 clauses out of 24069 with flag 81000/897826 110.18/75.05 c cleaning 13013 clauses out of 26034 with flag 95000/911826 112.19/76.13 c cleaning 14009 clauses out of 28022 with flag 110001/926827 114.27/77.21 c cleaning 15005 clauses out of 30012 with flag 126000/942826 116.57/78.45 c cleaning 16004 clauses out of 32009 with flag 143002/959828 118.85/79.67 c cleaning 17002 clauses out of 34005 with flag 161002/977828 121.65/81.18 c cleaning 17999 clauses out of 36003 with flag 180002/996828 124.51/82.68 c cleaning 18996 clauses out of 38002 with flag 200000/1016826 127.38/84.15 c cleaning 19997 clauses out of 40006 with flag 221000/1037826 130.64/85.86 c cleaning 21002 clauses out of 42009 with flag 243000/1059826 134.02/87.67 c cleaning 22004 clauses out of 44007 with flag 266000/1082826 138.70/90.07 c cleaning 22997 clauses out of 46005 with flag 290002/1106828 139.75/90.64 c And the winner is solver0 139.90/90.74 c Got one! Elapsed wall clock time (in seconds):90.619 139.90/90.74 o 6 140.64/91.18 c cleaning 17008 clauses out of 34032 with flag 5000/1117852 141.70/91.73 c cleaning 11507 clauses out of 23024 with flag 11000/1123852 142.70/92.31 c cleaning 9255 clauses out of 18521 with flag 18004/1130856 143.55/92.81 c cleaning 8624 clauses out of 17263 with flag 26001/1138853 144.63/93.41 c cleaning 8812 clauses out of 17638 with flag 35000/1147852 145.66/94.06 c cleaning 9405 clauses out of 18826 with flag 45000/1157852 147.06/94.87 c cleaning 10202 clauses out of 20423 with flag 56002/1168854 148.51/95.66 c cleaning 11110 clauses out of 22219 with flag 68000/1180852 150.36/96.61 c cleaning 12055 clauses out of 24109 with flag 81000/1193852 152.21/97.68 c cleaning 13027 clauses out of 26054 with flag 95000/1207852 154.40/98.88 c cleaning 14013 clauses out of 28030 with flag 110003/1222855 157.05/100.24 c cleaning 15007 clauses out of 30014 with flag 126000/1238852 160.10/101.83 c cleaning 16004 clauses out of 32007 with flag 143000/1255852 163.34/103.51 c cleaning 17001 clauses out of 34004 with flag 161001/1273853 167.15/105.55 c cleaning 18000 clauses out of 36002 with flag 180000/1292852 171.18/107.66 c cleaning 18994 clauses out of 38003 with flag 200001/1312853 175.23/109.73 c cleaning 20002 clauses out of 40009 with flag 221001/1333853 178.88/111.60 c cleaning 20996 clauses out of 42007 with flag 243001/1355853 183.27/113.94 c cleaning 22006 clauses out of 44013 with flag 266003/1378855 187.51/116.16 c cleaning 23002 clauses out of 46008 with flag 290004/1402856 192.18/118.59 c cleaning 23997 clauses out of 48002 with flag 315000/1427852 197.21/121.18 c cleaning 25003 clauses out of 50006 with flag 341001/1453853 202.41/123.89 c cleaning 25996 clauses out of 52004 with flag 368002/1480854 208.26/126.85 c cleaning 27002 clauses out of 54006 with flag 396000/1508852 214.72/130.12 c cleaning 27998 clauses out of 56005 with flag 425001/1537853 221.40/133.56 c cleaning 29001 clauses out of 58007 with flag 455001/1567853 228.81/137.40 c cleaning 29998 clauses out of 60005 with flag 486000/1598852 237.89/141.93 c cleaning 31002 clauses out of 62007 with flag 518000/1630852 239.05/142.70 c And the winner is solver0 239.36/142.85 c Got one! Elapsed wall clock time (in seconds):142.729 239.36/142.85 o 5 240.46/143.45 c cleaning 21773 clauses out of 43557 with flag 5000/1643404 241.71/144.17 c cleaning 13885 clauses out of 27784 with flag 11000/1649404 243.03/144.90 c cleaning 10443 clauses out of 20899 with flag 18000/1656404 244.06/145.52 c cleaning 9216 clauses out of 18456 with flag 26000/1664404 245.08/146.15 c cleaning 9116 clauses out of 18243 with flag 35003/1673407 246.28/146.85 c cleaning 9556 clauses out of 19125 with flag 45001/1683405 247.80/147.74 c cleaning 10276 clauses out of 20569 with flag 56001/1694405 249.41/148.66 c cleaning 11140 clauses out of 22293 with flag 68001/1706405 251.04/149.59 c cleaning 12068 clauses out of 24154 with flag 81002/1719406 252.85/150.58 c cleaning 13030 clauses out of 26085 with flag 95001/1733405 254.82/151.68 c cleaning 14019 clauses out of 28055 with flag 110001/1748405 257.04/152.85 c cleaning 15008 clauses out of 30037 with flag 126002/1764406 259.06/153.94 c cleaning 16013 clauses out of 32027 with flag 143000/1781404 261.45/155.22 c cleaning 17006 clauses out of 34014 with flag 161000/1799404 264.19/156.76 c cleaning 18002 clauses out of 36008 with flag 180000/1818404 267.00/158.28 c cleaning 19001 clauses out of 38006 with flag 200000/1838404 270.63/160.19 c cleaning 20002 clauses out of 40005 with flag 221000/1859404 275.06/162.50 c cleaning 21000 clauses out of 42003 with flag 243000/1881404 279.41/164.72 c cleaning 22002 clauses out of 44005 with flag 266002/1904406 283.85/167.07 c cleaning 22998 clauses out of 46003 with flag 290002/1928406 288.68/169.56 c cleaning 24000 clauses out of 48004 with flag 315001/1953405 293.51/172.09 c cleaning 25001 clauses out of 50003 with flag 341000/1979404 298.25/174.52 c cleaning 25999 clauses out of 52004 with flag 368002/2006406 302.68/176.85 c cleaning 27002 clauses out of 54004 with flag 396001/2034405 307.34/179.24 c cleaning 28001 clauses out of 56001 with flag 425000/2063404 312.57/181.99 c cleaning 28998 clauses out of 58001 with flag 455001/2093405 316.09/183.84 c And the winner is solver0 316.29/184.30 c Got one! Elapsed wall clock time (in seconds):184.177 316.29/184.30 o 3 317.69/185.01 c cleaning 26960 clauses out of 53943 with flag 5001/2118345 318.89/185.77 c cleaning 16488 clauses out of 32982 with flag 11000/2124344 319.92/186.37 c cleaning 11740 clauses out of 23495 with flag 18001/2131345 320.95/186.98 c cleaning 9869 clauses out of 19756 with flag 26002/2139346 322.22/187.76 c cleaning 9436 clauses out of 18887 with flag 35002/2148346 323.42/188.48 c cleaning 9722 clauses out of 19449 with flag 45000/2158344 324.83/189.30 c cleaning 10363 clauses out of 20729 with flag 56002/2169346 326.41/190.17 c cleaning 11177 clauses out of 22364 with flag 68000/2181344 328.13/191.17 c cleaning 12094 clauses out of 24189 with flag 81002/2194346 329.94/192.17 c cleaning 13044 clauses out of 26093 with flag 95000/2208344 331.95/193.24 c cleaning 14025 clauses out of 28049 with flag 110000/2223344 334.35/194.54 c cleaning 15012 clauses out of 30025 with flag 126001/2239345 336.89/195.96 c cleaning 16007 clauses out of 32013 with flag 143001/2256345 339.48/197.34 c cleaning 17001 clauses out of 34005 with flag 161000/2274344 342.48/198.93 c cleaning 18001 clauses out of 36005 with flag 180001/2293345 346.08/200.88 c cleaning 18999 clauses out of 38006 with flag 200003/2313347 350.61/203.23 c cleaning 20005 clauses out of 40010 with flag 221006/2334350 355.24/205.65 c cleaning 20998 clauses out of 41999 with flag 243000/2356344 360.64/208.46 c cleaning 21999 clauses out of 44002 with flag 266001/2379345 366.25/211.30 c cleaning 22999 clauses out of 46002 with flag 290000/2403344 371.59/214.17 c cleaning 24002 clauses out of 48003 with flag 315000/2428344 378.40/217.63 c cleaning 24998 clauses out of 50001 with flag 341000/2454344 384.60/220.88 c cleaning 25999 clauses out of 52005 with flag 368002/2481346 392.45/224.87 c cleaning 27000 clauses out of 54004 with flag 396000/2509344 400.97/229.24 c cleaning 28000 clauses out of 56005 with flag 425001/2538345 409.41/233.54 c cleaning 28996 clauses out of 58004 with flag 455000/2568344 418.24/238.02 c cleaning 30003 clauses out of 60010 with flag 486002/2599346 427.46/242.78 c cleaning 30999 clauses out of 62006 with flag 518001/2631345 437.77/248.08 c cleaning 32001 clauses out of 64007 with flag 551001/2664345 447.82/253.11 c cleaning 32998 clauses out of 66005 with flag 585000/2698344 460.88/259.73 c cleaning 34001 clauses out of 68007 with flag 620000/2733344 470.91/264.84 c cleaning 34998 clauses out of 70007 with flag 656001/2769345 481.84/270.48 c cleaning 35997 clauses out of 72009 with flag 693001/2806345 491.64/275.47 c cleaning 37002 clauses out of 74012 with flag 731001/2844345 501.86/280.62 c cleaning 38005 clauses out of 76009 with flag 770000/2883344 512.69/286.17 c cleaning 39002 clauses out of 78004 with flag 810000/2923344 528.63/294.21 c cleaning 39998 clauses out of 80003 with flag 851001/2964345 541.26/300.68 c cleaning 40998 clauses out of 82004 with flag 893000/3006344 552.07/306.15 c cleaning 42002 clauses out of 84006 with flag 936000/3049344 563.68/312.09 c cleaning 42998 clauses out of 86006 with flag 980002/3093346 576.16/318.46 c cleaning 44000 clauses out of 88006 with flag 1025000/3138344 588.20/324.55 c cleaning 45000 clauses out of 90007 with flag 1071001/3184345 602.79/331.98 c cleaning 46003 clauses out of 92007 with flag 1118001/3231345 617.39/339.39 c cleaning 47000 clauses out of 94003 with flag 1166000/3279344 631.69/346.67 c cleaning 47997 clauses out of 96003 with flag 1215000/3328344 647.92/354.85 c cleaning 49000 clauses out of 98008 with flag 1265002/3378346 663.99/362.97 c cleaning 49999 clauses out of 100006 with flag 1316000/3429344 679.78/370.95 c cleaning 51000 clauses out of 102007 with flag 1368000/3481344 698.46/380.41 c cleaning 52001 clauses out of 104007 with flag 1421000/3534344 721.67/392.19 c cleaning 53003 clauses out of 106007 with flag 1475001/3588345 737.05/399.99 c cleaning 54000 clauses out of 108004 with flag 1530001/3643345 752.45/407.76 c cleaning 55000 clauses out of 110006 with flag 1586003/3699347 769.32/416.39 c cleaning 56000 clauses out of 112004 with flag 1643001/3756345 786.36/424.99 c cleaning 56995 clauses out of 114004 with flag 1701001/3814345 809.21/436.48 c cleaning 58006 clauses out of 116012 with flag 1760004/3873348 831.21/447.52 c cleaning 58999 clauses out of 118004 with flag 1820002/3933346 851.47/457.84 c cleaning 60001 clauses out of 120003 with flag 1881000/3994344 872.48/468.42 c cleaning 60999 clauses out of 122002 with flag 1943000/4056344 893.68/479.12 c cleaning 61997 clauses out of 124003 with flag 2006000/4119344 917.31/491.07 c cleaning 63001 clauses out of 126006 with flag 2070000/4183344 942.98/504.01 c cleaning 63998 clauses out of 128006 with flag 2135001/4248345 971.08/518.17 c cleaning 64998 clauses out of 130008 with flag 2201001/4314345 996.49/530.93 c cleaning 66001 clauses out of 132009 with flag 2268000/4381344 1015.67/540.69 c cleaning 0 clauses out of 9909 with flag 0/9939 1025.42/545.37 c cleaning 67000 clauses out of 134008 with flag 2336000/4449344 1050.24/557.84 c cleaning 68004 clauses out of 136010 with flag 2405002/4518346 1072.00/568.85 c cleaning 69002 clauses out of 138006 with flag 2475002/4588346 1092.12/579.00 c cleaning 69994 clauses out of 140003 with flag 2546001/4659345 1115.16/590.76 c cleaning 71001 clauses out of 142008 with flag 2618000/4731344 1137.93/602.27 c cleaning 72000 clauses out of 144010 with flag 2691003/4804347 1160.76/613.76 c cleaning 73001 clauses out of 146010 with flag 2765003/4878347 1187.29/627.12 c cleaning 73994 clauses out of 148006 with flag 2840000/4953344 1209.85/638.60 c cleaning 75005 clauses out of 150012 with flag 2916000/5029344 1233.97/651.00 c cleaning 76001 clauses out of 152007 with flag 2993000/5106344 1254.54/661.42 c cleaning 76997 clauses out of 154006 with flag 3071000/5184344 1281.58/675.14 c cleaning 78001 clauses out of 156009 with flag 3150000/5263344 1306.76/687.89 c cleaning 79002 clauses out of 158008 with flag 3230000/5343344 1329.55/699.30 c cleaning 80002 clauses out of 160008 with flag 3311002/5424346 1358.61/713.94 c cleaning 80997 clauses out of 162004 with flag 3393000/5506344 1392.90/731.20 c cleaning 81998 clauses out of 164007 with flag 3476000/5589344 1433.77/751.77 c cleaning 83006 clauses out of 166011 with flag 3560002/5673346 1469.20/769.59 c cleaning 83997 clauses out of 168004 with flag 3645001/5758345 1506.77/788.42 c cleaning 84999 clauses out of 170006 with flag 3731000/5844344 1549.79/810.20 c cleaning 86001 clauses out of 172007 with flag 3818000/5931344 1587.28/829.08 c cleaning 86999 clauses out of 174006 with flag 3906000/6019344 1628.57/849.87 c cleaning 88004 clauses out of 176012 with flag 3995005/6108349 1679.01/875.16 c cleaning 88998 clauses out of 178004 with flag 4085001/6198345 1738.44/905.04 c cleaning 89999 clauses out of 180005 with flag 4176000/6289344 1790.42/931.13 c cleaning 90998 clauses out of 182006 with flag 4268000/6381344 1800.18/936.21 c starts : 324 1800.18/936.21 c conflicts : 6410973 1800.18/936.21 c decisions : 6472170 1800.18/936.21 c propagations : 43599937 1800.18/936.21 c inspects : 9504751054 1800.18/936.21 c shortcuts : 0 1800.18/936.21 c learnt literals : 0 1800.18/936.21 c learnt binary clauses : 0 1800.18/936.21 c learnt ternary clauses : 0 1800.18/936.21 c learnt constraints : 6410975 1800.18/936.21 c ignored constraints : 0 1800.18/936.21 c root simplifications : 0 1800.18/936.21 c removed literals (reason simplification) : 43373051 1800.18/936.21 c reason swapping (by a shorter reason) : 0 1800.18/936.21 c Calls to reduceDB : 244 1800.18/936.21 c number of reductions to clauses (during analyze) : 0 1800.18/936.21 c number of learned constraints concerned by reduction : 0 1800.18/936.21 c number of learning phase by resolution : 0 1800.18/936.21 c number of learning phase by cutting planes : 0 1800.18/936.21 c speed (assignments/second) : 46578.86044061937 1800.18/936.21 c non guided choices 895 1800.18/936.24 c learnt constraints type 1800.18/936.24 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 120708 1800.18/936.24 c constraints type 1800.18/936.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11 1800.18/936.24 c 11 constraints processed. 1800.18/936.24 c constraints type 1800.18/936.24 c org.sat4j.pb.constraints.pb.MaxWatchPb => 11 1800.18/936.24 c 11 constraints processed. 1800.18/936.24 s SATISFIABLE 1800.18/936.24 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 -x85 x86 -x87 x88 x89 -x90 x91 -x92 x93 x94 -x95 -x96 -x97 x98 x99 -x100 x101 -x102 x103 -x104 x105 x106 x107 -x108 x109 -x110 x111 x112 x113 x114 -x115 x116 x117 -x118 -x119 -x120 1800.18/936.24 c objective function=3 1800.18/936.24 c Total wall clock time (in seconds): 936.116
OK 3
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-3688246-1337876576/watcher-3688246-1337876576 -o /tmp/evaluation-result-3688246-1337876576/solver-3688246-1337876576 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688246-1337876576.opb 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.86 4.00 3.90 4/199 27638 /proc/meminfo: memFree=27011884/32873844 swapFree=7364/7364 [pid=27638] ppid=27636 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/27638/stat : 27638 (java) R 27636 27638 26250 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253782355 9515008 184 33554432000 1073741824 1073778376 140734286199792 140734286191016 215143312823 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/27638/statm: 2323 184 142 9 0 71 0 [startup+0.062083 s] /proc/loadavg: 3.86 4.00 3.90 4/199 27638 /proc/meminfo: memFree=27011884/32873844 swapFree=7364/7364 [pid=27638] ppid=27636 vsize=9225560 CPUtime=0.04 cores=1,3,5,7 /proc/27638/stat : 27638 (java) S 27636 27638 26250 0 -1 4202496 3131 0 1 0 3 1 0 0 20 0 13 0 253782355 9446973440 3830 33554432000 1073741824 1073778376 140735949952464 140735949943600 215146856509 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27638/statm: 2306390 3830 1708 9 0 2297091 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9225560 [startup+0.100237 s] /proc/loadavg: 3.86 4.00 3.90 4/199 27638 /proc/meminfo: memFree=27011884/32873844 swapFree=7364/7364 [pid=27638] ppid=27636 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/27638/stat : 27638 (java) S 27636 27638 26250 0 -1 4202496 4288 0 1 0 8 1 0 0 20 0 18 0 253782355 9787813888 4973 33554432000 1073741824 1073778376 140735949952464 140735949943600 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27638/statm: 2389603 4978 2107 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300255 s] /proc/loadavg: 3.86 4.00 3.90 4/199 27638 /proc/meminfo: memFree=27011884/32873844 swapFree=7364/7364 [pid=27638] ppid=27636 vsize=9824668 CPUtime=0.49 cores=1,3,5,7 /proc/27638/stat : 27638 (java) S 27636 27638 26250 0 -1 4202496 8120 0 1 0 45 4 0 0 20 0 19 0 253782355 10060460032 8736 33554432000 1073741824 1073778376 140735949952464 140735949943600 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27638/statm: 2456167 8736 2219 9 0 2446860 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9824668 [startup+0.700168 s] /proc/loadavg: 3.86 4.00 3.90 4/199 27638 /proc/meminfo: memFree=27011884/32873844 swapFree=7364/7364 [pid=27638] ppid=27636 vsize=9824668 CPUtime=0.59 cores=1,3,5,7 /proc/27638/stat : 27638 (java) S 27636 27638 26250 0 -1 4202496 8332 0 1 0 53 6 0 0 20 0 19 0 253782355 10060460032 10344 33554432000 1073741824 1073778376 140735949952464 140735949943600 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27638/statm: 2456167 10344 2222 9 0 2446860 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 9824668 [startup+1.50068 s] /proc/loadavg: 3.86 4.00 3.90 3/218 27663 /proc/meminfo: memFree=26983288/32873844 swapFree=7364/7364 [pid=27638] ppid=27636 vsize=9824668 CPUtime=0.68 cores=1,3,5,7 /proc/27638/stat : 27638 (java) S 27636 27638 26250 0 -1 4202496 8355 0 1 0 60 8 0 0 20 0 19 0 253782355 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 140735949943600 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27638/statm: 2456167 11380 2226 9 0 2446860 0 [pid=27638/tid=27640] ppid=27636 vsize=9824668 CPUtime=0.13 cores=1,3,5,7 /proc/27638/task/27640/stat : 27640 (java) S 27636 27638 26250 0 -1 4202560 2496 0 1 0 12 1 0 0 20 0 19 0 253782356 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846282245112 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27641] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27641/stat : 27641 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846220974376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27642] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27642/stat : 27642 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846219921576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27643] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27643/stat : 27643 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846218869288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27644] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27644/stat : 27644 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846217816488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27645] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27645/stat : 27645 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846216764200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27646] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27646/stat : 27646 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846120848040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27647] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27647/stat : 27647 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846119795752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27648] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27648/stat : 27648 (java) S 27636 27638 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846118742952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27649] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27649/stat : 27649 (java) S 27636 27638 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253782358 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846106331368 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27650] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27650/stat : 27650 (java) S 27636 27638 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253782358 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846105277432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27651] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27651/stat : 27651 (java) S 27636 27638 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253782359 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846104225032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27652] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27652/stat : 27652 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782361 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846103173520 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27653] ppid=27636 vsize=9824668 CPUtime=0.16 cores=1,3,5,7 /proc/27638/task/27653/stat : 27653 (java) S 27636 27638 26250 0 -1 4202560 1738 0 0 0 16 0 0 0 20 0 19 0 253782361 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846102121144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27654] ppid=27636 vsize=9824668 CPUtime=0.17 cores=1,3,5,7 /proc/27638/task/27654/stat : 27654 (java) S 27636 27638 26250 0 -1 4202560 2786 0 0 0 17 0 0 0 20 0 19 0 253782361 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846101068344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27655] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27655/stat : 27655 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782361 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846100016248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27656] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27656/stat : 27656 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782361 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846098963656 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27660] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27660/stat : 27660 (java) S 27636 27638 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253782372 10060460032 11380 33554432000 1073741824 1073778376 140735949952464 139846094750760 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9824668 [startup+3.10065 s] /proc/loadavg: 3.86 4.00 3.90 3/218 27669 /proc/meminfo: memFree=26974608/32873844 swapFree=7364/7364 [pid=27638] ppid=27636 vsize=9824668 CPUtime=0.94 cores=1,3,5,7 /proc/27638/stat : 27638 (java) S 27636 27638 26250 0 -1 4202496 12202 0 1 0 84 10 0 0 20 0 19 0 253782355 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 140735949943600 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27638/statm: 2456167 16787 2227 9 0 2446860 0 [pid=27638/tid=27640] ppid=27636 vsize=9824668 CPUtime=0.14 cores=1,3,5,7 /proc/27638/task/27640/stat : 27640 (java) S 27636 27638 26250 0 -1 4202560 2497 0 1 0 12 2 0 0 20 0 19 0 253782356 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846282245112 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27641] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27641/stat : 27641 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846220974376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27642] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27642/stat : 27642 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846219921576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27643] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27643/stat : 27643 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846218869288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27644] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27644/stat : 27644 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846217816488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27645] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27645/stat : 27645 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846216764200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27646] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27646/stat : 27646 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846120848040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27647] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27647/stat : 27647 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846119795752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27648] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27648/stat : 27648 (java) S 27636 27638 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846118742952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27649] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27649/stat : 27649 (java) S 27636 27638 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253782358 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846106331368 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27650] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27650/stat : 27650 (java) S 27636 27638 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253782358 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846105277432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27651] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27651/stat : 27651 (java) S 27636 27638 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253782359 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846104225032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27652] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27652/stat : 27652 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782361 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846103173520 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27653] ppid=27636 vsize=9824668 CPUtime=0.34 cores=1,3,5,7 /proc/27638/task/27653/stat : 27653 (java) S 27636 27638 26250 0 -1 4202560 5550 0 0 0 34 0 0 0 20 0 19 0 253782361 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846102121144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27654] ppid=27636 vsize=9824668 CPUtime=0.21 cores=1,3,5,7 /proc/27638/task/27654/stat : 27654 (java) S 27636 27638 26250 0 -1 4202560 2793 0 0 0 21 0 0 0 20 0 19 0 253782361 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846101068344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27655] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27655/stat : 27655 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782361 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846100016248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27656] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27656/stat : 27656 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782361 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846098963656 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27660] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27660/stat : 27660 (java) S 27636 27638 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253782372 10060460032 16787 33554432000 1073741824 1073778376 140735949952464 139846094750760 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.94 Current children cumulated vsize (KiB) 9824668 heavy processes: [startup+6.30076 s] /proc/loadavg: 3.71 3.96 3.89 3/218 27690 /proc/meminfo: memFree=26919368/32873844 swapFree=7364/7364 [pid=27638] ppid=27636 vsize=9824668 CPUtime=1.81 cores=1,3,5,7 /proc/27638/stat : 27638 (java) S 27636 27638 26250 0 -1 4202496 15129 0 1 0 161 20 0 0 20 0 19 0 253782355 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 140735949943600 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27638/statm: 2456167 32555 2251 9 0 2446860 0 [pid=27638/tid=27640] ppid=27636 vsize=9824668 CPUtime=0.15 cores=1,3,5,7 /proc/27638/task/27640/stat : 27640 (java) S 27636 27638 26250 0 -1 4202560 2499 0 1 0 13 2 0 0 20 0 19 0 253782356 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846282245112 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27641] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27641/stat : 27641 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846220974376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27642] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27642/stat : 27642 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846219921576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27643] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27643/stat : 27643 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846218869288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27644] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27644/stat : 27644 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846217816488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27645] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27645/stat : 27645 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846216764200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27646] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27646/stat : 27646 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846120848040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27647] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27647/stat : 27647 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846119795752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27648] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27648/stat : 27648 (java) S 27636 27638 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253782357 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846118742952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27649] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27649/stat : 27649 (java) S 27636 27638 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253782358 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846106331368 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27650] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27650/stat : 27650 (java) S 27636 27638 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253782358 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846105277432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27651] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27651/stat : 27651 (java) S 27636 27638 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253782359 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846104225032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27652] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27652/stat : 27652 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782361 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846103173520 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27653] ppid=27636 vsize=9824668 CPUtime=0.57 cores=1,3,5,7 /proc/27638/task/27653/stat : 27653 (java) S 27636 27638 26250 0 -1 4202560 5627 0 0 0 57 0 0 0 20 0 19 0 253782361 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846102121144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27654] ppid=27636 vsize=9824668 CPUtime=0.49 cores=1,3,5,7 /proc/27638/task/27654/stat : 27654 (java) S 27636 27638 26250 0 -1 4202560 5534 0 0 0 49 0 0 0 20 0 19 0 253782361 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846101068344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27655] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27655/stat : 27655 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253782361 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846100016248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27656] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27656/stat : 27656 (java) S 27636 27638 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253782361 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846098963656 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27660] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27660/stat : 27660 (java) S 27636 27638 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253782372 10060460032 32555 33554432000 1073741824 1073778376 140735949952464 139846094750760 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.81 Current children cumulated vsize (KiB) 9824668 heavy processes: ################ # More data... # ################ [pid=27638/tid=27934] ppid=27636 vsize=9824668 CPUtime=544.68 cores=1,3,5,7 /proc/27638/task/27934/stat : 27934 (java) S 27636 27638 26250 0 -1 4202560 98 0 0 0 54456 12 0 0 20 0 22 0 253800785 10060460032 469021 33554432000 1073741824 1073778376 140735949952464 139846095801656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27935] ppid=27636 vsize=9824668 CPUtime=544.68 cores=1,3,5,7 /proc/27638/task/27935/stat : 27935 (java) S 27636 27638 26250 0 -1 4202560 3104 0 0 0 54436 32 0 0 20 0 22 0 253800785 10060460032 469021 33554432000 1073741824 1073778376 140735949952464 139846096855816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27936] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27936/stat : 27936 (java) S 27636 27638 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253800849 10060460032 469021 33554432000 1073741824 1073778376 140735949952464 139846097908776 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1454.68 Current children cumulated vsize (KiB) 9824668 [startup+822.301 s] /proc/loadavg: 4.27 4.09 3.95 5/221 27942 /proc/meminfo: memFree=24957772/32873844 swapFree=7364/7364 [pid=27638] ppid=27636 vsize=9824668 CPUtime=1573.81 cores=1,3,5,7 /proc/27638/stat : 27638 (java) S 27636 27638 26250 0 -1 4202496 38678 0 1 0 157088 293 0 0 20 0 22 0 253782355 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 140735949943600 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27638/statm: 2456167 538792 2280 9 0 2446860 0 [pid=27638/tid=27640] ppid=27636 vsize=9824668 CPUtime=0.23 cores=1,3,5,7 /proc/27638/task/27640/stat : 27640 (java) S 27636 27638 26250 0 -1 4202560 2533 0 1 0 19 4 0 0 20 0 22 0 253782356 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846282245112 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27641] ppid=27636 vsize=9824668 CPUtime=3.57 cores=1,3,5,7 /proc/27638/task/27641/stat : 27641 (java) S 27636 27638 26250 0 -1 4202560 916 0 0 0 343 14 0 0 20 0 22 0 253782357 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846220974376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27642] ppid=27636 vsize=9824668 CPUtime=3.74 cores=1,3,5,7 /proc/27638/task/27642/stat : 27642 (java) S 27636 27638 26250 0 -1 4202560 903 0 0 0 360 14 0 0 20 0 22 0 253782357 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846219921576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27643] ppid=27636 vsize=9824668 CPUtime=3.68 cores=1,3,5,7 /proc/27638/task/27643/stat : 27643 (java) S 27636 27638 26250 0 -1 4202560 966 0 0 0 351 17 0 0 20 0 22 0 253782357 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846218869288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27644] ppid=27636 vsize=9824668 CPUtime=3.53 cores=1,3,5,7 /proc/27638/task/27644/stat : 27644 (java) S 27636 27638 26250 0 -1 4202560 694 0 0 0 341 12 0 0 20 0 22 0 253782357 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846217816488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27645] ppid=27636 vsize=9824668 CPUtime=3.46 cores=1,3,5,7 /proc/27638/task/27645/stat : 27645 (java) S 27636 27638 26250 0 -1 4202560 714 0 0 0 332 14 0 0 20 0 22 0 253782357 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846216764200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27646] ppid=27636 vsize=9824668 CPUtime=3.6 cores=1,3,5,7 /proc/27638/task/27646/stat : 27646 (java) S 27636 27638 26250 0 -1 4202560 1319 0 0 0 344 16 0 0 20 0 22 0 253782357 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846120848040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27647] ppid=27636 vsize=9824668 CPUtime=3.32 cores=1,3,5,7 /proc/27638/task/27647/stat : 27647 (java) S 27636 27638 26250 0 -1 4202560 674 0 0 0 320 12 0 0 20 0 22 0 253782357 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846119795752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27648] ppid=27636 vsize=9824668 CPUtime=3.33 cores=1,3,5,7 /proc/27638/task/27648/stat : 27648 (java) S 27636 27638 26250 0 -1 4202560 796 0 0 0 321 12 0 0 20 0 22 0 253782357 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846118742952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27649] ppid=27636 vsize=9824668 CPUtime=50.51 cores=1,3,5,7 /proc/27638/task/27649/stat : 27649 (java) S 27636 27638 26250 0 -1 4202560 2499 0 0 0 5011 40 0 0 20 0 22 0 253782358 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846106331368 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27650] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27650/stat : 27650 (java) S 27636 27638 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253782358 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846105277432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27651] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27651/stat : 27651 (java) S 27636 27638 26250 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 253782359 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846104225032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27652] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27652/stat : 27652 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253782361 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846103173520 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27653] ppid=27636 vsize=9824668 CPUtime=1 cores=1,3,5,7 /proc/27638/task/27653/stat : 27653 (java) S 27636 27638 26250 0 -1 4202560 6543 0 0 0 98 2 0 0 20 0 22 0 253782361 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846102121144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27654] ppid=27636 vsize=9824668 CPUtime=1.58 cores=1,3,5,7 /proc/27638/task/27654/stat : 27654 (java) S 27636 27638 26250 0 -1 4202560 13963 0 0 0 156 2 0 0 20 0 22 0 253782361 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846101068344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27655] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27655/stat : 27655 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253782361 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846100016248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27656] ppid=27636 vsize=9824668 CPUtime=0.44 cores=1,3,5,7 /proc/27638/task/27656/stat : 27656 (java) S 27636 27638 26250 0 -1 4202560 47 0 0 0 26 18 0 0 20 0 22 0 253782361 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846098963656 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27660] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27660/stat : 27660 (java) S 27636 27638 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253782372 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846094750760 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27934] ppid=27636 vsize=9824668 CPUtime=602.65 cores=1,3,5,7 /proc/27638/task/27934/stat : 27934 (java) R 27636 27638 26250 0 -1 4202560 104 0 0 0 60251 14 0 0 20 0 22 0 253800785 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846095801536 139846222382433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27935] ppid=27636 vsize=9824668 CPUtime=602.66 cores=1,3,5,7 /proc/27638/task/27935/stat : 27935 (java) R 27636 27638 26250 0 -1 4202560 3145 0 0 0 60231 35 0 0 20 0 22 0 253800785 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846096853280 139846222421440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27936] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27936/stat : 27936 (java) S 27636 27638 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253800849 10060460032 538792 33554432000 1073741824 1073778376 140735949952464 139846097908776 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1573.81 Current children cumulated vsize (KiB) 9824668 [startup+882.301 s] /proc/loadavg: 4.06 4.06 3.94 5/221 27942 /proc/meminfo: memFree=24780684/32873844 swapFree=7364/7364 [pid=27638] ppid=27636 vsize=9824668 CPUtime=1692.8 cores=1,3,5,7 /proc/27638/stat : 27638 (java) S 27636 27638 26250 0 -1 4202496 39048 0 1 0 168968 312 0 0 20 0 22 0 253782355 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 140735949943600 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27638/statm: 2456167 585973 2280 9 0 2446860 0 [pid=27638/tid=27640] ppid=27636 vsize=9824668 CPUtime=0.23 cores=1,3,5,7 /proc/27638/task/27640/stat : 27640 (java) S 27636 27638 26250 0 -1 4202560 2535 0 1 0 19 4 0 0 20 0 22 0 253782356 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846282245112 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27641] ppid=27636 vsize=9824668 CPUtime=3.74 cores=1,3,5,7 /proc/27638/task/27641/stat : 27641 (java) S 27636 27638 26250 0 -1 4202560 939 0 0 0 358 16 0 0 20 0 22 0 253782357 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846220974376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27642] ppid=27636 vsize=9824668 CPUtime=3.88 cores=1,3,5,7 /proc/27638/task/27642/stat : 27642 (java) S 27636 27638 26250 0 -1 4202560 923 0 0 0 372 16 0 0 20 0 22 0 253782357 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846219921576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27643] ppid=27636 vsize=9824668 CPUtime=3.85 cores=1,3,5,7 /proc/27638/task/27643/stat : 27643 (java) S 27636 27638 26250 0 -1 4202560 997 0 0 0 366 19 0 0 20 0 22 0 253782357 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846218869288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27644] ppid=27636 vsize=9824668 CPUtime=3.71 cores=1,3,5,7 /proc/27638/task/27644/stat : 27644 (java) S 27636 27638 26250 0 -1 4202560 731 0 0 0 357 14 0 0 20 0 22 0 253782357 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846217816488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27645] ppid=27636 vsize=9824668 CPUtime=3.67 cores=1,3,5,7 /proc/27638/task/27645/stat : 27645 (java) S 27636 27638 26250 0 -1 4202560 744 0 0 0 351 16 0 0 20 0 22 0 253782357 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846216764200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27646] ppid=27636 vsize=9824668 CPUtime=3.8 cores=1,3,5,7 /proc/27638/task/27646/stat : 27646 (java) S 27636 27638 26250 0 -1 4202560 1360 0 0 0 361 19 0 0 20 0 22 0 253782357 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846120848040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27647] ppid=27636 vsize=9824668 CPUtime=3.51 cores=1,3,5,7 /proc/27638/task/27647/stat : 27647 (java) S 27636 27638 26250 0 -1 4202560 706 0 0 0 337 14 0 0 20 0 22 0 253782357 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846119795752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27648] ppid=27636 vsize=9824668 CPUtime=3.52 cores=1,3,5,7 /proc/27638/task/27648/stat : 27648 (java) S 27636 27638 26250 0 -1 4202560 830 0 0 0 338 14 0 0 20 0 22 0 253782357 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846118742952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27649] ppid=27636 vsize=9824668 CPUtime=52.18 cores=1,3,5,7 /proc/27638/task/27649/stat : 27649 (java) S 27636 27638 26250 0 -1 4202560 2593 0 0 0 5178 40 0 0 20 0 22 0 253782358 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846106331368 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27650] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27650/stat : 27650 (java) S 27636 27638 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253782358 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846105277432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27651] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27651/stat : 27651 (java) S 27636 27638 26250 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 253782359 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846104225032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27652] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27652/stat : 27652 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253782361 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846103173520 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27653] ppid=27636 vsize=9824668 CPUtime=1 cores=1,3,5,7 /proc/27638/task/27653/stat : 27653 (java) S 27636 27638 26250 0 -1 4202560 6543 0 0 0 98 2 0 0 20 0 22 0 253782361 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846102121144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27654] ppid=27636 vsize=9824668 CPUtime=1.58 cores=1,3,5,7 /proc/27638/task/27654/stat : 27654 (java) S 27636 27638 26250 0 -1 4202560 13963 0 0 0 156 2 0 0 20 0 22 0 253782361 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846101068344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27655] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27655/stat : 27655 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253782361 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846100016248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27656] ppid=27636 vsize=9824668 CPUtime=0.47 cores=1,3,5,7 /proc/27638/task/27656/stat : 27656 (java) S 27636 27638 26250 0 -1 4202560 51 0 0 0 28 19 0 0 20 0 22 0 253782361 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846098963656 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27660] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27660/stat : 27660 (java) S 27636 27638 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253782372 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846094750760 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27934] ppid=27636 vsize=9824668 CPUtime=660.58 cores=1,3,5,7 /proc/27638/task/27934/stat : 27934 (java) R 27636 27638 26250 0 -1 4202560 105 0 0 0 66043 15 0 0 20 0 22 0 253800785 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846095801536 139846222469106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27935] ppid=27636 vsize=9824668 CPUtime=660.6 cores=1,3,5,7 /proc/27638/task/27935/stat : 27935 (java) R 27636 27638 26250 0 -1 4202560 3166 0 0 0 66023 37 0 0 20 0 22 0 253800785 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846096855696 139846222440155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27936] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27936/stat : 27936 (java) S 27636 27638 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253800849 10060460032 585973 33554432000 1073741824 1073778376 140735949952464 139846097908776 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1692.8 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+936.201 s] /proc/loadavg: 4.07 4.06 3.95 5/221 27942 /proc/meminfo: memFree=24637680/32873844 swapFree=7364/7364 [pid=27638] ppid=27636 vsize=9824668 CPUtime=1800.18 cores=1,3,5,7 /proc/27638/stat : 27638 (java) S 27636 27638 26250 0 -1 4202496 39365 0 1 0 179687 331 0 0 20 0 22 0 253782355 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 140735949943600 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27638/statm: 2456167 628518 2280 9 0 2446860 0 [pid=27638/tid=27640] ppid=27636 vsize=9824668 CPUtime=0.24 cores=1,3,5,7 /proc/27638/task/27640/stat : 27640 (java) S 27636 27638 26250 0 -1 4202560 2536 0 1 0 20 4 0 0 20 0 22 0 253782356 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846282245112 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27641] ppid=27636 vsize=9824668 CPUtime=3.91 cores=1,3,5,7 /proc/27638/task/27641/stat : 27641 (java) S 27636 27638 26250 0 -1 4202560 970 0 0 0 373 18 0 0 20 0 22 0 253782357 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846220974376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27642] ppid=27636 vsize=9824668 CPUtime=4.01 cores=1,3,5,7 /proc/27638/task/27642/stat : 27642 (java) S 27636 27638 26250 0 -1 4202560 953 0 0 0 383 18 0 0 20 0 22 0 253782357 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846219921576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27643] ppid=27636 vsize=9824668 CPUtime=4.04 cores=1,3,5,7 /proc/27638/task/27643/stat : 27643 (java) S 27636 27638 26250 0 -1 4202560 1032 0 0 0 383 21 0 0 20 0 22 0 253782357 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846218869288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27644] ppid=27636 vsize=9824668 CPUtime=3.86 cores=1,3,5,7 /proc/27638/task/27644/stat : 27644 (java) S 27636 27638 26250 0 -1 4202560 753 0 0 0 371 15 0 0 20 0 22 0 253782357 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846217816488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27645] ppid=27636 vsize=9824668 CPUtime=3.81 cores=1,3,5,7 /proc/27638/task/27645/stat : 27645 (java) S 27636 27638 26250 0 -1 4202560 766 0 0 0 364 17 0 0 20 0 22 0 253782357 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846216764200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27646] ppid=27636 vsize=9824668 CPUtime=3.93 cores=1,3,5,7 /proc/27638/task/27646/stat : 27646 (java) S 27636 27638 26250 0 -1 4202560 1386 0 0 0 372 21 0 0 20 0 22 0 253782357 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846120848040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27647] ppid=27636 vsize=9824668 CPUtime=3.64 cores=1,3,5,7 /proc/27638/task/27647/stat : 27647 (java) S 27636 27638 26250 0 -1 4202560 736 0 0 0 347 17 0 0 20 0 22 0 253782357 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846119795752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27648] ppid=27636 vsize=9824668 CPUtime=3.69 cores=1,3,5,7 /proc/27638/task/27648/stat : 27648 (java) S 27636 27638 26250 0 -1 4202560 867 0 0 0 353 16 0 0 20 0 22 0 253782357 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846118742952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27649] ppid=27636 vsize=9824668 CPUtime=53.19 cores=1,3,5,7 /proc/27638/task/27649/stat : 27649 (java) S 27636 27638 26250 0 -1 4202560 2656 0 0 0 5278 41 0 0 20 0 22 0 253782358 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846106331368 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27650] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27650/stat : 27650 (java) S 27636 27638 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253782358 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846105277432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27651] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27651/stat : 27651 (java) S 27636 27638 26250 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 253782359 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846104225032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27652] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27652/stat : 27652 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253782361 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846103173520 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27638/tid=27653] ppid=27636 vsize=9824668 CPUtime=1 cores=1,3,5,7 /proc/27638/task/27653/stat : 27653 (java) S 27636 27638 26250 0 -1 4202560 6543 0 0 0 98 2 0 0 20 0 22 0 253782361 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846102121144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27654] ppid=27636 vsize=9824668 CPUtime=1.58 cores=1,3,5,7 /proc/27638/task/27654/stat : 27654 (java) S 27636 27638 26250 0 -1 4202560 13963 0 0 0 156 2 0 0 20 0 22 0 253782361 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846101068344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27655] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27655/stat : 27655 (java) S 27636 27638 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253782361 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846100016248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27638/tid=27656] ppid=27636 vsize=9824668 CPUtime=0.49 cores=1,3,5,7 /proc/27638/task/27656/stat : 27656 (java) S 27636 27638 26250 0 -1 4202560 55 0 0 0 29 20 0 0 20 0 22 0 253782361 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846098963656 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27660] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27660/stat : 27660 (java) S 27636 27638 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253782372 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846094750760 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27934] ppid=27636 vsize=9824668 CPUtime=713.16 cores=1,3,5,7 /proc/27638/task/27934/stat : 27934 (java) R 27636 27638 26250 0 -1 4202560 106 0 0 0 71301 15 0 0 20 0 22 0 253800785 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846095802480 139846222475116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=27638/tid=27935] ppid=27636 vsize=9824668 CPUtime=713.18 cores=1,3,5,7 /proc/27638/task/27935/stat : 27935 (java) R 27636 27638 26250 0 -1 4202560 3181 0 0 0 71281 37 0 0 20 0 22 0 253800785 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846096853488 139846222808230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27638/tid=27936] ppid=27636 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/27638/task/27936/stat : 27936 (java) S 27636 27638 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253800849 10060460032 628518 33554432000 1073741824 1073778376 140735949952464 139846097908776 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 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 Real time (s): 936.261 CPU time (s): 1800.88 CPU user time (s): 1797.13 CPU system time (s): 3.75143 CPU usage (%): 192.348 Max. virtual memory (cumulated for all children) (KiB): 9826532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.13 system time used= 3.75143 maximum resident set size= 2514212 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39404 page faults= 1 swaps= 0 block input operations= 0 block output operations= 968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38466 involuntary context switches= 58420 runsolver used 3.73943 second user time and 9.47556 second system time The end
Begin job on node133 at 2012-05-24 18:22:56 IDJOB=3688246 IDBENCH=2926 IDSOLVER=2268 FILE ID=node133/3688246-1337876576 RUNJOBID= node133-1337871880-26267 PBS_JOBID= 14620071 Free space on /tmp= 71624 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688246-1337876576/watcher-3688246-1337876576 -o /tmp/evaluation-result-3688246-1337876576/solver-3688246-1337876576 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688246-1337876576.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24 RANDOM SEED=1201227914 node133.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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.08 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.540 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.92 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.540 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.540 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.91 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.540 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.540 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 : 5331.90 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.540 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.540 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: 32873844 kB MemFree: 27012520 kB Buffers: 213196 kB Cached: 2375508 kB SwapCached: 0 kB Active: 2919032 kB Inactive: 2168856 kB Active(anon): 2501544 kB Inactive(anon): 0 kB Active(file): 417488 kB Inactive(file): 2168856 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 452 kB Writeback: 0 kB AnonPages: 2505900 kB Mapped: 22596 kB Shmem: 212 kB Slab: 628728 kB SReclaimable: 71032 kB SUnreclaim: 557696 kB KernelStack: 1648 kB PageTables: 9684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2826384 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 2439168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71616 MiB End job on node133 at 2012-05-24 18:38:34