Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 1411 | 1800.91 | 1788.45 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb |
| MD5SUM | 8aa1aebf70d33d96463ba96014c98682 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1053 |
| Best CPU time to get the best result obtained on this benchmark | 0.042993 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1053 |
| Optimality of the best value was proved | YES |
| Number of variables | 304 |
| Total number of constraints | 671 |
| Number of constraints which are clauses | 671 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 28 |
| Number of terms in the objective function | 304 |
| Biggest coefficient in the objective function | 61 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 12887 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 61 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 12887 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.2.v20120418 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3687683-1337875478.opb 0.08/0.12 c reading problem ... 0.24/0.23 c ... done. Wall clock time 0.103s. 0.24/0.23 c declared #vars 304 0.24/0.23 c #constraints 668 0.24/0.23 c constraints type 0.24/0.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 489 0.24/0.23 c ignored satisfied constraints => 3 0.24/0.23 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 178 0.24/0.23 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.24/0.23 c 671 constraints processed. 0.24/0.23 c objective function length is 304 literals 0.24/0.24 c SATISFIABLE 0.24/0.24 c OPTIMIZING... 0.24/0.24 c Got one! Elapsed wall clock time (in seconds):0.114 0.24/0.24 o 1553 0.46/0.30 c Got one! Elapsed wall clock time (in seconds):0.18 0.46/0.30 o 1544 0.46/0.35 c Got one! Elapsed wall clock time (in seconds):0.225 0.46/0.35 o 1542 0.66/0.46 c Got one! Elapsed wall clock time (in seconds):0.336 0.66/0.46 o 1535 0.66/0.47 c Got one! Elapsed wall clock time (in seconds):0.35 0.66/0.47 o 1530 0.66/0.48 c Got one! Elapsed wall clock time (in seconds):0.361 0.66/0.48 o 1524 0.81/0.51 c Got one! Elapsed wall clock time (in seconds):0.384 0.81/0.51 o 1522 1.06/0.71 c cleaning 3714 clauses out of 7427 with flag 4002/7428 1.33/0.98 c cleaning 4856 clauses out of 9714 with flag 10003/13429 1.63/1.28 c cleaning 5926 clauses out of 11854 with flag 17000/20426 2.04/1.62 c cleaning 6958 clauses out of 13928 with flag 25000/28426 2.47/2.01 c cleaning 7985 clauses out of 15970 with flag 34000/37426 2.88/2.43 c cleaning 8991 clauses out of 17986 with flag 44001/47427 3.39/2.91 c cleaning 9997 clauses out of 19994 with flag 55000/58426 3.89/3.44 c cleaning 10998 clauses out of 21997 with flag 67000/70426 4.49/4.00 c cleaning 11997 clauses out of 23999 with flag 80000/83426 5.01/4.58 c cleaning 12998 clauses out of 26002 with flag 94000/97426 5.71/5.23 c cleaning 14001 clauses out of 28004 with flag 109000/112426 6.42/5.90 c cleaning 15000 clauses out of 30004 with flag 125002/128428 7.12/6.63 c cleaning 15998 clauses out of 32002 with flag 142000/145426 7.94/7.44 c cleaning 16999 clauses out of 34004 with flag 160000/163426 8.84/8.30 c cleaning 18003 clauses out of 36006 with flag 179001/182427 9.66/9.17 c cleaning 18982 clauses out of 38002 with flag 199000/202426 10.57/10.09 c cleaning 20009 clauses out of 40020 with flag 220000/223426 11.38/10.82 c Got one! Elapsed wall clock time (in seconds):10.693 11.38/10.82 o 1521 11.71/11.01 c cleaning 21250 clauses out of 42514 with flag 5000/245929 11.92/11.21 c cleaning 13628 clauses out of 27266 with flag 11002/251931 12.02/11.38 c Got one! Elapsed wall clock time (in seconds):11.259 12.02/11.38 o 1517 12.02/11.39 c Got one! Elapsed wall clock time (in seconds):11.268 12.02/11.39 o 1501 12.32/11.60 c cleaning 12548 clauses out of 25111 with flag 5000/263404 12.52/11.86 c cleaning 9271 clauses out of 18563 with flag 11000/269404 12.83/12.15 c cleaning 8131 clauses out of 16293 with flag 18001/276405 13.13/12.41 c Got one! Elapsed wall clock time (in seconds):12.288 13.13/12.41 o 1495 13.23/12.58 c cleaning 9691 clauses out of 19387 with flag 5000/287630 13.54/12.85 c cleaning 7831 clauses out of 15697 with flag 11001/293631 13.86/13.15 c cleaning 7413 clauses out of 14867 with flag 18002/300632 14.17/13.49 c cleaning 7722 clauses out of 15452 with flag 26000/308630 14.61/13.87 c cleaning 8358 clauses out of 16731 with flag 35001/317631 15.02/14.29 c cleaning 9183 clauses out of 18372 with flag 45000/327630 15.53/14.77 c cleaning 10088 clauses out of 20190 with flag 56001/338631 16.04/15.28 c cleaning 11032 clauses out of 22101 with flag 68000/350630 16.64/15.84 c cleaning 12028 clauses out of 24069 with flag 81000/363630 17.25/16.43 c cleaning 13012 clauses out of 26041 with flag 95000/377630 17.95/17.10 c cleaning 14009 clauses out of 28029 with flag 110000/392630 18.56/17.79 c cleaning 15009 clauses out of 30020 with flag 126000/408630 19.36/18.52 c cleaning 16001 clauses out of 32011 with flag 143000/425630 20.17/19.32 c cleaning 17005 clauses out of 34011 with flag 161001/443631 20.97/20.17 c cleaning 17999 clauses out of 36005 with flag 180000/462630 21.87/21.10 c cleaning 18999 clauses out of 38007 with flag 200001/482631 22.88/22.04 c cleaning 20002 clauses out of 40007 with flag 221000/503630 23.88/23.07 c cleaning 21002 clauses out of 42005 with flag 243000/525630 24.99/24.17 c cleaning 21999 clauses out of 44003 with flag 266000/548630 26.10/25.30 c cleaning 23000 clauses out of 46004 with flag 290000/572630 27.30/26.44 c cleaning 23999 clauses out of 48004 with flag 315000/597630 28.50/27.69 c cleaning 24998 clauses out of 50007 with flag 341002/623632 29.91/29.04 c cleaning 25999 clauses out of 52007 with flag 368000/650630 31.23/30.38 c cleaning 27002 clauses out of 54008 with flag 396000/678630 32.63/31.75 c cleaning 28004 clauses out of 56008 with flag 425002/707632 34.04/33.14 c cleaning 28987 clauses out of 58002 with flag 455000/737630 35.55/34.61 c cleaning 29999 clauses out of 60016 with flag 486001/768631 37.16/36.21 c cleaning 31008 clauses out of 62016 with flag 518000/800630 38.76/37.89 c cleaning 32001 clauses out of 64009 with flag 551001/833631 40.70/39.74 c cleaning 32995 clauses out of 66008 with flag 585001/867631 42.63/41.60 c cleaning 33995 clauses out of 68012 with flag 620000/902630 44.44/43.40 c cleaning 35005 clauses out of 70017 with flag 656000/938630 46.27/45.28 c cleaning 35998 clauses out of 72013 with flag 693001/975631 48.29/47.29 c cleaning 37003 clauses out of 74014 with flag 731000/1013630 50.40/49.36 c cleaning 38002 clauses out of 76012 with flag 770001/1052631 52.42/51.32 c cleaning 38992 clauses out of 78010 with flag 810001/1092631 54.54/53.40 c cleaning 40005 clauses out of 80017 with flag 851000/1133630 56.64/55.57 c cleaning 41001 clauses out of 82012 with flag 893000/1175630 58.86/57.79 c cleaning 42002 clauses out of 84011 with flag 936000/1218630 61.07/59.99 c cleaning 42997 clauses out of 86009 with flag 980000/1262630 63.49/62.35 c cleaning 44002 clauses out of 88013 with flag 1025001/1307631 65.80/64.62 c cleaning 44997 clauses out of 90011 with flag 1071001/1353631 68.51/67.35 c cleaning 46000 clauses out of 92012 with flag 1118000/1400630 70.94/69.79 c cleaning 46997 clauses out of 94013 with flag 1166001/1448631 73.67/72.40 c cleaning 48004 clauses out of 96015 with flag 1215000/1497630 76.42/75.13 c cleaning 49003 clauses out of 98013 with flag 1265002/1547632 79.24/77.96 c cleaning 50003 clauses out of 100009 with flag 1316001/1598631 82.16/80.81 c cleaning 50995 clauses out of 102006 with flag 1368001/1650631 85.09/83.79 c cleaning 52000 clauses out of 104010 with flag 1421000/1703630 88.10/86.77 c cleaning 53000 clauses out of 106010 with flag 1475000/1757630 91.31/89.99 c cleaning 53999 clauses out of 108010 with flag 1530000/1812630 94.53/93.15 c cleaning 54997 clauses out of 110011 with flag 1586000/1868630 97.54/96.19 c cleaning 55997 clauses out of 112014 with flag 1643000/1925630 101.05/99.60 c cleaning 57006 clauses out of 114018 with flag 1701001/1983631 104.17/102.74 c cleaning 58004 clauses out of 116016 with flag 1760005/2042635 107.38/105.98 c cleaning 59000 clauses out of 118007 with flag 1820000/2102630 110.79/109.33 c cleaning 60000 clauses out of 120007 with flag 1881000/2163630 114.00/112.54 c cleaning 60996 clauses out of 122007 with flag 1943000/2225630 117.42/115.93 c cleaning 62002 clauses out of 124011 with flag 2006000/2288630 121.03/119.50 c cleaning 63003 clauses out of 126009 with flag 2070000/2352630 124.76/123.27 c cleaning 64003 clauses out of 128007 with flag 2135001/2417631 128.77/127.27 c cleaning 64994 clauses out of 130003 with flag 2201000/2483630 133.19/131.61 c cleaning 65999 clauses out of 132013 with flag 2268004/2550634 137.71/136.18 c cleaning 67000 clauses out of 134011 with flag 2336001/2618631 142.42/140.83 c cleaning 67996 clauses out of 136010 with flag 2405000/2687630 147.05/145.41 c cleaning 69002 clauses out of 138015 with flag 2475001/2757631 151.86/150.26 c cleaning 70002 clauses out of 140012 with flag 2546000/2828630 156.59/154.96 c cleaning 71002 clauses out of 142010 with flag 2618000/2900630 161.21/159.52 c cleaning 71997 clauses out of 144009 with flag 2691001/2973631 165.62/163.97 c cleaning 73001 clauses out of 146011 with flag 2765000/3047630 170.12/168.48 c cleaning 73995 clauses out of 148011 with flag 2840001/3122631 174.95/173.22 c cleaning 75000 clauses out of 150015 with flag 2916000/3198630 180.48/178.77 c cleaning 76006 clauses out of 152015 with flag 2993000/3275630 185.58/183.85 c cleaning 76996 clauses out of 154009 with flag 3071000/3353630 190.70/188.92 c cleaning 77996 clauses out of 156014 with flag 3150001/3432631 195.41/193.68 c cleaning 79005 clauses out of 158017 with flag 3230000/3512630 200.82/199.04 c cleaning 80004 clauses out of 160014 with flag 3311002/3593632 205.74/203.92 c cleaning 81004 clauses out of 162009 with flag 3393001/3675631 210.48/208.63 c cleaning 81998 clauses out of 164005 with flag 3476001/3758631 215.80/213.96 c cleaning 82994 clauses out of 166006 with flag 3560000/3842630 221.43/219.58 c cleaning 83995 clauses out of 168012 with flag 3645000/3927630 226.37/224.44 c cleaning 85003 clauses out of 170018 with flag 3731001/4013631 232.29/230.33 c cleaning 86008 clauses out of 172015 with flag 3818001/4100631 237.91/235.93 c cleaning 86999 clauses out of 174006 with flag 3906000/4188630 243.42/241.44 c cleaning 88000 clauses out of 176007 with flag 3995000/4277630 249.34/247.35 c cleaning 88999 clauses out of 178008 with flag 4085001/4367631 254.98/252.94 c cleaning 89990 clauses out of 180009 with flag 4176001/4458631 257.31/255.22 c Got one! Elapsed wall clock time (in seconds):255.097 257.31/255.22 o 1474 257.81/255.78 c cleaning 71543 clauses out of 143095 with flag 5001/4511707 258.21/256.16 c cleaning 38765 clauses out of 77551 with flag 11000/4517706 258.63/256.54 c cleaning 22880 clauses out of 45787 with flag 18001/4524707 259.04/256.92 c cleaning 15444 clauses out of 30906 with flag 26000/4532706 259.46/257.33 c cleaning 12221 clauses out of 24462 with flag 35000/4541706 259.86/257.77 c cleaning 11104 clauses out of 22241 with flag 45000/4551706 260.36/258.26 c cleaning 11049 clauses out of 22137 with flag 56000/4562706 260.87/258.79 c cleaning 11536 clauses out of 23088 with flag 68000/4574706 261.18/259.06 c Got one! Elapsed wall clock time (in seconds):258.934 261.18/259.06 o 1469 261.38/259.23 c cleaning 11452 clauses out of 22917 with flag 5000/4586071 261.58/259.46 c cleaning 8726 clauses out of 17465 with flag 11000/4592071 261.88/259.73 c cleaning 7863 clauses out of 15740 with flag 18001/4599072 262.19/260.04 c cleaning 7933 clauses out of 15877 with flag 26001/4607072 262.51/260.39 c cleaning 8463 clauses out of 16943 with flag 35000/4616071 262.91/260.79 c cleaning 9237 clauses out of 18481 with flag 45001/4626072 263.43/261.27 c cleaning 10115 clauses out of 20243 with flag 56000/4637071 264.04/261.81 c cleaning 11064 clauses out of 22128 with flag 68000/4649071 264.54/262.39 c cleaning 12031 clauses out of 24064 with flag 81000/4662071 265.24/263.04 c cleaning 13011 clauses out of 26034 with flag 95001/4676072 265.96/263.74 c cleaning 14011 clauses out of 28024 with flag 110002/4691073 266.78/264.53 c cleaning 15003 clauses out of 30011 with flag 126000/4707071 267.60/265.38 c cleaning 16006 clauses out of 32011 with flag 143003/4724074 268.52/266.28 c cleaning 16998 clauses out of 34004 with flag 161002/4742073 269.54/267.26 c cleaning 18001 clauses out of 36004 with flag 180000/4761071 270.65/268.30 c cleaning 18998 clauses out of 38003 with flag 200000/4781071 271.66/269.31 c cleaning 19994 clauses out of 40005 with flag 221000/4802071 272.79/270.45 c cleaning 21000 clauses out of 42011 with flag 243000/4824071 273.89/271.60 c cleaning 22006 clauses out of 44012 with flag 266001/4847072 275.10/272.75 c cleaning 22989 clauses out of 46006 with flag 290001/4871072 276.31/273.99 c cleaning 24000 clauses out of 48016 with flag 315000/4896071 277.72/275.34 c cleaning 24992 clauses out of 50016 with flag 341000/4922071 279.14/276.72 c cleaning 26005 clauses out of 52024 with flag 368000/4949071 280.55/278.16 c cleaning 27001 clauses out of 54021 with flag 396002/4977073 282.06/279.68 c cleaning 28005 clauses out of 56018 with flag 425000/5006071 283.68/281.25 c cleaning 29005 clauses out of 58013 with flag 455000/5036071 285.28/282.82 c cleaning 30000 clauses out of 60008 with flag 486000/5067071 286.98/284.58 c cleaning 31002 clauses out of 62008 with flag 518000/5099071 288.80/286.34 c cleaning 31992 clauses out of 64006 with flag 551000/5132071 290.41/287.98 c cleaning 33006 clauses out of 66016 with flag 585002/5166073 292.24/289.76 c cleaning 33998 clauses out of 68009 with flag 620001/5201072 294.17/291.67 c cleaning 35006 clauses out of 70013 with flag 656003/5237074 296.19/293.68 c cleaning 35997 clauses out of 72005 with flag 693001/5274072 298.29/295.70 c cleaning 36997 clauses out of 74007 with flag 731000/5312071 300.39/297.81 c cleaning 38001 clauses out of 76010 with flag 770000/5351071 302.62/300.06 c cleaning 38999 clauses out of 78009 with flag 810000/5391071 304.84/302.29 c cleaning 40005 clauses out of 80011 with flag 851001/5432072 307.25/304.64 c cleaning 41000 clauses out of 82005 with flag 893000/5474071 309.67/307.00 c cleaning 41994 clauses out of 84005 with flag 936000/5517071 311.89/309.27 c cleaning 43002 clauses out of 86012 with flag 980001/5561072 314.20/311.58 c cleaning 43994 clauses out of 88009 with flag 1025000/5606071 316.72/314.05 c cleaning 45003 clauses out of 90015 with flag 1071000/5652071 319.25/316.55 c cleaning 46000 clauses out of 92013 with flag 1118001/5699072 321.85/319.11 c cleaning 47004 clauses out of 94014 with flag 1166002/5747073 324.68/321.91 c cleaning 48001 clauses out of 96008 with flag 1215000/5796071 327.30/324.55 c cleaning 48996 clauses out of 98009 with flag 1265002/5846073 330.20/327.45 c cleaning 49999 clauses out of 100012 with flag 1316001/5897072 333.01/330.26 c cleaning 50994 clauses out of 102012 with flag 1368000/5949071 335.91/333.14 c cleaning 51995 clauses out of 104018 with flag 1421000/6002071 338.83/336.07 c cleaning 52997 clauses out of 106023 with flag 1475000/6056071 342.28/339.47 c cleaning 54009 clauses out of 108027 with flag 1530001/6111072 345.53/342.62 c cleaning 55003 clauses out of 110018 with flag 1586001/6167072 348.75/345.82 c cleaning 56004 clauses out of 112014 with flag 1643000/6224071 352.16/349.21 c cleaning 56999 clauses out of 114012 with flag 1701002/6282073 355.47/352.59 c cleaning 57999 clauses out of 116011 with flag 1760000/6341071 359.00/356.08 c cleaning 58998 clauses out of 118013 with flag 1820001/6401072 362.32/359.36 c cleaning 60001 clauses out of 120014 with flag 1881000/6462071 366.03/363.05 c cleaning 60993 clauses out of 122013 with flag 1943000/6524071 369.53/366.58 c cleaning 61999 clauses out of 124020 with flag 2006000/6587071 373.35/370.35 c cleaning 63002 clauses out of 126021 with flag 2070000/6651071 377.36/374.30 c cleaning 64006 clauses out of 128019 with flag 2135000/6716071 381.18/378.17 c cleaning 65004 clauses out of 130014 with flag 2201001/6782072 385.29/382.27 c cleaning 66005 clauses out of 132009 with flag 2268000/6849071 389.71/386.60 c cleaning 66999 clauses out of 134004 with flag 2336000/6917071 394.14/391.06 c cleaning 68000 clauses out of 136007 with flag 2405002/6986073 398.34/395.27 c cleaning 69000 clauses out of 138006 with flag 2475001/7056072 402.55/399.41 c cleaning 70002 clauses out of 140005 with flag 2546000/7127071 406.77/403.68 c cleaning 71000 clauses out of 142004 with flag 2618001/7199072 411.29/408.18 c cleaning 71998 clauses out of 144003 with flag 2691000/7272071 415.72/412.55 c cleaning 72998 clauses out of 146007 with flag 2765002/7346073 420.33/417.14 c cleaning 74001 clauses out of 148009 with flag 2840002/7421073 425.05/421.85 c cleaning 75000 clauses out of 150008 with flag 2916002/7497073 429.88/426.61 c cleaning 76005 clauses out of 152013 with flag 2993007/7574078 434.70/431.45 c cleaning 76998 clauses out of 154001 with flag 3071000/7652071 439.53/436.23 c cleaning 78000 clauses out of 156004 with flag 3150001/7731072 444.46/441.20 c cleaning 78996 clauses out of 158003 with flag 3230000/7811071 449.47/446.17 c cleaning 79986 clauses out of 160008 with flag 3311001/7892072 454.69/451.36 c cleaning 81005 clauses out of 162022 with flag 3393001/7974072 459.61/456.29 c cleaning 82008 clauses out of 164017 with flag 3476001/8057072 464.62/461.21 c cleaning 82995 clauses out of 166008 with flag 3560000/8141071 469.53/466.11 c cleaning 84001 clauses out of 168014 with flag 3645001/8226072 474.86/471.41 c cleaning 85005 clauses out of 170013 with flag 3731001/8312072 480.29/476.86 c cleaning 85996 clauses out of 172007 with flag 3818000/8399071 485.91/482.43 c cleaning 87004 clauses out of 174013 with flag 3906002/8487073 491.43/487.92 c cleaning 88002 clauses out of 176007 with flag 3995000/8576071 497.15/493.65 c cleaning 89003 clauses out of 178007 with flag 4085002/8666073 502.89/499.36 c cleaning 90000 clauses out of 180003 with flag 4176001/8757072 508.72/505.11 c cleaning 90996 clauses out of 182005 with flag 4268003/8849074 514.26/510.67 c cleaning 91992 clauses out of 184006 with flag 4361000/8942071 519.58/515.97 c cleaning 92999 clauses out of 186014 with flag 4455000/9036071 525.48/521.86 c cleaning 94003 clauses out of 188019 with flag 4550004/9131075 531.41/527.78 c cleaning 95007 clauses out of 190013 with flag 4646001/9227072 537.54/533.88 c cleaning 95987 clauses out of 192005 with flag 4743000/9324071 543.65/539.99 c cleaning 96995 clauses out of 194018 with flag 4841000/9422071 549.97/546.23 c cleaning 98012 clauses out of 196027 with flag 4940004/9521075 556.49/552.77 c cleaning 99001 clauses out of 198011 with flag 5040000/9621071 563.70/559.87 c cleaning 99998 clauses out of 200010 with flag 5141000/9722071 570.24/566.37 c cleaning 101003 clauses out of 202012 with flag 5243000/9824071 577.56/573.69 c cleaning 102001 clauses out of 204009 with flag 5346000/9927071 584.59/580.65 c cleaning 102999 clauses out of 206008 with flag 5450000/10031071 591.73/587.72 c cleaning 103997 clauses out of 208009 with flag 5555000/10136071 597.86/593.87 c cleaning 105003 clauses out of 210012 with flag 5661000/10242071 601.08/597.03 c Got one! Elapsed wall clock time (in seconds):596.907 601.08/597.03 o 1461 601.78/597.76 c cleaning 87762 clauses out of 175532 with flag 5000/10312594 602.61/598.55 c cleaning 46880 clauses out of 93770 with flag 11000/10318594 603.03/598.97 c cleaning 26934 clauses out of 53890 with flag 18000/10325594 603.45/599.35 c cleaning 17467 clauses out of 34956 with flag 26000/10333594 603.87/599.73 c cleaning 13237 clauses out of 26489 with flag 35000/10342594 604.29/600.15 c cleaning 11618 clauses out of 23253 with flag 45001/10352595 604.82/600.63 c cleaning 11307 clauses out of 22634 with flag 56000/10363594 605.34/601.16 c cleaning 11652 clauses out of 23327 with flag 68000/10375594 605.95/601.79 c cleaning 12332 clauses out of 24676 with flag 81001/10388595 606.54/602.36 c cleaning 13171 clauses out of 26347 with flag 95004/10402598 607.17/602.98 c cleaning 14073 clauses out of 28175 with flag 110003/10417597 607.87/603.63 c cleaning 15045 clauses out of 30099 with flag 126000/10433594 608.60/604.37 c cleaning 16021 clauses out of 32055 with flag 143001/10450595 609.41/605.14 c cleaning 17009 clauses out of 34034 with flag 161001/10468595 610.22/605.96 c cleaning 18009 clauses out of 36024 with flag 180000/10487594 611.14/606.84 c cleaning 19003 clauses out of 38015 with flag 200000/10507594 612.07/607.76 c cleaning 19995 clauses out of 40012 with flag 221000/10528594 612.68/608.39 c Got one! Elapsed wall clock time (in seconds):608.266 612.68/608.39 o 1442 612.98/608.60 c cleaning 20059 clauses out of 40130 with flag 5000/10548707 613.20/608.87 c cleaning 13025 clauses out of 26072 with flag 11001/10554708 613.54/609.18 c cleaning 10012 clauses out of 20047 with flag 18001/10561708 613.96/609.50 c cleaning 9007 clauses out of 18034 with flag 26000/10569707 614.27/609.88 c cleaning 9007 clauses out of 18027 with flag 35000/10578707 614.78/610.30 c cleaning 9509 clauses out of 19022 with flag 45002/10588709 615.19/610.79 c cleaning 10247 clauses out of 20512 with flag 56001/10599708 615.79/611.34 c cleaning 11124 clauses out of 22264 with flag 68000/10611707 616.40/611.93 c cleaning 12065 clauses out of 24141 with flag 81001/10624708 617.02/612.59 c cleaning 13027 clauses out of 26076 with flag 95001/10638708 617.83/613.33 c cleaning 14013 clauses out of 28048 with flag 110000/10653707 618.64/614.17 c cleaning 15010 clauses out of 30035 with flag 126000/10669707 619.54/615.08 c cleaning 16006 clauses out of 32026 with flag 143001/10686708 620.56/616.08 c cleaning 17001 clauses out of 34019 with flag 161000/10704707 621.68/617.12 c cleaning 17999 clauses out of 36018 with flag 180000/10723707 622.78/618.23 c cleaning 19001 clauses out of 38020 with flag 200001/10743708 623.89/619.39 c cleaning 19999 clauses out of 40020 with flag 221002/10764709 624.90/620.34 c cleaning 21000 clauses out of 42019 with flag 243000/10786707 625.90/621.35 c cleaning 22000 clauses out of 44019 with flag 266000/10809707 627.02/622.42 c cleaning 23009 clauses out of 46022 with flag 290003/10833710 628.13/623.52 c cleaning 23995 clauses out of 48010 with flag 315000/10858707 629.36/624.77 c cleaning 24998 clauses out of 50015 with flag 341000/10884707 630.60/625.99 c cleaning 26004 clauses out of 52017 with flag 368000/10911707 631.91/627.25 c cleaning 27002 clauses out of 54016 with flag 396003/10939710 633.22/628.54 c cleaning 27998 clauses out of 56011 with flag 425000/10968707 634.54/629.87 c cleaning 28999 clauses out of 58013 with flag 455000/10998707 635.94/631.21 c cleaning 30005 clauses out of 60014 with flag 486000/11029707 637.38/632.62 c cleaning 31001 clauses out of 62009 with flag 518000/11061707 638.80/634.10 c cleaning 31988 clauses out of 64008 with flag 551000/11094707 640.41/635.62 c cleaning 33009 clauses out of 66020 with flag 585000/11128707 642.03/637.29 c cleaning 34005 clauses out of 68013 with flag 620002/11163709 643.74/638.95 c cleaning 34998 clauses out of 70006 with flag 656000/11199707 645.66/640.80 c cleaning 36003 clauses out of 72008 with flag 693000/11236707 647.47/642.63 c cleaning 36996 clauses out of 74005 with flag 731000/11274707 649.43/644.53 c cleaning 38001 clauses out of 76011 with flag 770002/11313709 651.44/646.59 c cleaning 38997 clauses out of 78008 with flag 810000/11353707 653.57/648.64 c cleaning 40001 clauses out of 80014 with flag 851003/11394710 655.69/650.78 c cleaning 40997 clauses out of 82010 with flag 893000/11436707 657.89/652.94 c cleaning 41998 clauses out of 84015 with flag 936002/11479709 660.22/655.25 c cleaning 42999 clauses out of 86016 with flag 980001/11523708 662.52/657.53 c cleaning 44005 clauses out of 88016 with flag 1025000/11568707 664.84/659.86 c cleaning 44995 clauses out of 90013 with flag 1071002/11614709 667.46/662.46 c cleaning 46002 clauses out of 92017 with flag 1118001/11661708 669.97/664.98 c cleaning 46992 clauses out of 94016 with flag 1166002/11709709 672.82/667.73 c cleaning 48000 clauses out of 96024 with flag 1215002/11758709 675.45/670.35 c cleaning 49004 clauses out of 98023 with flag 1265001/11808708 678.27/673.11 c cleaning 50003 clauses out of 100018 with flag 1316000/11859707 681.07/675.92 c cleaning 51000 clauses out of 102017 with flag 1368002/11911709 683.98/678.89 c cleaning 52002 clauses out of 104015 with flag 1421000/11964707 686.38/681.29 c Got one! Elapsed wall clock time (in seconds):681.167 686.38/681.29 o 1418 686.92/681.77 c cleaning 54933 clauses out of 109879 with flag 5001/12022573 687.32/682.15 c cleaning 30461 clauses out of 60945 with flag 11000/12028572 687.74/682.50 c cleaning 18734 clauses out of 37484 with flag 18000/12035572 688.05/682.89 c cleaning 13370 clauses out of 26751 with flag 26001/12043573 688.57/683.33 c cleaning 11181 clauses out of 22380 with flag 35000/12052572 688.98/683.79 c cleaning 10593 clauses out of 21199 with flag 45000/12062572 689.59/684.31 c cleaning 10793 clauses out of 21607 with flag 56001/12073573 690.20/684.90 c cleaning 11397 clauses out of 22814 with flag 68001/12085573 690.81/685.55 c cleaning 12200 clauses out of 24416 with flag 81000/12098572 691.51/686.27 c cleaning 13100 clauses out of 26216 with flag 95000/12112572 692.33/687.07 c cleaning 14049 clauses out of 28116 with flag 110000/12127572 693.24/687.95 c cleaning 15025 clauses out of 30068 with flag 126001/12143573 694.15/688.88 c cleaning 16012 clauses out of 32042 with flag 143000/12160572 695.16/689.85 c cleaning 17006 clauses out of 34030 with flag 161000/12178572 696.26/690.93 c cleaning 18003 clauses out of 36024 with flag 180000/12197572 697.39/692.06 c cleaning 19004 clauses out of 38024 with flag 200003/12217575 698.60/693.27 c cleaning 20003 clauses out of 40018 with flag 221001/12238573 700.13/694.74 c cleaning 20998 clauses out of 42014 with flag 243000/12260572 701.63/696.24 c cleaning 22002 clauses out of 44017 with flag 266001/12283573 703.23/697.86 c cleaning 23001 clauses out of 46015 with flag 290001/12307573 704.94/699.55 c cleaning 23998 clauses out of 48014 with flag 315001/12332573 706.34/700.94 c cleaning 24998 clauses out of 50015 with flag 341000/12358572 707.55/702.12 c cleaning 26006 clauses out of 52017 with flag 368000/12385572 708.86/703.43 c cleaning 27004 clauses out of 54011 with flag 396000/12413572 710.16/704.75 c cleaning 27991 clauses out of 56007 with flag 425000/12442572 711.58/706.13 c cleaning 28997 clauses out of 58016 with flag 455000/12472572 712.98/707.59 c cleaning 30001 clauses out of 60019 with flag 486000/12503572 714.59/709.10 c cleaning 31003 clauses out of 62018 with flag 518000/12535572 716.11/710.67 c cleaning 31998 clauses out of 64015 with flag 551000/12568572 717.71/712.25 c cleaning 33006 clauses out of 66018 with flag 585001/12602573 719.34/713.90 c cleaning 34002 clauses out of 68012 with flag 620001/12637573 721.04/715.55 c cleaning 34992 clauses out of 70009 with flag 656000/12673572 722.86/717.34 c cleaning 36000 clauses out of 72019 with flag 693002/12710574 724.56/719.06 c cleaning 37003 clauses out of 74018 with flag 731001/12748573 726.48/720.94 c cleaning 38001 clauses out of 76015 with flag 770001/12787573 728.51/722.93 c cleaning 39000 clauses out of 78013 with flag 810000/12827572 730.42/724.88 c cleaning 39995 clauses out of 80015 with flag 851002/12868574 732.44/726.86 c cleaning 40997 clauses out of 82018 with flag 893000/12910572 734.44/728.89 c cleaning 41996 clauses out of 84021 with flag 936000/12953572 736.67/731.05 c cleaning 43006 clauses out of 86025 with flag 980000/12997572 738.89/733.22 c cleaning 44000 clauses out of 88020 with flag 1025001/13042573 741.02/735.36 c cleaning 45008 clauses out of 90021 with flag 1071002/13088574 743.33/737.60 c cleaning 45998 clauses out of 92011 with flag 1118000/13135572 745.74/740.00 c cleaning 47002 clauses out of 94013 with flag 1166000/13183572 748.07/742.35 c cleaning 47995 clauses out of 96011 with flag 1215000/13232572 750.39/744.63 c cleaning 49001 clauses out of 98016 with flag 1265000/13282572 752.80/747.03 c cleaning 50000 clauses out of 100016 with flag 1316001/13333573 755.42/749.69 c cleaning 50997 clauses out of 102015 with flag 1368000/13385572 758.25/752.48 c cleaning 52004 clauses out of 104020 with flag 1421002/13438574 760.95/755.17 c cleaning 53003 clauses out of 106014 with flag 1475000/13492572 763.87/758.01 c cleaning 54003 clauses out of 108011 with flag 1530000/13547572 767.20/761.33 c cleaning 55003 clauses out of 110008 with flag 1586000/13603572 770.93/765.07 c cleaning 56003 clauses out of 112005 with flag 1643000/13660572 774.64/768.75 c cleaning 56994 clauses out of 114002 with flag 1701000/13718572 778.68/772.79 c cleaning 58004 clauses out of 116011 with flag 1760003/13777575 782.52/776.56 c cleaning 59000 clauses out of 118007 with flag 1820003/13837575 786.34/780.32 c cleaning 59985 clauses out of 120004 with flag 1881000/13898572 790.66/784.67 c cleaning 61002 clauses out of 122019 with flag 1943000/13960572 794.49/788.45 c cleaning 62006 clauses out of 124017 with flag 2006000/14023572 798.41/792.32 c cleaning 63000 clauses out of 126011 with flag 2070000/14087572 802.33/796.30 c cleaning 63995 clauses out of 128011 with flag 2135000/14152572 806.54/800.40 c cleaning 64991 clauses out of 130016 with flag 2201000/14218572 810.38/804.20 c cleaning 66007 clauses out of 132026 with flag 2268001/14285573 814.19/808.08 c cleaning 67009 clauses out of 134019 with flag 2336001/14353573 818.02/811.83 c cleaning 67999 clauses out of 136009 with flag 2405000/14422572 821.63/815.45 c cleaning 69003 clauses out of 138010 with flag 2475000/14492572 825.56/819.39 c cleaning 70000 clauses out of 140008 with flag 2546001/14563573 829.88/823.69 c cleaning 70987 clauses out of 142008 with flag 2618001/14635573 834.02/827.70 c cleaning 72001 clauses out of 144020 with flag 2691000/14708572 837.94/831.66 c cleaning 73003 clauses out of 146020 with flag 2765001/14782573 842.05/835.76 c cleaning 74005 clauses out of 148016 with flag 2840000/14857572 846.38/840.04 c cleaning 74990 clauses out of 150011 with flag 2916000/14933572 850.80/844.48 c cleaning 76008 clauses out of 152021 with flag 2993000/15010572 855.21/848.85 c cleaning 76999 clauses out of 154013 with flag 3071000/15088572 859.32/852.99 c cleaning 77994 clauses out of 156016 with flag 3150002/15167574 863.53/857.14 c cleaning 78997 clauses out of 158020 with flag 3230000/15247572 864.85/858.41 c Got one! Elapsed wall clock time (in seconds):858.289 864.85/858.41 o 1417 865.25/858.89 c cleaning 57271 clauses out of 114562 with flag 5000/15283111 865.78/859.36 c cleaning 31630 clauses out of 63292 with flag 11001/15289112 866.20/859.74 c cleaning 19321 clauses out of 38661 with flag 18000/15296111 866.65/860.14 c cleaning 13666 clauses out of 27341 with flag 26001/15304112 867.07/860.56 c cleaning 11322 clauses out of 22674 with flag 35000/15313111 867.59/861.02 c cleaning 10663 clauses out of 21352 with flag 45000/15323111 868.10/861.50 c cleaning 10834 clauses out of 21689 with flag 56000/15334111 868.62/862.03 c cleaning 11423 clauses out of 22856 with flag 68001/15346112 869.24/862.62 c cleaning 12211 clauses out of 24434 with flag 81002/15359113 869.85/863.26 c cleaning 13107 clauses out of 26221 with flag 95000/15373111 870.55/863.97 c cleaning 14054 clauses out of 28115 with flag 110001/15388112 871.38/864.72 c cleaning 15017 clauses out of 30060 with flag 126000/15404111 872.23/865.53 c cleaning 16013 clauses out of 32044 with flag 143001/15421112 873.04/866.40 c cleaning 17015 clauses out of 34030 with flag 161000/15439111 874.05/867.32 c cleaning 17996 clauses out of 36016 with flag 180001/15458112 874.36/867.64 c Got one! Elapsed wall clock time (in seconds):867.519 874.36/867.64 o 1414 874.56/867.85 c cleaning 15004 clauses out of 30021 with flag 5001/15470113 874.88/868.10 c cleaning 10504 clauses out of 21018 with flag 11002/15476114 875.18/868.40 c cleaning 8748 clauses out of 17512 with flag 18000/15483112 875.49/868.73 c cleaning 8370 clauses out of 16764 with flag 26000/15491112 875.90/869.10 c cleaning 8693 clauses out of 17397 with flag 35003/15500115 876.32/869.53 c cleaning 9343 clauses out of 18701 with flag 45000/15510112 876.72/869.99 c cleaning 10168 clauses out of 20360 with flag 56002/15521114 877.33/870.52 c cleaning 11090 clauses out of 22191 with flag 68001/15533113 877.95/871.18 c cleaning 12043 clauses out of 24100 with flag 81000/15546112 878.66/871.85 c cleaning 13023 clauses out of 26057 with flag 95000/15560112 879.48/872.66 c cleaning 14010 clauses out of 28034 with flag 110000/15575112 880.30/873.45 c cleaning 15003 clauses out of 30025 with flag 126001/15591113 881.01/874.18 c cleaning 16010 clauses out of 32021 with flag 143000/15608112 881.93/875.00 c cleaning 16998 clauses out of 34012 with flag 161001/15626113 882.75/875.83 c cleaning 17994 clauses out of 36014 with flag 180001/15645113 883.67/876.75 c cleaning 18996 clauses out of 38023 with flag 200004/15665116 884.69/877.76 c cleaning 20009 clauses out of 40025 with flag 221002/15686114 885.69/878.76 c cleaning 20995 clauses out of 42014 with flag 243000/15708112 886.81/879.84 c cleaning 22009 clauses out of 44021 with flag 266002/15731114 887.94/880.94 c cleaning 22991 clauses out of 46010 with flag 290000/15755112 889.05/882.10 c cleaning 24007 clauses out of 48020 with flag 315001/15780113 890.36/883.31 c cleaning 25007 clauses out of 50015 with flag 341003/15806115 891.57/884.56 c cleaning 26002 clauses out of 52010 with flag 368005/15833117 892.88/885.87 c cleaning 26997 clauses out of 54003 with flag 396000/15861112 894.38/887.30 c cleaning 28003 clauses out of 56006 with flag 425000/15890112 895.81/888.75 c cleaning 28999 clauses out of 58005 with flag 455002/15920114 897.33/890.28 c cleaning 30002 clauses out of 60004 with flag 486000/15951112 899.03/891.97 c cleaning 30995 clauses out of 62003 with flag 518001/15983113 900.86/893.75 c cleaning 32002 clauses out of 64007 with flag 551000/16016112 902.67/895.51 c cleaning 33002 clauses out of 66005 with flag 585000/16050112 904.50/897.37 c cleaning 33996 clauses out of 68003 with flag 620000/16085112 906.41/899.25 c cleaning 35002 clauses out of 70007 with flag 656000/16121112 908.44/901.20 c cleaning 35994 clauses out of 72005 with flag 693000/16158112 910.47/903.26 c cleaning 37004 clauses out of 74012 with flag 731001/16196113 912.68/905.45 c cleaning 37986 clauses out of 76007 with flag 770000/16235112 915.00/907.73 c cleaning 38998 clauses out of 78021 with flag 810000/16275112 917.22/909.96 c cleaning 40001 clauses out of 80024 with flag 851001/16316113 919.65/912.33 c cleaning 41007 clauses out of 82022 with flag 893000/16358112 921.96/914.64 c cleaning 42001 clauses out of 84015 with flag 936000/16401112 924.16/916.86 c cleaning 42997 clauses out of 86014 with flag 980000/16445112 926.57/919.27 c cleaning 44008 clauses out of 88017 with flag 1025000/16490112 929.60/922.25 c cleaning 45001 clauses out of 90010 with flag 1071001/16536113 932.43/925.05 c cleaning 46001 clauses out of 92010 with flag 1118002/16583114 935.35/928.00 c cleaning 46999 clauses out of 94008 with flag 1166001/16631113 938.56/931.10 c cleaning 48004 clauses out of 96009 with flag 1215001/16680113 941.48/934.03 c cleaning 49003 clauses out of 98005 with flag 1265001/16730113 944.39/936.93 c cleaning 49998 clauses out of 100001 with flag 1316000/16781112 947.60/940.14 c cleaning 50990 clauses out of 102004 with flag 1368001/16833113 950.61/943.18 c cleaning 51995 clauses out of 104013 with flag 1421000/16886112 953.73/946.24 c cleaning 53005 clauses out of 106018 with flag 1475000/16940112 957.05/949.53 c cleaning 53997 clauses out of 108014 with flag 1530001/16995113 960.36/952.86 c cleaning 54999 clauses out of 110020 with flag 1586004/17051116 963.88/956.39 c cleaning 56006 clauses out of 112018 with flag 1643001/17108113 967.62/960.09 c cleaning 56999 clauses out of 114011 with flag 1701000/17166112 971.65/964.00 c cleaning 58006 clauses out of 116012 with flag 1760000/17225112 975.46/967.87 c cleaning 58994 clauses out of 118006 with flag 1820000/17285112 979.29/971.62 c cleaning 59987 clauses out of 120012 with flag 1881000/17346112 982.91/975.29 c cleaning 60994 clauses out of 122025 with flag 1943000/17408112 987.52/979.84 c cleaning 62010 clauses out of 124032 with flag 2006001/17471113 991.93/984.27 c cleaning 63008 clauses out of 126022 with flag 2070001/17535113 996.45/988.71 c cleaning 63996 clauses out of 128013 with flag 2135000/17600112 1000.79/993.09 c cleaning 64998 clauses out of 130017 with flag 2201000/17666112 1005.30/997.56 c cleaning 66002 clauses out of 132019 with flag 2268000/17733112 1009.92/1002.11 c cleaning 66998 clauses out of 134019 with flag 2336002/17801114 1014.13/1006.39 c cleaning 67998 clauses out of 136019 with flag 2405000/17870112 1018.35/1010.52 c cleaning 69007 clauses out of 138021 with flag 2475000/17940112 1022.77/1014.94 c cleaning 70005 clauses out of 140014 with flag 2546000/18011112 1026.99/1019.17 c cleaning 71001 clauses out of 142010 with flag 2618001/18083113 1031.51/1023.62 c cleaning 72005 clauses out of 144010 with flag 2691002/18156114 1036.34/1028.44 c cleaning 72997 clauses out of 146006 with flag 2765003/18230115 1041.44/1033.50 c cleaning 73998 clauses out of 148006 with flag 2840000/18305112 1046.36/1038.46 c cleaning 74999 clauses out of 150008 with flag 2916000/18381112 1051.07/1043.10 c cleaning 76005 clauses out of 152010 with flag 2993001/18458113 1056.68/1048.74 c cleaning 76998 clauses out of 154004 with flag 3071000/18536112 1062.30/1054.33 c cleaning 77999 clauses out of 156006 with flag 3150000/18615112 1067.71/1059.70 c cleaning 79002 clauses out of 158009 with flag 3230002/18695114 1073.05/1065.02 c cleaning 79995 clauses out of 160005 with flag 3311000/18776112 1078.46/1070.46 c cleaning 80999 clauses out of 162010 with flag 3393000/18858112 1084.36/1076.34 c cleaning 81997 clauses out of 164011 with flag 3476000/18941112 1090.39/1082.30 c cleaning 83004 clauses out of 166016 with flag 3560002/19025114 1096.55/1088.41 c cleaning 83998 clauses out of 168010 with flag 3645000/19110112 1102.56/1094.45 c cleaning 85006 clauses out of 170014 with flag 3731002/19196114 1107.98/1099.83 c cleaning 85996 clauses out of 172008 with flag 3818002/19283114 1113.81/1105.69 c cleaning 86990 clauses out of 174012 with flag 3906002/19371114 1120.44/1112.26 c cleaning 88007 clauses out of 176024 with flag 3995004/19460116 1126.69/1118.43 c cleaning 89005 clauses out of 178014 with flag 4085001/19550113 1132.41/1124.11 c cleaning 90001 clauses out of 180008 with flag 4176000/19641112 1138.22/1129.99 c cleaning 90997 clauses out of 182007 with flag 4268000/19733112 1144.44/1136.20 c cleaning 92000 clauses out of 184010 with flag 4361000/19826112 1150.66/1142.34 c cleaning 92998 clauses out of 186011 with flag 4455001/19920113 1156.18/1147.85 c cleaning 94003 clauses out of 188014 with flag 4550002/20015114 1162.51/1154.17 c cleaning 95000 clauses out of 190009 with flag 4646000/20111112 1168.63/1160.20 c cleaning 95999 clauses out of 192011 with flag 4743002/20208114 1176.67/1168.26 c cleaning 96991 clauses out of 194010 with flag 4841000/20306112 1183.67/1175.28 c cleaning 97998 clauses out of 196021 with flag 4940002/20405114 1191.98/1183.55 c cleaning 99003 clauses out of 198021 with flag 5040000/20505112 1199.82/1191.33 c cleaning 99998 clauses out of 200018 with flag 5141000/20606112 1208.34/1199.87 c cleaning 101004 clauses out of 202020 with flag 5243000/20708112 1216.87/1208.33 c cleaning 101998 clauses out of 204017 with flag 5346001/20811113 1225.09/1216.55 c cleaning 103004 clauses out of 206018 with flag 5450000/20915112 1234.23/1225.64 c cleaning 103999 clauses out of 208015 with flag 5555001/21020113 1242.44/1233.84 c cleaning 105003 clauses out of 210017 with flag 5661002/21126114 1250.84/1242.25 c cleaning 105997 clauses out of 212012 with flag 5768000/21233112 1259.97/1251.36 c cleaning 106999 clauses out of 214015 with flag 5876000/21341112 1269.19/1260.52 c cleaning 107997 clauses out of 216017 with flag 5985001/21450113 1278.81/1270.17 c cleaning 109007 clauses out of 218019 with flag 6095000/21560112 1288.15/1279.42 c cleaning 110003 clauses out of 220012 with flag 6206000/21671112 1296.66/1288.00 c cleaning 111005 clauses out of 222011 with flag 6318002/21783114 1305.89/1297.18 c cleaning 111996 clauses out of 224004 with flag 6431000/21896112 1317.11/1308.38 c cleaning 113001 clauses out of 226008 with flag 6545000/22010112 1328.34/1319.52 c cleaning 113997 clauses out of 228007 with flag 6660000/22125112 1339.18/1330.35 c cleaning 115003 clauses out of 230010 with flag 6776000/22241112 1350.81/1342.00 c cleaning 115995 clauses out of 232007 with flag 6893000/22358112 1362.12/1353.22 c cleaning 116994 clauses out of 234012 with flag 7011000/22476112 1372.88/1363.94 c cleaning 118001 clauses out of 236018 with flag 7130000/22595112 1384.82/1375.80 c cleaning 118998 clauses out of 238017 with flag 7250000/22715112 1392.06/1383.09 c cleaning 120006 clauses out of 240019 with flag 7371000/22836112 1400.59/1391.54 c cleaning 120995 clauses out of 242013 with flag 7493000/22958112 1409.43/1400.39 c cleaning 122003 clauses out of 244020 with flag 7616002/23081114 1418.05/1408.99 c cleaning 123007 clauses out of 246015 with flag 7740000/23205112 1427.56/1418.49 c cleaning 123998 clauses out of 248011 with flag 7865003/23330115 1436.48/1427.38 c cleaning 124999 clauses out of 250010 with flag 7991000/23456112 1445.42/1436.22 c cleaning 125999 clauses out of 252011 with flag 8118000/23583112 1455.07/1445.83 c cleaning 126997 clauses out of 254014 with flag 8246002/23711114 1464.40/1455.16 c cleaning 128000 clauses out of 256016 with flag 8375001/23840113 1473.42/1464.13 c cleaning 129003 clauses out of 258016 with flag 8505001/23970113 1482.35/1473.05 c cleaning 129992 clauses out of 260012 with flag 8636000/24101112 1484.77/1475.41 c Got one! Elapsed wall clock time (in seconds):1475.286 1484.77/1475.41 o 1411 1485.57/1476.29 c cleaning 91895 clauses out of 183804 with flag 5001/24154896 1486.30/1476.97 c cleaning 48946 clauses out of 97908 with flag 11000/24160895 1486.82/1477.40 c cleaning 27974 clauses out of 55963 with flag 18001/24167896 1487.14/1477.78 c cleaning 17984 clauses out of 35988 with flag 26000/24175895 1487.56/1478.18 c cleaning 13495 clauses out of 27005 with flag 35001/24184896 1488.07/1478.61 c cleaning 11744 clauses out of 23509 with flag 45000/24194895 1488.50/1479.09 c cleaning 11371 clauses out of 22766 with flag 56001/24205896 1489.12/1479.66 c cleaning 11691 clauses out of 23395 with flag 68001/24217896 1489.63/1480.20 c cleaning 12347 clauses out of 24704 with flag 81001/24230896 1490.35/1480.80 c cleaning 13168 clauses out of 26357 with flag 95001/24244896 1490.97/1481.43 c cleaning 14083 clauses out of 28188 with flag 110000/24259895 1491.69/1482.15 c cleaning 15042 clauses out of 30105 with flag 126000/24275895 1492.51/1482.91 c cleaning 16021 clauses out of 32064 with flag 143001/24292896 1493.31/1483.71 c cleaning 17006 clauses out of 34043 with flag 161001/24310896 1494.14/1484.54 c cleaning 18005 clauses out of 36036 with flag 180000/24329895 1495.05/1485.44 c cleaning 19007 clauses out of 38031 with flag 200000/24349895 1495.96/1486.37 c cleaning 19994 clauses out of 40024 with flag 221000/24370895 1496.96/1487.33 c cleaning 21004 clauses out of 42031 with flag 243001/24392896 1497.98/1488.31 c cleaning 21999 clauses out of 44028 with flag 266002/24415897 1499.00/1489.36 c cleaning 22999 clauses out of 46027 with flag 290000/24439895 1500.13/1490.45 c cleaning 24001 clauses out of 48028 with flag 315000/24464895 1501.25/1491.59 c cleaning 24999 clauses out of 50028 with flag 341001/24490896 1502.45/1492.72 c cleaning 26003 clauses out of 52030 with flag 368002/24517897 1503.56/1493.90 c cleaning 26995 clauses out of 54025 with flag 396000/24545895 1505.00/1495.20 c cleaning 27998 clauses out of 56030 with flag 425000/24574895 1506.32/1496.50 c cleaning 28991 clauses out of 58032 with flag 455000/24604895 1507.64/1497.85 c cleaning 30006 clauses out of 60044 with flag 486003/24635898 1509.06/1499.25 c cleaning 30999 clauses out of 62036 with flag 518001/24667896 1510.58/1500.71 c cleaning 32001 clauses out of 64036 with flag 551000/24700895 1512.08/1502.23 c cleaning 33010 clauses out of 66038 with flag 585003/24734898 1513.69/1503.82 c cleaning 33996 clauses out of 68025 with flag 620000/24769895 1515.31/1505.49 c cleaning 35002 clauses out of 70030 with flag 656001/24805896 1517.13/1507.23 c cleaning 35994 clauses out of 72027 with flag 693000/24842895 1518.95/1509.01 c cleaning 36997 clauses out of 74037 with flag 731004/24880899 1520.77/1510.84 c cleaning 38013 clauses out of 76036 with flag 770000/24919895 1522.80/1512.87 c cleaning 38997 clauses out of 78023 with flag 810000/24959895 1524.81/1514.90 c cleaning 40011 clauses out of 80026 with flag 851000/25000895 1527.04/1517.06 c cleaning 41003 clauses out of 82015 with flag 893000/25042895 1529.25/1519.22 c cleaning 41994 clauses out of 84012 with flag 936000/25085895 1531.78/1521.78 c cleaning 43006 clauses out of 86018 with flag 980000/25129895 1534.39/1524.33 c cleaning 44002 clauses out of 88012 with flag 1025000/25174895 1536.81/1526.74 c cleaning 45006 clauses out of 90012 with flag 1071002/25220897 1539.61/1529.50 c cleaning 46004 clauses out of 92007 with flag 1118003/25267898 1542.44/1532.37 c cleaning 47000 clauses out of 94002 with flag 1166002/25315897 1545.05/1534.94 c cleaning 47998 clauses out of 96000 with flag 1215000/25364895 1547.78/1537.69 c cleaning 49001 clauses out of 98003 with flag 1265001/25414896 1550.69/1540.54 c cleaning 49993 clauses out of 100003 with flag 1316002/25465897 1553.81/1543.60 c cleaning 51001 clauses out of 102008 with flag 1368000/25517895 1556.84/1546.63 c cleaning 51998 clauses out of 104007 with flag 1421000/25570895 1560.64/1550.17 c cleaning 53003 clauses out of 106009 with flag 1475000/25624895 1564.95/1554.19 c cleaning 53999 clauses out of 108006 with flag 1530000/25679895 1568.77/1557.90 c cleaning 55002 clauses out of 110008 with flag 1586001/25735896 1571.90/1561.07 c cleaning 56001 clauses out of 112006 with flag 1643001/25792896 1575.61/1564.77 c cleaning 56995 clauses out of 114004 with flag 1701000/25850895 1579.64/1568.71 c cleaning 57995 clauses out of 116010 with flag 1760001/25909896 1583.46/1572.54 c cleaning 59002 clauses out of 118016 with flag 1820002/25969897 1586.98/1576.03 c cleaning 59998 clauses out of 120013 with flag 1881001/26030896 1590.80/1579.89 c cleaning 61000 clauses out of 122016 with flag 1943002/26092897 1595.62/1584.60 c cleaning 61998 clauses out of 124017 with flag 2006003/26155898 1599.47/1588.47 c cleaning 62998 clauses out of 126016 with flag 2070000/26219895 1603.98/1592.95 c cleaning 64008 clauses out of 128021 with flag 2135003/26284898 1608.01/1596.91 c cleaning 64991 clauses out of 130011 with flag 2201001/26350896 1611.93/1600.85 c cleaning 66006 clauses out of 132019 with flag 2268000/26417895 1616.04/1604.99 c cleaning 67006 clauses out of 134013 with flag 2336000/26485895 1621.46/1610.38 c cleaning 67997 clauses out of 136008 with flag 2405001/26554896 1626.28/1615.19 c cleaning 68996 clauses out of 138010 with flag 2475000/26624895 1630.90/1619.70 c cleaning 70003 clauses out of 140014 with flag 2546000/26695895 1635.53/1624.37 c cleaning 70999 clauses out of 142011 with flag 2618000/26767895 1640.03/1628.88 c cleaning 71990 clauses out of 144012 with flag 2691000/26840895 1644.24/1633.04 c cleaning 73007 clauses out of 146023 with flag 2765001/26914896 1648.74/1637.59 c cleaning 74000 clauses out of 148017 with flag 2840002/26989897 1653.07/1641.85 c cleaning 75002 clauses out of 150017 with flag 2916002/27065897 1657.68/1646.49 c cleaning 76003 clauses out of 152014 with flag 2993001/27142896 1662.48/1651.29 c cleaning 77004 clauses out of 154010 with flag 3071000/27220895 1667.59/1656.36 c cleaning 77990 clauses out of 156008 with flag 3150002/27299897 1672.81/1661.56 c cleaning 79002 clauses out of 158016 with flag 3230000/27379895 1678.32/1667.05 c cleaning 80002 clauses out of 160015 with flag 3311001/27460896 1683.83/1672.58 c cleaning 80998 clauses out of 162014 with flag 3393002/27542897 1689.44/1678.10 c cleaning 81995 clauses out of 164014 with flag 3476000/27625895 1695.15/1683.84 c cleaning 83010 clauses out of 166019 with flag 3560000/27709895 1700.75/1689.40 c cleaning 84005 clauses out of 168012 with flag 3645003/27794898 1707.09/1695.71 c cleaning 84998 clauses out of 170006 with flag 3731002/27880897 1714.41/1703.02 c cleaning 86002 clauses out of 172008 with flag 3818002/27967897 1721.43/1710.01 c cleaning 86998 clauses out of 174008 with flag 3906004/28055899 1728.66/1717.20 c cleaning 88003 clauses out of 176006 with flag 3995000/28144895 1736.30/1724.85 c cleaning 88993 clauses out of 178002 with flag 4085000/28234895 1744.02/1732.54 c cleaning 89990 clauses out of 180009 with flag 4176000/28325895 1750.42/1739.00 c cleaning 91004 clauses out of 182019 with flag 4268000/28417895 1758.44/1746.91 c cleaning 92008 clauses out of 184018 with flag 4361003/28510898 1765.96/1754.43 c cleaning 93001 clauses out of 186007 with flag 4455000/28604895 1773.57/1762.03 c cleaning 94000 clauses out of 188006 with flag 4550000/28699895 1780.40/1768.82 c cleaning 95001 clauses out of 190007 with flag 4646001/28795896 1787.81/1776.29 c cleaning 95993 clauses out of 192005 with flag 4743000/28892895 1795.43/1783.85 c cleaning 97006 clauses out of 194013 with flag 4841001/28990896 1800.07/1788.41 c starts : 396 1800.07/1788.41 c conflicts : 29068038 1800.07/1788.41 c decisions : 67237959 1800.07/1788.41 c propagations : 1139950184 1800.07/1788.41 c inspects : 10113169916 1800.07/1788.41 c shortcuts : 0 1800.07/1788.41 c learnt literals : 5 1800.07/1788.41 c learnt binary clauses : 6 1800.07/1788.41 c learnt ternary clauses : 48 1800.07/1788.41 c learnt constraints : 29068034 1800.07/1788.41 c ignored constraints : 0 1800.07/1788.41 c root simplifications : 0 1800.07/1788.41 c removed literals (reason simplification) : 0 1800.07/1788.41 c reason swapping (by a shorter reason) : 0 1800.07/1788.41 c Calls to reduceDB : 597 1800.07/1788.41 c number of reductions to clauses (during analyze) : 0 1800.07/1788.41 c number of learned constraints concerned by reduction : 0 1800.07/1788.41 c number of learning phase by resolution : 0 1800.07/1788.41 c number of learning phase by cutting planes : 0 1800.07/1788.41 c speed (assignments/second) : 637492.3086559008 1800.07/1788.41 c non guided choices 0 1800.07/1788.44 c learnt constraints type 1800.07/1788.44 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 6 1800.07/1788.44 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 174611 1800.07/1788.44 c constraints type 1800.07/1788.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 489 1800.07/1788.44 c ignored satisfied constraints => 3 1800.07/1788.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 178 1800.07/1788.44 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 1800.07/1788.44 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.07/1788.44 c 672 constraints processed. 1800.07/1788.44 s SATISFIABLE 1800.07/1788.44 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 1800.07/1788.44 c objective function=1411 1800.07/1788.44 c Total wall clock time (in seconds): 1788.318
OK 1411
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-3687683-1337875478/watcher-3687683-1337875478 -o /tmp/evaluation-result-3687683-1337875478/solver-3687683-1337875478 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687683-1337875478.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: 2.00 2.00 1.92 3/194 21886 /proc/meminfo: memFree=28272976/32873648 swapFree=6844/6844 [pid=21886] ppid=21884 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/21886/stat : 21886 (java) D 21884 21886 21479 0 -1 4202496 299 0 0 0 0 0 0 0 20 0 1 0 253674602 2560000 47 33554432000 1073741824 1073778376 140734500110256 140734500107384 271778409767 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/21886/statm: 625 47 37 9 0 29 0 [startup+0.0520829 s] /proc/loadavg: 2.00 2.00 1.92 3/194 21886 /proc/meminfo: memFree=28272976/32873648 swapFree=6844/6844 [pid=21886] ppid=21884 vsize=9225560 CPUtime=0.03 cores=0,2,4,6 /proc/21886/stat : 21886 (java) S 21884 21886 21479 0 -1 4202496 3033 0 1 0 3 0 0 0 20 0 13 0 253674602 9446973440 3730 33554432000 1073741824 1073778376 140734500110256 140734500101392 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21886/statm: 2306390 3730 1701 9 0 2297091 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9225560 [startup+0.100253 s] /proc/loadavg: 2.00 2.00 1.92 3/194 21886 /proc/meminfo: memFree=28272976/32873648 swapFree=6844/6844 [pid=21886] ppid=21884 vsize=9558412 CPUtime=0.08 cores=0,2,4,6 /proc/21886/stat : 21886 (java) S 21884 21886 21479 0 -1 4202496 4149 0 1 0 8 0 0 0 20 0 18 0 253674602 9787813888 5349 33554432000 1073741824 1073778376 140734500110256 140734500101392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21886/statm: 2389603 5349 2079 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.300218 s] /proc/loadavg: 2.00 2.00 1.92 3/194 21886 /proc/meminfo: memFree=28272976/32873648 swapFree=6844/6844 [pid=21886] ppid=21884 vsize=9624976 CPUtime=0.46 cores=0,2,4,6 /proc/21886/stat : 21886 (java) S 21884 21886 21479 0 -1 4202496 6142 0 1 0 46 0 0 0 20 0 19 0 253674602 9855975424 7665 33554432000 1073741824 1073778376 140734500110256 140734500101392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21886/statm: 2406244 7665 2229 9 0 2396937 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9624976 [startup+0.700219 s] /proc/loadavg: 2.00 2.00 1.92 3/194 21886 /proc/meminfo: memFree=28272976/32873648 swapFree=6844/6844 [pid=21886] ppid=21884 vsize=9624976 CPUtime=1.06 cores=0,2,4,6 /proc/21886/stat : 21886 (java) S 21884 21886 21479 0 -1 4202496 7055 0 1 0 105 1 0 0 20 0 19 0 253674602 9855975424 8815 33554432000 1073741824 1073778376 140734500110256 140734500101392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21886/statm: 2406244 8815 2251 9 0 2396937 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 9624976 [startup+1.50061 s] /proc/loadavg: 2.00 2.00 1.92 3/213 21905 /proc/meminfo: memFree=28235436/32873648 swapFree=6844/6844 [pid=21886] ppid=21884 vsize=9624976 CPUtime=1.94 cores=0,2,4,6 /proc/21886/stat : 21886 (java) S 21884 21886 21479 0 -1 4202496 7351 0 1 0 193 1 0 0 20 0 19 0 253674602 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140734500101392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21886/statm: 2406244 11426 2272 9 0 2396937 0 [pid=21886/tid=21888] ppid=21884 vsize=9624976 CPUtime=1.43 cores=0,2,4,6 /proc/21886/task/21888/stat : 21888 (java) R 21884 21886 21479 0 -1 4202560 2462 0 1 0 143 0 0 0 20 0 19 0 253674603 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212808401304 140212647205058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21889] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21889/stat : 21889 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212769892648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21890] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21890/stat : 21890 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212768839848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21891] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21891/stat : 21891 (java) S 21884 21886 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212767787560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21892] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21892/stat : 21892 (java) S 21884 21886 21479 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212766734760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21893] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21893/stat : 21893 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212765682472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21894] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21894/stat : 21894 (java) S 21884 21886 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212646701736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21895] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21895/stat : 21895 (java) S 21884 21886 21479 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212645649448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21896] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21896/stat : 21896 (java) S 21884 21886 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212644596648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21897] ppid=21884 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/21886/task/21897/stat : 21897 (java) S 21884 21886 21479 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 253674605 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212632398056 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21898] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21898/stat : 21898 (java) S 21884 21886 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212631344120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21899] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21899/stat : 21899 (java) S 21884 21886 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212025943304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21900] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21900/stat : 21900 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212024891792 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21901] ppid=21884 vsize=9624976 CPUtime=0.23 cores=0,2,4,6 /proc/21886/task/21901/stat : 21901 (java) S 21884 21886 21479 0 -1 4202560 2130 0 0 0 23 0 0 0 20 0 19 0 253674608 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212023839416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21902] ppid=21884 vsize=9624976 CPUtime=0.19 cores=0,2,4,6 /proc/21886/task/21902/stat : 21902 (java) S 21884 21886 21479 0 -1 4202560 1507 0 0 0 19 0 0 0 20 0 19 0 253674608 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212022786616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21903] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21903/stat : 21903 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212021734520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21904] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21904/stat : 21904 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212020681928 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21905] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21905/stat : 21905 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674625 9855975424 11426 33554432000 1073741824 1073778376 140734500110256 140212019626920 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.94 Current children cumulated vsize (KiB) 9624976 [startup+3.10074 s] /proc/loadavg: 2.00 2.00 1.92 3/213 21905 /proc/meminfo: memFree=28234940/32873648 swapFree=6844/6844 [pid=21886] ppid=21884 vsize=9624976 CPUtime=3.59 cores=0,2,4,6 /proc/21886/stat : 21886 (java) S 21884 21886 21479 0 -1 4202496 7374 0 1 0 358 1 0 0 20 0 19 0 253674602 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140734500101392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21886/statm: 2406244 12466 2273 9 0 2396937 0 [pid=21886/tid=21888] ppid=21884 vsize=9624976 CPUtime=2.98 cores=0,2,4,6 /proc/21886/task/21888/stat : 21888 (java) R 21884 21886 21479 0 -1 4202560 2465 0 1 0 298 0 0 0 20 0 19 0 253674603 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212808401304 140212647171456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21889] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21889/stat : 21889 (java) S 21884 21886 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212769892648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21890] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21890/stat : 21890 (java) S 21884 21886 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212768839848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21891] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21891/stat : 21891 (java) S 21884 21886 21479 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212767787560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21892] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21892/stat : 21892 (java) S 21884 21886 21479 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212766734760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21893] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21893/stat : 21893 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212765682472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21894] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21894/stat : 21894 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212646701736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21895] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21895/stat : 21895 (java) S 21884 21886 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212645649448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21896] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21896/stat : 21896 (java) S 21884 21886 21479 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212644596648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21897] ppid=21884 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/21886/task/21897/stat : 21897 (java) S 21884 21886 21479 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 253674605 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212632398056 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21898] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21898/stat : 21898 (java) S 21884 21886 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212631344120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21899] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21899/stat : 21899 (java) S 21884 21886 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212025943304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21900] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21900/stat : 21900 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212024891792 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21901] ppid=21884 vsize=9624976 CPUtime=0.28 cores=0,2,4,6 /proc/21886/task/21901/stat : 21901 (java) S 21884 21886 21479 0 -1 4202560 2131 0 0 0 28 0 0 0 20 0 19 0 253674608 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212023839416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21902] ppid=21884 vsize=9624976 CPUtime=0.19 cores=0,2,4,6 /proc/21886/task/21902/stat : 21902 (java) S 21884 21886 21479 0 -1 4202560 1508 0 0 0 19 0 0 0 20 0 19 0 253674608 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212022786616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21903] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21903/stat : 21903 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212021734520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21904] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21904/stat : 21904 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212020681928 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21905] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21905/stat : 21905 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674625 9855975424 12466 33554432000 1073741824 1073778376 140734500110256 140212019626920 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.59 Current children cumulated vsize (KiB) 9624976 [startup+6.30062 s] /proc/loadavg: 2.00 2.00 1.92 3/213 21905 /proc/meminfo: memFree=28228184/32873648 swapFree=6844/6844 [pid=21886] ppid=21884 vsize=9624976 CPUtime=6.82 cores=0,2,4,6 /proc/21886/stat : 21886 (java) S 21884 21886 21479 0 -1 4202496 7402 0 1 0 681 1 0 0 20 0 19 0 253674602 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140734500101392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21886/statm: 2406244 12924 2273 9 0 2396937 0 [pid=21886/tid=21888] ppid=21884 vsize=9624976 CPUtime=6.11 cores=0,2,4,6 /proc/21886/task/21888/stat : 21888 (java) R 21884 21886 21479 0 -1 4202560 2471 0 1 0 611 0 0 0 20 0 19 0 253674603 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212808401304 140212647179492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21889] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21889/stat : 21889 (java) S 21884 21886 21479 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212769892648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21890] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21890/stat : 21890 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212768839848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21891] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21891/stat : 21891 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212767787560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21892] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21892/stat : 21892 (java) S 21884 21886 21479 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212766734760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21893] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21893/stat : 21893 (java) S 21884 21886 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212765682472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21894] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21894/stat : 21894 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212646701736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21895] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21895/stat : 21895 (java) S 21884 21886 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212645649448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21896] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21896/stat : 21896 (java) S 21884 21886 21479 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253674604 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212644596648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21897] ppid=21884 vsize=9624976 CPUtime=0.12 cores=0,2,4,6 /proc/21886/task/21897/stat : 21897 (java) S 21884 21886 21479 0 -1 4202560 33 0 0 0 12 0 0 0 20 0 19 0 253674605 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212632398056 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21898] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21898/stat : 21898 (java) S 21884 21886 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212631344120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21899] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21899/stat : 21899 (java) S 21884 21886 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212025943304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21900] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21900/stat : 21900 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212024891792 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21901] ppid=21884 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/21886/task/21901/stat : 21901 (java) S 21884 21886 21479 0 -1 4202560 2131 0 0 0 29 0 0 0 20 0 19 0 253674608 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212023839416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21902] ppid=21884 vsize=9624976 CPUtime=0.19 cores=0,2,4,6 /proc/21886/task/21902/stat : 21902 (java) S 21884 21886 21479 0 -1 4202560 1508 0 0 0 19 0 0 0 20 0 19 0 253674608 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212022786616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21903] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21903/stat : 21903 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212021734520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21904] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21904/stat : 21904 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212020681928 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21905] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21905/stat : 21905 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674625 9855975424 12924 33554432000 1073741824 1073778376 140734500110256 140212019626920 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.82 Current children cumulated vsize (KiB) 9624976 [startup+12.7007 s] ################ # More data... # ################ [pid=21886/tid=21894] ppid=21884 vsize=9624976 CPUtime=1.69 cores=0,2,4,6 /proc/21886/task/21894/stat : 21894 (java) S 21884 21886 21479 0 -1 4202560 168 0 0 0 167 2 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212646701736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21895] ppid=21884 vsize=9624976 CPUtime=1.82 cores=0,2,4,6 /proc/21886/task/21895/stat : 21895 (java) S 21884 21886 21479 0 -1 4202560 112 0 0 0 180 2 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212645649448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21896] ppid=21884 vsize=9624976 CPUtime=1.84 cores=0,2,4,6 /proc/21886/task/21896/stat : 21896 (java) S 21884 21886 21479 0 -1 4202560 139 0 0 0 181 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212644596648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21897] ppid=21884 vsize=9624976 CPUtime=17.94 cores=0,2,4,6 /proc/21886/task/21897/stat : 21897 (java) S 21884 21886 21479 0 -1 4202560 157 0 0 0 1790 4 0 0 20 0 19 0 253674605 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212632398056 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21898] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21898/stat : 21898 (java) S 21884 21886 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212631344120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21899] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21899/stat : 21899 (java) S 21884 21886 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212025943304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21900] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21900/stat : 21900 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212024891792 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21901] ppid=21884 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/21886/task/21901/stat : 21901 (java) S 21884 21886 21479 0 -1 4202560 6098 0 0 0 44 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212023839416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21902] ppid=21884 vsize=9624976 CPUtime=0.84 cores=0,2,4,6 /proc/21886/task/21902/stat : 21902 (java) S 21884 21886 21479 0 -1 4202560 13414 0 0 0 81 3 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212022786616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21903] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21903/stat : 21903 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212021734520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21904] ppid=21884 vsize=9624976 CPUtime=0.47 cores=0,2,4,6 /proc/21886/task/21904/stat : 21904 (java) S 21884 21886 21479 0 -1 4202560 95 0 0 0 27 20 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212020681928 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21905] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21905/stat : 21905 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674625 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212019626920 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1673.62 Current children cumulated vsize (KiB) 9624976 [startup+1722.3 s] /proc/loadavg: 2.13 2.05 2.00 3/214 22151 /proc/meminfo: memFree=28783400/32873648 swapFree=6844/6844 [pid=21886] ppid=21884 vsize=9624976 CPUtime=1733.8 cores=0,2,4,6 /proc/21886/stat : 21886 (java) S 21884 21886 21479 0 -1 4202496 25783 0 1 0 173338 42 0 0 20 0 19 0 253674602 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140734500101392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21886/statm: 2406244 45794 2274 9 0 2396937 0 [pid=21886/tid=21888] ppid=21884 vsize=9624976 CPUtime=1699.17 cores=0,2,4,6 /proc/21886/task/21888/stat : 21888 (java) R 21884 21886 21479 0 -1 4202560 3060 0 1 0 169888 29 0 0 20 0 19 0 253674603 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212808401184 140212647171504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21889] ppid=21884 vsize=9624976 CPUtime=1.93 cores=0,2,4,6 /proc/21886/task/21889/stat : 21889 (java) S 21884 21886 21479 0 -1 4202560 276 0 0 0 190 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212769892648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21890] ppid=21884 vsize=9624976 CPUtime=1.96 cores=0,2,4,6 /proc/21886/task/21890/stat : 21890 (java) S 21884 21886 21479 0 -1 4202560 268 0 0 0 193 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212768839848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21891] ppid=21884 vsize=9624976 CPUtime=1.83 cores=0,2,4,6 /proc/21886/task/21891/stat : 21891 (java) S 21884 21886 21479 0 -1 4202560 262 0 0 0 181 2 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212767787560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21892] ppid=21884 vsize=9624976 CPUtime=1.91 cores=0,2,4,6 /proc/21886/task/21892/stat : 21892 (java) S 21884 21886 21479 0 -1 4202560 277 0 0 0 188 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212766734760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21893] ppid=21884 vsize=9624976 CPUtime=1.93 cores=0,2,4,6 /proc/21886/task/21893/stat : 21893 (java) S 21884 21886 21479 0 -1 4202560 268 0 0 0 190 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212765682472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21894] ppid=21884 vsize=9624976 CPUtime=1.73 cores=0,2,4,6 /proc/21886/task/21894/stat : 21894 (java) S 21884 21886 21479 0 -1 4202560 168 0 0 0 171 2 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212646701736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21895] ppid=21884 vsize=9624976 CPUtime=1.84 cores=0,2,4,6 /proc/21886/task/21895/stat : 21895 (java) S 21884 21886 21479 0 -1 4202560 112 0 0 0 182 2 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212645649448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21896] ppid=21884 vsize=9624976 CPUtime=1.87 cores=0,2,4,6 /proc/21886/task/21896/stat : 21896 (java) S 21884 21886 21479 0 -1 4202560 139 0 0 0 184 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212644596648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21897] ppid=21884 vsize=9624976 CPUtime=18.38 cores=0,2,4,6 /proc/21886/task/21897/stat : 21897 (java) S 21884 21886 21479 0 -1 4202560 161 0 0 0 1834 4 0 0 20 0 19 0 253674605 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212632398056 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21898] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21898/stat : 21898 (java) S 21884 21886 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212631344120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21899] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21899/stat : 21899 (java) S 21884 21886 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212025943304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21900] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21900/stat : 21900 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212024891792 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21901] ppid=21884 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/21886/task/21901/stat : 21901 (java) S 21884 21886 21479 0 -1 4202560 6098 0 0 0 44 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212023839416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21902] ppid=21884 vsize=9624976 CPUtime=0.84 cores=0,2,4,6 /proc/21886/task/21902/stat : 21902 (java) S 21884 21886 21479 0 -1 4202560 13414 0 0 0 81 3 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212022786616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21903] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21903/stat : 21903 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212021734520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21904] ppid=21884 vsize=9624976 CPUtime=0.49 cores=0,2,4,6 /proc/21886/task/21904/stat : 21904 (java) S 21884 21886 21479 0 -1 4202560 99 0 0 0 28 21 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212020681928 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21905] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21905/stat : 21905 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674625 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212019626920 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1733.8 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.04 2.04 2.00 3/213 22151 /proc/meminfo: memFree=28783040/32873648 swapFree=6844/6844 [pid=21886] ppid=21884 vsize=9624976 CPUtime=1793.93 cores=0,2,4,6 /proc/21886/stat : 21886 (java) S 21884 21886 21479 0 -1 4202496 25799 0 1 0 179350 43 0 0 20 0 19 0 253674602 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140734500101392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21886/statm: 2406244 45794 2274 9 0 2396937 0 [pid=21886/tid=21888] ppid=21884 vsize=9624976 CPUtime=1758.68 cores=0,2,4,6 /proc/21886/task/21888/stat : 21888 (java) R 21884 21886 21479 0 -1 4202560 3068 0 1 0 175837 31 0 0 20 0 19 0 253674603 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212808401184 140212647676950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21889] ppid=21884 vsize=9624976 CPUtime=1.95 cores=0,2,4,6 /proc/21886/task/21889/stat : 21889 (java) S 21884 21886 21479 0 -1 4202560 276 0 0 0 192 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212769892648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21890] ppid=21884 vsize=9624976 CPUtime=1.98 cores=0,2,4,6 /proc/21886/task/21890/stat : 21890 (java) S 21884 21886 21479 0 -1 4202560 268 0 0 0 195 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212768839848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21891] ppid=21884 vsize=9624976 CPUtime=1.86 cores=0,2,4,6 /proc/21886/task/21891/stat : 21891 (java) S 21884 21886 21479 0 -1 4202560 262 0 0 0 184 2 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212767787560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21892] ppid=21884 vsize=9624976 CPUtime=1.93 cores=0,2,4,6 /proc/21886/task/21892/stat : 21892 (java) S 21884 21886 21479 0 -1 4202560 277 0 0 0 190 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212766734760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21893] ppid=21884 vsize=9624976 CPUtime=1.96 cores=0,2,4,6 /proc/21886/task/21893/stat : 21893 (java) S 21884 21886 21479 0 -1 4202560 268 0 0 0 193 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212765682472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21894] ppid=21884 vsize=9624976 CPUtime=1.76 cores=0,2,4,6 /proc/21886/task/21894/stat : 21894 (java) S 21884 21886 21479 0 -1 4202560 168 0 0 0 174 2 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212646701736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21895] ppid=21884 vsize=9624976 CPUtime=1.86 cores=0,2,4,6 /proc/21886/task/21895/stat : 21895 (java) S 21884 21886 21479 0 -1 4202560 112 0 0 0 184 2 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212645649448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21896] ppid=21884 vsize=9624976 CPUtime=1.89 cores=0,2,4,6 /proc/21886/task/21896/stat : 21896 (java) S 21884 21886 21479 0 -1 4202560 139 0 0 0 186 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212644596648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21897] ppid=21884 vsize=9624976 CPUtime=18.79 cores=0,2,4,6 /proc/21886/task/21897/stat : 21897 (java) S 21884 21886 21479 0 -1 4202560 165 0 0 0 1875 4 0 0 20 0 19 0 253674605 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212632398056 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21898] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21898/stat : 21898 (java) S 21884 21886 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212631344120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21899] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21899/stat : 21899 (java) S 21884 21886 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212025943304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21900] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21900/stat : 21900 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212024891792 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21901] ppid=21884 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/21886/task/21901/stat : 21901 (java) S 21884 21886 21479 0 -1 4202560 6098 0 0 0 44 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212023839416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21902] ppid=21884 vsize=9624976 CPUtime=0.84 cores=0,2,4,6 /proc/21886/task/21902/stat : 21902 (java) S 21884 21886 21479 0 -1 4202560 13414 0 0 0 81 3 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212022786616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21903] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21903/stat : 21903 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212021734520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21904] ppid=21884 vsize=9624976 CPUtime=0.49 cores=0,2,4,6 /proc/21886/task/21904/stat : 21904 (java) S 21884 21886 21479 0 -1 4202560 103 0 0 0 28 21 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212020681928 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21905] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21905/stat : 21905 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674625 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212019626920 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1793.93 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.4 s] /proc/loadavg: 2.04 2.04 2.00 3/213 22151 /proc/meminfo: memFree=28783040/32873648 swapFree=6844/6844 [pid=21886] ppid=21884 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6 /proc/21886/stat : 21886 (java) S 21884 21886 21479 0 -1 4202496 25800 0 1 0 179963 44 0 0 20 0 19 0 253674602 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140734500101392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21886/statm: 2406244 45794 2274 9 0 2396937 0 [pid=21886/tid=21888] ppid=21884 vsize=9624976 CPUtime=1764.73 cores=0,2,4,6 /proc/21886/task/21888/stat : 21888 (java) R 21884 21886 21479 0 -1 4202560 3069 0 1 0 176442 31 0 0 20 0 19 0 253674603 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212808401184 140212647158381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21889] ppid=21884 vsize=9624976 CPUtime=1.95 cores=0,2,4,6 /proc/21886/task/21889/stat : 21889 (java) S 21884 21886 21479 0 -1 4202560 276 0 0 0 192 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212769892648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21890] ppid=21884 vsize=9624976 CPUtime=1.99 cores=0,2,4,6 /proc/21886/task/21890/stat : 21890 (java) S 21884 21886 21479 0 -1 4202560 268 0 0 0 196 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212768839848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21891] ppid=21884 vsize=9624976 CPUtime=1.86 cores=0,2,4,6 /proc/21886/task/21891/stat : 21891 (java) S 21884 21886 21479 0 -1 4202560 262 0 0 0 184 2 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212767787560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21886/tid=21892] ppid=21884 vsize=9624976 CPUtime=1.93 cores=0,2,4,6 /proc/21886/task/21892/stat : 21892 (java) S 21884 21886 21479 0 -1 4202560 277 0 0 0 190 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212766734760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21893] ppid=21884 vsize=9624976 CPUtime=1.97 cores=0,2,4,6 /proc/21886/task/21893/stat : 21893 (java) S 21884 21886 21479 0 -1 4202560 268 0 0 0 194 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212765682472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21886/tid=21894] ppid=21884 vsize=9624976 CPUtime=1.76 cores=0,2,4,6 /proc/21886/task/21894/stat : 21894 (java) S 21884 21886 21479 0 -1 4202560 168 0 0 0 174 2 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212646701736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21895] ppid=21884 vsize=9624976 CPUtime=1.87 cores=0,2,4,6 /proc/21886/task/21895/stat : 21895 (java) S 21884 21886 21479 0 -1 4202560 112 0 0 0 185 2 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212645649448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21896] ppid=21884 vsize=9624976 CPUtime=1.9 cores=0,2,4,6 /proc/21886/task/21896/stat : 21896 (java) S 21884 21886 21479 0 -1 4202560 139 0 0 0 187 3 0 0 20 0 19 0 253674604 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212644596648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21897] ppid=21884 vsize=9624976 CPUtime=18.84 cores=0,2,4,6 /proc/21886/task/21897/stat : 21897 (java) S 21884 21886 21479 0 -1 4202560 165 0 0 0 1880 4 0 0 20 0 19 0 253674605 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212632398056 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21898] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21898/stat : 21898 (java) S 21884 21886 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212631344120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21899] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21899/stat : 21899 (java) S 21884 21886 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253674606 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212025943304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21900] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21900/stat : 21900 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212024891792 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21901] ppid=21884 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/21886/task/21901/stat : 21901 (java) S 21884 21886 21479 0 -1 4202560 6098 0 0 0 44 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212023839416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21902] ppid=21884 vsize=9624976 CPUtime=0.84 cores=0,2,4,6 /proc/21886/task/21902/stat : 21902 (java) S 21884 21886 21479 0 -1 4202560 13414 0 0 0 81 3 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212022786616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21903] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21903/stat : 21903 (java) S 21884 21886 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212021734520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21886/tid=21904] ppid=21884 vsize=9624976 CPUtime=0.49 cores=0,2,4,6 /proc/21886/task/21904/stat : 21904 (java) S 21884 21886 21479 0 -1 4202560 103 0 0 0 28 21 0 0 20 0 19 0 253674608 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212020681928 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21886/tid=21905] ppid=21884 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/21886/task/21905/stat : 21905 (java) S 21884 21886 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253674625 9855975424 45794 33554432000 1073741824 1073778376 140734500110256 140212019626920 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9624976 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): 1788.45 CPU time (s): 1800.91 CPU user time (s): 1799.97 CPU system time (s): 0.941856 CPU usage (%): 100.697 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.941856 maximum resident set size= 191312 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25839 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 54571 involuntary context switches= 54320 runsolver used 5.75113 second user time and 14.8827 second system time The end
Begin job on node115 at 2012-05-24 18:04:38 IDJOB=3687683 IDBENCH=2020 IDSOLVER=2269 FILE ID=node115/3687683-1337875478 RUNJOBID= node115-1337871882-21495 PBS_JOBID= 14620089 Free space on /tmp= 71632 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687683-1337875478/watcher-3687683-1337875478 -o /tmp/evaluation-result-3687683-1337875478/solver-3687683-1337875478 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687683-1337875478.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8aa1aebf70d33d96463ba96014c98682 RANDOM SEED=1226794198 node115.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.462 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.92 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.462 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.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 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.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 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.91 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.462 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.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28273504 kB Buffers: 195280 kB Cached: 2836772 kB SwapCached: 0 kB Active: 1688916 kB Inactive: 2136404 kB Active(anon): 795460 kB Inactive(anon): 0 kB Active(file): 893456 kB Inactive(file): 2136404 kB Unevictable: 6844 kB Mlocked: 6844 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 460 kB Writeback: 0 kB AnonPages: 811592 kB Mapped: 22572 kB Shmem: 200 kB Slab: 624096 kB SReclaimable: 68524 kB SUnreclaim: 555572 kB KernelStack: 1608 kB PageTables: 5948 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1103192 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 780288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71648 MiB End job on node115 at 2012-05-24 18:34:29