Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 12 | 1800.02 | 932.953 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 1790.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
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 | 12 |
Minimum length of a constraint | 66 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
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 | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1273 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4329 |
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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 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.08/0.11 c Pseudo Boolean Optimization by upper bound 0.08/0.11 c ManyCore solver with 2 solvers running in parallel 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c Expensive reason simplification 0.08/0.11 c Armin Biere (Picosat) restarts strategy 0.08/0.11 c Glucose learned constraints deletion strategy 0.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c c --- End Solver configuration --- 0.08/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3688212-1337875996.opb 0.08/0.12 c reading problem ... 0.08/0.16 c ... done. Wall clock time 0.044s. 0.08/0.16 c declared #vars 146 0.08/0.16 c #constraints 12 0.08/0.16 c constraints type 0.08/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12 0.08/0.16 c 12 constraints processed. 0.08/0.16 c constraints type 0.08/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPb => 12 0.08/0.16 c 12 constraints processed. 0.08/0.16 c objective function length is 96 literals 0.30/0.21 c And the winner is solver0 0.46/0.66 c SATISFIABLE 0.46/0.66 c OPTIMIZING... 0.46/0.66 c Got one! Elapsed wall clock time (in seconds):0.546 0.46/0.66 o 230 0.46/0.68 c And the winner is solver0 0.70/1.16 c Got one! Elapsed wall clock time (in seconds):1.048 0.70/1.16 o 163 0.70/1.18 c And the winner is solver0 0.85/1.66 c Got one! Elapsed wall clock time (in seconds):1.549 0.85/1.66 o 156 0.85/1.68 c And the winner is solver0 0.86/2.17 c Got one! Elapsed wall clock time (in seconds):2.05 0.86/2.17 o 149 2.13/2.51 c cleaning 2757 clauses out of 5515 with flag 5000/5515 3.30/2.81 c cleaning 4378 clauses out of 8758 with flag 11000/11515 3.30/2.84 c And the winner is solver1 3.49/3.17 c Got one! Elapsed wall clock time (in seconds):3.052 3.49/3.17 o 133 3.49/3.18 c And the winner is solver0 3.49/3.67 c Got one! Elapsed wall clock time (in seconds):3.553 3.49/3.67 o 131 3.49/3.69 c And the winner is solver0 3.55/4.17 c Got one! Elapsed wall clock time (in seconds):4.054 3.55/4.17 o 129 3.55/4.17 c And the winner is solver0 3.56/4.67 c Got one! Elapsed wall clock time (in seconds):4.555 3.56/4.67 o 127 3.56/4.68 c And the winner is solver0 3.60/5.17 c Got one! Elapsed wall clock time (in seconds):5.056 3.60/5.17 o 126 3.60/5.19 c And the winner is solver0 3.65/5.67 c Got one! Elapsed wall clock time (in seconds):5.557 3.65/5.67 o 124 3.65/5.68 c And the winner is solver0 3.66/6.17 c Got one! Elapsed wall clock time (in seconds):6.058 3.66/6.17 o 76 3.70/6.21 c And the winner is solver0 3.74/6.67 c Got one! Elapsed wall clock time (in seconds):6.559 3.74/6.67 o 75 3.98/6.86 c cleaning 6099 clauses out of 12199 with flag 5003/19334 4.56/7.15 c cleaning 6050 clauses out of 12099 with flag 11002/25333 5.37/7.50 c cleaning 6523 clauses out of 13050 with flag 18003/32334 6.15/7.92 c cleaning 7258 clauses out of 14524 with flag 26000/40331 7.12/8.41 c cleaning 8129 clauses out of 16268 with flag 35002/49333 8.09/8.96 c cleaning 9063 clauses out of 18137 with flag 45000/59331 9.25/9.58 c cleaning 10028 clauses out of 20076 with flag 56002/70333 10.82/10.32 c cleaning 11017 clauses out of 22046 with flag 68000/82331 12.40/11.12 c cleaning 12014 clauses out of 24029 with flag 81000/95331 13.98/12.00 c cleaning 13008 clauses out of 26015 with flag 95000/109331 15.95/12.92 c cleaning 14002 clauses out of 28010 with flag 110003/124334 18.13/14.06 c cleaning 14998 clauses out of 30005 with flag 126000/140331 20.49/15.30 c cleaning 15996 clauses out of 32008 with flag 143001/157332 23.49/16.72 c cleaning 17005 clauses out of 34012 with flag 161001/175332 26.24/18.14 c cleaning 17995 clauses out of 36006 with flag 180000/194331 29.42/19.72 c cleaning 19002 clauses out of 38012 with flag 200001/214332 32.59/21.32 c cleaning 20003 clauses out of 40009 with flag 221000/235331 36.36/23.20 c cleaning 20998 clauses out of 42006 with flag 243000/257331 39.89/25.07 c cleaning 21998 clauses out of 44008 with flag 266000/280331 43.65/26.94 c cleaning 22994 clauses out of 46012 with flag 290002/304333 47.62/28.94 c cleaning 24004 clauses out of 48016 with flag 315000/329331 51.77/31.02 c cleaning 25005 clauses out of 50015 with flag 341003/355334 56.30/33.38 c cleaning 26000 clauses out of 52009 with flag 368002/382333 61.25/35.82 c cleaning 26992 clauses out of 54007 with flag 396000/410331 66.20/38.40 c cleaning 28006 clauses out of 56015 with flag 425000/439331 71.95/41.27 c cleaning 29004 clauses out of 58009 with flag 455000/469331 78.28/44.41 c cleaning 29996 clauses out of 60007 with flag 486002/500333 84.44/47.58 c cleaning 31005 clauses out of 62009 with flag 518000/532331 85.19/47.93 c And the winner is solver1 85.07/48.20 c Got one! Elapsed wall clock time (in seconds):48.084 85.07/48.20 o 74 85.27/48.32 c cleaning 18128 clauses out of 36269 with flag 1003/537596 85.42/48.46 c And the winner is solver0 85.57/48.70 c Got one! Elapsed wall clock time (in seconds):48.586 85.57/48.70 o 73 85.83/48.89 c cleaning 11796 clauses out of 23603 with flag 4000/543058 86.16/49.00 c And the winner is solver0 86.20/49.20 c Got one! Elapsed wall clock time (in seconds):49.087 86.20/49.20 o 71 86.20/49.26 c And the winner is solver0 86.34/49.70 c Got one! Elapsed wall clock time (in seconds):49.588 86.34/49.70 o 70 86.34/49.76 c And the winner is solver0 86.50/50.20 c Got one! Elapsed wall clock time (in seconds):50.089 86.50/50.20 o 69 86.90/50.45 c cleaning 9398 clauses out of 18795 with flag 4002/550046 87.65/50.83 c cleaning 7687 clauses out of 15396 with flag 10001/556045 88.41/51.23 c cleaning 7331 clauses out of 14708 with flag 17000/563044 89.17/51.69 c cleaning 7686 clauses out of 15379 with flag 25002/571046 90.28/52.24 c cleaning 8346 clauses out of 16691 with flag 34000/580044 91.45/52.86 c cleaning 9171 clauses out of 18345 with flag 44000/590044 92.58/53.49 c cleaning 10082 clauses out of 20174 with flag 55000/601044 93.92/54.18 c cleaning 11038 clauses out of 22092 with flag 67000/613044 95.65/55.04 c cleaning 12025 clauses out of 24055 with flag 80001/626045 97.38/55.95 c cleaning 13014 clauses out of 26033 with flag 94004/640048 97.55/56.10 c And the winner is solver0 98.83/57.25 c Got one! Elapsed wall clock time (in seconds):57.136 98.83/57.25 o 67 99.31/57.51 c cleaning 9406 clauses out of 18832 with flag 4001/645861 99.86/57.81 c And the winner is solver0 99.92/58.25 c Got one! Elapsed wall clock time (in seconds):58.138 99.92/58.25 o 66 100.03/58.31 c cleaning 7689 clauses out of 15392 with flag 1000/651827 100.33/58.53 c And the winner is solver0 100.45/58.75 c Got one! Elapsed wall clock time (in seconds):58.639 100.45/58.75 o 64 100.45/58.79 c And the winner is solver0 100.65/59.26 c Got one! Elapsed wall clock time (in seconds):59.141 100.65/59.26 o 62 100.74/59.36 c cleaning 6749 clauses out of 13517 with flag 2000/657641 101.27/59.64 c And the winner is solver0 101.40/59.76 c Got one! Elapsed wall clock time (in seconds):59.642 101.40/59.76 o 61 101.48/59.84 c cleaning 6316 clauses out of 12653 with flag 1001/663526 102.02/60.17 c And the winner is solver0 102.19/60.26 c Got one! Elapsed wall clock time (in seconds):60.143 102.19/60.26 o 59 102.68/60.59 c cleaning 8514 clauses out of 17055 with flag 5000/674244 103.23/60.85 c And the winner is solver0 103.38/61.26 c Got one! Elapsed wall clock time (in seconds):61.144 103.38/61.26 o 58 103.46/61.32 c cleaning 6812 clauses out of 13640 with flag 1003/679343 104.17/61.71 c cleaning 6406 clauses out of 12826 with flag 7001/685341 104.51/61.95 c And the winner is solver0 104.66/62.28 c Got one! Elapsed wall clock time (in seconds):62.161 104.66/62.28 o 56 104.70/62.39 c cleaning 6169 clauses out of 12359 with flag 2000/691280 105.45/62.73 c cleaning 6081 clauses out of 12190 with flag 8000/697280 106.18/63.12 c cleaning 6546 clauses out of 13113 with flag 15004/704284 106.69/63.43 c And the winner is solver0 106.78/63.79 c Got one! Elapsed wall clock time (in seconds):63.674 106.78/63.79 o 54 106.83/63.83 c And the winner is solver0 106.88/64.29 c Got one! Elapsed wall clock time (in seconds):64.175 106.88/64.29 o 53 106.89/64.35 c cleaning 6641 clauses out of 13288 with flag 1002/711005 107.05/64.44 c And the winner is solver0 107.15/64.79 c Got one! Elapsed wall clock time (in seconds):64.676 107.15/64.79 o 51 107.56/65.01 c cleaning 6202 clauses out of 12415 with flag 5006/716773 107.90/65.25 c And the winner is solver0 107.90/65.29 c Got one! Elapsed wall clock time (in seconds):65.177 107.90/65.29 o 49 108.05/65.36 c cleaning 5641 clauses out of 11292 with flag 1004/721852 108.59/65.69 c cleaning 5821 clauses out of 11650 with flag 7003/727851 109.31/66.05 c And the winner is solver0 109.45/66.29 c Got one! Elapsed wall clock time (in seconds):66.178 109.45/66.29 o 47 109.86/66.57 c cleaning 7952 clauses out of 15918 with flag 5000/737940 110.59/66.97 c cleaning 6979 clauses out of 13966 with flag 11000/743940 111.53/67.41 c cleaning 6984 clauses out of 13987 with flag 18000/750940 112.47/67.95 c cleaning 7501 clauses out of 15003 with flag 26000/758940 113.57/68.59 c cleaning 8248 clauses out of 16506 with flag 35004/767944 114.92/69.22 c cleaning 9121 clauses out of 18256 with flag 45002/777942 116.25/69.97 c cleaning 10066 clauses out of 20134 with flag 56001/788941 117.78/70.77 c cleaning 11033 clauses out of 22068 with flag 68001/800941 118.88/71.31 c And the winner is solver0 118.88/71.38 c Got one! Elapsed wall clock time (in seconds):71.263 118.88/71.38 o 46 119.56/71.72 c cleaning 12310 clauses out of 24631 with flag 5003/814537 119.69/71.80 c And the winner is solver0 119.69/71.88 c Got one! Elapsed wall clock time (in seconds):71.764 119.69/71.88 o 45 120.18/72.19 c cleaning 8720 clauses out of 17479 with flag 5000/819695 120.52/72.38 c And the winner is solver0 120.71/72.43 c Got one! Elapsed wall clock time (in seconds):72.315 120.71/72.43 o 43 120.88/72.59 c cleaning 7276 clauses out of 14561 with flag 3000/825497 121.61/72.92 c cleaning 6632 clauses out of 13286 with flag 9001/831498 122.30/73.36 c cleaning 6821 clauses out of 13654 with flag 16001/838498 122.49/73.47 c And the winner is solver0 122.62/73.53 c Got one! Elapsed wall clock time (in seconds):73.411 122.62/73.53 o 41 122.99/73.73 c cleaning 5946 clauses out of 11913 with flag 4000/843578 123.52/74.08 c cleaning 5972 clauses out of 11967 with flag 10000/849578 124.25/74.45 c cleaning 6489 clauses out of 12996 with flag 17001/856579 124.41/74.58 c And the winner is solver0 124.58/75.06 c Got one! Elapsed wall clock time (in seconds):74.943 124.58/75.06 o 39 125.05/75.31 c cleaning 6144 clauses out of 12306 with flag 5004/862378 125.59/75.68 c cleaning 6068 clauses out of 12160 with flag 11002/868376 126.52/76.19 c cleaning 6543 clauses out of 13091 with flag 18001/875375 127.65/76.72 c cleaning 7273 clauses out of 14548 with flag 26001/883375 128.76/77.31 c cleaning 8135 clauses out of 16274 with flag 35000/892374 129.49/77.71 c And the winner is solver0 129.58/78.06 c Got one! Elapsed wall clock time (in seconds):77.944 129.58/78.06 o 37 130.25/78.42 c cleaning 9486 clauses out of 18988 with flag 5002/903223 130.98/78.85 c cleaning 7741 clauses out of 15501 with flag 11001/909222 131.91/79.37 c cleaning 7371 clauses out of 14759 with flag 18000/916221 132.99/80.00 c cleaning 7689 clauses out of 15390 with flag 26002/924223 134.11/80.51 c cleaning 8348 clauses out of 16701 with flag 35002/933223 135.24/81.12 c cleaning 9174 clauses out of 18351 with flag 45000/943221 136.37/81.78 c cleaning 10083 clauses out of 20177 with flag 56000/954221 137.89/82.57 c cleaning 11046 clauses out of 22095 with flag 68001/966222 139.42/83.39 c cleaning 12018 clauses out of 24049 with flag 81001/979222 141.34/84.38 c cleaning 13016 clauses out of 26031 with flag 95001/993222 143.66/85.54 c cleaning 14004 clauses out of 28017 with flag 110003/1008224 146.36/86.97 c cleaning 15004 clauses out of 30010 with flag 126000/1024221 149.28/88.44 c cleaning 15995 clauses out of 32006 with flag 143000/1041221 152.40/90.01 c cleaning 16999 clauses out of 34014 with flag 161003/1059224 155.12/91.49 c cleaning 18003 clauses out of 36012 with flag 180000/1078221 156.82/92.35 c And the winner is solver0 157.02/92.67 c Got one! Elapsed wall clock time (in seconds):92.55 157.02/92.67 o 35 157.88/93.16 c cleaning 17947 clauses out of 35923 with flag 5002/1096135 158.80/93.63 c cleaning 11980 clauses out of 23976 with flag 11002/1102135 159.72/94.12 c cleaning 9491 clauses out of 18994 with flag 18000/1109133 160.85/94.72 c cleaning 8744 clauses out of 17505 with flag 26002/1117135 161.94/95.34 c cleaning 8874 clauses out of 17759 with flag 35000/1126133 163.06/95.97 c cleaning 9434 clauses out of 18885 with flag 45000/1136133 164.38/96.66 c cleaning 10220 clauses out of 20451 with flag 56000/1147133 165.90/97.45 c cleaning 11109 clauses out of 22232 with flag 68001/1159134 167.40/98.28 c And the winner is solver0 167.57/98.37 c Got one! Elapsed wall clock time (in seconds):98.257 167.57/98.37 o 31 168.26/98.74 c cleaning 13792 clauses out of 27612 with flag 5001/1175623 168.97/99.16 c cleaning 9906 clauses out of 19823 with flag 11004/1181626 169.69/99.52 c And the winner is solver0 169.84/99.87 c Got one! Elapsed wall clock time (in seconds):99.758 169.84/99.87 o 30 170.48/100.22 c cleaning 9972 clauses out of 19960 with flag 5005/1191669 171.20/100.60 c cleaning 7982 clauses out of 15984 with flag 11001/1197665 172.09/101.11 c cleaning 7487 clauses out of 15002 with flag 18001/1204665 172.79/101.53 c And the winner is solver0 172.96/101.87 c Got one! Elapsed wall clock time (in seconds):101.76 172.96/101.87 o 29 173.41/102.19 c cleaning 9682 clauses out of 19386 with flag 5001/1216536 174.31/102.60 c cleaning 7840 clauses out of 15703 with flag 11000/1222535 175.03/103.03 c cleaning 7426 clauses out of 14864 with flag 18001/1229536 175.90/103.59 c cleaning 7706 clauses out of 15437 with flag 26000/1237535 177.02/104.19 c cleaning 8352 clauses out of 16731 with flag 35000/1246535 178.13/104.79 c And the winner is solver0 178.32/104.88 c Got one! Elapsed wall clock time (in seconds):104.762 178.32/104.88 o 27 179.01/105.27 c cleaning 11292 clauses out of 22601 with flag 5001/1260757 179.92/105.70 c cleaning 8651 clauses out of 17309 with flag 11001/1266757 180.81/106.24 c cleaning 7820 clauses out of 15657 with flag 18000/1273756 181.73/106.76 c cleaning 7907 clauses out of 15838 with flag 26001/1281757 182.83/107.33 c cleaning 8458 clauses out of 16934 with flag 35004/1290760 183.75/107.89 c cleaning 9227 clauses out of 18473 with flag 45001/1300757 185.04/108.59 c cleaning 10108 clauses out of 20245 with flag 56000/1311756 186.36/109.25 c And the winner is solver0 186.58/109.51 c Got one! Elapsed wall clock time (in seconds):109.395 186.58/109.51 o 26 187.36/109.95 c cleaning 13409 clauses out of 26842 with flag 5003/1328461 188.06/110.39 c cleaning 9703 clauses out of 19430 with flag 11000/1334458 188.97/110.84 c cleaning 8358 clauses out of 16730 with flag 18003/1341461 189.84/111.31 c cleaning 8177 clauses out of 16370 with flag 26001/1349459 190.75/111.84 c cleaning 8584 clauses out of 17192 with flag 35000/1358458 191.86/112.40 c cleaning 9293 clauses out of 18609 with flag 45001/1368459 192.97/113.06 c cleaning 10153 clauses out of 20318 with flag 56003/1379461 194.45/113.87 c cleaning 11069 clauses out of 22163 with flag 68001/1391459 196.37/114.82 c cleaning 12035 clauses out of 24095 with flag 81002/1404460 198.28/115.86 c cleaning 13022 clauses out of 26060 with flag 95002/1418460 199.00/116.29 c And the winner is solver0 199.25/116.54 c Got one! Elapsed wall clock time (in seconds):116.426 199.25/116.54 o 25 199.96/116.91 c cleaning 12284 clauses out of 24574 with flag 5003/1429996 200.84/117.43 c cleaning 9142 clauses out of 18289 with flag 11002/1435995 201.56/117.88 c cleaning 8063 clauses out of 16146 with flag 18001/1442994 202.28/118.21 c And the winner is solver0 202.38/118.56 c Got one! Elapsed wall clock time (in seconds):118.446 202.38/118.56 o 23 202.87/118.88 c cleaning 9069 clauses out of 18169 with flag 5001/1453080 203.57/119.28 c cleaning 7545 clauses out of 15104 with flag 11005/1459084 204.46/119.76 c cleaning 7269 clauses out of 14557 with flag 18003/1466082 204.80/119.96 c And the winner is solver0 204.96/120.06 c Got one! Elapsed wall clock time (in seconds):119.948 204.96/120.06 o 21 205.28/120.23 c cleaning 6466 clauses out of 12950 with flag 3000/1471744 206.00/120.60 c cleaning 6236 clauses out of 12484 with flag 9000/1477744 206.72/121.06 c cleaning 6626 clauses out of 13251 with flag 16003/1484747 207.78/121.63 c cleaning 7310 clauses out of 14624 with flag 24002/1492746 208.89/122.22 c cleaning 8150 clauses out of 16312 with flag 33000/1501744 210.20/122.92 c cleaning 9081 clauses out of 18163 with flag 43001/1511745 211.51/123.62 c cleaning 10039 clauses out of 20081 with flag 54000/1522744 212.98/124.45 c cleaning 11018 clauses out of 22043 with flag 66001/1534745 214.71/125.40 c cleaning 12009 clauses out of 24024 with flag 79000/1547744 217.21/126.66 c cleaning 13005 clauses out of 26018 with flag 93003/1561747 219.52/127.89 c cleaning 14000 clauses out of 28010 with flag 108000/1576744 221.99/129.19 c cleaning 14997 clauses out of 30010 with flag 124000/1592744 224.90/130.66 c cleaning 16006 clauses out of 32017 with flag 141004/1609748 227.62/132.08 c cleaning 17003 clauses out of 34008 with flag 159001/1627745 230.92/133.71 c cleaning 17999 clauses out of 36004 with flag 178000/1646744 234.57/135.62 c cleaning 19002 clauses out of 38005 with flag 198000/1666744 238.48/137.63 c cleaning 19995 clauses out of 40004 with flag 219001/1687745 243.00/139.99 c cleaning 21003 clauses out of 42009 with flag 241001/1709745 248.10/142.59 c cleaning 21997 clauses out of 44006 with flag 264001/1732745 253.76/145.47 c cleaning 23004 clauses out of 46009 with flag 288001/1756745 258.66/147.91 c cleaning 24001 clauses out of 48004 with flag 313000/1781744 262.97/150.12 c cleaning 24997 clauses out of 50008 with flag 339005/1807749 263.10/150.27 c And the winner is solver0 263.48/150.66 c Got one! Elapsed wall clock time (in seconds):150.545 263.48/150.66 o 20 264.29/151.14 c cleaning 15332 clauses out of 30678 with flag 5001/1813416 265.14/151.70 c cleaning 10661 clauses out of 21345 with flag 11000/1819415 266.24/152.22 c cleaning 8838 clauses out of 17687 with flag 18003/1826418 267.14/152.76 c cleaning 8414 clauses out of 16851 with flag 26005/1834420 268.25/153.34 c cleaning 8704 clauses out of 17432 with flag 35000/1843415 269.53/154.03 c cleaning 9360 clauses out of 18732 with flag 45004/1853419 270.83/154.76 c cleaning 10185 clauses out of 20369 with flag 56001/1864416 272.34/155.54 c cleaning 11090 clauses out of 22184 with flag 68001/1876416 274.04/156.45 c cleaning 12046 clauses out of 24096 with flag 81003/1889418 276.09/157.56 c cleaning 13024 clauses out of 26049 with flag 95002/1903417 278.19/158.68 c cleaning 14012 clauses out of 28026 with flag 110003/1918418 280.49/159.89 c cleaning 15001 clauses out of 30011 with flag 126000/1934415 283.01/161.17 c cleaning 16005 clauses out of 32014 with flag 143004/1951419 285.66/162.58 c cleaning 16999 clauses out of 34006 with flag 161001/1969416 288.97/164.27 c cleaning 18002 clauses out of 36007 with flag 180001/1988416 292.68/166.12 c cleaning 19003 clauses out of 38005 with flag 200001/2008416 294.38/167.07 c And the winner is solver0 295.62/168.29 c Got one! Elapsed wall clock time (in seconds):168.173 295.62/168.29 o 19 296.47/168.74 c cleaning 18474 clauses out of 36961 with flag 5000/2026375 297.32/169.27 c cleaning 12238 clauses out of 24488 with flag 11001/2032376 298.22/169.76 c cleaning 9616 clauses out of 19249 with flag 18000/2039375 299.11/170.27 c cleaning 8806 clauses out of 17633 with flag 26000/2047375 300.21/170.88 c cleaning 8902 clauses out of 17828 with flag 35001/2056376 301.50/171.56 c cleaning 9462 clauses out of 18925 with flag 45000/2066375 302.98/172.31 c cleaning 10225 clauses out of 20465 with flag 56002/2077377 304.89/173.30 c cleaning 11119 clauses out of 22241 with flag 68003/2089378 306.58/174.27 c cleaning 12060 clauses out of 24121 with flag 81002/2102377 308.82/175.45 c cleaning 13030 clauses out of 26060 with flag 95001/2116376 311.12/176.69 c cleaning 14013 clauses out of 28031 with flag 110002/2131377 313.62/177.96 c cleaning 15002 clauses out of 30018 with flag 126002/2147377 316.52/179.46 c cleaning 16007 clauses out of 32014 with flag 143000/2164375 319.37/180.97 c cleaning 17002 clauses out of 34008 with flag 161001/2182376 322.68/182.64 c cleaning 18003 clauses out of 36007 with flag 180002/2201377 322.97/182.88 c And the winner is solver0 323.20/183.12 c Got one! Elapsed wall clock time (in seconds):183.008 323.20/183.12 o 18 323.75/183.40 c cleaning 11501 clauses out of 23029 with flag 3000/2206402 324.44/183.85 c cleaning 8749 clauses out of 17529 with flag 9001/2212403 325.27/184.38 c cleaning 7883 clauses out of 15784 with flag 16005/2219407 326.37/184.93 c cleaning 7940 clauses out of 15900 with flag 24004/2227406 327.46/185.52 c cleaning 8468 clauses out of 16958 with flag 33002/2236404 328.57/186.16 c cleaning 9233 clauses out of 18488 with flag 43000/2246402 329.83/186.90 c cleaning 10116 clauses out of 20256 with flag 54001/2257403 331.53/187.74 c cleaning 11067 clauses out of 22141 with flag 66002/2269404 333.23/188.61 c cleaning 12028 clauses out of 24073 with flag 79001/2282403 334.94/189.55 c cleaning 13015 clauses out of 26045 with flag 93001/2296403 336.83/190.54 c cleaning 14014 clauses out of 28029 with flag 108000/2311402 339.32/191.84 c cleaning 15007 clauses out of 30015 with flag 124000/2327402 342.02/193.27 c cleaning 16003 clauses out of 32009 with flag 141001/2344403 342.53/193.51 c And the winner is solver0 342.65/193.73 c Got one! Elapsed wall clock time (in seconds):193.61 342.65/193.73 o 17 342.99/193.94 c cleaning 10619 clauses out of 21252 with flag 3000/2349649 343.82/194.44 c cleaning 8312 clauses out of 16634 with flag 9001/2355650 344.72/194.90 c cleaning 7653 clauses out of 15325 with flag 16004/2362653 345.62/195.42 c cleaning 7818 clauses out of 15670 with flag 24002/2370651 346.72/196.00 c cleaning 8415 clauses out of 16850 with flag 33000/2379649 347.97/196.71 c cleaning 9204 clauses out of 18435 with flag 43000/2389649 349.27/197.49 c cleaning 10109 clauses out of 20233 with flag 54002/2400651 350.95/198.34 c cleaning 11052 clauses out of 22126 with flag 66004/2412653 352.65/199.24 c cleaning 12024 clauses out of 24073 with flag 79003/2425652 354.69/200.31 c cleaning 13018 clauses out of 26047 with flag 93001/2439650 356.78/201.47 c cleaning 14008 clauses out of 28036 with flag 108008/2454657 359.29/202.72 c cleaning 15003 clauses out of 30027 with flag 124007/2470656 361.78/204.06 c cleaning 16002 clauses out of 32018 with flag 141001/2487650 364.21/205.39 c cleaning 16997 clauses out of 34015 with flag 159000/2505649 367.12/206.86 c cleaning 17998 clauses out of 36018 with flag 178000/2524649 367.80/207.25 c And the winner is solver0 368.06/207.51 c Got one! Elapsed wall clock time (in seconds):207.39 368.06/207.51 o 15 368.65/207.86 c cleaning 14368 clauses out of 28736 with flag 5000/2535365 369.54/208.35 c cleaning 10184 clauses out of 20368 with flag 11000/2541365 370.37/208.86 c cleaning 8590 clauses out of 17187 with flag 18003/2548368 371.28/209.35 c cleaning 8294 clauses out of 16595 with flag 26001/2556366 371.59/209.55 c And the winner is solver0 371.95/210.03 c Got one! Elapsed wall clock time (in seconds):209.92 371.95/210.03 o 14 372.27/210.20 c cleaning 6812 clauses out of 13646 with flag 3001/2561711 372.96/210.60 c cleaning 6407 clauses out of 12834 with flag 9001/2567711 373.82/211.11 c cleaning 6710 clauses out of 13428 with flag 16002/2574712 374.70/211.63 c cleaning 7359 clauses out of 14719 with flag 24003/2582713 375.81/212.23 c cleaning 8179 clauses out of 16357 with flag 33000/2591710 377.09/212.91 c cleaning 9084 clauses out of 18178 with flag 43000/2601710 378.56/213.78 c cleaning 10047 clauses out of 20095 with flag 54001/2612711 380.26/214.65 c cleaning 11023 clauses out of 22047 with flag 66000/2624710 381.96/215.58 c cleaning 12012 clauses out of 24026 with flag 79002/2637712 384.06/216.61 c cleaning 13001 clauses out of 26013 with flag 93001/2651711 386.14/217.71 c cleaning 14000 clauses out of 28014 with flag 108003/2666713 388.23/218.85 c cleaning 15000 clauses out of 30012 with flag 124001/2682711 390.70/220.18 c cleaning 16004 clauses out of 32012 with flag 141001/2699711 393.39/221.55 c cleaning 17001 clauses out of 34008 with flag 159001/2717711 396.24/223.06 c cleaning 18003 clauses out of 36010 with flag 178004/2736714 399.34/224.61 c cleaning 18999 clauses out of 38003 with flag 198000/2756710 402.84/226.48 c cleaning 20003 clauses out of 40006 with flag 219002/2777712 406.94/228.50 c cleaning 20994 clauses out of 42001 with flag 241000/2799710 410.99/230.63 c cleaning 22003 clauses out of 44007 with flag 264000/2822710 415.48/232.95 c cleaning 23002 clauses out of 46004 with flag 288000/2846710 419.97/235.22 c cleaning 23994 clauses out of 48002 with flag 313000/2871710 424.25/237.44 c cleaning 24999 clauses out of 50008 with flag 339000/2897710 429.88/240.33 c cleaning 26007 clauses out of 52013 with flag 366004/2924714 435.99/243.40 c cleaning 27003 clauses out of 54006 with flag 394004/2952714 441.90/246.45 c cleaning 27994 clauses out of 55999 with flag 423000/2981710 447.58/249.38 c cleaning 28994 clauses out of 58005 with flag 453000/3011710 453.23/252.26 c cleaning 30001 clauses out of 60012 with flag 484001/3042711 459.31/255.31 c cleaning 31001 clauses out of 62011 with flag 516001/3074711 465.62/258.56 c cleaning 32005 clauses out of 64009 with flag 549000/3107710 472.50/262.03 c cleaning 33001 clauses out of 66004 with flag 583000/3141710 481.14/266.43 c cleaning 34002 clauses out of 68003 with flag 618000/3176710 488.24/270.09 c cleaning 34996 clauses out of 70001 with flag 654000/3212710 495.75/273.90 c cleaning 35998 clauses out of 72005 with flag 691000/3249710 502.82/277.41 c cleaning 37001 clauses out of 74007 with flag 729000/3287710 510.85/281.55 c cleaning 37998 clauses out of 76007 with flag 768001/3326711 518.32/285.31 c cleaning 39001 clauses out of 78008 with flag 808000/3366710 525.60/289.04 c cleaning 40001 clauses out of 80010 with flag 849003/3407713 534.91/293.71 c cleaning 41000 clauses out of 82006 with flag 891000/3449710 544.35/298.52 c cleaning 41998 clauses out of 84007 with flag 934001/3492711 553.43/303.12 c cleaning 43003 clauses out of 86008 with flag 978000/3536710 562.52/307.72 c cleaning 44002 clauses out of 88006 with flag 1023001/3581711 571.01/312.03 c cleaning 44996 clauses out of 90003 with flag 1069000/3627710 580.44/316.81 c cleaning 45994 clauses out of 92007 with flag 1116000/3674710 590.14/321.72 c cleaning 47006 clauses out of 94014 with flag 1164001/3722711 601.22/327.38 c cleaning 48002 clauses out of 96009 with flag 1213002/3771712 613.73/333.63 c cleaning 49002 clauses out of 98006 with flag 1263001/3821711 627.54/340.61 c cleaning 49996 clauses out of 100003 with flag 1314000/3872710 639.84/346.86 c cleaning 51003 clauses out of 102007 with flag 1366000/3924710 653.53/353.77 c cleaning 51997 clauses out of 104006 with flag 1419002/3977712 659.21/356.60 c And the winner is solver0 658.74/357.02 c Got one! Elapsed wall clock time (in seconds):356.908 658.74/357.02 o 12 660.50/357.97 c cleaning 40581 clauses out of 81184 with flag 5001/4006887 661.89/358.71 c cleaning 23291 clauses out of 46608 with flag 11006/4012892 662.77/359.28 c cleaning 15145 clauses out of 30312 with flag 18001/4019887 663.84/359.87 c cleaning 11575 clauses out of 23166 with flag 26000/4027886 664.92/360.48 c cleaning 10288 clauses out of 20591 with flag 35000/4036886 666.19/361.13 c cleaning 10142 clauses out of 20304 with flag 45001/4046887 667.68/361.92 c cleaning 10570 clauses out of 21162 with flag 56001/4057887 669.15/362.75 c cleaning 11286 clauses out of 22591 with flag 68000/4069886 671.04/363.72 c cleaning 12152 clauses out of 24316 with flag 81011/4082897 673.10/364.81 c cleaning 13065 clauses out of 26153 with flag 95000/4096886 675.19/365.92 c cleaning 14039 clauses out of 28092 with flag 110004/4111890 677.47/367.20 c cleaning 15014 clauses out of 30049 with flag 126000/4127886 679.96/368.44 c cleaning 16011 clauses out of 32039 with flag 143004/4144890 682.44/369.79 c cleaning 17004 clauses out of 34027 with flag 161003/4162889 685.32/371.26 c cleaning 17997 clauses out of 36021 with flag 180001/4181887 688.42/372.90 c cleaning 19012 clauses out of 38024 with flag 200001/4201887 692.29/374.84 c cleaning 20007 clauses out of 40015 with flag 221004/4222890 696.11/376.87 c cleaning 20996 clauses out of 42004 with flag 243000/4244886 700.39/379.00 c cleaning 22005 clauses out of 44015 with flag 266007/4267893 705.07/381.41 c cleaning 22995 clauses out of 46003 with flag 290000/4291886 710.34/384.16 c cleaning 24005 clauses out of 48010 with flag 315002/4316888 715.55/386.89 c cleaning 24996 clauses out of 50004 with flag 341001/4342887 721.43/389.82 c cleaning 26002 clauses out of 52009 with flag 368002/4369888 727.11/392.75 c cleaning 27002 clauses out of 54009 with flag 396004/4397890 733.59/396.02 c cleaning 28002 clauses out of 56005 with flag 425002/4426888 740.03/399.39 c cleaning 28997 clauses out of 58003 with flag 455002/4456888 747.51/403.10 c cleaning 30003 clauses out of 60006 with flag 486002/4487888 755.40/407.17 c cleaning 30997 clauses out of 62003 with flag 518002/4519888 763.07/411.06 c cleaning 32000 clauses out of 64008 with flag 551004/4552890 770.09/414.66 c cleaning 32998 clauses out of 66004 with flag 585000/4586886 777.55/418.44 c cleaning 34003 clauses out of 68006 with flag 620000/4621886 784.63/422.08 c cleaning 34996 clauses out of 70003 with flag 656000/4657886 792.90/426.29 c cleaning 36003 clauses out of 72009 with flag 693002/4694888 801.33/430.50 c cleaning 36998 clauses out of 74005 with flag 731001/4732887 811.09/435.47 c cleaning 37998 clauses out of 76006 with flag 770000/4771886 820.78/440.37 c cleaning 39003 clauses out of 78010 with flag 810002/4811888 832.27/446.13 c cleaning 40001 clauses out of 80005 with flag 851000/4852886 842.67/451.43 c cleaning 40997 clauses out of 82004 with flag 893000/4894886 855.35/457.87 c cleaning 41998 clauses out of 84007 with flag 936000/4937886 867.90/464.14 c cleaning 43001 clauses out of 86009 with flag 980000/4981886 880.78/470.63 c cleaning 43999 clauses out of 88008 with flag 1025000/5026886 890.77/475.78 c cleaning 44999 clauses out of 90009 with flag 1071000/5072886 900.86/480.81 c cleaning 46003 clauses out of 92010 with flag 1118000/5119886 909.57/485.28 c cleaning 47001 clauses out of 94009 with flag 1166002/5167888 919.24/490.14 c cleaning 48002 clauses out of 96006 with flag 1215000/5216886 929.43/495.38 c cleaning 48995 clauses out of 98006 with flag 1265002/5266888 942.15/501.78 c cleaning 49999 clauses out of 100010 with flag 1316001/5317887 955.62/508.51 c cleaning 51003 clauses out of 102011 with flag 1368001/5369887 969.35/515.42 c cleaning 52002 clauses out of 104007 with flag 1421000/5422886 982.58/522.12 c cleaning 53001 clauses out of 106006 with flag 1475001/5476887 997.65/529.76 c cleaning 53999 clauses out of 108004 with flag 1530000/5531886 1010.31/536.17 c cleaning 54996 clauses out of 110006 with flag 1586001/5587887 1026.38/544.27 c cleaning 55999 clauses out of 112009 with flag 1643000/5644886 1041.76/552.06 c cleaning 57002 clauses out of 114010 with flag 1701000/5702886 1057.04/559.80 c cleaning 58004 clauses out of 116009 with flag 1760001/5761887 1075.69/569.11 c cleaning 58997 clauses out of 118004 with flag 1820000/5821886 1093.57/578.10 c cleaning 60004 clauses out of 120007 with flag 1881000/5882886 1111.95/587.46 c cleaning 60994 clauses out of 122003 with flag 1943000/5944886 1132.81/597.93 c cleaning 62003 clauses out of 124010 with flag 2006001/6007887 1151.50/607.37 c cleaning 62997 clauses out of 126007 with flag 2070001/6071887 1170.36/616.89 c cleaning 64004 clauses out of 128010 with flag 2135001/6136887 1190.94/627.28 c cleaning 65003 clauses out of 130006 with flag 2201001/6202887 1212.81/638.29 c cleaning 66002 clauses out of 132003 with flag 2268001/6269887 1232.49/648.18 c cleaning 66996 clauses out of 134001 with flag 2336001/6337887 1251.35/657.66 c cleaning 67995 clauses out of 136004 with flag 2405000/6406886 1274.72/669.49 c cleaning 69000 clauses out of 138009 with flag 2475000/6476886 1300.17/682.25 c cleaning 70000 clauses out of 140009 with flag 2546000/6547886 1326.65/695.58 c cleaning 71005 clauses out of 142010 with flag 2618001/6619887 1355.31/709.91 c cleaning 71999 clauses out of 144004 with flag 2691000/6692886 1379.08/721.98 c cleaning 72998 clauses out of 146008 with flag 2765003/6766889 1404.34/734.69 c cleaning 74003 clauses out of 148011 with flag 2840004/6841890 1430.85/747.96 c cleaning 74998 clauses out of 150005 with flag 2916001/6917887 1456.53/760.88 c cleaning 76004 clauses out of 152009 with flag 2993003/6994889 1480.92/773.14 c cleaning 76996 clauses out of 154002 with flag 3071000/7072886 1516.51/790.96 c cleaning 77994 clauses out of 156007 with flag 3150001/7151887 1547.58/806.55 c cleaning 79004 clauses out of 158013 with flag 3230001/7231887 1574.25/820.07 c cleaning 79999 clauses out of 160009 with flag 3311001/7312887 1604.44/835.12 c cleaning 81000 clauses out of 162011 with flag 3393002/7394888 1634.96/850.42 c cleaning 82002 clauses out of 164010 with flag 3476001/7477887 1666.09/866.04 c cleaning 83000 clauses out of 166007 with flag 3560000/7561886 1704.52/885.37 c cleaning 83994 clauses out of 168007 with flag 3645000/7646886 1737.99/902.16 c cleaning 85004 clauses out of 170016 with flag 3731003/7732889 1768.10/917.12 c cleaning 86003 clauses out of 172011 with flag 3818002/7819888 1796.23/931.26 c cleaning 86999 clauses out of 174006 with flag 3906000/7907886 1799.40/932.91 c starts : 535 1799.40/932.91 c conflicts : 7923395 1799.40/932.91 c decisions : 8315441 1799.40/932.91 c propagations : 68153789 1799.40/932.91 c inspects : 11187991997 1799.40/932.91 c shortcuts : 0 1799.40/932.91 c learnt literals : 0 1799.40/932.91 c learnt binary clauses : 0 1799.40/932.91 c learnt ternary clauses : 0 1799.40/932.91 c learnt constraints : 7923396 1799.40/932.91 c ignored constraints : 0 1799.40/932.91 c root simplifications : 0 1799.40/932.91 c removed literals (reason simplification) : 53438394 1799.40/932.91 c reason swapping (by a shorter reason) : 0 1799.40/932.91 c Calls to reduceDB : 351 1799.40/932.91 c number of reductions to clauses (during analyze) : 0 1799.40/932.91 c number of learned constraints concerned by reduction : 0 1799.40/932.91 c number of learning phase by resolution : 0 1799.40/932.91 c number of learning phase by cutting planes : 0 1799.40/932.91 c speed (assignments/second) : 77035.2816575846 1799.40/932.91 c non guided choices 1178 1799.40/932.94 c learnt constraints type 1799.40/932.94 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 102772 1799.40/932.94 c constraints type 1799.40/932.94 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 13 1799.40/932.94 c 13 constraints processed. 1799.40/932.94 c constraints type 1799.40/932.94 c org.sat4j.pb.constraints.pb.MaxWatchPb => 13 1799.40/932.94 c 13 constraints processed. 1799.40/932.94 s SATISFIABLE 1799.40/932.94 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 x100 -x101 -x102 -x103 x104 -x105 -x106 x107 x108 -x109 -x110 -x111 x112 x113 x114 x115 x116 -x117 x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 x128 -x129 -x130 x131 x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 x140 x141 -x142 -x143 x144 x145 -x146 1799.40/932.94 c objective function=12 1799.40/932.94 c Total wall clock time (in seconds): 932.826
OK 12
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-3688212-1337875996/watcher-3688212-1337875996 -o /tmp/evaluation-result-3688212-1337875996/solver-3688212-1337875996 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688212-1337875996.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: 4.03 4.07 3.91 4/197 23452 /proc/meminfo: memFree=27552736/32873648 swapFree=6336/6336 [pid=23452] ppid=23450 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/23452/stat : 23452 (java) R 23450 23452 22409 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253726907 9515008 182 33554432000 1073741824 1073778376 140733233614768 140733233605800 213866331829 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/23452/statm: 2323 182 140 9 0 71 0 [startup+0.0705131 s] /proc/loadavg: 4.03 4.07 3.91 4/197 23452 /proc/meminfo: memFree=27552736/32873648 swapFree=6336/6336 [pid=23452] ppid=23450 vsize=9558412 CPUtime=0.04 cores=1,3,5,7 /proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 3212 0 1 0 4 0 0 0 20 0 18 0 253726907 9787813888 4421 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23452/statm: 2389603 4421 1759 9 0 2380296 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9558412 [startup+0.100256 s] /proc/loadavg: 4.03 4.07 3.91 4/197 23452 /proc/meminfo: memFree=27552736/32873648 swapFree=6336/6336 [pid=23452] ppid=23450 vsize=9558412 CPUtime=0.08 cores=1,3,5,7 /proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 4307 0 1 0 8 0 0 0 20 0 18 0 253726907 9787813888 5501 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23452/statm: 2389603 5501 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.300222 s] /proc/loadavg: 4.03 4.07 3.91 4/197 23452 /proc/meminfo: memFree=27552736/32873648 swapFree=6336/6336 [pid=23452] ppid=23450 vsize=9824668 CPUtime=0.46 cores=1,3,5,7 /proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 7530 0 1 0 43 3 0 0 20 0 19 0 253726907 10060460032 9280 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23452/statm: 2456167 9280 2220 9 0 2446860 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9824668 [startup+0.700206 s] /proc/loadavg: 4.03 4.07 3.91 4/197 23452 /proc/meminfo: memFree=27552736/32873648 swapFree=6336/6336 [pid=23452] ppid=23450 vsize=9824668 CPUtime=0.57 cores=1,3,5,7 /proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 7588 0 1 0 52 5 0 0 20 0 19 0 253726907 10060460032 10353 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23452/statm: 2456167 10353 2231 9 0 2446860 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9824668 [startup+1.50063 s] /proc/loadavg: 4.03 4.07 3.91 3/216 23477 /proc/meminfo: memFree=27520512/32873648 swapFree=6336/6336 [pid=23452] ppid=23450 vsize=9824668 CPUtime=0.85 cores=1,3,5,7 /proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 9936 0 1 0 77 8 0 0 20 0 19 0 253726907 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23452/statm: 2456167 12039 2238 9 0 2446860 0 [pid=23452/tid=23454] ppid=23450 vsize=9824668 CPUtime=0.13 cores=1,3,5,7 /proc/23452/task/23454/stat : 23454 (java) S 23450 23452 22409 0 -1 4202560 2439 0 1 0 13 0 0 0 20 0 19 0 253726908 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390914798584 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23455] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23455/stat : 23455 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390876289576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23456] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23456/stat : 23456 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390875236776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23457] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23457/stat : 23457 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390874183976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253726910 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.19 cores=1,3,5,7 /proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 1505 0 0 0 19 0 0 0 20 0 19 0 253726913 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=0.29 cores=1,3,5,7 /proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 4649 0 0 0 28 1 0 0 20 0 19 0 253726913 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23473] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23473/stat : 23473 (java) S 23450 23452 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253726924 10060460032 12039 33554432000 1073741824 1073778376 140735620352112 140390123393960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.85 Current children cumulated vsize (KiB) 9824668 [startup+3.10066 s] /proc/loadavg: 4.03 4.07 3.91 3/216 23483 /proc/meminfo: memFree=27511272/32873648 swapFree=6336/6336 [pid=23452] ppid=23450 vsize=9824668 CPUtime=3.49 cores=1,3,5,7 /proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 22243 0 1 0 334 15 0 0 20 0 19 0 253726907 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23452/statm: 2456167 37704 2278 9 0 2446860 0 [pid=23452/tid=23454] ppid=23450 vsize=9824668 CPUtime=0.13 cores=1,3,5,7 /proc/23452/task/23454/stat : 23454 (java) S 23450 23452 22409 0 -1 4202560 2440 0 1 0 13 0 0 0 20 0 19 0 253726908 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390914798584 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23455] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23455/stat : 23455 (java) S 23450 23452 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390876289576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23456] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23456/stat : 23456 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390875236776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23457] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23457/stat : 23457 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390874183976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 253726910 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.81 cores=1,3,5,7 /proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 5292 0 0 0 81 0 0 0 20 0 19 0 253726913 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=0.97 cores=1,3,5,7 /proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 13043 0 0 0 95 2 0 0 20 0 19 0 253726913 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37704 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.49 Current children cumulated vsize (KiB) 9824668 [startup+6.3007 s] /proc/loadavg: 3.87 4.03 3.90 3/216 23501 /proc/meminfo: memFree=27416008/32873648 swapFree=6336/6336 [pid=23452] ppid=23450 vsize=9824668 CPUtime=3.74 cores=1,3,5,7 /proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 22305 0 1 0 350 24 0 0 20 0 19 0 253726907 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23452/statm: 2456167 37589 2278 9 0 2446860 0 [pid=23452/tid=23454] ppid=23450 vsize=9824668 CPUtime=0.14 cores=1,3,5,7 /proc/23452/task/23454/stat : 23454 (java) S 23450 23452 22409 0 -1 4202560 2441 0 1 0 14 0 0 0 20 0 19 0 253726908 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390914798584 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23455] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23455/stat : 23455 (java) S 23450 23452 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390876289576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23456] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23456/stat : 23456 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390875236776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23457] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23457/stat : 23457 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390874183976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726909 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 253726910 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253726911 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.81 cores=1,3,5,7 /proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 5292 0 0 0 81 0 0 0 20 0 19 0 253726913 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=0.99 cores=1,3,5,7 /proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 13044 0 0 0 96 3 0 0 20 0 19 0 253726913 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253726913 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23489] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23489/stat : 23489 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253727224 10060460032 37589 33554432000 1073741824 1073778376 140735620352112 140390123393960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.74 Current children cumulated vsize (KiB) 9824668 heavy processes: [startup+12.7008 s] /proc/loadavg: 3.88 4.03 3.90 4/219 23510 ################ # More data... # ################ [pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=1.33 cores=1,3,5,7 /proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 912 0 0 0 128 5 0 0 20 0 22 0 253726909 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=1.39 cores=1,3,5,7 /proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1273 0 0 0 133 6 0 0 20 0 22 0 253726909 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=1.33 cores=1,3,5,7 /proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 909 0 0 0 126 7 0 0 20 0 22 0 253726909 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=1.51 cores=1,3,5,7 /proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 921 0 0 0 146 5 0 0 20 0 22 0 253726909 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=1.33 cores=1,3,5,7 /proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 882 0 0 0 127 6 0 0 20 0 22 0 253726909 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=39.26 cores=1,3,5,7 /proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 922 0 0 0 3901 25 0 0 20 0 22 0 253726910 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.84 cores=1,3,5,7 /proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 5295 0 0 0 84 0 0 0 20 0 22 0 253726913 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=1.32 cores=1,3,5,7 /proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 14748 0 0 0 129 3 0 0 20 0 22 0 253726913 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0.24 cores=1,3,5,7 /proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 51 0 0 0 10 14 0 0 20 0 22 0 253726913 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23513] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23513/stat : 23513 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253731728 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390123393960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23689] ppid=23450 vsize=9824668 CPUtime=509.26 cores=1,3,5,7 /proc/23452/task/23689/stat : 23689 (java) R 23450 23452 22409 0 -1 4202560 134 0 0 0 50919 7 0 0 20 0 22 0 253762610 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390122339360 140390754067841 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23690] ppid=23450 vsize=9824668 CPUtime=509.32 cores=1,3,5,7 /proc/23452/task/23690/stat : 23690 (java) R 23450 23452 22409 0 -1 4202560 627 0 0 0 50922 10 0 0 20 0 22 0 253762610 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390125498096 140390754342053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23691] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23691/stat : 23691 (java) S 23450 23452 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253762641 10060460032 253330 33554432000 1073741824 1073778376 140735620352112 140390124447016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1698.49 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+932.901 s] /proc/loadavg: 4.02 4.02 3.93 5/219 23696 /proc/meminfo: memFree=26454224/32873648 swapFree=6336/6336 [pid=23452] ppid=23450 vsize=9824668 CPUtime=1799.4 cores=1,3,5,7 /proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 35006 0 1 0 179732 208 0 0 20 0 22 0 253726907 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23452/statm: 2456167 285160 2280 9 0 2446860 0 [pid=23452/tid=23454] ppid=23450 vsize=9824668 CPUtime=0.2 cores=1,3,5,7 /proc/23452/task/23454/stat : 23454 (java) S 23450 23452 22409 0 -1 4202560 2519 0 1 0 18 2 0 0 20 0 22 0 253726908 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390914798584 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23455] ppid=23450 vsize=9824668 CPUtime=1.46 cores=1,3,5,7 /proc/23452/task/23455/stat : 23455 (java) S 23450 23452 22409 0 -1 4202560 745 0 0 0 140 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390876289576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23456] ppid=23450 vsize=9824668 CPUtime=1.52 cores=1,3,5,7 /proc/23452/task/23456/stat : 23456 (java) S 23450 23452 22409 0 -1 4202560 1084 0 0 0 148 4 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390875236776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23457] ppid=23450 vsize=9824668 CPUtime=1.57 cores=1,3,5,7 /proc/23452/task/23457/stat : 23457 (java) S 23450 23452 22409 0 -1 4202560 806 0 0 0 149 8 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390874183976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=1.46 cores=1,3,5,7 /proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 941 0 0 0 140 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=1.5 cores=1,3,5,7 /proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1283 0 0 0 144 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=1.49 cores=1,3,5,7 /proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 936 0 0 0 141 8 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=1.67 cores=1,3,5,7 /proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 944 0 0 0 161 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=1.48 cores=1,3,5,7 /proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 901 0 0 0 141 7 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=40.07 cores=1,3,5,7 /proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 980 0 0 0 3981 26 0 0 20 0 22 0 253726910 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.84 cores=1,3,5,7 /proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 5295 0 0 0 84 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=1.32 cores=1,3,5,7 /proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 14748 0 0 0 129 3 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0.26 cores=1,3,5,7 /proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 53 0 0 0 10 16 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23513] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23513/stat : 23513 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253731728 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390123393960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23689] ppid=23450 vsize=9824668 CPUtime=558.61 cores=1,3,5,7 /proc/23452/task/23689/stat : 23689 (java) R 23450 23452 22409 0 -1 4202560 137 0 0 0 55853 8 0 0 20 0 22 0 253762610 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390122341216 140390754213234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23690] ppid=23450 vsize=9824668 CPUtime=558.67 cores=1,3,5,7 /proc/23452/task/23690/stat : 23690 (java) R 23450 23452 22409 0 -1 4202560 637 0 0 0 55856 11 0 0 20 0 22 0 253762610 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390125497008 140390754165535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23691] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23691/stat : 23691 (java) S 23450 23452 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253762641 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390124447016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.4 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 [startup+932.901 s] /proc/loadavg: 4.02 4.02 3.93 5/219 23696 /proc/meminfo: memFree=26454224/32873648 swapFree=6336/6336 [pid=23452] ppid=23450 vsize=9824668 CPUtime=1799.4 cores=1,3,5,7 /proc/23452/stat : 23452 (java) S 23450 23452 22409 0 -1 4202496 35006 0 1 0 179732 208 0 0 20 0 22 0 253726907 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140735620343248 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23452/statm: 2456167 285160 2280 9 0 2446860 0 [pid=23452/tid=23454] ppid=23450 vsize=9824668 CPUtime=0.2 cores=1,3,5,7 /proc/23452/task/23454/stat : 23454 (java) S 23450 23452 22409 0 -1 4202560 2519 0 1 0 18 2 0 0 20 0 22 0 253726908 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390914798584 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23455] ppid=23450 vsize=9824668 CPUtime=1.46 cores=1,3,5,7 /proc/23452/task/23455/stat : 23455 (java) S 23450 23452 22409 0 -1 4202560 745 0 0 0 140 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390876289576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23456] ppid=23450 vsize=9824668 CPUtime=1.52 cores=1,3,5,7 /proc/23452/task/23456/stat : 23456 (java) S 23450 23452 22409 0 -1 4202560 1084 0 0 0 148 4 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390875236776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23457] ppid=23450 vsize=9824668 CPUtime=1.57 cores=1,3,5,7 /proc/23452/task/23457/stat : 23457 (java) S 23450 23452 22409 0 -1 4202560 806 0 0 0 149 8 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390874183976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23458] ppid=23450 vsize=9824668 CPUtime=1.46 cores=1,3,5,7 /proc/23452/task/23458/stat : 23458 (java) S 23450 23452 22409 0 -1 4202560 941 0 0 0 140 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390873131176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23459] ppid=23450 vsize=9824668 CPUtime=1.5 cores=1,3,5,7 /proc/23452/task/23459/stat : 23459 (java) S 23450 23452 22409 0 -1 4202560 1283 0 0 0 144 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390753627176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23460] ppid=23450 vsize=9824668 CPUtime=1.49 cores=1,3,5,7 /proc/23452/task/23460/stat : 23460 (java) S 23450 23452 22409 0 -1 4202560 936 0 0 0 141 8 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390752574376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23461] ppid=23450 vsize=9824668 CPUtime=1.67 cores=1,3,5,7 /proc/23452/task/23461/stat : 23461 (java) S 23450 23452 22409 0 -1 4202560 944 0 0 0 161 6 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390751521576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23462] ppid=23450 vsize=9824668 CPUtime=1.48 cores=1,3,5,7 /proc/23452/task/23462/stat : 23462 (java) S 23450 23452 22409 0 -1 4202560 901 0 0 0 141 7 0 0 20 0 22 0 253726909 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390750468776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23463] ppid=23450 vsize=9824668 CPUtime=40.07 cores=1,3,5,7 /proc/23452/task/23463/stat : 23463 (java) S 23450 23452 22409 0 -1 4202560 980 0 0 0 3981 26 0 0 20 0 22 0 253726910 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390738270696 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23464] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23464/stat : 23464 (java) S 23450 23452 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390132868344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23465] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23465/stat : 23465 (java) S 23450 23452 22409 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 253726911 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390131815432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23466] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23466/stat : 23466 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390130763920 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23467] ppid=23450 vsize=9824668 CPUtime=0.84 cores=1,3,5,7 /proc/23452/task/23467/stat : 23467 (java) S 23450 23452 22409 0 -1 4202560 5295 0 0 0 84 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390129712056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23468] ppid=23450 vsize=9824668 CPUtime=1.32 cores=1,3,5,7 /proc/23452/task/23468/stat : 23468 (java) S 23450 23452 22409 0 -1 4202560 14748 0 0 0 129 3 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390128659256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23452/tid=23469] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23469/stat : 23469 (java) S 23450 23452 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390127606648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23470] ppid=23450 vsize=9824668 CPUtime=0.26 cores=1,3,5,7 /proc/23452/task/23470/stat : 23470 (java) S 23450 23452 22409 0 -1 4202560 53 0 0 0 10 16 0 0 20 0 22 0 253726913 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390126554056 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23513] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23513/stat : 23513 (java) S 23450 23452 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253731728 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390123393960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23452/tid=23689] ppid=23450 vsize=9824668 CPUtime=558.61 cores=1,3,5,7 /proc/23452/task/23689/stat : 23689 (java) R 23450 23452 22409 0 -1 4202560 137 0 0 0 55853 8 0 0 20 0 22 0 253762610 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390122341216 140390754213234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23452/tid=23690] ppid=23450 vsize=9824668 CPUtime=558.67 cores=1,3,5,7 /proc/23452/task/23690/stat : 23690 (java) R 23450 23452 22409 0 -1 4202560 637 0 0 0 55856 11 0 0 20 0 22 0 253762610 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390125497008 140390754165535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23452/tid=23691] ppid=23450 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23452/task/23691/stat : 23691 (java) S 23450 23452 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253762641 10060460032 285160 33554432000 1073741824 1073778376 140735620352112 140390124447016 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.4 Current children cumulated vsize (KiB) 9824668 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23452 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=479197 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=421631 # CPU time returned by wait4() is 1796.9 # while last known CPU time is 1799.4 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.619926 # lost CPU user time (s): 0.699966 # lost CPU system time (s): -0.08 Real time (s): 932.953 CPU time (s): 1800.02 CPU user time (s): 1798.02 CPU system time (s): 2 CPU usage (%): 192.938 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.48 system time used= 2.42163 maximum resident set size= 1140784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35044 page faults= 1 swaps= 0 block input operations= 0 block output operations= 920 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 35056 involuntary context switches= 32682 runsolver used 3.35049 second user time and 8.00378 second system time The end
Begin job on node112 at 2012-05-24 18:13:16 IDJOB=3688212 IDBENCH=2902 IDSOLVER=2268 FILE ID=node112/3688212-1337875996 RUNJOBID= node112-1337871881-22426 PBS_JOBID= 14620092 Free space on /tmp= 71704 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_6_50_1.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688212-1337875996/watcher-3688212-1337875996 -o /tmp/evaluation-result-3688212-1337875996/solver-3688212-1337875996 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688212-1337875996.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=2101193667 node112.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.763 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.52 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.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 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.763 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.763 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.92 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.763 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.92 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.763 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.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27553116 kB Buffers: 192364 kB Cached: 3545816 kB SwapCached: 0 kB Active: 1291992 kB Inactive: 3264492 kB Active(anon): 820000 kB Inactive(anon): 508 kB Active(file): 471992 kB Inactive(file): 3263984 kB Unevictable: 6336 kB Mlocked: 6336 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 92 kB Writeback: 0 kB AnonPages: 836580 kB Mapped: 22564 kB Shmem: 200 kB Slab: 625848 kB SReclaimable: 69836 kB SUnreclaim: 556012 kB KernelStack: 1784 kB PageTables: 6340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1228032 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 770048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node112 at 2012-05-24 18:28:51