Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 163 | 1800.8 | 1777.94 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e1.opb |
| MD5SUM | 0d4648505d14cf43905d3198d6f686c2 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 162 |
| Best CPU time to get the best result obtained on this benchmark | 4.96025 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 162 |
| Optimality of the best value was proved | YES |
| Number of variables | 444 |
| Total number of constraints | 1408 |
| Number of constraints which are clauses | 1408 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 32 |
| Number of terms in the objective function | 444 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 444 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 444 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4085213-1465231609.opb 0.10/0.11 c reading problem ... 0.10/0.12 c objective function found 0.27/0.27 c ... done. Wall clock time 0.151s. 0.27/0.27 c declared #vars 444 0.27/0.27 c #constraints 1408 0.27/0.27 c constraints type 0.27/0.27 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 130 0.27/0.27 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1278 0.27/0.27 c 1408 constraints processed. 0.27/0.27 c objective function length is 444 literals 0.27/0.28 c SATISFIABLE 0.27/0.28 c OPTIMIZING... 0.27/0.28 c Got one! Elapsed wall clock time (in seconds):0.161 0.27/0.28 o 205 0.99/0.62 c Got one! Elapsed wall clock time (in seconds):0.503 0.99/0.62 o 204 0.99/0.67 c Got one! Elapsed wall clock time (in seconds):0.558 0.99/0.67 o 203 1.15/0.75 c Got one! Elapsed wall clock time (in seconds):0.636 1.15/0.75 o 202 1.26/0.83 c cleaning 3705 clauses out of 7410 with flag 2223/7410 1.62/1.13 c cleaning 4847 clauses out of 9705 with flag 15502/13410 1.92/1.45 c cleaning 5928 clauses out of 11858 with flag 31037/20410 2.32/1.85 c cleaning 6966 clauses out of 13931 with flag 48821/28411 2.43/1.95 c Got one! Elapsed wall clock time (in seconds):1.839 2.43/1.95 o 201 2.64/2.12 c cleaning 6163 clauses out of 12338 with flag 7141/33784 2.75/2.29 c Got one! Elapsed wall clock time (in seconds):2.174 2.75/2.29 o 200 2.87/2.39 c cleaning 5949 clauses out of 11897 with flag 4501/39506 3.16/2.66 c cleaning 5970 clauses out of 11950 with flag 17921/45508 3.46/3.00 c Got one! Elapsed wall clock time (in seconds):2.881 3.46/3.00 o 199 3.87/3.33 c cleaning 8954 clauses out of 17907 with flag 10904/57435 4.17/3.63 c cleaning 7476 clauses out of 14954 with flag 24216/63436 4.17/3.66 c Got one! Elapsed wall clock time (in seconds):3.544 4.17/3.66 o 198 4.47/3.92 c cleaning 6533 clauses out of 13069 with flag 11308/69027 4.67/4.20 c cleaning 6268 clauses out of 12535 with flag 24876/75026 5.08/4.53 c cleaning 6631 clauses out of 13268 with flag 40422/82027 5.47/4.93 c cleaning 7315 clauses out of 14636 with flag 58746/90026 5.99/5.44 c cleaning 8152 clauses out of 16320 with flag 80414/99025 5.99/5.50 c Got one! Elapsed wall clock time (in seconds):5.38 5.99/5.50 o 197 6.30/5.73 c cleaning 6649 clauses out of 13306 with flag 10877/104163 6.60/6.06 c cleaning 6323 clauses out of 12658 with flag 25596/110164 7.00/6.45 c Got one! Elapsed wall clock time (in seconds):6.34 7.00/6.45 o 196 7.46/6.82 c cleaning 9067 clauses out of 18139 with flag 13255/121968 7.76/7.18 c cleaning 7533 clauses out of 15077 with flag 28370/127973 8.26/7.61 c cleaning 7267 clauses out of 14538 with flag 45549/134967 8.26/7.68 c Got one! Elapsed wall clock time (in seconds):7.567 8.26/7.68 o 195 8.47/7.88 c cleaning 6313 clauses out of 12634 with flag 9709/140330 8.77/8.16 c cleaning 6156 clauses out of 12320 with flag 23475/146329 9.07/8.48 c cleaning 6576 clauses out of 13163 with flag 39795/153328 9.57/8.91 c cleaning 7294 clauses out of 14588 with flag 58123/161329 9.57/8.96 c Got one! Elapsed wall clock time (in seconds):8.849 9.57/8.96 o 194 9.88/9.22 c cleaning 6643 clauses out of 13291 with flag 11800/167326 10.18/9.53 c cleaning 6321 clauses out of 12647 with flag 26261/173325 10.48/9.89 c cleaning 6662 clauses out of 13326 with flag 42365/180325 10.98/10.30 c cleaning 7332 clauses out of 14665 with flag 61403/188326 11.38/10.76 c cleaning 8164 clauses out of 16332 with flag 82633/197325 11.98/11.35 c cleaning 9084 clauses out of 18168 with flag 105910/207325 12.58/12.00 c cleaning 10033 clauses out of 20085 with flag 131951/218326 13.38/12.76 c cleaning 11026 clauses out of 22051 with flag 160260/230325 14.18/13.51 c cleaning 12013 clauses out of 24026 with flag 191157/243326 15.20/14.54 c cleaning 13004 clauses out of 26014 with flag 223807/257327 16.40/15.70 c cleaning 14004 clauses out of 28008 with flag 259072/272325 17.60/16.97 c cleaning 14997 clauses out of 30008 with flag 297083/288329 18.50/17.86 c Got one! Elapsed wall clock time (in seconds):17.748 18.50/17.86 o 193 19.01/18.33 c cleaning 15752 clauses out of 31504 with flag 12553/304822 19.42/18.73 c cleaning 10860 clauses out of 21751 with flag 26796/310821 19.81/19.16 c cleaning 8939 clauses out of 17889 with flag 43765/317819 20.31/19.63 c cleaning 8457 clauses out of 16950 with flag 63334/325819 20.91/20.20 c cleaning 8744 clauses out of 17493 with flag 84727/334819 21.21/20.55 c Got one! Elapsed wall clock time (in seconds):20.438 21.21/20.55 o 192 21.51/20.85 c cleaning 9955 clauses out of 19919 with flag 12337/345989 21.62/20.94 c Got one! Elapsed wall clock time (in seconds):20.829 21.62/20.94 o 191 21.83/21.14 c Got one! Elapsed wall clock time (in seconds):21.024 21.83/21.14 o 190 21.93/21.20 c cleaning 8313 clauses out of 16639 with flag 2458/352664 22.03/21.34 c Got one! Elapsed wall clock time (in seconds):21.228 22.03/21.34 o 189 22.13/21.46 c cleaning 6659 clauses out of 13327 with flag 4560/357665 22.13/21.49 c Got one! Elapsed wall clock time (in seconds):21.376 22.13/21.49 o 188 22.23/21.51 c Got one! Elapsed wall clock time (in seconds):21.39 22.23/21.51 o 187 22.23/21.53 c Got one! Elapsed wall clock time (in seconds):21.417 22.23/21.53 o 186 22.23/21.55 c Got one! Elapsed wall clock time (in seconds):21.438 22.23/21.55 o 185 22.53/21.86 c cleaning 6931 clauses out of 13871 with flag 11914/364868 22.84/22.15 c cleaning 6458 clauses out of 12936 with flag 26223/370864 23.15/22.49 c cleaning 6729 clauses out of 13481 with flag 43938/377867 23.67/22.94 c cleaning 7373 clauses out of 14750 with flag 63837/385865 24.17/23.44 c cleaning 8188 clauses out of 16377 with flag 85957/394865 24.77/24.09 c cleaning 9093 clauses out of 18196 with flag 110715/404872 24.87/24.16 c Got one! Elapsed wall clock time (in seconds):24.045 24.87/24.16 o 184 25.08/24.37 c cleaning 7258 clauses out of 14525 with flag 9944/410294 25.37/24.68 c cleaning 6627 clauses out of 13267 with flag 24827/416294 25.77/25.02 c Got one! Elapsed wall clock time (in seconds):24.908 25.77/25.02 o 183 26.12/25.34 c cleaning 9040 clauses out of 18083 with flag 12451/427737 26.41/25.66 c cleaning 7517 clauses out of 15041 with flag 26943/433735 26.51/25.72 c Got one! Elapsed wall clock time (in seconds):25.603 26.51/25.72 o 182 26.75/25.93 c cleaning 6502 clauses out of 13017 with flag 9777/439228 27.05/26.23 c cleaning 6252 clauses out of 12515 with flag 24630/445228 27.45/26.65 c cleaning 6634 clauses out of 13268 with flag 41410/452233 27.95/27.10 c cleaning 7318 clauses out of 14635 with flag 61014/460234 28.46/27.63 c cleaning 8149 clauses out of 16311 with flag 83975/469228 29.05/28.27 c cleaning 9078 clauses out of 18162 with flag 109034/479228 29.75/28.96 c cleaning 10041 clauses out of 20088 with flag 136565/490232 30.05/29.24 c Got one! Elapsed wall clock time (in seconds):29.121 30.05/29.24 o 181 30.45/29.61 c cleaning 10092 clauses out of 20184 with flag 12272/500369 30.75/29.94 c cleaning 8047 clauses out of 16098 with flag 27253/506375 31.15/30.32 c cleaning 7520 clauses out of 15045 with flag 44882/513369 31.55/30.75 c cleaning 7757 clauses out of 15528 with flag 64620/521372 32.07/31.29 c cleaning 8374 clauses out of 16768 with flag 86922/530369 32.67/31.90 c cleaning 9195 clauses out of 18394 with flag 111515/540369 33.37/32.51 c cleaning 10101 clauses out of 20201 with flag 138212/551371 34.17/33.30 c cleaning 11050 clauses out of 22103 with flag 167672/563374 34.97/34.12 c cleaning 12021 clauses out of 24049 with flag 200133/576370 35.87/35.00 c cleaning 13011 clauses out of 26033 with flag 235468/590375 36.97/36.15 c cleaning 14006 clauses out of 28017 with flag 272415/605370 38.17/37.31 c cleaning 15003 clauses out of 30013 with flag 311718/621372 39.47/38.64 c cleaning 15994 clauses out of 32007 with flag 353319/638369 40.57/39.77 c Got one! Elapsed wall clock time (in seconds):39.652 40.57/39.77 o 180 40.97/40.15 c cleaning 18164 clauses out of 36332 with flag 14651/658688 41.46/40.57 c cleaning 12076 clauses out of 24167 with flag 29722/664687 41.86/40.97 c cleaning 9545 clauses out of 19092 with flag 47322/671688 42.26/41.39 c cleaning 8761 clauses out of 17546 with flag 67395/679687 42.87/41.91 c cleaning 8888 clauses out of 17785 with flag 89627/688687 43.46/42.53 c cleaning 9444 clauses out of 18903 with flag 114414/698693 44.16/43.21 c cleaning 10222 clauses out of 20453 with flag 141689/709687 44.97/44.02 c cleaning 11112 clauses out of 22236 with flag 171861/721692 45.07/44.17 c Got one! Elapsed wall clock time (in seconds):44.051 45.07/44.17 o 179 45.26/44.34 c cleaning 8452 clauses out of 16930 with flag 7477/727498 45.56/44.66 c cleaning 7230 clauses out of 14480 with flag 22275/733500 45.96/45.03 c cleaning 7110 clauses out of 14248 with flag 39880/740498 46.36/45.46 c cleaning 7564 clauses out of 15141 with flag 59880/748501 46.86/45.96 c cleaning 8288 clauses out of 16575 with flag 82820/757499 47.16/46.30 c Got one! Elapsed wall clock time (in seconds):46.182 47.16/46.30 o 178 47.46/46.59 c cleaning 9888 clauses out of 19787 with flag 12422/768999 47.86/46.92 c cleaning 7933 clauses out of 15896 with flag 27710/774996 48.16/47.29 c cleaning 7463 clauses out of 14962 with flag 44948/781995 48.66/47.76 c cleaning 7743 clauses out of 15499 with flag 64846/789995 49.26/48.31 c cleaning 8381 clauses out of 16764 with flag 86724/799003 49.78/48.84 c Got one! Elapsed wall clock time (in seconds):48.726 49.78/48.84 o 177 50.08/49.17 c cleaning 10841 clauses out of 21682 with flag 12386/812302 50.49/49.53 c cleaning 8422 clauses out of 16843 with flag 27586/818304 50.88/49.92 c Got one! Elapsed wall clock time (in seconds):49.804 50.88/49.92 o 176 51.18/50.28 c cleaning 10020 clauses out of 20070 with flag 12856/829953 51.59/50.64 c cleaning 8005 clauses out of 16049 with flag 28021/835952 51.99/51.05 c cleaning 7503 clauses out of 15047 with flag 45051/842955 52.39/51.46 c cleaning 7767 clauses out of 15541 with flag 65023/850952 52.98/52.00 c cleaning 8384 clauses out of 16775 with flag 87616/859953 53.48/52.59 c cleaning 9184 clauses out of 18391 with flag 112180/869953 54.18/53.22 c cleaning 10099 clauses out of 20206 with flag 140751/880952 54.89/53.95 c cleaning 11043 clauses out of 22108 with flag 171139/892953 55.58/54.69 c cleaning 12030 clauses out of 24065 with flag 203952/905953 56.58/55.63 c cleaning 13016 clauses out of 26035 with flag 238802/919953 57.48/56.58 c cleaning 14005 clauses out of 28018 with flag 277713/934952 58.82/57.82 c cleaning 14996 clauses out of 30014 with flag 321609/950953 59.22/58.21 c Got one! Elapsed wall clock time (in seconds):58.092 59.22/58.21 o 175 59.52/58.54 c cleaning 12980 clauses out of 25979 with flag 13849/961914 59.82/58.85 c cleaning 9499 clauses out of 19000 with flag 29309/967915 60.22/59.21 c cleaning 8251 clauses out of 16501 with flag 47338/974915 60.62/59.65 c cleaning 8121 clauses out of 16250 with flag 69170/982915 61.12/60.18 c cleaning 8562 clauses out of 17129 with flag 94797/991915 61.82/60.81 c cleaning 9280 clauses out of 18568 with flag 123545/1001916 62.02/61.02 c Got one! Elapsed wall clock time (in seconds):60.905 62.02/61.02 o 174 62.12/61.13 c cleaning 7551 clauses out of 15118 with flag 5180/1007746 62.42/61.45 c cleaning 6767 clauses out of 13566 with flag 21829/1013745 62.82/61.84 c cleaning 6898 clauses out of 13799 with flag 41360/1020745 63.32/62.30 c Got one! Elapsed wall clock time (in seconds):62.188 63.32/62.30 o 173 63.52/62.57 c cleaning 9882 clauses out of 19764 with flag 14767/1033608 63.82/62.88 c cleaning 7936 clauses out of 15882 with flag 32668/1039608 64.22/63.25 c cleaning 7454 clauses out of 14945 with flag 53280/1046607 64.62/63.64 c cleaning 7745 clauses out of 15493 with flag 80674/1054609 65.12/64.11 c cleaning 8373 clauses out of 16746 with flag 108504/1063607 65.66/64.67 c cleaning 9185 clauses out of 18373 with flag 137857/1073607 66.40/65.34 c cleaning 10090 clauses out of 20189 with flag 168735/1084608 67.11/66.10 c cleaning 11042 clauses out of 22101 with flag 202093/1096610 68.10/67.01 c cleaning 12022 clauses out of 24057 with flag 239369/1109608 68.31/67.26 c Got one! Elapsed wall clock time (in seconds):67.144 68.31/67.26 o 172 68.40/67.32 c cleaning 8778 clauses out of 17567 with flag 2463/1115140 68.70/67.63 c cleaning 7395 clauses out of 14789 with flag 18661/1121140 69.00/67.98 c cleaning 7185 clauses out of 14394 with flag 39800/1128140 69.50/68.42 c cleaning 7605 clauses out of 15209 with flag 62742/1136140 69.91/68.84 c Got one! Elapsed wall clock time (in seconds):68.724 69.91/68.84 o 171 70.21/69.11 c cleaning 9966 clauses out of 19931 with flag 15389/1148467 70.41/69.39 c cleaning 7978 clauses out of 15965 with flag 33586/1154467 70.81/69.71 c cleaning 7484 clauses out of 14987 with flag 55264/1161467 71.11/70.08 c cleaning 7747 clauses out of 15502 with flag 81373/1169466 71.61/70.55 c cleaning 8374 clauses out of 16756 with flag 109730/1178467 72.21/71.10 c cleaning 9185 clauses out of 18381 with flag 137070/1188466 72.81/71.75 c Got one! Elapsed wall clock time (in seconds):71.634 72.81/71.75 o 170 73.00/71.97 c cleaning 12591 clauses out of 25181 with flag 10773/1204451 73.38/72.26 c cleaning 9292 clauses out of 18589 with flag 26426/1210450 73.67/72.54 c cleaning 8143 clauses out of 16297 with flag 45744/1217450 73.97/72.85 c cleaning 8073 clauses out of 16155 with flag 68499/1225451 74.37/73.26 c cleaning 8541 clauses out of 17082 with flag 91969/1234451 74.77/73.70 c cleaning 9262 clauses out of 18540 with flag 118484/1244450 75.27/74.19 c cleaning 10139 clauses out of 20279 with flag 147973/1255451 75.87/74.71 c cleaning 11070 clauses out of 22140 with flag 180351/1267451 76.47/75.33 c cleaning 12020 clauses out of 24069 with flag 218662/1280450 77.18/76.02 c cleaning 13020 clauses out of 26049 with flag 258804/1294450 77.87/76.74 c cleaning 14014 clauses out of 28031 with flag 303001/1309452 78.67/77.58 c cleaning 14998 clauses out of 30016 with flag 347114/1325451 79.58/78.46 c cleaning 16003 clauses out of 32018 with flag 397094/1342451 80.64/79.45 c cleaning 17005 clauses out of 34015 with flag 448481/1360451 81.65/80.49 c cleaning 18005 clauses out of 36009 with flag 501798/1379450 82.84/81.61 c cleaning 18995 clauses out of 38005 with flag 555501/1399451 83.94/82.74 c cleaning 19995 clauses out of 40009 with flag 616105/1420450 85.14/83.97 c cleaning 20994 clauses out of 42014 with flag 682451/1442450 86.44/85.21 c cleaning 22001 clauses out of 44022 with flag 751033/1465452 87.84/86.62 c cleaning 23007 clauses out of 46019 with flag 820376/1489450 89.31/88.03 c cleaning 23999 clauses out of 48012 with flag 893870/1514450 90.80/89.58 c cleaning 25004 clauses out of 50015 with flag 970734/1540452 92.50/91.22 c cleaning 25998 clauses out of 52009 with flag 1050513/1567450 94.20/92.99 c cleaning 27002 clauses out of 54012 with flag 1128367/1595451 96.10/94.84 c cleaning 28002 clauses out of 56009 with flag 1212584/1624450 98.22/96.83 c cleaning 29001 clauses out of 58009 with flag 1291917/1654452 100.31/98.93 c cleaning 29987 clauses out of 60007 with flag 1374647/1685451 102.30/100.94 c cleaning 30997 clauses out of 62019 with flag 1464966/1717450 104.30/102.99 c cleaning 32002 clauses out of 64022 with flag 1559068/1750450 106.82/105.39 c cleaning 32995 clauses out of 66020 with flag 1664709/1784450 109.22/107.79 c cleaning 33996 clauses out of 68025 with flag 1760644/1819450 111.72/110.25 c cleaning 35013 clauses out of 70030 with flag 1868639/1855451 114.39/112.83 c cleaning 36005 clauses out of 72017 with flag 1979761/1892451 117.09/115.56 c cleaning 37001 clauses out of 74011 with flag 2096201/1930450 119.99/118.43 c cleaning 37997 clauses out of 76011 with flag 2212989/1969451 122.90/121.23 c cleaning 39007 clauses out of 78013 with flag 2334287/2009450 125.90/124.21 c cleaning 39996 clauses out of 80006 with flag 2452597/2050450 129.20/127.51 c cleaning 41001 clauses out of 82012 with flag 2574695/2092452 133.02/131.20 c cleaning 42000 clauses out of 84010 with flag 2697673/2135451 136.22/134.49 c cleaning 43002 clauses out of 86011 with flag 2826712/2179452 140.03/138.11 c cleaning 43996 clauses out of 88007 with flag 2951762/2224450 143.84/141.93 c cleaning 44986 clauses out of 90011 with flag 3085320/2270450 147.53/145.61 c cleaning 46005 clauses out of 92025 with flag 3224969/2317450 151.23/149.20 c cleaning 47010 clauses out of 94020 with flag 3362951/2365450 154.83/152.89 c cleaning 47995 clauses out of 96010 with flag 3503281/2414450 159.52/157.45 c cleaning 49006 clauses out of 98017 with flag 3642656/2464452 163.82/161.78 c cleaning 49999 clauses out of 100010 with flag 3793601/2515451 168.57/166.43 c cleaning 50990 clauses out of 102010 with flag 3939600/2567450 173.07/170.97 c cleaning 51994 clauses out of 104020 with flag 4102375/2620450 177.85/175.62 c cleaning 53008 clauses out of 106026 with flag 4259891/2674450 183.15/180.91 c cleaning 54003 clauses out of 108019 with flag 4418634/2729451 188.38/186.16 c cleaning 54999 clauses out of 110015 with flag 4582462/2785450 193.53/191.27 c cleaning 55998 clauses out of 112017 with flag 4753355/2842451 198.14/195.89 c cleaning 57001 clauses out of 114018 with flag 4922597/2900450 204.96/202.60 c cleaning 58005 clauses out of 116018 with flag 5079110/2959451 211.58/209.15 c cleaning 58994 clauses out of 118012 with flag 5258263/3019450 218.37/215.93 c cleaning 59993 clauses out of 120018 with flag 5418009/3080450 224.96/222.44 c cleaning 61009 clauses out of 122028 with flag 5582659/3142453 231.19/228.67 c cleaning 62005 clauses out of 124016 with flag 5760721/3205450 237.04/234.45 c cleaning 63003 clauses out of 126012 with flag 5951695/3269451 244.73/242.02 c cleaning 63995 clauses out of 128009 with flag 6145330/3334451 244.83/242.18 c Got one! Elapsed wall clock time (in seconds):242.066 244.83/242.18 o 169 245.22/242.55 c cleaning 34724 clauses out of 69463 with flag 7829/3339900 245.62/242.93 c cleaning 20362 clauses out of 40739 with flag 27995/3345900 246.02/243.30 c cleaning 13681 clauses out of 27376 with flag 51241/3352899 246.32/243.65 c cleaning 10834 clauses out of 21695 with flag 77077/3360899 246.72/244.05 c cleaning 9925 clauses out of 19861 with flag 106796/3369899 247.22/244.54 c cleaning 9959 clauses out of 19936 with flag 142505/3379899 247.72/245.06 c cleaning 10482 clauses out of 20978 with flag 179099/3390900 248.32/245.66 c cleaning 11243 clauses out of 22497 with flag 218252/3402901 249.06/246.31 c cleaning 12121 clauses out of 24253 with flag 260263/3415900 249.76/247.07 c cleaning 13063 clauses out of 26131 with flag 301120/3429899 250.66/247.97 c cleaning 14029 clauses out of 28068 with flag 344328/3444899 251.66/248.95 c cleaning 15015 clauses out of 30039 with flag 390300/3460899 252.81/250.06 c cleaning 16015 clauses out of 32029 with flag 439176/3477904 254.01/251.29 c cleaning 17003 clauses out of 34010 with flag 490877/3495900 255.41/252.61 c cleaning 17994 clauses out of 36006 with flag 545642/3514899 255.92/253.13 c Got one! Elapsed wall clock time (in seconds):253.012 255.92/253.13 o 168 256.14/253.39 c cleaning 15719 clauses out of 31438 with flag 13952/3528325 256.44/253.67 c cleaning 10858 clauses out of 21719 with flag 29169/3534325 256.74/253.94 c cleaning 8922 clauses out of 17861 with flag 47103/3541325 257.05/254.26 c cleaning 8464 clauses out of 16940 with flag 67847/3549326 257.45/254.62 c cleaning 8735 clauses out of 17475 with flag 92889/3558325 257.85/255.01 c cleaning 9363 clauses out of 18740 with flag 122629/3568325 258.25/255.46 c cleaning 10186 clauses out of 20377 with flag 154314/3579325 258.85/256.03 c cleaning 11093 clauses out of 22191 with flag 182799/3591325 259.35/256.57 c cleaning 12050 clauses out of 24101 with flag 219491/3604328 260.05/257.22 c cleaning 13021 clauses out of 26049 with flag 257922/3618326 260.76/257.92 c cleaning 14010 clauses out of 28027 with flag 298681/3633325 261.47/258.64 c cleaning 15005 clauses out of 30017 with flag 340928/3649325 262.26/259.41 c cleaning 16001 clauses out of 32012 with flag 389354/3666325 263.06/260.26 c cleaning 16995 clauses out of 34011 with flag 440269/3684325 264.18/261.31 c cleaning 18003 clauses out of 36016 with flag 494902/3703325 265.18/262.38 c cleaning 19002 clauses out of 38013 with flag 545442/3723325 266.48/263.60 c cleaning 20006 clauses out of 40011 with flag 600343/3744325 267.78/264.97 c cleaning 20992 clauses out of 42006 with flag 654812/3766326 269.12/266.29 c cleaning 21996 clauses out of 44013 with flag 713968/3789325 270.41/267.55 c cleaning 23003 clauses out of 46019 with flag 783255/3813327 272.01/269.14 c cleaning 24002 clauses out of 48014 with flag 847840/3838325 273.54/270.65 c cleaning 25000 clauses out of 50012 with flag 922949/3864325 275.23/272.30 c cleaning 26002 clauses out of 52012 with flag 1004246/3891325 276.89/273.98 c cleaning 27005 clauses out of 54011 with flag 1084125/3919326 278.68/275.72 c cleaning 28003 clauses out of 56005 with flag 1166723/3948325 280.48/277.58 c cleaning 28993 clauses out of 58002 with flag 1251318/3978325 282.52/279.57 c cleaning 29997 clauses out of 60010 with flag 1339025/4009326 284.52/281.51 c cleaning 31007 clauses out of 62013 with flag 1430413/4041326 286.95/283.92 c cleaning 31992 clauses out of 64005 with flag 1518590/4074325 289.15/286.16 c cleaning 33004 clauses out of 66013 with flag 1622449/4108325 291.68/288.65 c cleaning 33998 clauses out of 68009 with flag 1719094/4143325 294.08/291.02 c cleaning 34994 clauses out of 70011 with flag 1811920/4179325 296.73/293.67 c cleaning 36008 clauses out of 72019 with flag 1910927/4216327 299.26/296.16 c cleaning 36996 clauses out of 74010 with flag 2019775/4254326 302.16/299.00 c cleaning 37992 clauses out of 76015 with flag 2133548/4293327 305.19/302.01 c cleaning 39008 clauses out of 78021 with flag 2242967/4333325 307.90/304.73 c cleaning 39993 clauses out of 80013 with flag 2356990/4374325 311.21/308.02 c cleaning 41010 clauses out of 82020 with flag 2474094/4416325 314.33/311.12 c cleaning 42003 clauses out of 84010 with flag 2588322/4459325 317.33/314.18 c cleaning 43001 clauses out of 86009 with flag 2701891/4503327 321.35/318.16 c cleaning 44003 clauses out of 88006 with flag 2822421/4548325 325.29/322.09 c cleaning 44996 clauses out of 90005 with flag 2941729/4594327 329.45/326.13 c cleaning 46004 clauses out of 92007 with flag 3064717/4641325 333.77/330.44 c cleaning 46997 clauses out of 94004 with flag 3190264/4689326 337.57/334.25 c cleaning 47997 clauses out of 96006 with flag 3323018/4738325 342.01/338.61 c cleaning 49000 clauses out of 98009 with flag 3451631/4788325 347.04/343.69 c cleaning 50005 clauses out of 100009 with flag 3586828/4839325 352.76/349.35 c cleaning 50997 clauses out of 102004 with flag 3725382/4891325 357.49/354.00 c cleaning 52002 clauses out of 104007 with flag 3870994/4944325 362.04/358.56 c cleaning 52996 clauses out of 106005 with flag 4004218/4998325 367.10/363.53 c cleaning 53999 clauses out of 108009 with flag 4141514/5053325 374.35/370.73 c cleaning 54998 clauses out of 110010 with flag 4285743/5109325 382.08/378.42 c cleaning 56003 clauses out of 112013 with flag 4432970/5166326 388.62/384.93 c cleaning 57003 clauses out of 114009 with flag 4576987/5224325 393.97/390.24 c cleaning 58000 clauses out of 116007 with flag 4728773/5283326 400.10/396.38 c cleaning 58999 clauses out of 118006 with flag 4885641/5343325 406.24/402.42 c cleaning 60002 clauses out of 120007 with flag 5049896/5404325 412.73/408.80 c cleaning 60997 clauses out of 122006 with flag 5202058/5466326 419.99/416.06 c cleaning 62000 clauses out of 124008 with flag 5353937/5529325 433.03/429.07 c cleaning 63001 clauses out of 126008 with flag 5505691/5593325 439.72/435.69 c cleaning 63996 clauses out of 128007 with flag 5676028/5658325 446.49/442.33 c cleaning 65002 clauses out of 130011 with flag 5847336/5724325 455.38/451.12 c cleaning 66000 clauses out of 132010 with flag 6008703/5791326 462.53/458.29 c cleaning 66994 clauses out of 134009 with flag 6203176/5859325 469.91/465.58 c cleaning 68006 clauses out of 136018 with flag 6406305/5928328 476.76/472.31 c cleaning 68997 clauses out of 138009 with flag 6610592/5998325 483.73/479.28 c cleaning 69994 clauses out of 140012 with flag 6815329/6069325 491.44/486.89 c cleaning 71003 clauses out of 142019 with flag 7018460/6141326 498.93/494.26 c cleaning 72008 clauses out of 144015 with flag 7208728/6214325 506.83/502.04 c cleaning 72988 clauses out of 146007 with flag 7422289/6288325 515.38/510.47 c cleaning 74009 clauses out of 148020 with flag 7623170/6363326 526.83/521.76 c cleaning 75001 clauses out of 150010 with flag 7823862/6439325 537.80/532.61 c cleaning 76001 clauses out of 152009 with flag 8034931/6516325 543.04/537.75 c Got one! Elapsed wall clock time (in seconds):537.63 543.04/537.75 o 167 543.74/538.47 c cleaning 70538 clauses out of 141096 with flag 10358/6581413 544.35/539.07 c cleaning 38267 clauses out of 76558 with flag 24141/6587413 544.84/539.52 c cleaning 22642 clauses out of 45293 with flag 44080/6594415 545.14/539.90 c cleaning 15319 clauses out of 30649 with flag 66460/6602413 545.55/540.29 c cleaning 12158 clauses out of 24331 with flag 91236/6611414 546.06/540.73 c cleaning 11077 clauses out of 22172 with flag 114381/6621413 546.57/541.25 c cleaning 11031 clauses out of 22094 with flag 148727/6632412 547.17/541.85 c cleaning 11526 clauses out of 23063 with flag 180881/6644412 547.99/542.62 c cleaning 12264 clauses out of 24537 with flag 214180/6657412 548.69/543.40 c cleaning 13132 clauses out of 26273 with flag 250138/6671412 549.51/544.10 c cleaning 14066 clauses out of 28141 with flag 293106/6686412 550.21/544.89 c cleaning 15029 clauses out of 30076 with flag 340413/6702413 551.23/545.81 c cleaning 16021 clauses out of 32049 with flag 405037/6719415 552.33/546.91 c cleaning 17010 clauses out of 34025 with flag 445114/6737412 553.65/548.26 c cleaning 18005 clauses out of 36015 with flag 484628/6756412 555.18/549.71 c cleaning 19006 clauses out of 38011 with flag 526095/6776413 556.71/551.27 c cleaning 20001 clauses out of 40005 with flag 569865/6797413 558.30/552.89 c cleaning 21000 clauses out of 42004 with flag 615704/6819413 560.45/554.92 c cleaning 22001 clauses out of 44004 with flag 663654/6842413 562.28/556.72 c cleaning 22993 clauses out of 46002 with flag 714469/6866412 564.32/558.72 c cleaning 24005 clauses out of 48010 with flag 780887/6891413 566.14/560.59 c cleaning 24991 clauses out of 50004 with flag 859648/6917412 568.45/562.88 c cleaning 26001 clauses out of 52013 with flag 936735/6944412 570.57/564.94 c cleaning 27000 clauses out of 54012 with flag 1017445/6972412 572.71/567.04 c cleaning 28002 clauses out of 56014 with flag 1113382/7001414 574.72/569.08 c cleaning 28998 clauses out of 58010 with flag 1204044/7031412 577.37/571.65 c cleaning 30007 clauses out of 60014 with flag 1292387/7062414 580.94/575.14 c cleaning 31001 clauses out of 62007 with flag 1384283/7094414 584.59/578.75 c Got one! Elapsed wall clock time (in seconds):578.636 584.59/578.75 o 166 585.19/579.39 c cleaning 33821 clauses out of 67641 with flag 10102/7131049 585.99/580.18 c cleaning 19907 clauses out of 39820 with flag 22103/7137049 586.51/580.62 c cleaning 13453 clauses out of 26914 with flag 36129/7144050 586.91/581.01 c cleaning 10724 clauses out of 21460 with flag 53281/7152049 587.21/581.38 c cleaning 9859 clauses out of 19736 with flag 74850/7161049 587.61/581.77 c cleaning 9933 clauses out of 19878 with flag 103116/7171050 588.15/582.20 c cleaning 10467 clauses out of 20946 with flag 132942/7182051 588.55/582.68 c cleaning 11237 clauses out of 22480 with flag 164799/7194052 589.17/583.25 c cleaning 12111 clauses out of 24240 with flag 199085/7207049 589.87/583.96 c cleaning 13065 clauses out of 26130 with flag 231658/7221050 591.39/585.41 c cleaning 14033 clauses out of 28065 with flag 261659/7236050 593.19/587.22 c cleaning 15014 clauses out of 30032 with flag 293662/7252050 595.10/589.12 c cleaning 16009 clauses out of 32018 with flag 327662/7269050 596.13/590.17 c cleaning 16996 clauses out of 34008 with flag 366731/7287049 597.03/591.01 c cleaning 18003 clauses out of 36014 with flag 416231/7306051 598.04/592.09 c cleaning 18987 clauses out of 38009 with flag 464994/7326049 599.26/593.26 c cleaning 20008 clauses out of 40022 with flag 519870/7347049 600.90/594.84 c cleaning 21006 clauses out of 42014 with flag 575801/7369049 602.74/596.64 c cleaning 22003 clauses out of 44008 with flag 634267/7392049 604.36/598.22 c cleaning 22986 clauses out of 46005 with flag 692702/7416049 605.69/599.59 c cleaning 24001 clauses out of 48020 with flag 760685/7441050 607.21/601.00 c cleaning 25008 clauses out of 50021 with flag 834458/7467052 608.84/602.65 c cleaning 25995 clauses out of 52010 with flag 904002/7494049 610.37/604.11 c cleaning 27005 clauses out of 54015 with flag 978513/7522049 611.99/605.75 c cleaning 27988 clauses out of 56010 with flag 1061107/7551049 613.70/607.44 c cleaning 28997 clauses out of 58022 with flag 1147064/7581049 615.65/609.33 c cleaning 30007 clauses out of 60025 with flag 1234424/7612049 617.57/611.28 c cleaning 30989 clauses out of 62018 with flag 1321664/7644049 619.83/613.41 c cleaning 32013 clauses out of 64033 with flag 1408456/7677053 622.36/615.97 c cleaning 33007 clauses out of 66016 with flag 1485896/7711049 626.52/620.03 c cleaning 34003 clauses out of 68009 with flag 1555903/7746049 630.24/623.73 c cleaning 34983 clauses out of 70006 with flag 1636673/7782049 632.78/626.28 c cleaning 36008 clauses out of 72023 with flag 1742071/7819049 635.63/629.04 c cleaning 37004 clauses out of 74015 with flag 1842151/7857049 639.58/632.93 c cleaning 37999 clauses out of 76011 with flag 1940880/7896049 642.75/636.07 c cleaning 39005 clauses out of 78015 with flag 2038846/7936052 645.91/639.11 c cleaning 39995 clauses out of 80007 with flag 2158917/7977049 648.96/642.19 c cleaning 40999 clauses out of 82015 with flag 2271682/8019052 652.51/645.68 c cleaning 42000 clauses out of 84014 with flag 2402077/8062050 655.87/648.97 c cleaning 42996 clauses out of 86013 with flag 2526117/8106049 659.77/652.73 c cleaning 44003 clauses out of 88017 with flag 2644165/8151049 663.83/656.70 c cleaning 45007 clauses out of 90014 with flag 2769547/8197049 667.72/660.55 c cleaning 46002 clauses out of 92007 with flag 2904857/8244049 671.70/664.50 c cleaning 46995 clauses out of 94005 with flag 3043153/8292049 675.47/668.15 c cleaning 48001 clauses out of 96010 with flag 3189299/8341049 678.94/671.60 c cleaning 49002 clauses out of 98010 with flag 3348428/8391050 683.20/675.77 c cleaning 50002 clauses out of 100008 with flag 3488351/8442050 686.97/679.42 c cleaning 51003 clauses out of 102005 with flag 3631127/8494049 691.83/684.21 c cleaning 51995 clauses out of 104004 with flag 3767918/8547051 696.52/688.86 c cleaning 53001 clauses out of 106007 with flag 3914145/8601049 700.78/693.10 c cleaning 54000 clauses out of 108007 with flag 4072126/8656050 706.27/698.50 c cleaning 54998 clauses out of 110006 with flag 4230197/8712049 711.85/703.99 c cleaning 55999 clauses out of 112008 with flag 4387570/8769049 717.79/709.72 c cleaning 56994 clauses out of 114009 with flag 4552927/8827049 724.33/716.19 c cleaning 57987 clauses out of 116015 with flag 4724510/8886049 726.45/718.20 c Got one! Elapsed wall clock time (in seconds):718.087 726.45/718.20 o 165 726.86/718.63 c cleaning 42608 clauses out of 85231 with flag 11102/8913252 727.26/719.03 c cleaning 24305 clauses out of 48625 with flag 26883/8919254 727.56/719.37 c cleaning 15645 clauses out of 31318 with flag 46487/8926252 727.98/719.72 c cleaning 11826 clauses out of 23673 with flag 68942/8934252 728.48/720.26 c cleaning 10413 clauses out of 20848 with flag 89060/8943253 728.98/720.72 c cleaning 10213 clauses out of 20435 with flag 113408/8953253 729.49/721.22 c cleaning 10607 clauses out of 21221 with flag 138030/8964252 730.09/721.83 c cleaning 11297 clauses out of 22614 with flag 166484/8976252 730.70/722.45 c cleaning 12152 clauses out of 24317 with flag 206560/8989252 731.40/723.17 c cleaning 13078 clauses out of 26166 with flag 246949/9003253 732.23/723.94 c cleaning 14037 clauses out of 28088 with flag 292375/9018253 733.05/724.71 c cleaning 15026 clauses out of 30051 with flag 340612/9034253 733.75/725.47 c cleaning 16006 clauses out of 32026 with flag 391917/9051254 734.69/726.30 c cleaning 17008 clauses out of 34019 with flag 442102/9069253 735.62/727.21 c cleaning 17997 clauses out of 36010 with flag 503731/9088252 736.62/728.23 c cleaning 19006 clauses out of 38014 with flag 559928/9108253 737.62/729.29 c cleaning 20004 clauses out of 40007 with flag 620778/9129252 738.84/730.45 c cleaning 20999 clauses out of 42003 with flag 687109/9151252 740.08/731.67 c cleaning 22003 clauses out of 44005 with flag 750037/9174253 741.37/732.97 c cleaning 22997 clauses out of 46001 with flag 821433/9198252 742.80/734.38 c cleaning 23997 clauses out of 48004 with flag 894766/9223252 744.33/735.85 c cleaning 24996 clauses out of 50007 with flag 973015/9249252 745.97/737.49 c cleaning 26006 clauses out of 52011 with flag 1048874/9276252 747.80/739.26 c cleaning 27001 clauses out of 54005 with flag 1133280/9304252 749.65/741.07 c cleaning 27995 clauses out of 56004 with flag 1212479/9333252 751.66/743.04 c cleaning 29000 clauses out of 58009 with flag 1297648/9363252 753.79/745.19 c cleaning 30002 clauses out of 60009 with flag 1393097/9394252 756.23/747.54 c cleaning 30995 clauses out of 62008 with flag 1491249/9426253 758.74/750.05 c cleaning 32006 clauses out of 64013 with flag 1589035/9459253 761.27/752.52 c cleaning 33001 clauses out of 66007 with flag 1676069/9493253 763.92/755.13 c cleaning 33986 clauses out of 68005 with flag 1775532/9528252 766.57/757.70 c cleaning 35008 clauses out of 70019 with flag 1869326/9564252 770.79/761.91 c cleaning 36006 clauses out of 72012 with flag 1973659/9601253 773.55/764.68 c cleaning 36992 clauses out of 74006 with flag 2076881/9639253 776.89/767.94 c cleaning 38007 clauses out of 76014 with flag 2184664/9678253 783.25/774.26 c cleaning 39000 clauses out of 78007 with flag 2264696/9718253 793.61/784.53 c cleaning 40000 clauses out of 80007 with flag 2346700/9759253 805.44/796.34 c cleaning 41001 clauses out of 82007 with flag 2430702/9801253 817.88/808.79 c cleaning 41997 clauses out of 84006 with flag 2516702/9844253 831.84/822.61 c cleaning 43004 clauses out of 86009 with flag 2604702/9888253 835.10/825.87 c cleaning 43993 clauses out of 88004 with flag 2735794/9933252 840.16/830.84 c cleaning 44994 clauses out of 90018 with flag 2855318/9979259 846.01/836.61 c cleaning 46005 clauses out of 92018 with flag 2977893/10026253 852.40/842.99 c cleaning 46989 clauses out of 94012 with flag 3102515/10074252 858.39/848.87 c cleaning 48004 clauses out of 96027 with flag 3229249/10123256 864.99/855.32 c cleaning 49009 clauses out of 98022 with flag 3359363/10173255 872.37/862.63 c cleaning 50002 clauses out of 100011 with flag 3492977/10224253 879.36/869.52 c cleaning 50993 clauses out of 102008 with flag 3628287/10276252 886.55/876.64 c cleaning 52009 clauses out of 104019 with flag 3765729/10329256 893.96/883.96 c cleaning 52994 clauses out of 106006 with flag 3906596/10383252 902.44/892.34 c cleaning 53996 clauses out of 108016 with flag 4049935/10438256 911.17/900.94 c cleaning 54998 clauses out of 110016 with flag 4194219/10494252 920.06/909.77 c cleaning 56006 clauses out of 112018 with flag 4341223/10551252 930.26/919.83 c cleaning 57004 clauses out of 114012 with flag 4492952/10609252 940.09/929.56 c cleaning 57987 clauses out of 116010 with flag 4646096/10668254 949.23/938.58 c cleaning 59008 clauses out of 118021 with flag 4800176/10728252 961.58/950.74 c cleaning 60003 clauses out of 120014 with flag 4960257/10789253 966.46/955.52 c Got one! Elapsed wall clock time (in seconds):955.402 966.46/955.52 o 164 967.06/956.12 c cleaning 50557 clauses out of 101113 with flag 10029/10830355 967.48/956.59 c cleaning 28279 clauses out of 56558 with flag 24397/10836357 967.88/956.90 c cleaning 17622 clauses out of 35277 with flag 43625/10843355 968.19/957.24 c cleaning 12828 clauses out of 25655 with flag 66878/10851355 968.62/957.60 c cleaning 10900 clauses out of 21826 with flag 90901/10860354 969.02/958.04 c cleaning 10459 clauses out of 20927 with flag 116215/10870355 969.62/958.64 c cleaning 10732 clauses out of 21468 with flag 142449/10881355 970.37/959.34 c cleaning 11365 clauses out of 22736 with flag 170377/10893355 971.06/960.03 c cleaning 12182 clauses out of 24370 with flag 203559/10906354 971.87/960.85 c cleaning 13090 clauses out of 26188 with flag 239370/10920354 972.90/961.81 c cleaning 14046 clauses out of 28098 with flag 277733/10935354 973.93/962.87 c cleaning 15021 clauses out of 30052 with flag 318649/10951354 975.25/964.12 c cleaning 16016 clauses out of 32031 with flag 362122/10968354 976.55/965.45 c cleaning 17005 clauses out of 34015 with flag 408156/10986354 978.08/966.99 c cleaning 18005 clauses out of 36010 with flag 456747/11005354 979.79/968.67 c cleaning 19001 clauses out of 38006 with flag 507893/11025355 981.30/970.12 c cleaning 19981 clauses out of 40004 with flag 563171/11046354 982.44/971.20 c cleaning 21010 clauses out of 42023 with flag 623616/11068354 983.69/972.45 c cleaning 22004 clauses out of 44013 with flag 682807/11091354 985.61/974.37 c cleaning 23004 clauses out of 46009 with flag 741672/11115354 987.97/976.68 c cleaning 24000 clauses out of 48006 with flag 803012/11140355 990.48/979.17 c cleaning 24999 clauses out of 50005 with flag 866782/11166354 993.39/982.02 c cleaning 26000 clauses out of 52006 with flag 933033/11193354 995.30/983.93 c cleaning 26994 clauses out of 54006 with flag 1010164/11221354 997.57/986.15 c cleaning 28007 clauses out of 56013 with flag 1078173/11250355 1000.68/989.20 c cleaning 29001 clauses out of 58005 with flag 1148669/11280354 1003.09/991.69 c cleaning 30002 clauses out of 60005 with flag 1228864/11311355 1005.25/993.74 c cleaning 30998 clauses out of 62002 with flag 1320870/11343354 1007.17/995.63 c cleaning 31986 clauses out of 64004 with flag 1408643/11376354 1009.29/997.80 c cleaning 33006 clauses out of 66019 with flag 1502320/11410355 1011.65/1000.01 c cleaning 34001 clauses out of 68012 with flag 1595584/11445354 1013.97/1002.35 c cleaning 34995 clauses out of 70011 with flag 1694899/11481354 1017.32/1005.66 c cleaning 36006 clauses out of 72016 with flag 1790860/11518354 1019.87/1008.15 c cleaning 36986 clauses out of 74011 with flag 1892777/11556355 1022.83/1011.02 c cleaning 38005 clauses out of 76025 with flag 2001527/11595355 1026.14/1014.35 c cleaning 39007 clauses out of 78019 with flag 2102206/11635354 1029.09/1017.28 c cleaning 40006 clauses out of 80015 with flag 2210631/11676357 1032.48/1020.52 c cleaning 40996 clauses out of 82006 with flag 2315814/11718354 1036.03/1024.01 c cleaning 42001 clauses out of 84012 with flag 2439794/11761356 1041.34/1029.35 c cleaning 43001 clauses out of 86009 with flag 2534111/11805354 1048.61/1036.55 c cleaning 44003 clauses out of 88008 with flag 2625880/11850354 1060.68/1048.50 c cleaning 45001 clauses out of 90005 with flag 2717881/11896354 1072.14/1059.98 c cleaning 46002 clauses out of 92004 with flag 2811890/11943354 1080.87/1068.58 c cleaning 46982 clauses out of 94002 with flag 2910666/11991354 1084.21/1071.81 c cleaning 48004 clauses out of 96021 with flag 3042022/12040355 1087.78/1075.39 c cleaning 48988 clauses out of 98016 with flag 3180904/12090354 1091.55/1079.00 c cleaning 50013 clauses out of 100029 with flag 3313523/12141355 1095.12/1082.54 c cleaning 51005 clauses out of 102015 with flag 3448648/12193354 1099.22/1086.56 c cleaning 52001 clauses out of 104010 with flag 3602684/12246354 1103.08/1090.33 c cleaning 53001 clauses out of 106009 with flag 3750408/12300354 1107.36/1094.54 c cleaning 53987 clauses out of 108008 with flag 3899720/12355354 1111.39/1098.52 c cleaning 55009 clauses out of 110021 with flag 4063864/12411354 1115.75/1102.85 c cleaning 55993 clauses out of 112012 with flag 4222125/12468354 1120.99/1108.09 c cleaning 57008 clauses out of 114020 with flag 4373578/12526355 1130.08/1117.01 c cleaning 58006 clauses out of 116011 with flag 4491879/12585354 1138.94/1125.81 c cleaning 58996 clauses out of 118005 with flag 4613038/12645354 1145.37/1132.16 c cleaning 59997 clauses out of 120009 with flag 4752604/12706354 1153.65/1140.33 c cleaning 60984 clauses out of 122012 with flag 4891536/12768354 1159.54/1146.11 c cleaning 62016 clauses out of 124032 with flag 5072113/12831358 1168.74/1155.22 c cleaning 62991 clauses out of 126012 with flag 5235738/12895354 1175.43/1161.83 c cleaning 63999 clauses out of 128022 with flag 5421598/12960355 1182.59/1168.88 c cleaning 65002 clauses out of 130022 with flag 5614285/13026354 1190.80/1176.91 c cleaning 66003 clauses out of 132021 with flag 5810460/13093355 1199.31/1185.37 c cleaning 67006 clauses out of 134019 with flag 6008157/13161356 1208.53/1194.41 c cleaning 67997 clauses out of 136011 with flag 6208897/13230354 1217.08/1202.83 c cleaning 68997 clauses out of 138014 with flag 6416662/13300354 1225.63/1211.26 c cleaning 69994 clauses out of 140017 with flag 6624769/13371354 1231.58/1217.17 c Got one! Elapsed wall clock time (in seconds):1217.057 1231.58/1217.17 o 163 1232.37/1217.89 c cleaning 63553 clauses out of 127115 with flag 10500/13428446 1232.87/1218.36 c cleaning 34775 clauses out of 69562 with flag 25781/13434446 1233.37/1218.82 c cleaning 20892 clauses out of 41787 with flag 44629/13441446 1233.77/1219.25 c cleaning 14439 clauses out of 28895 with flag 63504/13449446 1234.29/1219.74 c cleaning 11715 clauses out of 23457 with flag 84800/13458447 1234.69/1220.17 c cleaning 10865 clauses out of 21742 with flag 116681/13468447 1235.19/1220.69 c cleaning 10930 clauses out of 21876 with flag 153674/13479446 1235.95/1221.31 c cleaning 11470 clauses out of 22946 with flag 184696/13491446 1236.55/1221.97 c cleaning 12238 clauses out of 24476 with flag 217452/13504446 1237.26/1222.66 c cleaning 13116 clauses out of 26238 with flag 255844/13518446 1238.06/1223.46 c cleaning 14057 clauses out of 28124 with flag 293884/13533448 1239.09/1224.41 c cleaning 15032 clauses out of 30066 with flag 334419/13549447 1240.22/1225.52 c cleaning 16013 clauses out of 32040 with flag 380117/13566453 1241.21/1226.58 c cleaning 17004 clauses out of 34020 with flag 427357/13584446 1242.45/1227.79 c cleaning 18005 clauses out of 36016 with flag 477302/13603446 1243.75/1229.01 c cleaning 19006 clauses out of 38012 with flag 528432/13623447 1245.09/1230.37 c cleaning 19998 clauses out of 40005 with flag 584762/13644446 1246.91/1232.19 c cleaning 21000 clauses out of 42009 with flag 649468/13666448 1248.70/1233.94 c cleaning 22002 clauses out of 44007 with flag 712425/13689446 1250.34/1235.51 c cleaning 22999 clauses out of 46005 with flag 780280/13713446 1252.07/1237.20 c cleaning 23993 clauses out of 48008 with flag 851273/13738448 1253.87/1239.09 c cleaning 25000 clauses out of 50014 with flag 926366/13764447 1255.49/1240.63 c cleaning 26007 clauses out of 52014 with flag 992270/13791447 1256.97/1242.09 c cleaning 27001 clauses out of 54006 with flag 1071554/13819446 1258.66/1243.75 c cleaning 28000 clauses out of 56005 with flag 1158241/13848446 1260.59/1245.69 c cleaning 29001 clauses out of 58005 with flag 1249843/13878446 1262.63/1247.61 c cleaning 29998 clauses out of 60004 with flag 1346073/13909446 1264.67/1249.62 c cleaning 30996 clauses out of 62007 with flag 1438779/13941447 1266.99/1251.97 c cleaning 32004 clauses out of 64011 with flag 1523537/13974447 1269.89/1254.84 c cleaning 33000 clauses out of 66007 with flag 1598235/14008447 1274.94/1259.84 c cleaning 33994 clauses out of 68006 with flag 1670961/14043446 1278.77/1263.68 c cleaning 34996 clauses out of 70012 with flag 1749782/14079446 1281.20/1266.04 c cleaning 36003 clauses out of 72017 with flag 1854798/14116447 1283.43/1268.28 c cleaning 37005 clauses out of 74015 with flag 1962082/14154448 1285.78/1270.53 c cleaning 37996 clauses out of 76008 with flag 2073048/14193446 1293.32/1278.00 c cleaning 39002 clauses out of 78012 with flag 2155145/14233446 1295.77/1280.43 c cleaning 39989 clauses out of 80011 with flag 2264354/14274447 1298.50/1283.11 c cleaning 41006 clauses out of 82022 with flag 2386515/14316447 1301.22/1285.85 c cleaning 42005 clauses out of 84016 with flag 2502881/14359447 1304.07/1288.64 c cleaning 42997 clauses out of 86010 with flag 2625837/14403446 1307.30/1291.85 c cleaning 44000 clauses out of 88014 with flag 2760474/14448447 1310.63/1295.16 c cleaning 45009 clauses out of 90017 with flag 2899349/14494450 1313.90/1298.39 c cleaning 46002 clauses out of 92005 with flag 3039244/14541447 1317.32/1301.73 c cleaning 46997 clauses out of 94003 with flag 3176291/14589447 1320.58/1304.91 c cleaning 47998 clauses out of 96005 with flag 3307870/14638446 1323.91/1308.25 c cleaning 48994 clauses out of 98007 with flag 3447803/14688446 1327.66/1311.95 c cleaning 49999 clauses out of 100013 with flag 3600730/14739446 1331.94/1316.11 c cleaning 50996 clauses out of 102014 with flag 3747807/14791446 1336.62/1320.79 c cleaning 52001 clauses out of 104018 with flag 3907369/14844446 1340.71/1324.80 c cleaning 52993 clauses out of 106017 with flag 4060476/14898446 1345.67/1329.63 c cleaning 53996 clauses out of 108024 with flag 4212040/14953446 1350.28/1334.15 c cleaning 55002 clauses out of 110029 with flag 4365978/15009447 1355.14/1338.90 c cleaning 56010 clauses out of 112026 with flag 4526136/15066446 1360.64/1344.31 c cleaning 56999 clauses out of 114016 with flag 4685255/15124446 1365.20/1348.87 c cleaning 58005 clauses out of 116017 with flag 4856997/15183446 1370.46/1354.02 c cleaning 58996 clauses out of 118012 with flag 5027292/15243446 1375.87/1359.31 c cleaning 60001 clauses out of 120016 with flag 5191933/15304446 1381.02/1364.49 c cleaning 61001 clauses out of 122016 with flag 5363616/15366447 1386.96/1370.39 c cleaning 61998 clauses out of 124014 with flag 5534335/15429446 1393.03/1376.31 c cleaning 62998 clauses out of 126016 with flag 5711288/15493446 1400.32/1383.57 c cleaning 63998 clauses out of 128019 with flag 5887043/15558447 1406.93/1390.02 c cleaning 65007 clauses out of 130020 with flag 6070497/15624446 1412.97/1395.94 c cleaning 65998 clauses out of 132013 with flag 6251438/15691446 1418.97/1401.86 c cleaning 67002 clauses out of 134016 with flag 6436601/15759447 1425.44/1408.22 c cleaning 67989 clauses out of 136013 with flag 6619661/15828446 1432.05/1414.72 c cleaning 69006 clauses out of 138025 with flag 6808419/15898447 1439.94/1422.59 c cleaning 70004 clauses out of 140018 with flag 7010331/15969446 1446.92/1429.43 c cleaning 71003 clauses out of 142014 with flag 7226529/16041446 1453.82/1436.23 c cleaning 71995 clauses out of 144011 with flag 7433177/16114446 1460.74/1443.00 c cleaning 72997 clauses out of 146017 with flag 7643958/16188447 1468.07/1450.26 c cleaning 73994 clauses out of 148019 with flag 7863365/16263446 1476.37/1458.49 c cleaning 75003 clauses out of 150025 with flag 8091592/16339446 1483.82/1465.72 c cleaning 76006 clauses out of 152024 with flag 8299954/16416448 1492.73/1474.50 c cleaning 77004 clauses out of 154017 with flag 8515727/16494447 1501.20/1482.90 c cleaning 78002 clauses out of 156012 with flag 8737796/16573446 1509.99/1491.57 c cleaning 78995 clauses out of 158010 with flag 8972905/16653446 1519.30/1500.70 c cleaning 79997 clauses out of 160015 with flag 9196704/16734446 1528.32/1509.63 c cleaning 80998 clauses out of 162018 with flag 9422560/16816446 1537.92/1519.17 c cleaning 82008 clauses out of 164020 with flag 9642726/16899446 1546.61/1527.62 c cleaning 82996 clauses out of 166012 with flag 9873780/16983446 1554.89/1535.82 c cleaning 84003 clauses out of 168016 with flag 10098281/17068446 1564.96/1545.74 c cleaning 85002 clauses out of 170014 with flag 10327996/17154447 1574.59/1555.29 c cleaning 86004 clauses out of 172011 with flag 10568304/17241446 1584.70/1565.22 c cleaning 86998 clauses out of 174008 with flag 10809968/17329447 1596.04/1576.42 c cleaning 88000 clauses out of 176010 with flag 11073724/17418447 1606.79/1587.03 c cleaning 89003 clauses out of 178009 with flag 11320812/17508446 1617.66/1597.73 c cleaning 90001 clauses out of 180006 with flag 11576528/17599446 1629.13/1609.12 c cleaning 90996 clauses out of 182005 with flag 11832559/17691446 1639.83/1619.62 c cleaning 92000 clauses out of 184009 with flag 12082379/17784446 1652.81/1632.48 c cleaning 93003 clauses out of 186009 with flag 12342571/17878446 1664.81/1644.37 c cleaning 94001 clauses out of 188008 with flag 12600751/17973448 1675.57/1654.98 c cleaning 94995 clauses out of 190005 with flag 12856575/18069446 1687.10/1666.31 c cleaning 96004 clauses out of 192010 with flag 13117121/18166446 1698.54/1677.61 c cleaning 97005 clauses out of 194011 with flag 13385427/18264451 1712.00/1690.98 c cleaning 97995 clauses out of 196001 with flag 13642245/18363446 1728.44/1707.26 c cleaning 98996 clauses out of 198006 with flag 13890851/18463446 1742.95/1721.59 c cleaning 100000 clauses out of 200010 with flag 14141896/18564446 1755.44/1733.97 c cleaning 100998 clauses out of 202012 with flag 14412263/18666448 1769.86/1748.13 c cleaning 102004 clauses out of 204012 with flag 14697829/18769446 1784.82/1762.90 c cleaning 103004 clauses out of 206009 with flag 14972439/18873447 1799.34/1777.20 c cleaning 104000 clauses out of 208005 with flag 15260919/18978447 1800.04/1777.90 c starts : 45328 1800.04/1777.90 c conflicts : 18988571 1800.04/1777.90 c decisions : 74955044 1800.04/1777.90 c propagations : 269884478 1800.04/1777.90 c inspects : 30388603687 1800.04/1777.90 c shortcuts : 0 1800.04/1777.90 c learnt literals : 0 1800.04/1777.90 c learnt binary clauses : 0 1800.04/1777.90 c learnt ternary clauses : 0 1800.04/1777.90 c learnt constraints : 18988571 1800.04/1777.90 c ignored constraints : 0 1800.04/1777.90 c root simplifications : 0 1800.04/1777.90 c removed literals (reason simplification) : 0 1800.04/1777.90 c reason swapping (by a shorter reason) : 0 1800.04/1777.90 c Calls to reduceDB : 590 1800.04/1777.90 c Number of update (reduction) of LBD : 8186403 1800.04/1777.90 c Imported unit clauses : 0 1800.04/1777.90 c number of reductions to clauses (during analyze) : 0 1800.04/1777.90 c number of learned constraints concerned by reduction : 0 1800.04/1777.90 c number of learning phase by resolution : 0 1800.04/1777.90 c number of learning phase by cutting planes : 0 1800.04/1777.90 c speed (assignments/second) : 151822.46831740203 1800.04/1777.90 c non guided choices 0 1800.04/1777.93 c learnt constraints type 1800.04/1777.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 114129 1800.04/1777.93 s SATISFIABLE 1800.04/1777.93 c Found 43 solution(s) 1800.04/1777.93 v -x1 -x2 x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 x31 -x32 -x33 x34 x35 -x36 -x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x73 -x74 -x75 x76 x77 -x78 -x79 -x80 x81 -x82 -x83 x84 x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 x158 x159 -x160 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 x199 -x200 x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 x213 -x214 -x215 -x216 -x217 x218 x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 -x228 x229 -x230 -x231 x232 x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 -x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 -x369 x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 -x379 x380 x381 -x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 -x396 x397 -x398 -x399 x400 -x401 x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 -x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 1800.04/1777.94 c objective function=163 1800.04/1777.94 c Total wall clock time (in seconds): 1777.822
OK 163
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4085213-1465231609/watcher-4085213-1465231609 -o /tmp/evaluation-result-4085213-1465231609/solver-4085213-1465231609 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465218951-7200 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085213-1465231609.opb pid=12834 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.28 2.21 2.18 3/194 12837 /proc/meminfo: memFree=30192044/32872528 swapFree=15784/1434320 [pid=12837] ppid=12834 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/12837/stat : 12837 (java) S 12834 12837 7184 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 105094102 98570240 977 33554432000 1073741824 1073778376 140733618852784 140733618843920 214373007421 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12837/statm: 24065 977 743 9 0 16771 0 [pid=12837/tid=12838] ppid=12834 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12838/stat : 12838 (java) R 12834 12837 7184 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 105094102 98570240 977 33554432000 1073741824 1073778376 140733618852784 140639747354152 214369650048 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 [startup+0.100117 s] /proc/loadavg: 2.28 2.21 2.18 3/194 12837 /proc/meminfo: memFree=30192044/32872528 swapFree=15784/1434320 [pid=12837] ppid=12834 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/12837/stat : 12837 (java) S 12834 12837 7184 0 -1 4202496 4408 0 1 0 10 0 0 0 20 0 18 0 105094102 9787879424 6033 33554432000 1073741824 1073778376 140733618852784 140733618843920 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12837/statm: 2389619 6033 2125 9 0 2380296 0 [pid=12837/tid=12838] ppid=12834 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/12837/task/12838/stat : 12838 (java) R 12834 12837 7184 0 -1 4202560 2379 0 1 0 7 0 0 0 20 0 18 0 105094102 9787879424 6033 33554432000 1073741824 1073778376 140733618852784 140639747357600 214373033229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200319 s] /proc/loadavg: 2.28 2.21 2.18 3/194 12837 /proc/meminfo: memFree=30192044/32872528 swapFree=15784/1434320 [pid=12837] ppid=12834 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/12837/stat : 12837 (java) S 12834 12837 7184 0 -1 4202496 4966 0 1 0 27 0 0 0 20 0 18 0 105094102 9787879424 6978 33554432000 1073741824 1073778376 140733618852784 140733618843920 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12837/statm: 2389619 6978 2215 9 0 2380296 0 [pid=12837/tid=12838] ppid=12834 vsize=9558476 CPUtime=0.18 cores=0,2,4,6 /proc/12837/task/12838/stat : 12838 (java) R 12834 12837 7184 0 -1 4202560 2399 0 1 0 18 0 0 0 20 0 18 0 105094102 9787879424 6978 33554432000 1073741824 1073778376 140733618852784 140639747357600 140639593364036 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300333 s] /proc/loadavg: 2.28 2.21 2.18 3/194 12837 /proc/meminfo: memFree=30192044/32872528 swapFree=15784/1434320 [pid=12837] ppid=12834 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/12837/stat : 12837 (java) S 12834 12837 7184 0 -1 4202496 5686 0 1 0 46 1 0 0 20 0 19 0 105094102 9856040960 8383 33554432000 1073741824 1073778376 140733618852784 140733618843920 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12837/statm: 2406260 8383 2235 9 0 2396937 0 [pid=12837/tid=12838] ppid=12834 vsize=9625040 CPUtime=0.28 cores=0,2,4,6 /proc/12837/task/12838/stat : 12838 (java) R 12834 12837 7184 0 -1 4202560 2413 0 1 0 28 0 0 0 20 0 19 0 105094102 9856040960 8383 33554432000 1073741824 1073778376 140733618852784 140639747359360 140639593559136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9625040 [startup+0.700258 s] /proc/loadavg: 2.28 2.21 2.18 3/194 12837 /proc/meminfo: memFree=30192044/32872528 swapFree=15784/1434320 [pid=12837] ppid=12834 vsize=9625040 CPUtime=1.15 cores=0,2,4,6 /proc/12837/stat : 12837 (java) S 12834 12837 7184 0 -1 4202496 8139 0 1 0 113 2 0 0 20 0 19 0 105094102 9856040960 10995 33554432000 1073741824 1073778376 140733618852784 140733618843920 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12837/statm: 2406260 10995 2252 9 0 2396937 0 [pid=12837/tid=12838] ppid=12834 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/12837/task/12838/stat : 12838 (java) R 12834 12837 7184 0 -1 4202560 2416 0 1 0 67 0 0 0 20 0 19 0 105094102 9856040960 10995 33554432000 1073741824 1073778376 140733618852784 140639747350832 140639593819292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 9625040 [startup+1.50074 s] /proc/loadavg: 2.28 2.21 2.18 3/213 12856 /proc/meminfo: memFree=30147992/32872528 swapFree=15784/1434320 [pid=12837] ppid=12834 vsize=9625040 CPUtime=2.02 cores=0,2,4,6 /proc/12837/stat : 12837 (java) S 12834 12837 7184 0 -1 4202496 8155 0 1 0 200 2 0 0 20 0 19 0 105094102 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140733618843920 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12837/statm: 2406260 15098 2258 9 0 2396937 0 [pid=12837/tid=12838] ppid=12834 vsize=9625040 CPUtime=1.48 cores=0,2,4,6 /proc/12837/task/12838/stat : 12838 (java) R 12834 12837 7184 0 -1 4202560 2425 0 1 0 148 0 0 0 20 0 19 0 105094102 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639747357240 140639593849202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12840] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12840/stat : 12840 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639719811496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12841] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12841/stat : 12841 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639718758952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12842] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12842/stat : 12842 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639717705896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12843] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12843/stat : 12843 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639716653352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12844] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12844/stat : 12844 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639715601320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12845] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12845/stat : 12845 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639714548776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12846] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12846/stat : 12846 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639713495720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12847] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12847/stat : 12847 (java) S 12834 12837 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639712443176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12848] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12848/stat : 12848 (java) S 12834 12837 7184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105094104 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639100438888 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12849] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12849/stat : 12849 (java) S 12834 12837 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639099385208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12850] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12850/stat : 12850 (java) S 12834 12837 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639098332040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12851] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12851/stat : 12851 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639097280784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12852] ppid=12834 vsize=9625040 CPUtime=0.27 cores=0,2,4,6 /proc/12837/task/12852/stat : 12852 (java) S 12834 12837 7184 0 -1 4202560 2547 0 0 0 27 0 0 0 20 0 19 0 105094107 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639096228664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12853] ppid=12834 vsize=9625040 CPUtime=0.24 cores=0,2,4,6 /proc/12837/task/12853/stat : 12853 (java) S 12834 12837 7184 0 -1 4202560 1910 0 0 0 24 0 0 0 20 0 19 0 105094107 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639095176120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12854] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12854/stat : 12854 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639094123256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12855] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12855/stat : 12855 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639093070920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12856] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12856/stat : 12856 (java) S 12834 12837 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105094129 9856040960 15098 33554432000 1073741824 1073778376 140733618852784 140639092016168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 9625040 [startup+3.10081 s] /proc/loadavg: 2.28 2.21 2.18 3/213 12856 /proc/meminfo: memFree=30125232/32872528 swapFree=15784/1434320 [pid=12837] ppid=12834 vsize=9625040 CPUtime=3.66 cores=0,2,4,6 /proc/12837/stat : 12837 (java) S 12834 12837 7184 0 -1 4202496 8173 0 1 0 364 2 0 0 20 0 19 0 105094102 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140733618843920 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12837/statm: 2406260 23291 2258 9 0 2396937 0 [pid=12837/tid=12838] ppid=12834 vsize=9625040 CPUtime=3.07 cores=0,2,4,6 /proc/12837/task/12838/stat : 12838 (java) R 12834 12837 7184 0 -1 4202560 2442 0 1 0 306 1 0 0 20 0 19 0 105094102 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639747357240 140639593365431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12840] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12840/stat : 12840 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639719811496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12841] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12841/stat : 12841 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639718758952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12842] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12842/stat : 12842 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639717705896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12843] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12843/stat : 12843 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639716653352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12844] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12844/stat : 12844 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639715601320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12845] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12845/stat : 12845 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639714548776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12846] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12846/stat : 12846 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639713495720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12847] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12847/stat : 12847 (java) S 12834 12837 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639712443176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12848] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12848/stat : 12848 (java) S 12834 12837 7184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105094104 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639100438888 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12849] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12849/stat : 12849 (java) S 12834 12837 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639099385208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12850] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12850/stat : 12850 (java) S 12834 12837 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639098332040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12851] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12851/stat : 12851 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639097280784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12852] ppid=12834 vsize=9625040 CPUtime=0.28 cores=0,2,4,6 /proc/12837/task/12852/stat : 12852 (java) S 12834 12837 7184 0 -1 4202560 2547 0 0 0 28 0 0 0 20 0 19 0 105094107 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639096228664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12853] ppid=12834 vsize=9625040 CPUtime=0.27 cores=0,2,4,6 /proc/12837/task/12853/stat : 12853 (java) S 12834 12837 7184 0 -1 4202560 1911 0 0 0 27 0 0 0 20 0 19 0 105094107 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639095176120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12854] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12854/stat : 12854 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639094123256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12855] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12855/stat : 12855 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639093070920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12856] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12856/stat : 12856 (java) S 12834 12837 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105094129 9856040960 23291 33554432000 1073741824 1073778376 140733618852784 140639092016168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 9625040 [startup+6.30075 s] /proc/loadavg: 2.26 2.20 2.18 4/213 12856 /proc/meminfo: memFree=30060016/32872528 swapFree=15784/1434320 [pid=12837] ppid=12834 vsize=9625040 CPUtime=6.9 cores=0,2,4,6 /proc/12837/stat : 12837 (java) S 12834 12837 7184 0 -1 4202496 8217 0 1 0 687 3 0 0 20 0 19 0 105094102 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140733618843920 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12837/statm: 2406260 38531 2259 9 0 2396937 0 [pid=12837/tid=12838] ppid=12834 vsize=9625040 CPUtime=6.27 cores=0,2,4,6 /proc/12837/task/12838/stat : 12838 (java) R 12834 12837 7184 0 -1 4202560 2474 0 1 0 625 2 0 0 20 0 19 0 105094102 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639747358952 140639593918572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12840] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12840/stat : 12840 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639719811496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12841] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12841/stat : 12841 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639718758952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12842] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12842/stat : 12842 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639717705896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12843] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12843/stat : 12843 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639716653352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12844] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12844/stat : 12844 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639715601320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12845] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12845/stat : 12845 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639714548776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12846] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12846/stat : 12846 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639713495720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12847] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12847/stat : 12847 (java) S 12834 12837 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105094103 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639712443176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12848] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12848/stat : 12848 (java) S 12834 12837 7184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105094104 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639100438888 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12849] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12849/stat : 12849 (java) S 12834 12837 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639099385208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12850] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12850/stat : 12850 (java) S 12834 12837 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639098332040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12851] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12851/stat : 12851 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639097280784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12852] ppid=12834 vsize=9625040 CPUtime=0.31 cores=0,2,4,6 /proc/12837/task/12852/stat : 12852 (java) S 12834 12837 7184 0 -1 4202560 2558 0 0 0 31 0 0 0 20 0 19 0 105094107 9856040960 38531 33554432000 1073741824 1073778376 140733618852784 140639096228664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12853] ppid=12834 vsize=9625040 CPUtime=0.27 cores=0,2,4,6 ################ # More data... # ################ [pid=12837/tid=12849] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12849/stat : 12849 (java) S 12834 12837 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 95181 33554432000 1073741824 1073778376 140733618852784 140639099385208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12850] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12850/stat : 12850 (java) S 12834 12837 7184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 95181 33554432000 1073741824 1073778376 140733618852784 140639098332040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12851] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12851/stat : 12851 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 95181 33554432000 1073741824 1073778376 140733618852784 140639097280784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12852] ppid=12834 vsize=9625040 CPUtime=0.48 cores=0,2,4,6 /proc/12837/task/12852/stat : 12852 (java) S 12834 12837 7184 0 -1 4202560 3260 0 0 0 48 0 0 0 20 0 19 0 105094107 9856040960 95181 33554432000 1073741824 1073778376 140733618852784 140639096228664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12853] ppid=12834 vsize=9625040 CPUtime=0.31 cores=0,2,4,6 /proc/12837/task/12853/stat : 12853 (java) S 12834 12837 7184 0 -1 4202560 1930 0 0 0 31 0 0 0 20 0 19 0 105094107 9856040960 95181 33554432000 1073741824 1073778376 140733618852784 140639095176120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12854] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12854/stat : 12854 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 95181 33554432000 1073741824 1073778376 140733618852784 140639094123256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12855] ppid=12834 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/12837/task/12855/stat : 12855 (java) S 12834 12837 7184 0 -1 4202560 98 0 0 0 24 18 0 0 20 0 19 0 105094107 9856040960 95181 33554432000 1073741824 1073778376 140733618852784 140639093070920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12856] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12856/stat : 12856 (java) S 12834 12837 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105094129 9856040960 95181 33554432000 1073741824 1073778376 140733618852784 140639092016168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1683.08 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.21 2.23 2.19 3/213 13119 /proc/meminfo: memFree=29800988/32872528 swapFree=15784/1434320 [pid=12837] ppid=12834 vsize=9625040 CPUtime=1743.74 cores=0,2,4,6 /proc/12837/stat : 12837 (java) S 12834 12837 7184 0 -1 4202496 25212 0 1 0 174252 122 0 0 20 0 19 0 105094102 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140733618843920 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12837/statm: 2406260 90344 2282 9 0 2396937 0 [pid=12837/tid=12838] ppid=12834 vsize=9625040 CPUtime=1709.45 cores=0,2,4,6 /proc/12837/task/12838/stat : 12838 (java) R 12834 12837 7184 0 -1 4202560 3047 0 1 0 170914 31 0 0 20 0 19 0 105094102 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639747350272 140639593815135 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12840] ppid=12834 vsize=9625040 CPUtime=3.71 cores=0,2,4,6 /proc/12837/task/12840/stat : 12840 (java) S 12834 12837 7184 0 -1 4202560 2254 0 0 0 357 14 0 0 20 0 19 0 105094103 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639719811496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12841] ppid=12834 vsize=9625040 CPUtime=3.82 cores=0,2,4,6 /proc/12837/task/12841/stat : 12841 (java) S 12834 12837 7184 0 -1 4202560 1425 0 0 0 372 10 0 0 20 0 19 0 105094103 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639718758952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12842] ppid=12834 vsize=9625040 CPUtime=3.59 cores=0,2,4,6 /proc/12837/task/12842/stat : 12842 (java) S 12834 12837 7184 0 -1 4202560 1742 0 0 0 347 12 0 0 20 0 19 0 105094103 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639717705896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12843] ppid=12834 vsize=9625040 CPUtime=3.82 cores=0,2,4,6 /proc/12837/task/12843/stat : 12843 (java) S 12834 12837 7184 0 -1 4202560 1828 0 0 0 368 14 0 0 20 0 19 0 105094103 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639716653352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12844] ppid=12834 vsize=9625040 CPUtime=3.68 cores=0,2,4,6 /proc/12837/task/12844/stat : 12844 (java) S 12834 12837 7184 0 -1 4202560 2647 0 0 0 357 11 0 0 20 0 19 0 105094103 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639715601320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12845] ppid=12834 vsize=9625040 CPUtime=3.7 cores=0,2,4,6 /proc/12837/task/12845/stat : 12845 (java) S 12834 12837 7184 0 -1 4202560 1453 0 0 0 359 11 0 0 20 0 19 0 105094103 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639714548776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12846] ppid=12834 vsize=9625040 CPUtime=3.7 cores=0,2,4,6 /proc/12837/task/12846/stat : 12846 (java) S 12834 12837 7184 0 -1 4202560 1415 0 0 0 358 12 0 0 20 0 19 0 105094103 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639713495720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12847] ppid=12834 vsize=9625040 CPUtime=3.56 cores=0,2,4,6 /proc/12837/task/12847/stat : 12847 (java) S 12834 12837 7184 0 -1 4202560 1934 0 0 0 344 12 0 0 20 0 19 0 105094103 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639712443176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12848] ppid=12834 vsize=9625040 CPUtime=3.87 cores=0,2,4,6 /proc/12837/task/12848/stat : 12848 (java) S 12834 12837 7184 0 -1 4202560 915 0 0 0 380 7 0 0 20 0 19 0 105094104 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639100438888 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12849] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12849/stat : 12849 (java) S 12834 12837 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639099385208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12850] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12850/stat : 12850 (java) S 12834 12837 7184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639098332040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12851] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12851/stat : 12851 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639097280784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12852] ppid=12834 vsize=9625040 CPUtime=0.48 cores=0,2,4,6 /proc/12837/task/12852/stat : 12852 (java) S 12834 12837 7184 0 -1 4202560 3260 0 0 0 48 0 0 0 20 0 19 0 105094107 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639096228664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12853] ppid=12834 vsize=9625040 CPUtime=0.31 cores=0,2,4,6 /proc/12837/task/12853/stat : 12853 (java) S 12834 12837 7184 0 -1 4202560 1930 0 0 0 31 0 0 0 20 0 19 0 105094107 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639095176120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12854] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12854/stat : 12854 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639094123256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12855] ppid=12834 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/12837/task/12855/stat : 12855 (java) S 12834 12837 7184 0 -1 4202560 102 0 0 0 25 19 0 0 20 0 19 0 105094107 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639093070920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12856] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12856/stat : 12856 (java) S 12834 12837 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105094129 9856040960 90344 33554432000 1073741824 1073778376 140733618852784 140639092016168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1743.74 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1777.9 s] /proc/loadavg: 2.32 2.26 2.20 3/213 13119 /proc/meminfo: memFree=29801304/32872528 swapFree=15784/1434320 [pid=12837] ppid=12834 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6 /proc/12837/stat : 12837 (java) S 12834 12837 7184 0 -1 4202496 25695 0 1 0 179879 125 0 0 20 0 19 0 105094102 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140733618843920 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12837/statm: 2406260 94352 2282 9 0 2396937 0 [pid=12837/tid=12838] ppid=12834 vsize=9625040 CPUtime=1764.48 cores=0,2,4,6 /proc/12837/task/12838/stat : 12838 (java) R 12834 12837 7184 0 -1 4202560 3063 0 1 0 176415 33 0 0 20 0 19 0 105094102 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639747350272 140639593815135 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12840] ppid=12834 vsize=9625040 CPUtime=3.81 cores=0,2,4,6 /proc/12837/task/12840/stat : 12840 (java) S 12834 12837 7184 0 -1 4202560 2256 0 0 0 367 14 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639719811496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12841] ppid=12834 vsize=9625040 CPUtime=3.95 cores=0,2,4,6 /proc/12837/task/12841/stat : 12841 (java) S 12834 12837 7184 0 -1 4202560 1576 0 0 0 385 10 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639718758952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12842] ppid=12834 vsize=9625040 CPUtime=3.73 cores=0,2,4,6 /proc/12837/task/12842/stat : 12842 (java) S 12834 12837 7184 0 -1 4202560 1952 0 0 0 360 13 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639717705896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12843] ppid=12834 vsize=9625040 CPUtime=3.94 cores=0,2,4,6 /proc/12837/task/12843/stat : 12843 (java) S 12834 12837 7184 0 -1 4202560 1902 0 0 0 380 14 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639716653352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12844] ppid=12834 vsize=9625040 CPUtime=3.82 cores=0,2,4,6 /proc/12837/task/12844/stat : 12844 (java) S 12834 12837 7184 0 -1 4202560 2654 0 0 0 370 12 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639715601320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12845] ppid=12834 vsize=9625040 CPUtime=3.84 cores=0,2,4,6 /proc/12837/task/12845/stat : 12845 (java) S 12834 12837 7184 0 -1 4202560 1460 0 0 0 372 12 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639714548776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12846] ppid=12834 vsize=9625040 CPUtime=3.82 cores=0,2,4,6 /proc/12837/task/12846/stat : 12846 (java) S 12834 12837 7184 0 -1 4202560 1418 0 0 0 370 12 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639713495720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12847] ppid=12834 vsize=9625040 CPUtime=3.69 cores=0,2,4,6 /proc/12837/task/12847/stat : 12847 (java) S 12834 12837 7184 0 -1 4202560 1938 0 0 0 357 12 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639712443176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12848] ppid=12834 vsize=9625040 CPUtime=4.14 cores=0,2,4,6 /proc/12837/task/12848/stat : 12848 (java) S 12834 12837 7184 0 -1 4202560 922 0 0 0 407 7 0 0 20 0 19 0 105094104 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639100438888 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12849] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12849/stat : 12849 (java) S 12834 12837 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639099385208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12850] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12850/stat : 12850 (java) S 12834 12837 7184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639098332040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12851] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12851/stat : 12851 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639097280784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12852] ppid=12834 vsize=9625040 CPUtime=0.48 cores=0,2,4,6 /proc/12837/task/12852/stat : 12852 (java) S 12834 12837 7184 0 -1 4202560 3260 0 0 0 48 0 0 0 20 0 19 0 105094107 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639096228664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12853] ppid=12834 vsize=9625040 CPUtime=0.31 cores=0,2,4,6 /proc/12837/task/12853/stat : 12853 (java) S 12834 12837 7184 0 -1 4202560 1930 0 0 0 31 0 0 0 20 0 19 0 105094107 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639095176120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12854] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12854/stat : 12854 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639094123256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12855] ppid=12834 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/12837/task/12855/stat : 12855 (java) S 12834 12837 7184 0 -1 4202560 104 0 0 0 26 20 0 0 20 0 19 0 105094107 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639093070920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12856] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12856/stat : 12856 (java) S 12834 12837 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105094129 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639092016168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 12837 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1777.9 s] /proc/loadavg: 2.32 2.26 2.20 3/213 13119 /proc/meminfo: memFree=29801304/32872528 swapFree=15784/1434320 [pid=12837] ppid=12834 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6 /proc/12837/stat : 12837 (java) S 12834 12837 7184 0 -1 4202496 25695 0 1 0 179879 125 0 0 20 0 19 0 105094102 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140733618843920 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12837/statm: 2406260 94352 2282 9 0 2396937 0 [pid=12837/tid=12838] ppid=12834 vsize=9625040 CPUtime=1764.48 cores=0,2,4,6 /proc/12837/task/12838/stat : 12838 (java) R 12834 12837 7184 0 -1 4202560 3063 0 1 0 176415 33 0 0 20 0 19 0 105094102 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639747350272 140639593815135 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12840] ppid=12834 vsize=9625040 CPUtime=3.81 cores=0,2,4,6 /proc/12837/task/12840/stat : 12840 (java) S 12834 12837 7184 0 -1 4202560 2256 0 0 0 367 14 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639719811496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12841] ppid=12834 vsize=9625040 CPUtime=3.95 cores=0,2,4,6 /proc/12837/task/12841/stat : 12841 (java) S 12834 12837 7184 0 -1 4202560 1576 0 0 0 385 10 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639718758952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12842] ppid=12834 vsize=9625040 CPUtime=3.73 cores=0,2,4,6 /proc/12837/task/12842/stat : 12842 (java) S 12834 12837 7184 0 -1 4202560 1952 0 0 0 360 13 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639717705896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12843] ppid=12834 vsize=9625040 CPUtime=3.94 cores=0,2,4,6 /proc/12837/task/12843/stat : 12843 (java) S 12834 12837 7184 0 -1 4202560 1902 0 0 0 380 14 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639716653352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12844] ppid=12834 vsize=9625040 CPUtime=3.82 cores=0,2,4,6 /proc/12837/task/12844/stat : 12844 (java) S 12834 12837 7184 0 -1 4202560 2654 0 0 0 370 12 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639715601320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12845] ppid=12834 vsize=9625040 CPUtime=3.84 cores=0,2,4,6 /proc/12837/task/12845/stat : 12845 (java) S 12834 12837 7184 0 -1 4202560 1460 0 0 0 372 12 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639714548776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12846] ppid=12834 vsize=9625040 CPUtime=3.82 cores=0,2,4,6 /proc/12837/task/12846/stat : 12846 (java) S 12834 12837 7184 0 -1 4202560 1418 0 0 0 370 12 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639713495720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12847] ppid=12834 vsize=9625040 CPUtime=3.69 cores=0,2,4,6 /proc/12837/task/12847/stat : 12847 (java) S 12834 12837 7184 0 -1 4202560 1938 0 0 0 357 12 0 0 20 0 19 0 105094103 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639712443176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12848] ppid=12834 vsize=9625040 CPUtime=4.14 cores=0,2,4,6 /proc/12837/task/12848/stat : 12848 (java) S 12834 12837 7184 0 -1 4202560 922 0 0 0 407 7 0 0 20 0 19 0 105094104 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639100438888 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12849] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12849/stat : 12849 (java) S 12834 12837 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639099385208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12850] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12850/stat : 12850 (java) S 12834 12837 7184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105094105 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639098332040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12851] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12851/stat : 12851 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639097280784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12837/tid=12852] ppid=12834 vsize=9625040 CPUtime=0.48 cores=0,2,4,6 /proc/12837/task/12852/stat : 12852 (java) S 12834 12837 7184 0 -1 4202560 3260 0 0 0 48 0 0 0 20 0 19 0 105094107 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639096228664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12853] ppid=12834 vsize=9625040 CPUtime=0.31 cores=0,2,4,6 /proc/12837/task/12853/stat : 12853 (java) S 12834 12837 7184 0 -1 4202560 1930 0 0 0 31 0 0 0 20 0 19 0 105094107 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639095176120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12837/tid=12854] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12854/stat : 12854 (java) S 12834 12837 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105094107 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639094123256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12837/tid=12855] ppid=12834 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/12837/task/12855/stat : 12855 (java) S 12834 12837 7184 0 -1 4202560 104 0 0 0 26 20 0 0 20 0 19 0 105094107 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639093070920 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12837/tid=12856] ppid=12834 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/12837/task/12856/stat : 12856 (java) S 12834 12837 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105094129 9856040960 94352 33554432000 1073741824 1073778376 140733618852784 140639092016168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625040 Child status: 143 Real time (s): 1777.94 CPU time (s): 1800.8 CPU user time (s): 1799.07 CPU system time (s): 1.73074 CPU usage (%): 101.285 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.07 system time used= 1.73074 maximum resident set size= 554720 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25743 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55980 involuntary context switches= 62297 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.2143 second user time and 12.0732 second system time The end
Begin job on node130 at 2016-06-06 18:46:49 IDJOB=4085213 IDBENCH=2105 IDSOLVER=2546 FILE ID=node130/4085213-1465231609 RUNJOBID= node130-1465218951-7200 PBS_JOBID= 19843207 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085213-1465231609/watcher-4085213-1465231609 -o /tmp/evaluation-result-4085213-1465231609/solver-4085213-1465231609 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465218951-7200 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085213-1465231609.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d4648505d14cf43905d3198d6f686c2 RANDOM SEED=1778185346 node130.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.261 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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.261 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.261 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.261 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.61 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.261 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.261 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.261 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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.261 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30193216 kB Buffers: 24412 kB Cached: 93100 kB SwapCached: 1756 kB Active: 485500 kB Inactive: 57416 kB Active(anon): 426552 kB Inactive(anon): 1200 kB Active(file): 58948 kB Inactive(file): 56216 kB Unevictable: 1434320 kB Mlocked: 15784 kB SwapTotal: 67108856 kB SwapFree: 67098348 kB Dirty: 804 kB Writeback: 0 kB AnonPages: 1859244 kB Mapped: 15316 kB Shmem: 0 kB Slab: 567992 kB SReclaimable: 10904 kB SUnreclaim: 557088 kB KernelStack: 1568 kB PageTables: 7936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2004108 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1822720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71748 MiB End job on node130 at 2016-06-06 19:16:27