Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 30 | 1800.61 | 1792.05 |
Name | /OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_5_errors.opb |
MD5SUM | 06d341d0af76f66d4946a3c264573060 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 1.69474 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 584 |
Total number of constraints | 427 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 33 |
Number of constraints which are nor clauses,nor cardinality constraints | 394 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 34 |
Number of terms in the objective function | 182 |
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 | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 182 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2406 |
Sum of products size (including duplicates) | 10572 |
Number of different products | 2406 |
Sum of products size | 10572 |
0.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.04/0.09 c version 2.3.2.v20120418 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 501472288 0.04/0.09 c Max memory 7480803328 0.04/0.09 c Total memory 504102912 0.04/0.09 c Number of processors 8 0.08/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.08/0.12 c configuring ORDERS 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=true 0.08/0.13 c Heuristics kept accross calls (keep the solver "hot") 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3711289-1338183185.opb 0.08/0.13 c reading problem ... 0.70/0.46 c ... done. Wall clock time 0.337s. 0.70/0.46 c declared #vars 584 0.70/0.46 c internal #vars 2990 0.70/0.46 c #constraints 5064 0.70/0.46 c constraints type 0.70/0.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104 0.70/0.46 c org.sat4j.minisat.constraints.cnf.UnitClauses => 32 0.70/0.46 c org.sat4j.minisat.constraints.card.MinWatchCard => 436 0.70/0.46 c ignored satisfied constraints => 602 0.70/0.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20 0.70/0.46 c org.sat4j.minisat.constraints.cnf.UnitClause => 66 0.70/0.46 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406 0.70/0.46 c 5666 constraints processed. 2.04/1.37 c cleaning 2495 clauses out of 5001 with flag 5001/5001 2.72/1.95 c cleaning 4249 clauses out of 8505 with flag 11000/11000 3.63/2.89 c cleaning 5615 clauses out of 11256 with flag 18000/18000 3.84/3.03 c SATISFIABLE 3.84/3.03 c OPTIMIZING... 3.84/3.03 c Got one! Elapsed wall clock time (in seconds):2.898 3.84/3.03 o 55 3.95/3.14 c cleaning 5365 clauses out of 10739 with flag 4001/23098 4.47/3.60 c cleaning 5681 clauses out of 11375 with flag 10002/29099 4.78/3.97 c Got one! Elapsed wall clock time (in seconds):3.84 4.78/3.97 o 53 4.98/4.15 c cleaning 7948 clauses out of 15902 with flag 5001/39307 5.28/4.42 c cleaning 6973 clauses out of 13957 with flag 11004/45310 5.58/4.76 c Got one! Elapsed wall clock time (in seconds):4.632 5.58/4.76 o 51 5.78/4.93 c cleaning 6349 clauses out of 12704 with flag 2001/51030 6.39/5.52 c cleaning 6172 clauses out of 12354 with flag 8000/57029 6.98/6.12 c cleaning 6588 clauses out of 13187 with flag 15005/64034 7.28/6.45 c cleaning 7292 clauses out of 14596 with flag 23002/72031 8.10/7.29 c cleaning 8143 clauses out of 16302 with flag 32000/81029 8.91/8.07 c cleaning 9076 clauses out of 18161 with flag 42002/91031 9.12/8.24 c Got one! Elapsed wall clock time (in seconds):8.114 9.12/8.24 o 49 9.32/8.49 c cleaning 7488 clauses out of 14996 with flag 4000/96942 9.82/9.00 c cleaning 6749 clauses out of 13508 with flag 10000/102942 10.03/9.17 c cleaning 6877 clauses out of 13760 with flag 17001/109943 10.33/9.40 c cleaning 7436 clauses out of 14883 with flag 25001/117943 10.63/9.70 c cleaning 8226 clauses out of 16452 with flag 34006/126948 10.93/10.08 c cleaning 9110 clauses out of 18221 with flag 44001/136943 11.43/10.53 c cleaning 10052 clauses out of 20111 with flag 55001/147943 11.94/11.06 c Got one! Elapsed wall clock time (in seconds):10.933 11.94/11.06 o 48 12.07/11.19 c cleaning 11059 clauses out of 22129 with flag 5000/160013 12.28/11.36 c cleaning 8531 clauses out of 17070 with flag 11000/166013 12.58/11.65 c cleaning 7766 clauses out of 15540 with flag 18001/173014 13.28/12.34 c cleaning 7883 clauses out of 15775 with flag 26002/181015 14.19/13.29 c cleaning 8441 clauses out of 16890 with flag 35000/190013 14.78/13.87 c cleaning 9217 clauses out of 18450 with flag 45001/200014 15.39/14.41 c cleaning 10111 clauses out of 20233 with flag 56001/211014 15.39/14.47 c Got one! Elapsed wall clock time (in seconds):14.345 15.39/14.47 o 47 15.60/14.62 c cleaning 7716 clauses out of 15447 with flag 5000/216339 15.81/14.80 c cleaning 6860 clauses out of 13733 with flag 11002/222341 16.01/15.01 c cleaning 6933 clauses out of 13871 with flag 18000/229339 16.61/15.63 c cleaning 7456 clauses out of 14941 with flag 26003/237342 17.31/16.30 c cleaning 8232 clauses out of 16483 with flag 35001/246340 18.22/17.23 c cleaning 9109 clauses out of 18250 with flag 45000/256339 19.52/18.57 c cleaning 10068 clauses out of 20142 with flag 56001/267340 20.32/19.34 c Got one! Elapsed wall clock time (in seconds):19.207 20.32/19.34 o 45 20.42/19.49 c cleaning 12949 clauses out of 25908 with flag 5003/283174 20.73/19.73 c cleaning 9473 clauses out of 18959 with flag 11003/289174 21.03/20.06 c cleaning 8236 clauses out of 16483 with flag 18000/296171 21.33/20.33 c cleaning 8118 clauses out of 16247 with flag 26000/304171 21.73/20.71 c cleaning 8566 clauses out of 17131 with flag 35002/313173 21.94/20.98 c cleaning 9278 clauses out of 18564 with flag 45001/323172 22.64/21.67 c cleaning 10133 clauses out of 20285 with flag 56000/334171 24.54/23.59 c cleaning 11066 clauses out of 22152 with flag 68000/346171 25.25/24.24 c cleaning 12034 clauses out of 24087 with flag 81001/359172 26.15/25.11 c cleaning 13024 clauses out of 26055 with flag 95003/373174 27.06/26.08 c cleaning 14003 clauses out of 28030 with flag 110002/388173 27.28/26.23 c Got one! Elapsed wall clock time (in seconds):26.106 27.28/26.23 o 44 27.58/26.59 c cleaning 9742 clauses out of 19496 with flag 3001/393642 28.10/27.00 c cleaning 7869 clauses out of 15755 with flag 9002/399643 28.81/27.73 c cleaning 7436 clauses out of 14884 with flag 16000/406641 29.43/28.33 c cleaning 7720 clauses out of 15450 with flag 24002/414643 29.65/28.51 c Got one! Elapsed wall clock time (in seconds):28.38 29.65/28.51 o 42 29.65/28.57 c cleaning 6547 clauses out of 13109 with flag 3000/420022 29.84/28.71 c cleaning 6274 clauses out of 12562 with flag 9000/426022 30.06/28.94 c cleaning 6639 clauses out of 13288 with flag 16000/433022 30.41/29.23 c cleaning 7318 clauses out of 14652 with flag 24003/441025 30.71/29.53 c cleaning 8165 clauses out of 16335 with flag 33004/450026 31.63/30.43 c cleaning 9076 clauses out of 18167 with flag 43001/460023 32.86/31.66 c cleaning 10041 clauses out of 20090 with flag 54000/471022 34.16/32.92 c cleaning 11018 clauses out of 22050 with flag 66001/483023 34.47/33.21 c Got one! Elapsed wall clock time (in seconds):33.081 34.47/33.21 o 41 34.57/33.32 c cleaning 8142 clauses out of 16293 with flag 3000/488284 34.77/33.50 c cleaning 7072 clauses out of 14153 with flag 9002/494286 34.97/33.75 c cleaning 7033 clauses out of 14079 with flag 16000/501284 35.18/34.00 c cleaning 7523 clauses out of 15048 with flag 24002/509286 35.59/34.31 c cleaning 8258 clauses out of 16523 with flag 33000/518284 35.99/34.72 c cleaning 9122 clauses out of 18267 with flag 43002/528286 36.89/35.66 c cleaning 10064 clauses out of 20145 with flag 54002/539286 38.70/37.42 c cleaning 11031 clauses out of 22079 with flag 66000/551284 39.50/38.21 c cleaning 12020 clauses out of 24049 with flag 79001/564285 41.50/40.20 c cleaning 12994 clauses out of 26028 with flag 93000/578284 42.71/41.43 c cleaning 14016 clauses out of 28037 with flag 108003/593287 44.21/42.95 c cleaning 15003 clauses out of 30018 with flag 124000/609284 47.71/46.46 c cleaning 16008 clauses out of 32021 with flag 141006/626290 48.62/47.35 c cleaning 16998 clauses out of 34008 with flag 159001/644285 49.82/48.57 c cleaning 17994 clauses out of 36011 with flag 178002/663286 51.82/50.56 c cleaning 18998 clauses out of 38016 with flag 198001/683285 55.32/54.08 c cleaning 19999 clauses out of 40018 with flag 219001/704285 58.05/56.75 c cleaning 21005 clauses out of 42021 with flag 241003/726287 59.45/58.12 c cleaning 22004 clauses out of 44017 with flag 264004/749288 60.86/59.51 c cleaning 23000 clauses out of 46011 with flag 288002/773286 62.47/61.15 c cleaning 23998 clauses out of 48010 with flag 313001/798285 64.77/63.46 c cleaning 24995 clauses out of 50012 with flag 339001/824285 66.98/65.64 c Got one! Elapsed wall clock time (in seconds):65.515 66.98/65.64 o 40 67.28/65.92 c cleaning 25132 clauses out of 50273 with flag 5002/849541 67.50/66.16 c cleaning 15560 clauses out of 31142 with flag 11003/855542 67.70/66.37 c cleaning 11284 clauses out of 22579 with flag 18000/862539 68.00/66.63 c cleaning 9642 clauses out of 19295 with flag 26000/870539 68.22/66.88 c cleaning 9325 clauses out of 18660 with flag 35007/879546 68.62/67.29 c cleaning 9659 clauses out of 19332 with flag 45004/889543 70.42/69.06 c cleaning 10327 clauses out of 20670 with flag 56001/900540 71.23/69.85 c cleaning 11156 clauses out of 22342 with flag 68000/912539 72.83/71.43 c cleaning 12085 clauses out of 24186 with flag 81000/925539 73.93/72.58 c cleaning 13041 clauses out of 26101 with flag 95000/939539 76.14/74.71 c cleaning 14023 clauses out of 28061 with flag 110001/954540 78.54/77.13 c cleaning 15013 clauses out of 30038 with flag 126001/970540 79.95/78.56 c cleaning 15998 clauses out of 32024 with flag 143000/987539 82.96/81.57 c cleaning 17000 clauses out of 34026 with flag 161000/1005539 85.87/84.48 c cleaning 18010 clauses out of 36030 with flag 180004/1024543 89.58/88.17 c cleaning 19004 clauses out of 38018 with flag 200002/1044541 94.09/92.64 c cleaning 19988 clauses out of 40012 with flag 221000/1065539 97.60/96.15 c cleaning 20995 clauses out of 42024 with flag 243000/1087539 100.42/98.98 c cleaning 22007 clauses out of 44030 with flag 266001/1110540 103.92/102.43 c cleaning 22991 clauses out of 46022 with flag 290000/1134539 107.45/105.99 c cleaning 24003 clauses out of 48033 with flag 315002/1159541 109.97/108.48 c cleaning 25010 clauses out of 50029 with flag 341001/1185540 112.08/110.50 c cleaning 26002 clauses out of 52018 with flag 368000/1212539 113.79/112.30 c cleaning 27002 clauses out of 54017 with flag 396001/1240540 115.80/114.27 c cleaning 27999 clauses out of 56014 with flag 425000/1269539 117.91/116.33 c cleaning 28997 clauses out of 58015 with flag 455000/1299539 120.12/118.60 c cleaning 30004 clauses out of 60020 with flag 486002/1330541 124.32/122.76 c cleaning 30998 clauses out of 62015 with flag 518001/1362540 128.53/126.99 c cleaning 32001 clauses out of 64016 with flag 551000/1395539 132.85/131.22 c cleaning 32990 clauses out of 66017 with flag 585002/1429541 138.89/137.20 c cleaning 34010 clauses out of 68026 with flag 620001/1464540 141.73/140.01 c cleaning 35004 clauses out of 70015 with flag 656000/1500539 144.15/142.48 c cleaning 35998 clauses out of 72012 with flag 693001/1537540 147.97/146.24 c cleaning 37000 clauses out of 74015 with flag 731002/1575541 155.08/153.30 c cleaning 38002 clauses out of 76015 with flag 770002/1614541 157.20/155.45 c Got one! Elapsed wall clock time (in seconds):155.321 157.20/155.45 o 39 157.50/155.70 c cleaning 29121 clauses out of 58258 with flag 5001/1634786 157.72/155.93 c cleaning 17562 clauses out of 35139 with flag 11003/1640788 157.92/156.14 c cleaning 12280 clauses out of 24574 with flag 18000/1647785 158.12/156.37 c cleaning 10140 clauses out of 20295 with flag 26001/1655786 158.45/156.64 c cleaning 9570 clauses out of 19155 with flag 35001/1664786 158.76/156.94 c cleaning 9790 clauses out of 19586 with flag 45002/1674787 159.07/157.28 c cleaning 10397 clauses out of 20794 with flag 56000/1685785 159.47/157.66 c cleaning 11195 clauses out of 22398 with flag 68001/1697786 159.97/158.14 c cleaning 12098 clauses out of 24202 with flag 81000/1710785 160.47/158.66 c cleaning 13051 clauses out of 26104 with flag 95000/1724785 161.08/159.26 c cleaning 14022 clauses out of 28054 with flag 110001/1739786 161.68/159.85 c cleaning 15011 clauses out of 30033 with flag 126002/1755787 162.60/160.72 c cleaning 16005 clauses out of 32020 with flag 143000/1772785 163.32/161.48 c Got one! Elapsed wall clock time (in seconds):161.349 163.32/161.48 o 38 163.52/161.65 c cleaning 14269 clauses out of 28552 with flag 5001/1785322 163.73/161.85 c cleaning 10135 clauses out of 20282 with flag 11000/1791321 163.93/162.08 c cleaning 8564 clauses out of 17147 with flag 18000/1798321 164.24/162.35 c cleaning 8288 clauses out of 16588 with flag 26005/1806326 164.55/162.65 c cleaning 8646 clauses out of 17295 with flag 35000/1815321 164.96/163.04 c cleaning 9318 clauses out of 18650 with flag 45001/1825322 165.47/163.51 c cleaning 10165 clauses out of 20337 with flag 56006/1836327 165.99/164.06 c cleaning 11084 clauses out of 22169 with flag 68003/1848324 166.81/164.81 c cleaning 12038 clauses out of 24082 with flag 81000/1861321 167.71/165.74 c cleaning 13020 clauses out of 26044 with flag 95000/1875321 168.84/166.89 c cleaning 14006 clauses out of 28024 with flag 110000/1890321 169.85/167.88 c cleaning 15010 clauses out of 30020 with flag 126002/1906323 171.05/169.06 c cleaning 16001 clauses out of 32011 with flag 143003/1923324 172.47/170.49 c cleaning 16998 clauses out of 34007 with flag 161000/1941321 174.27/172.21 c cleaning 18006 clauses out of 36012 with flag 180003/1960324 176.08/174.06 c cleaning 18998 clauses out of 38004 with flag 200001/1980322 177.78/175.77 c cleaning 19999 clauses out of 40010 with flag 221005/2001326 180.68/178.63 c cleaning 20994 clauses out of 42010 with flag 243004/2023325 182.69/180.62 c cleaning 21993 clauses out of 44012 with flag 266000/2046321 186.40/184.37 c cleaning 22988 clauses out of 46019 with flag 290000/2070321 188.72/186.62 c cleaning 24014 clauses out of 48034 with flag 315003/2095324 190.15/188.03 c cleaning 25009 clauses out of 50018 with flag 341001/2121322 193.65/191.58 c cleaning 25998 clauses out of 52008 with flag 368000/2148321 197.76/195.65 c cleaning 26993 clauses out of 54010 with flag 396000/2176321 202.46/200.39 c cleaning 27997 clauses out of 56018 with flag 425001/2205322 207.77/205.69 c cleaning 29005 clauses out of 58023 with flag 455003/2235324 209.87/207.70 c cleaning 30003 clauses out of 60016 with flag 486001/2266322 211.39/209.20 c cleaning 31004 clauses out of 62012 with flag 518000/2298321 212.81/210.67 c cleaning 32000 clauses out of 64009 with flag 551001/2331322 214.14/211.99 c cleaning 32999 clauses out of 66008 with flag 585000/2365321 215.56/213.39 c cleaning 34000 clauses out of 68009 with flag 620000/2400321 217.28/215.02 c cleaning 35002 clauses out of 70011 with flag 656002/2436323 224.61/222.32 c cleaning 35999 clauses out of 72008 with flag 693001/2473322 234.03/231.80 c cleaning 36992 clauses out of 74009 with flag 731001/2511322 243.14/240.84 c cleaning 37989 clauses out of 76019 with flag 770003/2550324 253.65/251.36 c cleaning 38980 clauses out of 78027 with flag 810000/2590321 265.28/262.92 c cleaning 40004 clauses out of 80048 with flag 851001/2631322 272.52/270.11 c cleaning 41010 clauses out of 82043 with flag 893000/2673321 277.72/275.31 c cleaning 42003 clauses out of 84033 with flag 936000/2716321 279.13/276.75 c Got one! Elapsed wall clock time (in seconds):276.619 279.13/276.75 o 37 279.43/277.04 c cleaning 27254 clauses out of 54523 with flag 5002/2728814 279.65/277.24 c cleaning 16626 clauses out of 33267 with flag 11000/2734812 279.87/277.45 c cleaning 11814 clauses out of 23641 with flag 18000/2741812 280.09/277.69 c cleaning 9907 clauses out of 19827 with flag 26000/2749812 280.39/277.94 c cleaning 9450 clauses out of 18921 with flag 35001/2758813 280.60/278.20 c cleaning 9732 clauses out of 19471 with flag 45001/2768813 281.02/278.53 c cleaning 10372 clauses out of 20743 with flag 56005/2779817 281.32/278.88 c cleaning 11180 clauses out of 22370 with flag 68004/2791816 281.74/279.29 c cleaning 12092 clauses out of 24189 with flag 81003/2804815 282.26/279.74 c cleaning 13045 clauses out of 26096 with flag 95002/2818814 282.77/280.26 c cleaning 14015 clauses out of 28050 with flag 110001/2833813 283.38/280.82 c cleaning 15016 clauses out of 30034 with flag 126000/2849812 283.99/281.49 c cleaning 16008 clauses out of 32018 with flag 143000/2866812 284.70/282.17 c cleaning 17006 clauses out of 34012 with flag 161002/2884814 285.52/282.91 c cleaning 18003 clauses out of 36005 with flag 180001/2903813 286.32/283.79 c cleaning 19002 clauses out of 38003 with flag 200002/2923814 287.22/284.66 c cleaning 19996 clauses out of 40000 with flag 221001/2944813 288.03/285.49 c cleaning 21001 clauses out of 42004 with flag 243001/2966813 289.03/286.47 c cleaning 21999 clauses out of 44004 with flag 266002/2989814 290.64/288.05 c cleaning 22997 clauses out of 46003 with flag 290000/3013812 292.37/289.78 c cleaning 24001 clauses out of 48007 with flag 315001/3038813 295.98/293.35 c cleaning 24995 clauses out of 50006 with flag 341001/3064813 298.58/295.95 c cleaning 26004 clauses out of 52010 with flag 368000/3091812 303.29/300.63 c cleaning 26999 clauses out of 54010 with flag 396004/3119816 304.59/301.95 c cleaning 27999 clauses out of 56007 with flag 425000/3148812 306.20/303.60 c cleaning 29003 clauses out of 58008 with flag 455000/3178812 308.21/305.54 c cleaning 29997 clauses out of 60006 with flag 486001/3209813 310.72/308.07 c cleaning 30998 clauses out of 62010 with flag 518002/3241814 313.53/310.85 c cleaning 32000 clauses out of 64013 with flag 551003/3274815 315.95/313.27 c cleaning 33002 clauses out of 66016 with flag 585006/3308818 318.56/315.84 c cleaning 34003 clauses out of 68011 with flag 620003/3343815 321.08/318.39 c cleaning 34998 clauses out of 70006 with flag 656001/3379813 323.68/320.99 c cleaning 36004 clauses out of 72010 with flag 693003/3416815 326.79/324.08 c cleaning 36994 clauses out of 74004 with flag 731001/3454813 332.30/329.59 c cleaning 37981 clauses out of 76010 with flag 770001/3493813 338.92/336.17 c cleaning 39003 clauses out of 78031 with flag 810003/3533815 351.46/348.67 c cleaning 40002 clauses out of 80026 with flag 851001/3574813 363.88/361.03 c cleaning 41000 clauses out of 82023 with flag 893000/3616812 370.89/368.01 c cleaning 42001 clauses out of 84024 with flag 936001/3659813 374.19/371.38 c cleaning 43007 clauses out of 86025 with flag 980003/3703815 379.41/376.60 c cleaning 43998 clauses out of 88015 with flag 1025000/3748812 384.84/381.95 c cleaning 45000 clauses out of 90017 with flag 1071000/3794812 391.17/388.29 c cleaning 45993 clauses out of 92018 with flag 1118001/3841813 398.00/395.06 c cleaning 47001 clauses out of 94024 with flag 1166000/3889812 406.62/403.62 c cleaning 48004 clauses out of 96025 with flag 1215002/3938814 413.02/410.09 c cleaning 49000 clauses out of 98019 with flag 1265000/3988812 425.56/422.59 c Got one! Elapsed wall clock time (in seconds):422.461 425.56/422.59 o 36 425.99/422.90 c cleaning 49916 clauses out of 99846 with flag 5000/4039639 426.34/423.24 c cleaning 27954 clauses out of 55932 with flag 11002/4045641 426.55/423.47 c cleaning 17480 clauses out of 34976 with flag 18000/4052639 426.85/423.70 c cleaning 12738 clauses out of 25499 with flag 26003/4060642 427.07/423.96 c cleaning 10866 clauses out of 21759 with flag 35001/4069640 427.39/424.24 c cleaning 10440 clauses out of 20894 with flag 45002/4079641 427.70/424.55 c cleaning 10718 clauses out of 21455 with flag 56003/4090642 427.99/424.87 c cleaning 11354 clauses out of 22734 with flag 68000/4102639 428.40/425.25 c cleaning 12180 clauses out of 24381 with flag 81001/4115640 428.80/425.66 c cleaning 13094 clauses out of 26203 with flag 95003/4129642 429.30/426.11 c cleaning 14045 clauses out of 28108 with flag 110002/4144641 429.81/426.64 c cleaning 15020 clauses out of 30062 with flag 126001/4160640 430.32/427.19 c cleaning 16017 clauses out of 32043 with flag 143002/4177641 430.93/427.74 c cleaning 17003 clauses out of 34024 with flag 161000/4195639 431.53/428.35 c cleaning 18002 clauses out of 36021 with flag 180000/4214639 432.24/429.04 c cleaning 19001 clauses out of 38020 with flag 200001/4234640 432.85/429.69 c cleaning 20001 clauses out of 40020 with flag 221002/4255641 433.66/430.43 c cleaning 21002 clauses out of 42022 with flag 243005/4277644 434.48/431.24 c cleaning 21994 clauses out of 44016 with flag 266001/4300640 436.37/433.12 c cleaning 23003 clauses out of 46021 with flag 290000/4324639 437.50/434.21 c cleaning 24000 clauses out of 48018 with flag 315000/4349639 438.60/435.31 c cleaning 25002 clauses out of 50018 with flag 341000/4375639 439.70/436.47 c cleaning 26000 clauses out of 52018 with flag 368002/4402641 440.92/437.60 c cleaning 26999 clauses out of 54016 with flag 396000/4430639 442.03/438.76 c cleaning 28002 clauses out of 56018 with flag 425001/4459640 443.53/440.22 c cleaning 29002 clauses out of 58016 with flag 455001/4489640 446.74/443.49 c cleaning 30000 clauses out of 60013 with flag 486000/4520639 450.65/447.32 c cleaning 31001 clauses out of 62016 with flag 518003/4552642 452.27/448.93 c cleaning 31999 clauses out of 64013 with flag 551001/4585640 456.88/453.52 c cleaning 33001 clauses out of 66018 with flag 585005/4619644 458.49/455.18 c cleaning 34002 clauses out of 68012 with flag 620000/4654639 460.79/457.47 c cleaning 34999 clauses out of 70011 with flag 656001/4690640 463.90/460.54 c cleaning 36000 clauses out of 72012 with flag 693001/4727640 467.30/463.97 c cleaning 36999 clauses out of 74012 with flag 731001/4765640 471.12/467.71 c cleaning 37995 clauses out of 76013 with flag 770001/4804640 473.84/470.44 c cleaning 38996 clauses out of 78017 with flag 810000/4844639 476.35/472.95 c cleaning 40000 clauses out of 80021 with flag 851000/4885639 479.26/475.86 c cleaning 41007 clauses out of 82021 with flag 893000/4927639 485.37/481.94 c cleaning 41990 clauses out of 84014 with flag 936000/4970639 494.99/491.54 c cleaning 43000 clauses out of 86024 with flag 980000/5014639 504.71/501.26 c cleaning 44004 clauses out of 88024 with flag 1025000/5059639 514.65/511.15 c cleaning 44993 clauses out of 90020 with flag 1071000/5105639 524.07/520.50 c cleaning 46008 clauses out of 92028 with flag 1118001/5152640 531.28/527.77 c cleaning 46995 clauses out of 94020 with flag 1166001/5200640 542.70/539.12 c cleaning 48005 clauses out of 96025 with flag 1215001/5249640 554.62/551.03 c cleaning 49003 clauses out of 98019 with flag 1265000/5299639 566.13/562.59 c cleaning 49992 clauses out of 100016 with flag 1316000/5350639 579.14/575.58 c cleaning 50991 clauses out of 102026 with flag 1368002/5402641 591.65/588.02 c cleaning 52009 clauses out of 104033 with flag 1421000/5455639 599.56/595.94 c cleaning 53003 clauses out of 106024 with flag 1475000/5509639 608.26/604.64 c cleaning 54006 clauses out of 108024 with flag 1530003/5564642 622.27/618.66 c cleaning 54991 clauses out of 110017 with flag 1586002/5620641 630.98/627.38 c cleaning 55997 clauses out of 112026 with flag 1643002/5677641 645.61/641.99 c cleaning 57001 clauses out of 114029 with flag 1701002/5735641 662.55/658.84 c cleaning 57999 clauses out of 116026 with flag 1760000/5794639 676.97/673.23 c cleaning 59001 clauses out of 118027 with flag 1820000/5854639 688.68/684.92 c cleaning 60002 clauses out of 120028 with flag 1881002/5915641 698.91/695.16 c cleaning 61005 clauses out of 122028 with flag 1943004/5977643 700.61/696.88 c Got one! Elapsed wall clock time (in seconds):696.747 700.61/696.88 o 35 701.01/697.23 c cleaning 39038 clauses out of 78089 with flag 5002/5994709 701.23/697.46 c cleaning 22515 clauses out of 45050 with flag 11001/6000708 701.43/697.67 c cleaning 14758 clauses out of 29534 with flag 18000/6007707 701.65/697.89 c cleaning 11380 clauses out of 22777 with flag 26001/6015708 701.98/698.12 c cleaning 10190 clauses out of 20397 with flag 35001/6024708 702.19/698.39 c cleaning 10094 clauses out of 20208 with flag 45002/6034709 702.49/698.69 c cleaning 10549 clauses out of 21115 with flag 56003/6045710 702.90/699.02 c cleaning 11274 clauses out of 22564 with flag 68001/6057708 703.32/699.42 c cleaning 12138 clauses out of 24291 with flag 81002/6070709 703.75/699.86 c cleaning 13067 clauses out of 26151 with flag 95000/6084707 704.25/700.33 c cleaning 14035 clauses out of 28084 with flag 110000/6099707 704.76/700.84 c cleaning 15015 clauses out of 30049 with flag 126000/6115707 705.26/701.39 c cleaning 16012 clauses out of 32036 with flag 143002/6132709 705.88/701.98 c cleaning 17005 clauses out of 34022 with flag 161000/6150707 706.59/702.64 c cleaning 18003 clauses out of 36019 with flag 180002/6169709 707.29/703.33 c cleaning 19001 clauses out of 38015 with flag 200001/6189708 708.00/704.06 c cleaning 19998 clauses out of 40013 with flag 221000/6210707 708.79/704.84 c cleaning 21001 clauses out of 42016 with flag 243001/6232708 709.61/705.69 c cleaning 22001 clauses out of 44018 with flag 266004/6255711 710.63/706.68 c cleaning 22999 clauses out of 46013 with flag 290000/6279707 711.75/707.78 c cleaning 24000 clauses out of 48015 with flag 315001/6304708 712.86/708.82 c cleaning 25001 clauses out of 50017 with flag 341003/6330710 713.97/709.92 c cleaning 25999 clauses out of 52015 with flag 368002/6357709 715.07/711.10 c cleaning 26998 clauses out of 54015 with flag 396001/6385708 716.29/712.28 c cleaning 27997 clauses out of 56017 with flag 425001/6414708 717.62/713.59 c cleaning 29001 clauses out of 58020 with flag 455001/6444708 718.92/714.83 c cleaning 30001 clauses out of 60020 with flag 486002/6475709 720.33/716.22 c cleaning 31000 clauses out of 62017 with flag 518000/6507707 721.73/717.67 c cleaning 31999 clauses out of 64018 with flag 551001/6540708 723.14/719.09 c cleaning 33000 clauses out of 66018 with flag 585000/6574707 724.75/720.60 c cleaning 34002 clauses out of 68020 with flag 620002/6609709 726.36/722.29 c cleaning 34998 clauses out of 70016 with flag 656000/6645707 728.17/724.03 c cleaning 36001 clauses out of 72018 with flag 693000/6682707 729.88/725.72 c cleaning 37002 clauses out of 74017 with flag 731000/6720707 733.80/729.65 c cleaning 38008 clauses out of 76016 with flag 770001/6759708 738.45/734.29 c cleaning 39001 clauses out of 78012 with flag 810005/6799712 741.87/737.61 c cleaning 39997 clauses out of 80008 with flag 851002/6840709 748.60/744.37 c cleaning 40992 clauses out of 82011 with flag 893002/6882709 757.42/753.12 c Got one! Elapsed wall clock time (in seconds):752.991 757.42/753.12 o 34 757.73/753.49 c cleaning 41878 clauses out of 83767 with flag 5000/6925457 758.77/754.43 c cleaning 23933 clauses out of 47890 with flag 11001/6931458 759.38/755.01 c cleaning 15465 clauses out of 30956 with flag 18000/6938457 759.90/755.56 c cleaning 11736 clauses out of 23491 with flag 26000/6946457 760.50/756.12 c cleaning 10367 clauses out of 20755 with flag 35000/6955457 761.51/757.19 c cleaning 10184 clauses out of 20389 with flag 45001/6965458 762.23/757.89 c cleaning 10593 clauses out of 21204 with flag 56000/6976457 763.63/759.22 c cleaning 11294 clauses out of 22614 with flag 68003/6988460 765.34/760.92 c cleaning 12150 clauses out of 24318 with flag 81001/7001458 766.94/762.52 c cleaning 13071 clauses out of 26168 with flag 95001/7015458 768.45/764.07 c cleaning 14036 clauses out of 28098 with flag 110002/7030459 771.45/767.00 c cleaning 15021 clauses out of 30061 with flag 126001/7046458 774.57/770.14 c cleaning 16012 clauses out of 32042 with flag 143003/7063460 778.78/774.37 c cleaning 16997 clauses out of 34028 with flag 161001/7081458 783.38/778.93 c cleaning 18002 clauses out of 36032 with flag 180002/7100459 788.10/783.64 c cleaning 19000 clauses out of 38028 with flag 200000/7120457 793.81/789.38 c cleaning 19998 clauses out of 40028 with flag 221000/7141457 799.63/795.13 c cleaning 21002 clauses out of 42031 with flag 243001/7163458 802.24/797.76 c cleaning 22011 clauses out of 44029 with flag 266001/7186458 803.55/799.00 c cleaning 23003 clauses out of 46018 with flag 290001/7210458 805.16/800.70 c cleaning 24004 clauses out of 48017 with flag 315003/7235460 806.97/802.45 c cleaning 25002 clauses out of 50010 with flag 341000/7261457 808.79/804.30 c cleaning 26000 clauses out of 52010 with flag 368002/7288459 810.80/806.28 c cleaning 27001 clauses out of 54010 with flag 396002/7316459 813.29/808.75 c cleaning 28004 clauses out of 56012 with flag 425005/7345462 815.50/810.98 c cleaning 29000 clauses out of 58004 with flag 455001/7375458 817.60/813.09 c cleaning 29995 clauses out of 60003 with flag 486000/7406457 820.71/816.10 c cleaning 30992 clauses out of 62009 with flag 518001/7438458 825.71/821.10 c cleaning 32002 clauses out of 64017 with flag 551001/7471458 829.52/824.93 c cleaning 32994 clauses out of 66014 with flag 585000/7505457 831.13/826.56 c Got one! Elapsed wall clock time (in seconds):826.429 831.13/826.56 o 33 831.34/826.79 c cleaning 26455 clauses out of 52918 with flag 5001/7525355 831.65/827.02 c cleaning 16227 clauses out of 32462 with flag 11000/7531354 831.86/827.28 c cleaning 11615 clauses out of 23237 with flag 18002/7538356 832.18/827.55 c cleaning 9802 clauses out of 19621 with flag 26001/7546355 832.48/827.86 c cleaning 9400 clauses out of 18819 with flag 35001/7555355 832.80/828.20 c cleaning 9705 clauses out of 19420 with flag 45002/7565356 833.29/828.61 c cleaning 10353 clauses out of 20717 with flag 56004/7576358 833.80/829.13 c cleaning 11177 clauses out of 22362 with flag 68002/7588356 834.42/829.77 c cleaning 12091 clauses out of 24183 with flag 81000/7601354 835.13/830.47 c cleaning 13042 clauses out of 26093 with flag 95001/7615355 835.93/831.30 c cleaning 14025 clauses out of 28050 with flag 110000/7630354 836.84/832.19 c cleaning 15011 clauses out of 30026 with flag 126001/7646355 837.95/833.25 c cleaning 16004 clauses out of 32017 with flag 143003/7663357 839.25/834.56 c cleaning 17005 clauses out of 34010 with flag 161000/7681354 840.46/835.75 c cleaning 17995 clauses out of 36006 with flag 180001/7700355 841.78/837.06 c cleaning 19005 clauses out of 38013 with flag 200003/7720357 843.00/838.23 c cleaning 19993 clauses out of 40006 with flag 221001/7741355 845.10/840.39 c cleaning 20989 clauses out of 42012 with flag 243000/7763354 848.71/843.93 c cleaning 22000 clauses out of 44025 with flag 266002/7786356 851.91/847.12 c cleaning 23008 clauses out of 46024 with flag 290001/7810355 855.03/850.20 c cleaning 23986 clauses out of 48016 with flag 315001/7835355 859.54/854.72 c cleaning 24987 clauses out of 50032 with flag 341003/7861357 864.35/859.56 c cleaning 26012 clauses out of 52042 with flag 368000/7888354 869.17/864.35 c cleaning 27001 clauses out of 54031 with flag 396001/7916355 874.49/869.61 c cleaning 27993 clauses out of 56029 with flag 425000/7945354 879.59/874.72 c cleaning 28996 clauses out of 58036 with flag 455000/7975354 885.79/880.99 c cleaning 30005 clauses out of 60041 with flag 486001/8006355 893.10/888.24 c cleaning 31004 clauses out of 62037 with flag 518002/8038356 900.10/895.22 c cleaning 32000 clauses out of 64032 with flag 551001/8071355 906.62/901.73 c cleaning 33008 clauses out of 66031 with flag 585000/8105354 911.73/906.83 c cleaning 34004 clauses out of 68024 with flag 620001/8140355 917.43/912.59 c cleaning 34998 clauses out of 70019 with flag 656000/8176354 923.95/919.03 c cleaning 35998 clauses out of 72021 with flag 693000/8213354 925.35/920.42 c Got one! Elapsed wall clock time (in seconds):920.295 925.35/920.42 o 32 926.05/921.11 c cleaning 24284 clauses out of 48579 with flag 5000/8225910 926.57/921.62 c cleaning 15141 clauses out of 30295 with flag 11000/8231910 926.87/921.95 c cleaning 11073 clauses out of 22158 with flag 18004/8238914 927.18/922.29 c cleaning 9536 clauses out of 19081 with flag 26000/8246910 927.81/922.85 c cleaning 9270 clauses out of 18547 with flag 35002/8255912 928.53/923.56 c cleaning 9625 clauses out of 19276 with flag 45001/8265911 929.54/924.51 c cleaning 10318 clauses out of 20652 with flag 56002/8276912 930.74/925.77 c cleaning 11153 clauses out of 22332 with flag 68000/8288910 931.76/926.71 c cleaning 12081 clauses out of 24179 with flag 81000/8301910 932.87/927.87 c cleaning 13038 clauses out of 26098 with flag 95000/8315910 934.08/929.07 c cleaning 14022 clauses out of 28060 with flag 110000/8330910 935.69/930.62 c cleaning 15002 clauses out of 30038 with flag 126000/8346910 936.90/931.83 c cleaning 16010 clauses out of 32036 with flag 143000/8363910 938.00/932.92 c cleaning 17004 clauses out of 34028 with flag 161002/8381912 939.11/934.09 c cleaning 17999 clauses out of 36023 with flag 180001/8400911 940.41/935.32 c cleaning 19008 clauses out of 38025 with flag 200002/8420912 941.92/936.80 c cleaning 19998 clauses out of 40019 with flag 221004/8441914 943.94/938.81 c cleaning 20999 clauses out of 42018 with flag 243001/8463911 946.16/941.01 c cleaning 21999 clauses out of 44018 with flag 266000/8486910 948.48/943.37 c cleaning 23002 clauses out of 46021 with flag 290002/8510912 953.80/948.69 c cleaning 24000 clauses out of 48020 with flag 315003/8535913 961.03/955.85 c cleaning 24996 clauses out of 50018 with flag 341001/8561911 968.85/963.60 c cleaning 25998 clauses out of 52023 with flag 368002/8588912 974.26/969.09 c cleaning 26996 clauses out of 54023 with flag 396000/8616910 976.98/971.70 c cleaning 28004 clauses out of 56027 with flag 425000/8645910 979.91/974.68 c cleaning 29000 clauses out of 58023 with flag 455000/8675910 982.61/977.37 c cleaning 30003 clauses out of 60023 with flag 486000/8706910 986.04/980.78 c cleaning 31002 clauses out of 62021 with flag 518001/8738911 989.87/984.51 c cleaning 32002 clauses out of 64023 with flag 551005/8771915 994.18/988.82 c cleaning 32999 clauses out of 66017 with flag 585001/8805911 997.88/992.59 c cleaning 33998 clauses out of 68018 with flag 620001/8840911 1000.99/995.70 c cleaning 35008 clauses out of 70023 with flag 656004/8876914 1004.93/999.55 c cleaning 35990 clauses out of 72012 with flag 693001/8913911 1010.26/1004.84 c cleaning 36996 clauses out of 74021 with flag 731000/8951910 1016.97/1011.56 c cleaning 37997 clauses out of 76026 with flag 770001/8990911 1024.79/1019.35 c cleaning 39005 clauses out of 78029 with flag 810001/9030911 1032.60/1027.10 c cleaning 39995 clauses out of 80025 with flag 851002/9071912 1042.31/1036.83 c cleaning 40997 clauses out of 82029 with flag 893001/9113911 1050.22/1044.71 c cleaning 41996 clauses out of 84032 with flag 936001/9156911 1058.33/1052.86 c cleaning 42978 clauses out of 86035 with flag 980000/9200910 1068.94/1063.42 c cleaning 44014 clauses out of 88057 with flag 1025000/9245910 1080.36/1074.86 c cleaning 45006 clauses out of 90044 with flag 1071001/9291911 1092.77/1087.20 c cleaning 45999 clauses out of 92038 with flag 1118001/9338911 1105.10/1099.55 c cleaning 47001 clauses out of 94040 with flag 1166002/9386912 1117.10/1111.56 c cleaning 48008 clauses out of 96038 with flag 1215001/9435911 1127.41/1121.90 c cleaning 48994 clauses out of 98030 with flag 1265001/9485911 1138.73/1133.11 c cleaning 49995 clauses out of 100035 with flag 1316000/9536910 1150.75/1145.11 c cleaning 50998 clauses out of 102041 with flag 1368001/9588911 1162.66/1157.06 c cleaning 52003 clauses out of 104042 with flag 1421000/9641910 1177.18/1171.53 c cleaning 52999 clauses out of 106040 with flag 1475001/9695911 1191.52/1185.83 c cleaning 54003 clauses out of 108040 with flag 1530000/9750910 1208.52/1202.83 c cleaning 54998 clauses out of 110037 with flag 1586000/9806910 1218.63/1212.97 c Got one! Elapsed wall clock time (in seconds):1212.841 1218.63/1212.97 o 31 1219.33/1213.63 c cleaning 48158 clauses out of 96334 with flag 5000/9848205 1219.84/1214.15 c cleaning 27081 clauses out of 54176 with flag 11000/9854205 1220.35/1214.63 c cleaning 17040 clauses out of 34095 with flag 18000/9861205 1220.76/1215.08 c cleaning 12523 clauses out of 25060 with flag 26005/9869210 1221.37/1215.62 c cleaning 10754 clauses out of 21533 with flag 35001/9878206 1221.97/1216.20 c cleaning 10380 clauses out of 20779 with flag 45001/9888206 1222.58/1216.90 c cleaning 10693 clauses out of 21398 with flag 56000/9899205 1223.40/1217.65 c cleaning 11350 clauses out of 22705 with flag 68000/9911205 1224.52/1218.70 c cleaning 12172 clauses out of 24360 with flag 81005/9924210 1225.43/1219.69 c cleaning 13084 clauses out of 26184 with flag 95001/9938206 1226.53/1220.78 c cleaning 14039 clauses out of 28100 with flag 110001/9953206 1227.65/1221.84 c cleaning 15026 clauses out of 30063 with flag 126003/9969208 1228.87/1223.06 c cleaning 16008 clauses out of 32034 with flag 143000/9986205 1230.08/1224.23 c cleaning 17010 clauses out of 34027 with flag 161001/10004206 1231.49/1225.62 c cleaning 18000 clauses out of 36016 with flag 180000/10023205 1232.90/1227.06 c cleaning 19004 clauses out of 38019 with flag 200003/10043208 1234.51/1228.61 c cleaning 19997 clauses out of 40015 with flag 221003/10064208 1236.22/1230.31 c cleaning 21001 clauses out of 42019 with flag 243004/10086209 1237.94/1232.07 c cleaning 21998 clauses out of 44014 with flag 266000/10109205 1240.54/1234.68 c cleaning 23000 clauses out of 46016 with flag 290000/10133205 1242.05/1236.18 c cleaning 23998 clauses out of 48017 with flag 315001/10158206 1245.35/1239.47 c cleaning 25012 clauses out of 50028 with flag 341010/10184215 1246.45/1240.58 c cleaning 25998 clauses out of 52008 with flag 368002/10211207 1247.87/1241.93 c cleaning 27000 clauses out of 54008 with flag 396000/10239205 1251.17/1245.22 c cleaning 27993 clauses out of 56008 with flag 425000/10268205 1254.48/1248.56 c cleaning 29001 clauses out of 58016 with flag 455001/10298206 1260.58/1254.62 c cleaning 30000 clauses out of 60016 with flag 486002/10329207 1265.60/1259.64 c cleaning 30994 clauses out of 62015 with flag 518001/10361206 1270.81/1264.88 c cleaning 32002 clauses out of 64020 with flag 551000/10394205 1273.03/1267.02 c cleaning 33000 clauses out of 66019 with flag 585001/10428206 1276.73/1270.74 c cleaning 33989 clauses out of 68018 with flag 620000/10463205 1281.66/1275.61 c cleaning 34986 clauses out of 70030 with flag 656001/10499206 1286.19/1280.13 c cleaning 35986 clauses out of 72043 with flag 693000/10536205 1288.19/1282.19 c cleaning 37024 clauses out of 74057 with flag 731000/10574205 1290.61/1284.56 c cleaning 38013 clauses out of 76036 with flag 770003/10613208 1292.83/1286.76 c cleaning 39007 clauses out of 78021 with flag 810001/10653206 1294.85/1288.75 c cleaning 40000 clauses out of 80013 with flag 851000/10694205 1297.17/1291.04 c cleaning 41001 clauses out of 82015 with flag 893002/10736207 1300.89/1294.77 c cleaning 41993 clauses out of 84012 with flag 936000/10779205 1306.99/1300.88 c cleaning 43000 clauses out of 86019 with flag 980000/10823205 1314.11/1307.93 c cleaning 43974 clauses out of 88019 with flag 1025000/10868205 1321.74/1315.57 c cleaning 44979 clauses out of 90046 with flag 1071001/10914206 1330.25/1324.02 c cleaning 46017 clauses out of 92066 with flag 1118000/10961205 1341.97/1335.75 c cleaning 46973 clauses out of 94051 with flag 1166002/11009207 1355.38/1349.15 c cleaning 48025 clauses out of 96077 with flag 1215001/11058206 1362.82/1356.53 c cleaning 49019 clauses out of 98052 with flag 1265001/11108206 1373.72/1367.43 c cleaning 49995 clauses out of 100034 with flag 1316002/11159207 1376.44/1370.11 c Got one! Elapsed wall clock time (in seconds):1369.984 1376.44/1370.11 o 30 1376.74/1370.45 c cleaning 33900 clauses out of 67806 with flag 5002/11176974 1377.15/1370.82 c cleaning 19945 clauses out of 39904 with flag 11000/11182972 1377.55/1371.24 c cleaning 13473 clauses out of 26960 with flag 18001/11189973 1378.17/1371.80 c cleaning 10733 clauses out of 21486 with flag 26000/11197972 1378.90/1372.50 c cleaning 9873 clauses out of 19755 with flag 35002/11206974 1379.92/1373.53 c cleaning 9931 clauses out of 19880 with flag 45000/11216972 1380.84/1374.48 c cleaning 10474 clauses out of 20953 with flag 56004/11227976 1381.84/1375.48 c cleaning 11237 clauses out of 22475 with flag 68000/11239972 1382.95/1376.54 c cleaning 12120 clauses out of 24239 with flag 81001/11252973 1384.07/1377.62 c cleaning 13053 clauses out of 26119 with flag 95001/11266973 1385.28/1378.88 c cleaning 14028 clauses out of 28066 with flag 110001/11281973 1386.60/1380.13 c cleaning 15021 clauses out of 30041 with flag 126004/11297976 1387.90/1381.44 c cleaning 16006 clauses out of 32018 with flag 143002/11314974 1389.40/1382.92 c cleaning 17005 clauses out of 34012 with flag 161002/11332974 1390.81/1384.36 c cleaning 18003 clauses out of 36005 with flag 180000/11351972 1392.33/1385.89 c cleaning 19004 clauses out of 38007 with flag 200005/11371977 1394.03/1387.52 c cleaning 19994 clauses out of 39998 with flag 221000/11392972 1395.54/1389.09 c cleaning 21001 clauses out of 42006 with flag 243002/11414974 1397.15/1390.67 c cleaning 22005 clauses out of 44010 with flag 266007/11437979 1398.85/1392.33 c cleaning 22997 clauses out of 46000 with flag 290002/11461974 1400.46/1393.91 c cleaning 24002 clauses out of 48004 with flag 315003/11486975 1402.37/1395.81 c cleaning 24998 clauses out of 49999 with flag 341000/11512972 1404.57/1398.10 c cleaning 26000 clauses out of 52003 with flag 368002/11539974 1407.09/1400.51 c cleaning 26993 clauses out of 54002 with flag 396001/11567973 1409.41/1402.82 c cleaning 27999 clauses out of 56011 with flag 425003/11596975 1411.24/1404.70 c cleaning 28997 clauses out of 58009 with flag 455000/11626972 1413.67/1407.05 c cleaning 29993 clauses out of 60014 with flag 486002/11657974 1416.33/1409.65 c cleaning 31001 clauses out of 62020 with flag 518001/11689973 1418.94/1412.29 c cleaning 32005 clauses out of 64019 with flag 551001/11722973 1422.40/1415.65 c cleaning 32994 clauses out of 66013 with flag 585000/11756972 1426.21/1419.49 c cleaning 34002 clauses out of 68020 with flag 620001/11791973 1429.93/1423.19 c cleaning 34999 clauses out of 70018 with flag 656001/11827973 1433.64/1426.87 c cleaning 36003 clauses out of 72019 with flag 693001/11864973 1437.85/1431.02 c cleaning 36995 clauses out of 74015 with flag 731000/11902972 1443.37/1436.53 c cleaning 37994 clauses out of 76020 with flag 770000/11941972 1448.69/1441.84 c cleaning 39005 clauses out of 78028 with flag 810002/11981974 1453.50/1446.68 c cleaning 40003 clauses out of 80021 with flag 851000/12022972 1458.42/1451.51 c cleaning 40995 clauses out of 82019 with flag 893001/12064973 1464.23/1457.35 c cleaning 42001 clauses out of 84024 with flag 936001/12107973 1469.84/1462.93 c cleaning 42994 clauses out of 86023 with flag 980001/12151973 1474.95/1468.05 c cleaning 44004 clauses out of 88029 with flag 1025001/12196973 1479.97/1473.02 c cleaning 44998 clauses out of 90024 with flag 1071000/12242972 1485.30/1478.39 c cleaning 46002 clauses out of 92026 with flag 1118000/12289972 1491.30/1484.33 c cleaning 47003 clauses out of 94025 with flag 1166001/12337973 1495.50/1488.55 c cleaning 48004 clauses out of 96023 with flag 1215002/12386974 1498.71/1491.73 c cleaning 49004 clauses out of 98018 with flag 1265001/12436973 1501.54/1494.51 c cleaning 50003 clauses out of 100014 with flag 1316001/12487973 1504.35/1497.34 c cleaning 51006 clauses out of 102013 with flag 1368003/12539975 1507.27/1500.24 c cleaning 51996 clauses out of 104004 with flag 1421000/12592972 1512.77/1505.78 c cleaning 53001 clauses out of 106010 with flag 1475002/12646974 1517.40/1510.30 c cleaning 53999 clauses out of 108008 with flag 1530001/12701973 1523.52/1516.49 c cleaning 54997 clauses out of 110008 with flag 1586000/12757972 1529.44/1522.39 c cleaning 56003 clauses out of 112011 with flag 1643000/12814972 1535.77/1528.66 c cleaning 57001 clauses out of 114008 with flag 1701000/12872972 1541.09/1533.95 c cleaning 57999 clauses out of 116010 with flag 1760003/12931975 1546.63/1539.43 c cleaning 59002 clauses out of 118008 with flag 1820000/12991972 1552.25/1545.05 c cleaning 60004 clauses out of 120008 with flag 1881002/13052974 1557.46/1550.20 c cleaning 60995 clauses out of 122005 with flag 1943003/13114975 1562.36/1555.15 c cleaning 62002 clauses out of 124012 with flag 2006005/13177977 1567.37/1560.16 c cleaning 63003 clauses out of 126008 with flag 2070003/13241975 1572.00/1564.71 c cleaning 63996 clauses out of 128003 with flag 2135001/13306973 1577.62/1570.35 c cleaning 64998 clauses out of 130007 with flag 2201001/13372973 1583.25/1575.98 c cleaning 66002 clauses out of 132009 with flag 2268001/13439973 1587.67/1580.37 c cleaning 67002 clauses out of 134007 with flag 2336001/13507973 1592.78/1585.42 c cleaning 67997 clauses out of 136004 with flag 2405000/13576972 1598.51/1591.13 c cleaning 69004 clauses out of 138010 with flag 2475003/13646975 1602.84/1595.47 c cleaning 69997 clauses out of 140004 with flag 2546001/13717973 1607.99/1600.57 c cleaning 71001 clauses out of 142007 with flag 2618001/13789973 1612.80/1605.32 c cleaning 72000 clauses out of 144007 with flag 2691002/13862974 1618.42/1610.99 c cleaning 72999 clauses out of 146006 with flag 2765001/13936973 1623.74/1616.23 c cleaning 73996 clauses out of 148006 with flag 2840000/14011972 1629.08/1621.58 c cleaning 74999 clauses out of 150010 with flag 2916000/14087972 1634.70/1627.14 c cleaning 76006 clauses out of 152011 with flag 2993000/14164972 1646.13/1638.55 c cleaning 76985 clauses out of 154005 with flag 3071000/14242972 1656.77/1649.11 c cleaning 77993 clauses out of 156022 with flag 3150002/14321974 1668.29/1660.60 c cleaning 79002 clauses out of 158027 with flag 3230000/14401972 1678.73/1671.01 c cleaning 80005 clauses out of 160026 with flag 3311001/14482973 1691.25/1683.55 c cleaning 80993 clauses out of 162022 with flag 3393002/14564974 1704.06/1696.34 c cleaning 82003 clauses out of 164028 with flag 3476001/14647973 1717.57/1709.86 c cleaning 82995 clauses out of 166024 with flag 3560000/14731972 1732.91/1725.12 c cleaning 83981 clauses out of 168029 with flag 3645000/14816972 1746.13/1738.30 c cleaning 85013 clauses out of 170050 with flag 3731002/14902974 1761.18/1753.40 c cleaning 85992 clauses out of 172036 with flag 3818001/14989973 1769.81/1761.91 c cleaning 86997 clauses out of 174045 with flag 3906002/15077974 1784.35/1776.42 c cleaning 88019 clauses out of 176048 with flag 3995002/15166974 1794.86/1786.90 c cleaning 89009 clauses out of 178029 with flag 4085002/15256974 1800.00/1792.01 c starts : 363 1800.00/1792.01 c conflicts : 15301588 1800.00/1792.01 c decisions : 17115263 1800.00/1792.01 c propagations : 1326606832 1800.00/1792.01 c inspects : 18843467123 1800.00/1792.01 c shortcuts : 0 1800.00/1792.01 c learnt literals : 0 1800.00/1792.01 c learnt binary clauses : 62 1800.00/1792.01 c learnt ternary clauses : 254 1800.00/1792.01 c learnt constraints : 15301588 1800.00/1792.01 c ignored constraints : 0 1800.00/1792.01 c root simplifications : 363 1800.00/1792.01 c removed literals (reason simplification) : 46531352 1800.00/1792.01 c reason swapping (by a shorter reason) : 0 1800.00/1792.01 c Calls to reduceDB : 556 1800.00/1792.01 c number of reductions to clauses (during analyze) : 0 1800.00/1792.01 c number of learned constraints concerned by reduction : 0 1800.00/1792.01 c number of learning phase by resolution : 0 1800.00/1792.01 c number of learning phase by cutting planes : 0 1800.00/1792.01 c speed (assignments/second) : 740485.819430924 1800.00/1792.01 c non guided choices 1804 1800.00/1792.04 c learnt constraints type 1800.00/1792.04 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 62 1800.00/1792.04 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 133740 1800.00/1792.04 c constraints type 1800.00/1792.04 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104 1800.00/1792.04 c org.sat4j.minisat.constraints.cnf.UnitClauses => 32 1800.00/1792.04 c org.sat4j.minisat.constraints.card.MinWatchCard => 437 1800.00/1792.04 c ignored satisfied constraints => 602 1800.00/1792.04 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20 1800.00/1792.04 c org.sat4j.minisat.constraints.cnf.UnitClause => 66 1800.00/1792.04 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406 1800.00/1792.04 c 5667 constraints processed. 1800.00/1792.04 s SATISFIABLE 1800.00/1792.04 v -x1 -x2 -x3 x4 -x5 x6 -x7 x8 -x9 -x10 -x11 x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 x216 -x217 -x218 -x219 x220 x221 x222 -x223 -x224 -x225 x226 x227 -x228 x229 x230 x231 x232 -x233 -x234 -x235 x236 x237 x238 x239 -x240 -x241 -x242 -x243 x244 -x245 x246 -x247 x248 -x249 x250 -x251 x252 -x253 x254 x255 x256 -x257 -x258 -x259 x260 x261 -x262 -x263 x264 -x265 x266 x267 x268 -x269 -x270 -x271 -x272 -x273 x274 x275 x276 x277 x278 x279 x280 -x281 x282 x283 x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 x294 x295 x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 x304 -x305 x306 x307 -x308 x309 -x310 x311 x312 x313 -x314 -x315 -x316 -x317 -x318 x319 x320 -x321 -x322 x323 x324 x325 x326 -x327 -x328 x329 x330 -x331 x332 -x333 x334 x335 x336 -x337 -x338 -x339 -x340 x341 x342 x343 -x344 -x345 x346 -x347 -x348 x349 x350 -x351 -x352 -x353 -x354 x355 x356 -x357 x358 x359 x360 -x361 x362 x363 x364 x365 -x366 x367 x368 -x369 x370 x371 -x372 x373 x374 -x375 -x376 x377 -x378 x379 x380 -x381 x382 -x383 -x384 x385 x386 -x387 x388 -x389 x390 x391 x392 -x393 x394 -x395 x396 x397 -x398 -x399 -x400 x401 x402 x403 x404 -x405 -x406 -x407 -x408 -x409 x410 x411 x412 -x413 x414 x415 -x416 x417 x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 x426 x427 x428 x429 x430 x431 x432 x433 -x434 -x435 -x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 x452 x453 x454 x455 -x456 x457 x458 x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 x470 -x471 -x472 x473 -x474 -x475 x476 x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 x486 -x487 x488 x489 -x490 -x491 -x492 x493 -x494 -x495 x496 x497 -x498 -x499 x500 -x501 x502 -x503 -x504 x505 -x506 -x507 x508 x509 -x510 -x511 x512 -x513 -x514 x515 -x516 -x517 x518 x519 x520 x521 x522 x523 x524 x525 -x526 -x527 -x528 -x529 x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 x541 x542 x543 x544 x545 -x546 x547 -x548 -x549 -x550 x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 1800.00/1792.04 c objective function=30 1800.00/1792.04 c Total wall clock time (in seconds): 1791.912
OK 30
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3711289-1338183185/watcher-3711289-1338183185 -o /tmp/evaluation-result-3711289-1338183185/solver-3711289-1338183185 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711289-1338183185.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.00 1.99 3/194 1097 /proc/meminfo: memFree=28882672/32873844 swapFree=6856/6856 [pid=1097] ppid=1095 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/1097/stat : 1097 (java) D 1095 1097 29719 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 284443396 2560000 47 33554432000 1073741824 1073778376 140736469327920 140736469325048 223642479911 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/1097/statm: 625 47 37 9 0 29 0 [startup+0.068145 s] /proc/loadavg: 1.93 2.00 1.99 3/194 1097 /proc/meminfo: memFree=28882672/32873844 swapFree=6856/6856 [pid=1097] ppid=1095 vsize=9558440 CPUtime=0.04 cores=0,2,4,6 /proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 3195 0 1 0 3 1 0 0 20 0 18 0 284443396 9787842560 4402 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1097/statm: 2389610 4402 1764 9 0 2380296 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9558440 [startup+0.100248 s] /proc/loadavg: 1.93 2.00 1.99 3/194 1097 /proc/meminfo: memFree=28882672/32873844 swapFree=6856/6856 [pid=1097] ppid=1095 vsize=9558440 CPUtime=0.08 cores=0,2,4,6 /proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 4122 0 1 0 7 1 0 0 20 0 18 0 284443396 9787842560 5328 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1097/statm: 2389610 5328 2111 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558440 [startup+0.300209 s] /proc/loadavg: 1.93 2.00 1.99 3/194 1097 /proc/meminfo: memFree=28882672/32873844 swapFree=6856/6856 [pid=1097] ppid=1095 vsize=9558440 CPUtime=0.45 cores=0,2,4,6 /proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 5238 0 1 0 44 1 0 0 20 0 18 0 284443396 9787842560 8166 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1097/statm: 2389610 8166 2225 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558440 [startup+0.70022 s] /proc/loadavg: 1.93 2.00 1.99 3/194 1097 /proc/meminfo: memFree=28882672/32873844 swapFree=6856/6856 [pid=1097] ppid=1095 vsize=9625004 CPUtime=1.34 cores=0,2,4,6 /proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 8424 0 1 0 132 2 0 0 20 0 19 0 284443396 9856004096 13377 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1097/statm: 2406251 13377 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 9625004 [startup+1.50066 s] /proc/loadavg: 1.93 2.00 1.99 3/213 1116 /proc/meminfo: memFree=28837408/32873844 swapFree=6856/6856 [pid=1097] ppid=1095 vsize=9625004 CPUtime=2.29 cores=0,2,4,6 /proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 8561 0 1 0 226 3 0 0 20 0 19 0 284443396 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1097/statm: 2406251 15987 2287 9 0 2396937 0 [pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=1.45 cores=0,2,4,6 /proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 2526 0 1 0 143 2 0 0 20 0 19 0 284443397 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309889094056 140309753850787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.35 cores=0,2,4,6 /proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2429 0 0 0 35 0 0 0 20 0 19 0 284443403 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.42 cores=0,2,4,6 /proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 2360 0 0 0 42 0 0 0 20 0 19 0 284443403 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 15987 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 9625004 [startup+3.10069 s] /proc/loadavg: 1.93 2.00 1.99 3/213 1116 /proc/meminfo: memFree=28822576/32873844 swapFree=6856/6856 [pid=1097] ppid=1095 vsize=9625004 CPUtime=3.95 cores=0,2,4,6 /proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 8572 0 1 0 392 3 0 0 20 0 19 0 284443396 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1097/statm: 2406251 17015 2287 9 0 2396937 0 [pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=3.01 cores=0,2,4,6 /proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 2527 0 1 0 299 2 0 0 20 0 19 0 284443397 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309889093896 140309753873294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 19 0 284443400 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2429 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.45 cores=0,2,4,6 /proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 2361 0 0 0 45 0 0 0 20 0 19 0 284443403 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 17015 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 9625004 [startup+6.30067 s] /proc/loadavg: 1.93 2.00 1.99 3/213 1116 /proc/meminfo: memFree=28822576/32873844 swapFree=6856/6856 [pid=1097] ppid=1095 vsize=9625004 CPUtime=7.18 cores=0,2,4,6 /proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 8604 0 1 0 715 3 0 0 20 0 19 0 284443396 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1097/statm: 2406251 16898 2287 9 0 2396937 0 [pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=6.08 cores=0,2,4,6 /proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 2534 0 1 0 606 2 0 0 20 0 19 0 284443397 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309889094056 140309753938758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 284443399 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=0.14 cores=0,2,4,6 /proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 34 0 0 0 14 0 0 0 20 0 19 0 284443400 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2430 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.48 cores=0,2,4,6 /proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 2361 0 0 0 48 0 0 0 20 0 19 0 284443403 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 16898 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.18 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=1.3 cores=0,2,4,6 /proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 82 0 0 0 128 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=1.19 cores=0,2,4,6 /proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 151 0 0 0 116 3 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=1.19 cores=0,2,4,6 /proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 95 0 0 0 117 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=14.92 cores=0,2,4,6 /proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 154 0 0 0 1488 4 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2432 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 3005 0 0 0 58 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 95 0 0 0 18 18 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1670.03 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 1.99 1.98 1.99 3/214 1325 /proc/meminfo: memFree=28649152/32873844 swapFree=6856/6856 [pid=1097] ppid=1095 vsize=9625004 CPUtime=1730.11 cores=0,2,4,6 /proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 10973 0 1 0 172965 46 0 0 20 0 19 0 284443396 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1097/statm: 2406251 34280 2288 9 0 2396937 0 [pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=1703.95 cores=0,2,4,6 /proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 3075 0 1 0 170363 32 0 0 20 0 19 0 284443397 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309889094000 140309753873464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=1.26 cores=0,2,4,6 /proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 153 0 0 0 123 3 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=1.25 cores=0,2,4,6 /proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 86 0 0 0 123 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=1.24 cores=0,2,4,6 /proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 71 0 0 0 122 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 147 0 0 0 119 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=1.27 cores=0,2,4,6 /proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 237 0 0 0 124 3 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=1.31 cores=0,2,4,6 /proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 82 0 0 0 129 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 151 0 0 0 118 3 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=1.21 cores=0,2,4,6 /proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 95 0 0 0 119 2 0 0 20 0 19 0 284443399 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=15.11 cores=0,2,4,6 /proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 158 0 0 0 1507 4 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2432 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 3005 0 0 0 58 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 99 0 0 0 18 19 0 0 20 0 19 0 284443403 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 34280 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1730.11 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 1.99 1.98 1.99 3/213 1325 /proc/meminfo: memFree=28644444/32873844 swapFree=6856/6856 [pid=1097] ppid=1095 vsize=9625004 CPUtime=1790.26 cores=0,2,4,6 /proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 10987 0 1 0 178979 47 0 0 20 0 19 0 284443396 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1097/statm: 2406251 34792 2288 9 0 2396937 0 [pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=1763.66 cores=0,2,4,6 /proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 3080 0 1 0 176333 33 0 0 20 0 19 0 284443397 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309889094000 140309753464609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=1.28 cores=0,2,4,6 /proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 153 0 0 0 125 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=1.29 cores=0,2,4,6 /proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 86 0 0 0 126 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=1.26 cores=0,2,4,6 /proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 71 0 0 0 124 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=1.23 cores=0,2,4,6 /proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 147 0 0 0 121 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=1.29 cores=0,2,4,6 /proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 237 0 0 0 126 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=1.34 cores=0,2,4,6 /proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 82 0 0 0 132 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=1.24 cores=0,2,4,6 /proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 151 0 0 0 121 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=1.23 cores=0,2,4,6 /proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 95 0 0 0 121 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=15.35 cores=0,2,4,6 /proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 163 0 0 0 1531 4 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2432 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 3005 0 0 0 58 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0.39 cores=0,2,4,6 /proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 103 0 0 0 19 20 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1790.26 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792 s] /proc/loadavg: 1.99 1.98 1.99 3/212 1325 /proc/meminfo: memFree=28644328/32873844 swapFree=6856/6856 [pid=1097] ppid=1095 vsize=9625004 CPUtime=1800 cores=0,2,4,6 /proc/1097/stat : 1097 (java) S 1095 1097 29719 0 -1 4202496 10988 0 1 0 179952 48 0 0 20 0 19 0 284443396 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140736090381712 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1097/statm: 2406251 34792 2288 9 0 2396937 0 [pid=1097/tid=1099] ppid=1095 vsize=9625004 CPUtime=1773.29 cores=0,2,4,6 /proc/1097/task/1099/stat : 1099 (java) R 1095 1097 29719 0 -1 4202560 3081 0 1 0 177296 33 0 0 20 0 19 0 284443397 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309889094000 140309753848178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1100] ppid=1095 vsize=9625004 CPUtime=1.29 cores=0,2,4,6 /proc/1097/task/1100/stat : 1100 (java) S 1095 1097 29719 0 -1 4202560 153 0 0 0 126 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309878156200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1101] ppid=1095 vsize=9625004 CPUtime=1.3 cores=0,2,4,6 /proc/1097/task/1101/stat : 1101 (java) S 1095 1097 29719 0 -1 4202560 86 0 0 0 127 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309877103656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1102] ppid=1095 vsize=9625004 CPUtime=1.27 cores=0,2,4,6 /proc/1097/task/1102/stat : 1102 (java) S 1095 1097 29719 0 -1 4202560 71 0 0 0 125 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309876050600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1103] ppid=1095 vsize=9625004 CPUtime=1.24 cores=0,2,4,6 /proc/1097/task/1103/stat : 1103 (java) S 1095 1097 29719 0 -1 4202560 147 0 0 0 122 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309874998056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1104] ppid=1095 vsize=9625004 CPUtime=1.29 cores=0,2,4,6 /proc/1097/task/1104/stat : 1104 (java) S 1095 1097 29719 0 -1 4202560 237 0 0 0 126 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309873945000 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1105] ppid=1095 vsize=9625004 CPUtime=1.35 cores=0,2,4,6 /proc/1097/task/1105/stat : 1105 (java) S 1095 1097 29719 0 -1 4202560 82 0 0 0 133 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309872892456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1106] ppid=1095 vsize=9625004 CPUtime=1.24 cores=0,2,4,6 /proc/1097/task/1106/stat : 1106 (java) S 1095 1097 29719 0 -1 4202560 151 0 0 0 121 3 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309871839400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1107] ppid=1095 vsize=9625004 CPUtime=1.24 cores=0,2,4,6 /proc/1097/task/1107/stat : 1107 (java) S 1095 1097 29719 0 -1 4202560 95 0 0 0 122 2 0 0 20 0 19 0 284443399 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309725657384 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1108] ppid=1095 vsize=9625004 CPUtime=15.41 cores=0,2,4,6 /proc/1097/task/1108/stat : 1108 (java) S 1095 1097 29719 0 -1 4202560 163 0 0 0 1537 4 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309713247080 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1109] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1109/stat : 1109 (java) S 1095 1097 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309712193400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1110] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1110/stat : 1110 (java) S 1095 1097 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284443400 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309711140232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1111] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1111/stat : 1111 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309710088976 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1097/tid=1112] ppid=1095 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/1097/task/1112/stat : 1112 (java) S 1095 1097 29719 0 -1 4202560 2432 0 0 0 37 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309709035832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1097/tid=1113] ppid=1095 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/1097/task/1113/stat : 1113 (java) S 1095 1097 29719 0 -1 4202560 3005 0 0 0 58 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309707983288 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1114] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1114/stat : 1114 (java) S 1095 1097 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309706930424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1097/tid=1115] ppid=1095 vsize=9625004 CPUtime=0.4 cores=0,2,4,6 /proc/1097/task/1115/stat : 1115 (java) S 1095 1097 29719 0 -1 4202560 103 0 0 0 19 21 0 0 20 0 19 0 284443403 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309705878088 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1097/tid=1116] ppid=1095 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1097/task/1116/stat : 1116 (java) S 1095 1097 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284443444 9856004096 34792 33554432000 1073741824 1073778376 140736090390576 140309704824360 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1792.05 CPU time (s): 1800.61 CPU user time (s): 1799.69 CPU system time (s): 0.922859 CPU usage (%): 100.478 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.922859 maximum resident set size= 139296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11022 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 53285 involuntary context switches= 34076 runsolver used 5.45217 second user time and 14.0309 second system time The end
Begin job on node144 at 2012-05-28 07:33:05 IDJOB=3711289 IDBENCH=72484 IDSOLVER=2289 FILE ID=node144/3711289-1338183185 RUNJOBID= node144-1338157682-29735 PBS_JOBID= 14624532 Free space on /tmp= 71472 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_5_errors.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711289-1338183185/watcher-3711289-1338183185 -o /tmp/evaluation-result-3711289-1338183185/solver-3711289-1338183185 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711289-1338183185.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 06d341d0af76f66d4946a3c264573060 RANDOM SEED=1079108952 node144.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.196 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.39 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.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 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 : 5438.54 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.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 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.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28882564 kB Buffers: 387556 kB Cached: 2650724 kB SwapCached: 0 kB Active: 948088 kB Inactive: 2198268 kB Active(anon): 109140 kB Inactive(anon): 0 kB Active(file): 838948 kB Inactive(file): 2198268 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 692 kB Writeback: 0 kB AnonPages: 123116 kB Mapped: 22664 kB Shmem: 200 kB Slab: 697668 kB SReclaimable: 139912 kB SUnreclaim: 557756 kB KernelStack: 1592 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 702136 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71472 MiB End job on node144 at 2012-05-28 08:02:59