Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | -28 | 1800.74 | 999.347 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_5.opb |
MD5SUM | cdccc05ac387e7ee9cb8ab81f53ca6f8 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -31 |
Best CPU time to get the best result obtained on this benchmark | 1797.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 49 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6226 |
Sum of products size (including duplicates) | 12452 |
Number of different products | 3113 |
Sum of products size | 6226 |
0.05/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.09 c See www.sat4j.org for details. 0.09/0.10 c version 2.3.1.v20110525 0.09/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.10 c java.vm.version 19.1-b02 0.09/0.10 c java.vm.vendor Sun Microsystems Inc. 0.09/0.10 c sun.arch.data.model 64 0.09/0.10 c java.version 1.6.0_24 0.09/0.10 c os.name Linux 0.09/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.09/0.10 c os.arch amd64 0.09/0.10 c Free memory 9996466904 0.09/0.10 c Max memory 10048897024 0.09/0.10 c Total memory 10048897024 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3737229-1338720374.opb 0.09/0.12 c reading problem ... 0.68/0.45 c ... done. Wall clock time 0.329s. 0.68/0.45 c #vars 3313 0.68/0.45 c #constraints 9539 0.68/0.45 c constraints type 0.68/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3113 0.68/0.45 c org.sat4j.minisat.constraints.cnf.UnitClauses => 200 0.68/0.45 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3113 0.68/0.45 c constraints type 1.03/0.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3113 1.03/0.52 c org.sat4j.pb.constraints.pb.UnitClausesPB => 200 1.03/0.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3113 1.03/0.52 c And the winner is Resolution 1.40/0.96 c SATISFIABLE 1.40/0.96 c OPTIMIZING... 1.40/0.96 c Got one! Elapsed wall clock time (in seconds):0.835 1.40/0.96 o -20 1.55/1.06 c And the winner is Resolution 2.07/1.46 c Got one! Elapsed wall clock time (in seconds):1.34 2.07/1.46 o -21 2.07/1.47 c And the winner is Resolution 2.08/1.97 c Got one! Elapsed wall clock time (in seconds):1.843 2.08/1.97 o -23 2.08/1.98 c And the winner is Resolution 2.14/2.47 c Got one! Elapsed wall clock time (in seconds):2.345 2.14/2.47 o -24 2.14/2.49 c And the winner is Resolution 2.28/2.97 c Got one! Elapsed wall clock time (in seconds):2.847 2.28/2.97 o -26 3.34/3.37 c cleaning 2669 clauses out of 5338 with flag 5001/5338 4.41/3.86 c cleaning 4334 clauses out of 8669 with flag 11001/11338 5.67/4.42 c cleaning 5667 clauses out of 11334 with flag 18000/18337 7.05/5.10 c cleaning 6834 clauses out of 13669 with flag 26002/26339 8.69/5.96 c cleaning 7918 clauses out of 15836 with flag 35003/35340 9.05/6.17 c And the winner is Resolution 9.26/6.55 c Got one! Elapsed wall clock time (in seconds):6.425 9.26/6.55 o -27 9.95/6.91 c cleaning 6869 clauses out of 13738 with flag 4000/41160 10.93/7.48 c cleaning 6433 clauses out of 12869 with flag 10000/47160 12.27/8.11 c cleaning 6716 clauses out of 13436 with flag 17000/54160 13.71/8.89 c cleaning 7360 clauses out of 14720 with flag 25000/62160 15.43/9.76 c cleaning 8178 clauses out of 16360 with flag 34000/71160 17.35/10.76 c cleaning 9088 clauses out of 18182 with flag 44000/81160 19.28/11.73 c cleaning 9541 clauses out of 19094 with flag 54000/91160 21.39/12.89 c cleaning 9773 clauses out of 19553 with flag 64000/101160 23.72/14.02 c cleaning 9886 clauses out of 19780 with flag 74000/111160 24.25/14.33 c And the winner is Resolution 24.41/14.62 c Got one! Elapsed wall clock time (in seconds):14.5 24.41/14.62 o -28 24.95/14.93 c cleaning 7831 clauses out of 15666 with flag 3001/116932 26.06/15.51 c cleaning 6913 clauses out of 13835 with flag 9001/122932 27.35/16.24 c cleaning 6958 clauses out of 13921 with flag 16000/129931 28.87/17.02 c cleaning 7479 clauses out of 14963 with flag 24000/137931 30.58/17.95 c cleaning 8240 clauses out of 16484 with flag 33000/146931 32.49/18.91 c cleaning 9118 clauses out of 18245 with flag 43001/156932 34.38/19.96 c cleaning 9564 clauses out of 19127 with flag 53001/166932 36.29/20.97 c cleaning 9774 clauses out of 19562 with flag 63000/176931 38.41/22.01 c cleaning 9890 clauses out of 19788 with flag 73000/186931 40.31/23.01 c cleaning 9945 clauses out of 19898 with flag 83000/196931 42.58/24.24 c cleaning 9977 clauses out of 19954 with flag 93001/206932 44.69/25.34 c cleaning 9984 clauses out of 19976 with flag 103000/216931 46.98/26.50 c cleaning 9990 clauses out of 19992 with flag 113000/226931 48.89/27.53 c cleaning 9993 clauses out of 20003 with flag 123001/236932 50.95/28.63 c cleaning 10004 clauses out of 20010 with flag 133001/246932 52.84/29.65 c cleaning 9998 clauses out of 20005 with flag 143000/256931 54.73/30.70 c cleaning 9999 clauses out of 20008 with flag 153001/266932 56.84/31.70 c cleaning 9994 clauses out of 20008 with flag 163000/276931 58.88/32.84 c cleaning 9997 clauses out of 20014 with flag 173000/286931 60.97/33.94 c cleaning 9997 clauses out of 20017 with flag 183000/296931 63.06/35.08 c cleaning 10010 clauses out of 20020 with flag 193000/306931 65.56/36.33 c cleaning 9995 clauses out of 20010 with flag 203000/316931 67.78/37.50 c cleaning 10000 clauses out of 20016 with flag 213001/326932 69.87/38.63 c cleaning 10004 clauses out of 20015 with flag 223000/336931 72.15/39.85 c cleaning 10002 clauses out of 20011 with flag 233000/346931 74.43/41.02 c cleaning 9994 clauses out of 20009 with flag 243000/356931 76.46/42.17 c cleaning 9997 clauses out of 20016 with flag 253001/366932 78.74/43.34 c cleaning 10000 clauses out of 20019 with flag 263001/376932 81.02/44.52 c cleaning 10009 clauses out of 20018 with flag 273000/386931 83.09/45.67 c cleaning 9989 clauses out of 20009 with flag 283000/396931 85.10/46.74 c cleaning 10005 clauses out of 20020 with flag 293000/406931 87.18/47.86 c cleaning 10005 clauses out of 20015 with flag 303000/416931 89.66/49.16 c cleaning 10004 clauses out of 20010 with flag 313000/426931 91.95/50.33 c cleaning 9996 clauses out of 20006 with flag 323000/436931 93.96/51.49 c cleaning 9994 clauses out of 20010 with flag 333000/446931 96.23/52.61 c cleaning 10005 clauses out of 20016 with flag 343000/456931 98.29/53.78 c cleaning 10004 clauses out of 20011 with flag 353000/466931 100.58/54.95 c cleaning 10004 clauses out of 20008 with flag 363001/476932 102.79/56.16 c cleaning 9994 clauses out of 20003 with flag 373000/486931 104.85/57.27 c cleaning 9997 clauses out of 20010 with flag 383001/496932 107.09/58.40 c cleaning 9999 clauses out of 20012 with flag 393000/506931 109.15/59.54 c cleaning 10001 clauses out of 20016 with flag 403003/516934 111.16/60.65 c cleaning 9999 clauses out of 20012 with flag 413000/526931 113.21/61.77 c cleaning 10004 clauses out of 20013 with flag 423000/536931 115.27/62.87 c cleaning 9989 clauses out of 20009 with flag 433000/546931 117.33/63.98 c cleaning 9990 clauses out of 20020 with flag 443000/556931 119.51/65.13 c cleaning 10011 clauses out of 20030 with flag 453000/566931 121.56/66.28 c cleaning 10005 clauses out of 20019 with flag 463000/576931 123.63/67.38 c cleaning 10001 clauses out of 20014 with flag 473000/586931 125.69/68.46 c cleaning 10002 clauses out of 20013 with flag 483000/596931 128.06/69.75 c cleaning 10000 clauses out of 20012 with flag 493001/606932 130.12/70.86 c cleaning 10002 clauses out of 20012 with flag 503001/616932 132.17/71.99 c cleaning 9996 clauses out of 20010 with flag 513001/626932 134.22/73.07 c cleaning 9999 clauses out of 20013 with flag 523000/636931 136.20/74.20 c cleaning 10002 clauses out of 20014 with flag 533000/646931 138.45/75.31 c cleaning 9999 clauses out of 20012 with flag 543000/656931 140.51/76.42 c cleaning 9997 clauses out of 20014 with flag 553001/666932 142.56/77.53 c cleaning 9993 clauses out of 20016 with flag 563000/676931 144.74/78.78 c cleaning 10000 clauses out of 20023 with flag 573000/686931 146.77/79.86 c cleaning 10003 clauses out of 20023 with flag 583000/696931 148.81/80.97 c cleaning 10001 clauses out of 20020 with flag 593000/706931 151.04/82.12 c cleaning 10008 clauses out of 20020 with flag 603001/716932 153.21/83.32 c cleaning 9999 clauses out of 20011 with flag 613000/726931 155.04/84.38 c cleaning 10001 clauses out of 20012 with flag 623000/736931 157.06/85.48 c cleaning 10003 clauses out of 20012 with flag 633001/746932 159.10/86.52 c cleaning 10000 clauses out of 20009 with flag 643001/756932 161.25/87.73 c cleaning 10004 clauses out of 20009 with flag 653001/766932 163.08/88.75 c cleaning 10001 clauses out of 20005 with flag 663001/776932 164.91/89.76 c cleaning 9988 clauses out of 20003 with flag 673000/786931 166.96/90.86 c cleaning 9999 clauses out of 20015 with flag 683000/796931 169.13/92.03 c cleaning 9995 clauses out of 20016 with flag 693000/806931 171.15/93.17 c cleaning 10001 clauses out of 20021 with flag 703000/816931 173.39/94.32 c cleaning 10008 clauses out of 20021 with flag 713001/826932 175.41/95.42 c cleaning 9998 clauses out of 20012 with flag 723000/836931 177.54/96.60 c cleaning 10006 clauses out of 20014 with flag 733000/846931 179.38/97.69 c cleaning 9991 clauses out of 20008 with flag 743000/856931 181.41/98.72 c cleaning 9998 clauses out of 20017 with flag 753000/866931 183.44/99.83 c cleaning 10008 clauses out of 20019 with flag 763000/876931 185.36/100.94 c cleaning 10000 clauses out of 20011 with flag 773000/886931 187.21/101.99 c cleaning 10001 clauses out of 20011 with flag 783000/896931 189.03/102.93 c cleaning 10003 clauses out of 20011 with flag 793001/906932 190.85/103.93 c cleaning 9994 clauses out of 20007 with flag 803000/916931 192.78/105.02 c cleaning 9997 clauses out of 20014 with flag 813001/926932 194.61/106.04 c cleaning 10001 clauses out of 20016 with flag 823000/936931 196.43/107.08 c cleaning 9987 clauses out of 20016 with flag 833001/946932 198.45/108.10 c cleaning 10000 clauses out of 20028 with flag 843000/956931 200.38/109.22 c cleaning 10010 clauses out of 20029 with flag 853001/966932 202.20/110.25 c cleaning 9999 clauses out of 20018 with flag 863000/976931 204.04/111.27 c cleaning 9993 clauses out of 20019 with flag 873000/986931 206.05/112.32 c cleaning 10005 clauses out of 20027 with flag 883001/996932 208.18/113.50 c cleaning 9999 clauses out of 20021 with flag 893000/1006931 210.00/114.53 c cleaning 10009 clauses out of 20022 with flag 903000/1016931 212.02/115.60 c cleaning 10000 clauses out of 20013 with flag 913000/1026931 214.03/116.72 c cleaning 10004 clauses out of 20013 with flag 923000/1036931 216.17/117.95 c cleaning 9997 clauses out of 20010 with flag 933001/1046932 218.20/119.05 c cleaning 9993 clauses out of 20012 with flag 943000/1056931 220.21/120.14 c cleaning 10001 clauses out of 20020 with flag 953001/1066932 222.22/121.23 c cleaning 10004 clauses out of 20018 with flag 963000/1076931 224.17/122.36 c cleaning 10001 clauses out of 20014 with flag 973000/1086931 226.17/123.47 c cleaning 9998 clauses out of 20013 with flag 983000/1096931 228.19/124.54 c cleaning 9998 clauses out of 20015 with flag 993000/1106931 230.22/125.61 c cleaning 10007 clauses out of 20017 with flag 1003000/1116931 232.15/126.73 c cleaning 9991 clauses out of 20010 with flag 1013000/1126931 234.16/127.83 c cleaning 10006 clauses out of 20019 with flag 1023000/1136931 235.97/128.89 c cleaning 10005 clauses out of 20014 with flag 1033001/1146932 237.98/129.94 c cleaning 9991 clauses out of 20008 with flag 1043000/1156931 240.32/131.20 c cleaning 10002 clauses out of 20018 with flag 1053001/1166932 242.14/132.29 c cleaning 10002 clauses out of 20015 with flag 1063000/1176931 244.36/133.41 c cleaning 10007 clauses out of 20013 with flag 1073000/1186931 246.38/134.53 c cleaning 9991 clauses out of 20006 with flag 1083000/1196931 248.69/135.83 c cleaning 10004 clauses out of 20015 with flag 1093000/1206931 250.52/136.89 c cleaning 9999 clauses out of 20012 with flag 1103001/1216932 252.54/137.92 c cleaning 9994 clauses out of 20012 with flag 1113000/1226931 254.35/138.98 c cleaning 10000 clauses out of 20019 with flag 1123001/1236932 256.49/140.15 c cleaning 9998 clauses out of 20019 with flag 1133001/1246932 258.52/141.24 c cleaning 9998 clauses out of 20020 with flag 1143000/1256931 260.54/142.39 c cleaning 10012 clauses out of 20024 with flag 1153002/1266933 262.78/143.51 c cleaning 9992 clauses out of 20010 with flag 1163000/1276931 264.92/144.74 c cleaning 10000 clauses out of 20018 with flag 1173000/1286931 266.94/145.87 c cleaning 9996 clauses out of 20018 with flag 1183000/1296931 268.95/146.99 c cleaning 10000 clauses out of 20022 with flag 1193000/1306931 271.36/148.21 c cleaning 10007 clauses out of 20022 with flag 1203000/1316931 273.28/149.39 c cleaning 10007 clauses out of 20015 with flag 1213000/1326931 275.10/150.36 c cleaning 9996 clauses out of 20008 with flag 1223000/1336931 276.91/151.34 c cleaning 9997 clauses out of 20012 with flag 1233000/1346931 278.72/152.34 c cleaning 10002 clauses out of 20015 with flag 1243000/1356931 280.64/153.50 c cleaning 10003 clauses out of 20013 with flag 1253000/1366931 282.67/154.53 c cleaning 10003 clauses out of 20010 with flag 1263000/1376931 284.48/155.57 c cleaning 9999 clauses out of 20007 with flag 1273000/1386931 286.50/156.65 c cleaning 9994 clauses out of 20008 with flag 1283000/1396931 288.61/157.82 c cleaning 10000 clauses out of 20015 with flag 1293001/1406932 290.42/158.82 c cleaning 9998 clauses out of 20014 with flag 1303000/1416931 292.44/159.92 c cleaning 9996 clauses out of 20016 with flag 1313000/1426931 294.46/161.01 c cleaning 10002 clauses out of 20020 with flag 1323000/1436931 296.40/162.20 c cleaning 9998 clauses out of 20018 with flag 1333000/1446931 298.42/163.27 c cleaning 10006 clauses out of 20021 with flag 1343001/1456932 300.42/164.36 c cleaning 10008 clauses out of 20016 with flag 1353002/1466933 302.43/165.43 c cleaning 9995 clauses out of 20006 with flag 1363000/1476931 304.36/166.53 c cleaning 10000 clauses out of 20011 with flag 1373000/1486931 306.18/167.57 c cleaning 9989 clauses out of 20011 with flag 1383000/1496931 308.19/168.64 c cleaning 10003 clauses out of 20022 with flag 1393000/1506931 310.19/169.70 c cleaning 10001 clauses out of 20019 with flag 1403000/1516931 312.12/170.86 c cleaning 9993 clauses out of 20018 with flag 1413000/1526931 313.93/171.90 c cleaning 10002 clauses out of 20026 with flag 1423001/1536932 315.95/172.96 c cleaning 10005 clauses out of 20023 with flag 1433000/1546931 317.97/174.04 c cleaning 10005 clauses out of 20018 with flag 1443000/1556931 320.09/175.21 c cleaning 9993 clauses out of 20013 with flag 1453000/1566931 322.11/176.31 c cleaning 10008 clauses out of 20020 with flag 1463000/1576931 323.94/177.35 c cleaning 9994 clauses out of 20012 with flag 1473000/1586931 325.96/178.41 c cleaning 10000 clauses out of 20018 with flag 1483000/1596931 328.10/179.64 c cleaning 10002 clauses out of 20018 with flag 1493000/1606931 329.92/180.69 c cleaning 9998 clauses out of 20017 with flag 1503001/1616932 331.93/181.71 c cleaning 9996 clauses out of 20018 with flag 1513000/1626931 333.94/182.81 c cleaning 10008 clauses out of 20022 with flag 1523000/1636931 335.86/183.97 c cleaning 9995 clauses out of 20014 with flag 1533000/1646931 337.88/185.05 c cleaning 10006 clauses out of 20019 with flag 1543000/1656931 339.88/186.10 c cleaning 10001 clauses out of 20013 with flag 1553000/1666931 341.71/187.17 c cleaning 9998 clauses out of 20012 with flag 1563000/1676931 344.03/188.40 c cleaning 10002 clauses out of 20015 with flag 1573001/1686932 346.03/189.50 c cleaning 10005 clauses out of 20013 with flag 1583001/1696932 348.04/190.62 c cleaning 10003 clauses out of 20008 with flag 1593001/1706932 350.05/191.74 c cleaning 9999 clauses out of 20005 with flag 1603001/1716932 352.17/192.91 c cleaning 9995 clauses out of 20006 with flag 1613001/1726932 353.98/193.99 c cleaning 9991 clauses out of 20010 with flag 1623000/1736931 355.81/194.99 c cleaning 9991 clauses out of 20019 with flag 1633000/1746931 357.84/196.05 c cleaning 10003 clauses out of 20028 with flag 1643000/1756931 359.77/197.15 c cleaning 10005 clauses out of 20025 with flag 1653000/1766931 361.59/198.15 c cleaning 10006 clauses out of 20021 with flag 1663001/1776932 363.41/199.12 c cleaning 10001 clauses out of 20014 with flag 1673000/1786931 365.23/200.17 c cleaning 10001 clauses out of 20014 with flag 1683001/1796932 367.15/201.28 c cleaning 10000 clauses out of 20013 with flag 1693001/1806932 369.17/202.33 c cleaning 9998 clauses out of 20012 with flag 1703000/1816931 370.98/203.35 c cleaning 10001 clauses out of 20014 with flag 1713000/1826931 372.98/204.46 c cleaning 9999 clauses out of 20013 with flag 1723000/1836931 375.10/205.63 c cleaning 9996 clauses out of 20015 with flag 1733001/1846932 377.11/206.72 c cleaning 9997 clauses out of 20019 with flag 1743001/1856932 379.13/207.81 c cleaning 10007 clauses out of 20021 with flag 1753000/1866931 380.93/208.81 c cleaning 10006 clauses out of 20015 with flag 1763001/1876932 382.88/209.90 c cleaning 9993 clauses out of 20008 with flag 1773000/1886931 384.70/210.97 c cleaning 9986 clauses out of 20015 with flag 1783000/1896931 386.72/212.06 c cleaning 9999 clauses out of 20029 with flag 1793000/1906931 388.73/213.14 c cleaning 10010 clauses out of 20030 with flag 1803000/1916931 390.67/214.29 c cleaning 9999 clauses out of 20020 with flag 1813000/1926931 392.69/215.33 c cleaning 10011 clauses out of 20021 with flag 1823000/1936931 394.51/216.39 c cleaning 9995 clauses out of 20010 with flag 1833000/1946931 396.32/217.40 c cleaning 10001 clauses out of 20016 with flag 1843001/1956932 398.44/218.55 c cleaning 9996 clauses out of 20014 with flag 1853000/1966931 400.45/219.63 c cleaning 10001 clauses out of 20018 with flag 1863000/1976931 402.26/220.66 c cleaning 10001 clauses out of 20017 with flag 1873000/1986931 404.07/221.64 c cleaning 9992 clauses out of 20016 with flag 1883000/1996931 405.80/222.69 c cleaning 9999 clauses out of 20024 with flag 1893000/2006931 407.81/223.77 c cleaning 10007 clauses out of 20025 with flag 1903000/2016931 409.83/224.87 c cleaning 9997 clauses out of 20018 with flag 1913000/2026931 411.84/225.90 c cleaning 10008 clauses out of 20022 with flag 1923001/2036932 413.78/227.07 c cleaning 10003 clauses out of 20013 with flag 1933000/2046931 415.59/228.02 c cleaning 9995 clauses out of 20010 with flag 1943000/2056931 417.40/229.05 c cleaning 9991 clauses out of 20015 with flag 1953000/2066931 419.42/230.15 c cleaning 10007 clauses out of 20024 with flag 1963000/2076931 421.33/231.29 c cleaning 10002 clauses out of 20017 with flag 1973000/2086931 423.34/232.40 c cleaning 9997 clauses out of 20015 with flag 1983000/2096931 425.37/233.48 c cleaning 10005 clauses out of 20019 with flag 1993001/2106932 427.38/234.55 c cleaning 9991 clauses out of 20014 with flag 2003001/2116932 429.09/235.57 c cleaning 10001 clauses out of 20023 with flag 2013001/2126932 430.91/236.57 c cleaning 9997 clauses out of 20021 with flag 2023000/2136931 432.71/237.60 c cleaning 9999 clauses out of 20024 with flag 2033000/2146931 434.71/238.62 c cleaning 10001 clauses out of 20025 with flag 2043000/2156931 436.64/239.76 c cleaning 10007 clauses out of 20024 with flag 2053000/2166931 438.65/240.85 c cleaning 10005 clauses out of 20018 with flag 2063001/2176932 440.66/241.92 c cleaning 10001 clauses out of 20012 with flag 2073000/2186931 442.45/242.97 c cleaning 10003 clauses out of 20012 with flag 2083001/2196932 444.57/244.15 c cleaning 10000 clauses out of 20009 with flag 2093001/2206932 446.59/245.22 c cleaning 9997 clauses out of 20009 with flag 2103001/2216932 448.38/246.29 c cleaning 10000 clauses out of 20011 with flag 2113000/2226931 450.39/247.31 c cleaning 9997 clauses out of 20012 with flag 2123001/2236932 452.28/248.46 c cleaning 9994 clauses out of 20014 with flag 2133000/2246931 454.10/249.48 c cleaning 10004 clauses out of 20021 with flag 2143001/2256932 455.90/250.49 c cleaning 10005 clauses out of 20016 with flag 2153000/2266931 457.70/251.50 c cleaning 9997 clauses out of 20012 with flag 2163001/2276932 460.00/252.74 c cleaning 9998 clauses out of 20014 with flag 2173000/2286931 462.04/253.87 c cleaning 9996 clauses out of 20016 with flag 2183000/2296931 464.07/254.95 c cleaning 10002 clauses out of 20020 with flag 2193000/2306931 466.07/256.04 c cleaning 10000 clauses out of 20018 with flag 2203000/2316931 468.17/257.26 c cleaning 10002 clauses out of 20018 with flag 2213000/2326931 470.19/258.38 c cleaning 9993 clauses out of 20016 with flag 2223000/2336931 472.41/259.51 c cleaning 10001 clauses out of 20023 with flag 2233000/2346931 474.44/260.69 c cleaning 9997 clauses out of 20022 with flag 2243000/2356931 476.75/261.91 c cleaning 10002 clauses out of 20026 with flag 2253001/2366932 478.76/263.02 c cleaning 10007 clauses out of 20024 with flag 2263001/2376932 480.77/264.19 c cleaning 10000 clauses out of 20016 with flag 2273000/2386931 482.77/265.23 c cleaning 9998 clauses out of 20016 with flag 2283000/2396931 484.88/266.40 c cleaning 9999 clauses out of 20018 with flag 2293000/2406931 486.67/267.44 c cleaning 9999 clauses out of 20019 with flag 2303000/2416931 488.69/268.58 c cleaning 10004 clauses out of 20020 with flag 2313000/2426931 490.69/269.64 c cleaning 10003 clauses out of 20016 with flag 2323000/2436931 492.79/270.88 c cleaning 10001 clauses out of 20014 with flag 2333001/2446932 494.81/272.00 c cleaning 9993 clauses out of 20012 with flag 2343000/2456931 496.83/273.04 c cleaning 9997 clauses out of 20020 with flag 2353001/2466932 498.85/274.18 c cleaning 10003 clauses out of 20022 with flag 2363000/2476931 501.15/275.40 c cleaning 10000 clauses out of 20019 with flag 2373000/2486931 503.17/276.53 c cleaning 10008 clauses out of 20020 with flag 2383001/2496932 504.97/277.57 c cleaning 9993 clauses out of 20011 with flag 2393000/2506931 507.18/278.70 c cleaning 9990 clauses out of 20018 with flag 2403000/2516931 509.28/279.93 c cleaning 10007 clauses out of 20029 with flag 2413001/2526932 511.28/281.08 c cleaning 9993 clauses out of 20022 with flag 2423001/2536932 513.30/282.17 c cleaning 10006 clauses out of 20028 with flag 2433000/2546931 515.51/283.34 c cleaning 10007 clauses out of 20022 with flag 2443000/2556931 517.63/284.53 c cleaning 9998 clauses out of 20015 with flag 2453000/2566931 519.43/285.55 c cleaning 9988 clauses out of 20017 with flag 2463000/2576931 521.43/286.67 c cleaning 10007 clauses out of 20029 with flag 2473000/2586931 523.42/287.76 c cleaning 10002 clauses out of 20023 with flag 2483001/2596932 525.52/288.95 c cleaning 9998 clauses out of 20020 with flag 2493000/2606931 527.52/290.08 c cleaning 10012 clauses out of 20024 with flag 2503002/2616933 529.52/291.14 c cleaning 10003 clauses out of 20011 with flag 2513001/2626932 531.32/292.20 c cleaning 9995 clauses out of 20007 with flag 2523000/2636931 533.45/293.35 c cleaning 9993 clauses out of 20013 with flag 2533001/2646932 535.46/294.44 c cleaning 10005 clauses out of 20019 with flag 2543000/2656931 537.45/295.52 c cleaning 9991 clauses out of 20014 with flag 2553000/2666931 539.46/296.62 c cleaning 10008 clauses out of 20024 with flag 2563001/2676932 541.33/297.79 c cleaning 9998 clauses out of 20016 with flag 2573001/2686932 543.34/298.86 c cleaning 9996 clauses out of 20017 with flag 2583000/2696931 545.34/299.94 c cleaning 10000 clauses out of 20022 with flag 2593001/2706932 547.34/301.05 c cleaning 10005 clauses out of 20021 with flag 2603000/2716931 549.45/302.26 c cleaning 9996 clauses out of 20016 with flag 2613000/2726931 551.44/303.35 c cleaning 9998 clauses out of 20020 with flag 2623000/2736931 553.44/304.42 c cleaning 10008 clauses out of 20023 with flag 2633001/2746932 555.25/305.47 c cleaning 9998 clauses out of 20014 with flag 2643000/2756931 557.34/306.68 c cleaning 10003 clauses out of 20016 with flag 2653000/2766931 559.35/307.72 c cleaning 9998 clauses out of 20014 with flag 2663001/2776932 561.15/308.74 c cleaning 10002 clauses out of 20015 with flag 2673000/2786931 562.95/309.77 c cleaning 9994 clauses out of 20013 with flag 2683000/2796931 565.03/310.92 c cleaning 9997 clauses out of 20019 with flag 2693000/2806931 566.82/311.96 c cleaning 9997 clauses out of 20022 with flag 2703000/2816931 568.82/313.05 c cleaning 10009 clauses out of 20025 with flag 2713000/2826931 570.84/314.20 c cleaning 9997 clauses out of 20016 with flag 2723000/2836931 572.92/315.34 c cleaning 10002 clauses out of 20019 with flag 2733000/2846931 574.72/316.35 c cleaning 10004 clauses out of 20017 with flag 2743000/2856931 576.53/317.38 c cleaning 9997 clauses out of 20013 with flag 2753000/2866931 578.53/318.46 c cleaning 9999 clauses out of 20016 with flag 2763000/2876931 580.63/319.67 c cleaning 10001 clauses out of 20018 with flag 2773001/2886932 582.63/320.72 c cleaning 10003 clauses out of 20018 with flag 2783002/2896933 584.44/321.78 c cleaning 9995 clauses out of 20014 with flag 2793001/2906932 586.43/322.85 c cleaning 10004 clauses out of 20018 with flag 2803000/2916931 588.53/324.02 c cleaning 10005 clauses out of 20015 with flag 2813001/2926932 590.53/325.12 c cleaning 10001 clauses out of 20009 with flag 2823000/2936931 592.54/326.20 c cleaning 9995 clauses out of 20009 with flag 2833001/2946932 594.55/327.30 c cleaning 10001 clauses out of 20013 with flag 2843000/2956931 596.66/328.50 c cleaning 10000 clauses out of 20012 with flag 2853000/2966931 598.65/329.60 c cleaning 10002 clauses out of 20013 with flag 2863001/2976932 600.45/330.69 c cleaning 9993 clauses out of 20010 with flag 2873000/2986931 602.24/331.65 c cleaning 10004 clauses out of 20017 with flag 2883000/2996931 604.13/332.76 c cleaning 10000 clauses out of 20013 with flag 2893000/3006931 605.92/333.73 c cleaning 9996 clauses out of 20014 with flag 2903001/3016932 607.92/334.80 c cleaning 9991 clauses out of 20017 with flag 2913000/3026931 609.72/335.90 c cleaning 10005 clauses out of 20026 with flag 2923000/3036931 611.69/336.98 c cleaning 10005 clauses out of 20021 with flag 2933000/3046931 613.68/338.06 c cleaning 10001 clauses out of 20016 with flag 2943000/3056931 615.68/339.12 c cleaning 10003 clauses out of 20017 with flag 2953002/3066933 617.67/340.22 c cleaning 9999 clauses out of 20012 with flag 2963000/3076931 619.76/341.45 c cleaning 10004 clauses out of 20013 with flag 2973000/3086931 621.78/342.57 c cleaning 9996 clauses out of 20009 with flag 2983000/3096931 623.80/343.62 c cleaning 9997 clauses out of 20013 with flag 2993000/3106931 625.80/344.71 c cleaning 10000 clauses out of 20016 with flag 3003000/3116931 627.69/345.89 c cleaning 9998 clauses out of 20016 with flag 3013000/3126931 629.70/346.99 c cleaning 9992 clauses out of 20018 with flag 3023000/3136931 631.69/348.07 c cleaning 10009 clauses out of 20027 with flag 3033001/3146932 633.69/349.13 c cleaning 10000 clauses out of 20018 with flag 3043001/3156932 635.82/350.32 c cleaning 9997 clauses out of 20017 with flag 3053000/3166931 637.83/351.43 c cleaning 10001 clauses out of 20020 with flag 3063000/3176931 639.85/352.51 c cleaning 9999 clauses out of 20020 with flag 3073001/3186932 641.65/353.56 c cleaning 9989 clauses out of 20020 with flag 3083000/3196931 643.73/354.71 c cleaning 10010 clauses out of 20031 with flag 3093000/3206931 645.52/355.76 c cleaning 9999 clauses out of 20021 with flag 3103000/3216931 647.52/356.82 c cleaning 10003 clauses out of 20023 with flag 3113001/3226932 649.32/357.86 c cleaning 10007 clauses out of 20019 with flag 3123000/3236931 651.45/359.00 c cleaning 9998 clauses out of 20013 with flag 3133001/3246932 653.24/360.06 c cleaning 10001 clauses out of 20014 with flag 3143000/3256931 655.24/361.10 c cleaning 9995 clauses out of 20014 with flag 3153001/3266932 657.03/362.17 c cleaning 9996 clauses out of 20018 with flag 3163000/3276931 659.11/363.32 c cleaning 10004 clauses out of 20022 with flag 3173000/3286931 660.91/364.34 c cleaning 9994 clauses out of 20018 with flag 3183000/3296931 662.90/365.42 c cleaning 10004 clauses out of 20024 with flag 3193000/3306931 664.70/366.44 c cleaning 10006 clauses out of 20021 with flag 3203001/3316932 666.77/367.61 c cleaning 10003 clauses out of 20015 with flag 3213001/3326932 668.57/368.70 c cleaning 9993 clauses out of 20011 with flag 3223000/3336931 670.57/369.72 c cleaning 10007 clauses out of 20019 with flag 3233001/3346932 672.56/370.82 c cleaning 10000 clauses out of 20011 with flag 3243000/3356931 674.44/371.92 c cleaning 9995 clauses out of 20013 with flag 3253002/3366933 676.24/372.99 c cleaning 10002 clauses out of 20017 with flag 3263001/3376932 678.23/374.05 c cleaning 10002 clauses out of 20014 with flag 3273000/3386931 680.23/375.11 c cleaning 9993 clauses out of 20012 with flag 3283000/3396931 682.13/376.28 c cleaning 10000 clauses out of 20020 with flag 3293001/3406932 684.13/377.39 c cleaning 10002 clauses out of 20019 with flag 3303000/3416931 686.13/378.47 c cleaning 9998 clauses out of 20017 with flag 3313000/3426931 687.92/379.46 c cleaning 10001 clauses out of 20019 with flag 3323000/3436931 690.03/380.65 c cleaning 9987 clauses out of 20018 with flag 3333000/3446931 692.03/381.74 c cleaning 10012 clauses out of 20031 with flag 3343000/3456931 693.84/382.80 c cleaning 9994 clauses out of 20020 with flag 3353001/3466932 695.84/383.87 c cleaning 10002 clauses out of 20025 with flag 3363000/3476931 697.92/385.10 c cleaning 10005 clauses out of 20023 with flag 3373000/3486931 699.92/386.10 c cleaning 9999 clauses out of 20018 with flag 3383000/3496931 701.73/387.19 c cleaning 10003 clauses out of 20019 with flag 3393000/3506931 703.73/388.27 c cleaning 9999 clauses out of 20016 with flag 3403000/3516931 705.84/389.43 c cleaning 9997 clauses out of 20017 with flag 3413000/3526931 707.84/390.52 c cleaning 10006 clauses out of 20020 with flag 3423000/3536931 709.85/391.66 c cleaning 10005 clauses out of 20014 with flag 3433000/3546931 711.63/392.68 c cleaning 10000 clauses out of 20010 with flag 3443001/3556932 713.73/393.81 c cleaning 9999 clauses out of 20009 with flag 3453000/3566931 715.32/394.80 c cleaning 10000 clauses out of 20011 with flag 3463001/3576932 717.32/395.83 c cleaning 9991 clauses out of 20011 with flag 3473001/3586932 719.31/396.92 c cleaning 9994 clauses out of 20019 with flag 3483000/3596931 721.19/398.07 c cleaning 9999 clauses out of 20025 with flag 3493000/3606931 723.18/399.10 c cleaning 9988 clauses out of 20026 with flag 3503000/3616931 724.97/400.17 c cleaning 10013 clauses out of 20038 with flag 3513000/3626931 726.96/401.24 c cleaning 10003 clauses out of 20026 with flag 3523001/3636932 728.88/402.36 c cleaning 10006 clauses out of 20022 with flag 3533000/3646931 730.86/403.44 c cleaning 9995 clauses out of 20017 with flag 3543001/3656932 732.86/404.54 c cleaning 10000 clauses out of 20021 with flag 3553000/3666931 734.85/405.61 c cleaning 10005 clauses out of 20021 with flag 3563000/3676931 736.91/406.80 c cleaning 9998 clauses out of 20016 with flag 3573000/3686931 738.70/407.85 c cleaning 10008 clauses out of 20019 with flag 3583001/3696932 740.69/408.91 c cleaning 10004 clauses out of 20010 with flag 3593000/3706931 742.48/409.95 c cleaning 9993 clauses out of 20006 with flag 3603000/3716931 744.40/411.08 c cleaning 10001 clauses out of 20014 with flag 3613001/3726932 746.39/412.13 c cleaning 9997 clauses out of 20012 with flag 3623000/3736931 748.39/413.20 c cleaning 9998 clauses out of 20016 with flag 3633001/3746932 750.17/414.25 c cleaning 9996 clauses out of 20018 with flag 3643001/3756932 752.11/415.36 c cleaning 10002 clauses out of 20021 with flag 3653000/3766931 754.11/416.46 c cleaning 9998 clauses out of 20019 with flag 3663000/3776931 756.10/417.55 c cleaning 10010 clauses out of 20021 with flag 3673000/3786931 758.09/418.66 c cleaning 9991 clauses out of 20012 with flag 3683001/3796932 760.17/419.85 c cleaning 10007 clauses out of 20020 with flag 3693000/3806931 762.17/420.94 c cleaning 10002 clauses out of 20013 with flag 3703000/3816931 764.16/422.07 c cleaning 9995 clauses out of 20011 with flag 3713000/3826931 766.15/423.14 c cleaning 10003 clauses out of 20017 with flag 3723001/3836932 768.27/424.31 c cleaning 10000 clauses out of 20014 with flag 3733001/3846932 770.27/425.45 c cleaning 10000 clauses out of 20014 with flag 3743001/3856932 772.26/426.55 c cleaning 9997 clauses out of 20013 with flag 3753000/3866931 774.44/427.71 c cleaning 10002 clauses out of 20017 with flag 3763001/3876932 776.52/428.93 c cleaning 10003 clauses out of 20014 with flag 3773000/3886931 778.50/430.04 c cleaning 9992 clauses out of 20011 with flag 3783000/3896931 780.27/431.10 c cleaning 9991 clauses out of 20019 with flag 3793000/3906931 782.48/432.22 c cleaning 10006 clauses out of 20029 with flag 3803001/3916932 784.57/433.41 c cleaning 10011 clauses out of 20023 with flag 3813001/3926932 786.35/434.49 c cleaning 9999 clauses out of 20011 with flag 3823000/3936931 788.54/435.63 c cleaning 9990 clauses out of 20012 with flag 3833000/3946931 790.54/436.71 c cleaning 10000 clauses out of 20022 with flag 3843000/3956931 792.60/437.97 c cleaning 9997 clauses out of 20022 with flag 3853000/3966931 794.58/439.03 c cleaning 10000 clauses out of 20025 with flag 3863000/3976931 796.57/440.14 c cleaning 10010 clauses out of 20027 with flag 3873002/3986933 798.39/441.16 c cleaning 10001 clauses out of 20015 with flag 3883000/3996931 800.48/442.31 c cleaning 9996 clauses out of 20014 with flag 3893000/4006931 802.28/443.39 c cleaning 10004 clauses out of 20018 with flag 3903000/4016931 804.28/444.47 c cleaning 9988 clauses out of 20014 with flag 3913000/4026931 806.06/445.47 c cleaning 10007 clauses out of 20027 with flag 3923001/4036932 807.84/446.48 c cleaning 9999 clauses out of 20019 with flag 3933000/4046931 809.83/447.55 c cleaning 10003 clauses out of 20020 with flag 3943000/4056931 811.82/448.61 c cleaning 10003 clauses out of 20018 with flag 3953001/4066932 813.61/449.68 c cleaning 9999 clauses out of 20014 with flag 3963000/4076931 815.57/450.75 c cleaning 10004 clauses out of 20015 with flag 3973000/4086931 817.57/451.85 c cleaning 9994 clauses out of 20013 with flag 3983002/4096933 819.36/452.86 c cleaning 10005 clauses out of 20018 with flag 3993001/4106932 821.14/453.88 c cleaning 9984 clauses out of 20012 with flag 4003000/4116931 823.23/455.00 c cleaning 9997 clauses out of 20028 with flag 4013000/4126931 825.02/456.00 c cleaning 10005 clauses out of 20031 with flag 4023000/4136931 826.81/457.05 c cleaning 10004 clauses out of 20026 with flag 4033000/4146931 828.81/458.14 c cleaning 10003 clauses out of 20024 with flag 4043002/4156933 830.88/459.36 c cleaning 9999 clauses out of 20020 with flag 4053001/4166932 832.69/460.40 c cleaning 9997 clauses out of 20020 with flag 4063000/4176931 834.69/461.43 c cleaning 10002 clauses out of 20023 with flag 4073000/4186931 836.48/462.49 c cleaning 9997 clauses out of 20021 with flag 4083000/4196931 838.78/463.70 c cleaning 9996 clauses out of 20025 with flag 4093001/4206932 840.36/464.69 c cleaning 10002 clauses out of 20028 with flag 4103000/4216931 842.37/465.77 c cleaning 10000 clauses out of 20026 with flag 4113000/4226931 844.38/466.83 c cleaning 9997 clauses out of 20026 with flag 4123000/4236931 846.33/467.90 c cleaning 10008 clauses out of 20030 with flag 4133001/4246932 848.13/468.98 c cleaning 9989 clauses out of 20021 with flag 4143000/4256931 850.12/470.02 c cleaning 10008 clauses out of 20032 with flag 4153000/4266931 851.92/471.04 c cleaning 9993 clauses out of 20024 with flag 4163000/4276931 854.00/472.24 c cleaning 10004 clauses out of 20031 with flag 4173000/4286931 855.79/473.26 c cleaning 10010 clauses out of 20027 with flag 4183000/4296931 857.58/474.28 c cleaning 9996 clauses out of 20017 with flag 4193000/4306931 859.59/475.35 c cleaning 10000 clauses out of 20021 with flag 4203000/4316931 861.50/476.46 c cleaning 9998 clauses out of 20023 with flag 4213002/4326933 863.49/477.54 c cleaning 10003 clauses out of 20024 with flag 4223001/4336932 865.29/478.58 c cleaning 9990 clauses out of 20020 with flag 4233000/4346931 867.28/479.66 c cleaning 10009 clauses out of 20030 with flag 4243000/4356931 869.07/480.68 c cleaning 10004 clauses out of 20023 with flag 4253002/4366933 871.06/481.74 c cleaning 9992 clauses out of 20017 with flag 4263000/4376931 873.04/482.85 c cleaning 9995 clauses out of 20026 with flag 4273001/4386932 874.82/483.90 c cleaning 10007 clauses out of 20030 with flag 4283000/4396931 876.89/485.10 c cleaning 10002 clauses out of 20023 with flag 4293000/4406931 878.88/486.13 c cleaning 9996 clauses out of 20021 with flag 4303000/4416931 880.64/487.20 c cleaning 9996 clauses out of 20025 with flag 4313000/4426931 882.64/488.26 c cleaning 10003 clauses out of 20030 with flag 4323001/4436932 884.62/489.35 c cleaning 10008 clauses out of 20026 with flag 4333000/4446931 886.60/490.46 c cleaning 9984 clauses out of 20018 with flag 4343000/4456931 888.60/491.57 c cleaning 10013 clauses out of 20035 with flag 4353001/4466932 890.58/492.62 c cleaning 10001 clauses out of 20021 with flag 4363000/4476931 892.37/493.66 c cleaning 10000 clauses out of 20021 with flag 4373001/4486932 894.17/494.64 c cleaning 10006 clauses out of 20020 with flag 4383000/4496931 896.17/495.73 c cleaning 9996 clauses out of 20015 with flag 4393001/4506932 897.96/496.74 c cleaning 9994 clauses out of 20018 with flag 4403000/4516931 899.89/497.80 c cleaning 10001 clauses out of 20024 with flag 4413000/4526931 901.68/498.88 c cleaning 10008 clauses out of 20023 with flag 4423000/4536931 903.49/499.86 c cleaning 10001 clauses out of 20015 with flag 4433000/4546931 905.28/500.88 c cleaning 10000 clauses out of 20014 with flag 4443000/4556931 907.22/501.97 c cleaning 9995 clauses out of 20014 with flag 4453000/4566931 909.01/502.98 c cleaning 9991 clauses out of 20019 with flag 4463000/4576931 911.00/504.06 c cleaning 9997 clauses out of 20028 with flag 4473000/4586931 912.99/505.13 c cleaning 10003 clauses out of 20031 with flag 4483000/4596931 914.76/506.19 c cleaning 10011 clauses out of 20028 with flag 4493000/4606931 916.75/507.29 c cleaning 9996 clauses out of 20018 with flag 4503001/4616932 918.74/508.34 c cleaning 10002 clauses out of 20021 with flag 4513000/4626931 920.54/509.37 c cleaning 9988 clauses out of 20020 with flag 4523001/4636932 922.60/510.57 c cleaning 10014 clauses out of 20032 with flag 4533001/4646932 924.59/511.63 c cleaning 9988 clauses out of 20017 with flag 4543000/4656931 926.39/512.65 c cleaning 10010 clauses out of 20030 with flag 4553001/4666932 928.19/513.69 c cleaning 10002 clauses out of 20020 with flag 4563001/4676932 930.16/514.72 c cleaning 9986 clauses out of 20017 with flag 4573000/4686931 931.94/515.79 c cleaning 10001 clauses out of 20031 with flag 4583000/4696931 933.93/516.89 c cleaning 10004 clauses out of 20030 with flag 4593000/4706931 935.93/517.96 c cleaning 10007 clauses out of 20027 with flag 4603001/4716932 937.89/519.10 c cleaning 9998 clauses out of 20019 with flag 4613000/4726931 939.88/520.14 c cleaning 9999 clauses out of 20021 with flag 4623000/4736931 941.66/521.17 c cleaning 9999 clauses out of 20022 with flag 4633000/4746931 943.66/522.24 c cleaning 9994 clauses out of 20024 with flag 4643001/4756932 945.61/523.35 c cleaning 10001 clauses out of 20029 with flag 4653000/4766931 947.39/524.39 c cleaning 10005 clauses out of 20029 with flag 4663001/4776932 949.39/525.42 c cleaning 9999 clauses out of 20023 with flag 4673000/4786931 951.18/526.50 c cleaning 9978 clauses out of 20024 with flag 4683000/4796931 953.15/527.59 c cleaning 10016 clauses out of 20046 with flag 4693000/4806931 955.14/528.65 c cleaning 10002 clauses out of 20030 with flag 4703000/4816931 957.11/529.70 c cleaning 10008 clauses out of 20028 with flag 4713000/4826931 959.11/530.80 c cleaning 9981 clauses out of 20021 with flag 4723001/4836932 961.08/531.91 c cleaning 10013 clauses out of 20039 with flag 4733000/4846931 962.87/532.96 c cleaning 10003 clauses out of 20027 with flag 4743001/4856932 964.66/533.97 c cleaning 10003 clauses out of 20023 with flag 4753000/4866931 966.64/535.00 c cleaning 10002 clauses out of 20021 with flag 4763001/4876932 968.58/536.13 c cleaning 9995 clauses out of 20018 with flag 4773000/4886931 970.37/537.18 c cleaning 9997 clauses out of 20024 with flag 4783001/4896932 972.36/538.24 c cleaning 10000 clauses out of 20026 with flag 4793000/4906931 974.35/539.36 c cleaning 10003 clauses out of 20026 with flag 4803000/4916931 976.11/540.37 c cleaning 10004 clauses out of 20023 with flag 4813000/4926931 977.89/541.40 c cleaning 9991 clauses out of 20019 with flag 4823000/4936931 979.88/542.41 c cleaning 10005 clauses out of 20029 with flag 4833001/4946932 981.68/543.42 c cleaning 9994 clauses out of 20023 with flag 4843000/4956931 983.65/544.56 c cleaning 10000 clauses out of 20029 with flag 4853000/4966931 985.44/545.60 c cleaning 10006 clauses out of 20030 with flag 4863001/4976932 987.43/546.65 c cleaning 9997 clauses out of 20024 with flag 4873001/4986932 989.42/547.75 c cleaning 10000 clauses out of 20026 with flag 4883000/4996931 991.35/548.88 c cleaning 9994 clauses out of 20029 with flag 4893003/5006934 993.14/549.89 c cleaning 10012 clauses out of 20032 with flag 4903000/5016931 995.12/550.96 c cleaning 10003 clauses out of 20021 with flag 4913001/5026932 996.91/551.98 c cleaning 9997 clauses out of 20017 with flag 4923000/5036931 999.07/553.17 c cleaning 9988 clauses out of 20021 with flag 4933001/5046932 1001.06/554.21 c cleaning 10006 clauses out of 20035 with flag 4943003/5056934 1002.85/555.26 c cleaning 10003 clauses out of 20026 with flag 4953000/5066931 1005.04/556.41 c cleaning 9991 clauses out of 20023 with flag 4963000/5076931 1006.81/557.49 c cleaning 10010 clauses out of 20032 with flag 4973000/5086931 1008.99/558.68 c cleaning 10008 clauses out of 20022 with flag 4983000/5096931 1010.78/559.68 c cleaning 9998 clauses out of 20015 with flag 4993001/5106932 1012.77/560.76 c cleaning 10001 clauses out of 20018 with flag 5003002/5116933 1014.92/561.98 c cleaning 9992 clauses out of 20015 with flag 5013000/5126931 1016.92/563.09 c cleaning 10008 clauses out of 20023 with flag 5023000/5136931 1018.90/564.13 c cleaning 9999 clauses out of 20015 with flag 5033000/5146931 1020.68/565.15 c cleaning 9991 clauses out of 20016 with flag 5043000/5156931 1022.66/566.22 c cleaning 10009 clauses out of 20025 with flag 5053000/5166931 1024.66/567.35 c cleaning 10002 clauses out of 20016 with flag 5063000/5176931 1026.45/568.39 c cleaning 9986 clauses out of 20014 with flag 5073000/5186931 1028.44/569.49 c cleaning 10011 clauses out of 20029 with flag 5083001/5196932 1030.41/570.57 c cleaning 9993 clauses out of 20017 with flag 5093000/5206931 1032.40/571.62 c cleaning 10002 clauses out of 20024 with flag 5103000/5216931 1034.18/572.65 c cleaning 9999 clauses out of 20022 with flag 5113000/5226931 1036.18/573.75 c cleaning 10001 clauses out of 20023 with flag 5123000/5236931 1038.17/574.80 c cleaning 9997 clauses out of 20022 with flag 5133000/5246931 1040.16/575.98 c cleaning 10005 clauses out of 20025 with flag 5143000/5256931 1042.14/577.02 c cleaning 10003 clauses out of 20020 with flag 5153000/5266931 1044.13/578.11 c cleaning 9996 clauses out of 20019 with flag 5163002/5276933 1046.12/579.20 c cleaning 10006 clauses out of 20021 with flag 5173000/5286931 1048.11/580.30 c cleaning 10001 clauses out of 20016 with flag 5183001/5296932 1050.29/581.50 c cleaning 9996 clauses out of 20015 with flag 5193001/5306932 1052.08/582.55 c cleaning 9988 clauses out of 20018 with flag 5203000/5316931 1054.19/583.74 c cleaning 10005 clauses out of 20030 with flag 5213000/5326931 1056.18/584.82 c cleaning 10006 clauses out of 20025 with flag 5223000/5336931 1057.97/585.83 c cleaning 10000 clauses out of 20019 with flag 5233000/5346931 1059.76/586.85 c cleaning 9995 clauses out of 20019 with flag 5243000/5356931 1061.83/588.00 c cleaning 10002 clauses out of 20024 with flag 5253000/5366931 1063.63/589.04 c cleaning 9996 clauses out of 20023 with flag 5263001/5376932 1065.81/590.22 c cleaning 10008 clauses out of 20026 with flag 5273000/5386931 1067.81/591.32 c cleaning 9993 clauses out of 20019 with flag 5283001/5396932 1069.69/592.46 c cleaning 10005 clauses out of 20026 with flag 5293001/5406932 1071.88/593.62 c cleaning 10006 clauses out of 20022 with flag 5303002/5416933 1073.66/594.67 c cleaning 9993 clauses out of 20014 with flag 5313000/5426931 1075.85/595.80 c cleaning 10002 clauses out of 20021 with flag 5323000/5436931 1077.64/596.86 c cleaning 9998 clauses out of 20019 with flag 5333000/5446931 1079.43/597.88 c cleaning 10000 clauses out of 20022 with flag 5343001/5456932 1081.62/599.03 c cleaning 10003 clauses out of 20022 with flag 5353001/5466932 1083.61/600.11 c cleaning 9999 clauses out of 20019 with flag 5363001/5476932 1085.40/601.10 c cleaning 10000 clauses out of 20019 with flag 5373000/5486931 1087.39/602.21 c cleaning 9996 clauses out of 20019 with flag 5383000/5496931 1089.38/603.30 c cleaning 10009 clauses out of 20023 with flag 5393000/5506931 1091.37/604.45 c cleaning 10001 clauses out of 20014 with flag 5403000/5516931 1093.43/605.63 c cleaning 9992 clauses out of 20013 with flag 5413000/5526931 1095.23/606.65 c cleaning 10005 clauses out of 20021 with flag 5423000/5536931 1097.21/607.79 c cleaning 10006 clauses out of 20018 with flag 5433002/5546933 1099.19/608.86 c cleaning 9990 clauses out of 20011 with flag 5443001/5556932 1101.16/609.92 c cleaning 10003 clauses out of 20020 with flag 5453000/5566931 1103.15/611.00 c cleaning 9987 clauses out of 20017 with flag 5463000/5576931 1104.95/612.10 c cleaning 9998 clauses out of 20030 with flag 5473000/5586931 1106.93/613.16 c cleaning 10013 clauses out of 20033 with flag 5483001/5596932 1109.07/614.30 c cleaning 10005 clauses out of 20020 with flag 5493001/5606932 1110.86/615.34 c cleaning 9998 clauses out of 20015 with flag 5503001/5616932 1112.86/616.43 c cleaning 9994 clauses out of 20016 with flag 5513000/5626931 1114.85/617.54 c cleaning 10007 clauses out of 20023 with flag 5523001/5636932 1116.79/618.69 c cleaning 9994 clauses out of 20015 with flag 5533000/5646931 1118.78/619.74 c cleaning 10005 clauses out of 20021 with flag 5543000/5656931 1120.78/620.82 c cleaning 10003 clauses out of 20016 with flag 5553000/5666931 1122.56/621.87 c cleaning 9995 clauses out of 20014 with flag 5563001/5676932 1124.71/623.06 c cleaning 10002 clauses out of 20018 with flag 5573000/5686931 1126.50/624.07 c cleaning 9997 clauses out of 20017 with flag 5583001/5696932 1128.48/625.12 c cleaning 9994 clauses out of 20019 with flag 5593000/5706931 1130.27/626.18 c cleaning 10006 clauses out of 20025 with flag 5603000/5716931 1132.23/627.26 c cleaning 9991 clauses out of 20019 with flag 5613000/5726931 1134.22/628.37 c cleaning 9998 clauses out of 20028 with flag 5623000/5736931 1136.21/629.40 c cleaning 9996 clauses out of 20030 with flag 5633000/5746931 1137.99/630.49 c cleaning 10002 clauses out of 20035 with flag 5643001/5756932 1140.08/631.70 c cleaning 10003 clauses out of 20032 with flag 5653000/5766931 1142.07/632.75 c cleaning 10012 clauses out of 20030 with flag 5663001/5776932 1143.86/633.79 c cleaning 9993 clauses out of 20017 with flag 5673000/5786931 1145.86/634.88 c cleaning 10008 clauses out of 20024 with flag 5683000/5796931 1148.02/636.00 c cleaning 10005 clauses out of 20016 with flag 5693000/5806931 1149.62/636.99 c cleaning 9992 clauses out of 20011 with flag 5703000/5816931 1151.61/638.02 c cleaning 10001 clauses out of 20020 with flag 5713001/5826932 1153.41/639.08 c cleaning 10005 clauses out of 20019 with flag 5723001/5836932 1155.56/640.23 c cleaning 9997 clauses out of 20014 with flag 5733001/5846932 1157.35/641.30 c cleaning 10002 clauses out of 20016 with flag 5743000/5856931 1159.33/642.40 c cleaning 10002 clauses out of 20015 with flag 5753001/5866932 1161.52/643.51 c cleaning 9995 clauses out of 20012 with flag 5763000/5876931 1163.59/644.70 c cleaning 10001 clauses out of 20017 with flag 5773000/5886931 1165.40/645.75 c cleaning 10006 clauses out of 20017 with flag 5783001/5896932 1167.40/646.86 c cleaning 10002 clauses out of 20010 with flag 5793000/5906931 1169.20/647.89 c cleaning 9989 clauses out of 20008 with flag 5803000/5916931 1171.29/649.04 c cleaning 10003 clauses out of 20019 with flag 5813000/5926931 1173.09/650.09 c cleaning 9999 clauses out of 20016 with flag 5823000/5936931 1175.07/651.19 c cleaning 10000 clauses out of 20018 with flag 5833001/5946932 1176.84/652.20 c cleaning 9998 clauses out of 20018 with flag 5843001/5956932 1178.95/653.37 c cleaning 10005 clauses out of 20019 with flag 5853000/5966931 1180.94/654.44 c cleaning 9993 clauses out of 20014 with flag 5863000/5976931 1182.72/655.44 c cleaning 10001 clauses out of 20021 with flag 5873000/5986931 1184.69/656.50 c cleaning 9999 clauses out of 20020 with flag 5883000/5996931 1186.43/657.59 c cleaning 10002 clauses out of 20021 with flag 5893000/6006931 1188.42/658.66 c cleaning 10000 clauses out of 20019 with flag 5903000/6016931 1190.41/659.74 c cleaning 9997 clauses out of 20019 with flag 5913000/6026931 1192.20/660.76 c cleaning 10001 clauses out of 20023 with flag 5923001/6036932 1194.27/661.97 c cleaning 10001 clauses out of 20021 with flag 5933000/6046931 1196.07/662.99 c cleaning 9991 clauses out of 20020 with flag 5943000/6056931 1198.05/664.05 c cleaning 10004 clauses out of 20029 with flag 5953000/6066931 1199.84/665.06 c cleaning 10000 clauses out of 20026 with flag 5963001/6076932 1201.77/666.16 c cleaning 10010 clauses out of 20027 with flag 5973002/6086933 1203.75/667.23 c cleaning 9998 clauses out of 20015 with flag 5983000/6096931 1205.75/668.30 c cleaning 10001 clauses out of 20017 with flag 5993000/6106931 1207.56/669.37 c cleaning 10000 clauses out of 20016 with flag 6003000/6116931 1209.51/670.48 c cleaning 9993 clauses out of 20016 with flag 6013000/6126931 1211.51/671.58 c cleaning 10004 clauses out of 20023 with flag 6023000/6136931 1213.50/672.63 c cleaning 10003 clauses out of 20019 with flag 6033000/6146931 1215.30/673.69 c cleaning 9996 clauses out of 20016 with flag 6043000/6156931 1217.58/674.93 c cleaning 9999 clauses out of 20020 with flag 6053000/6166931 1219.59/676.00 c cleaning 10002 clauses out of 20021 with flag 6063000/6176931 1221.37/677.06 c cleaning 9988 clauses out of 20019 with flag 6073000/6186931 1223.36/678.13 c cleaning 10008 clauses out of 20031 with flag 6083000/6196931 1225.31/679.20 c cleaning 10003 clauses out of 20023 with flag 6093000/6206931 1227.29/680.30 c cleaning 9995 clauses out of 20020 with flag 6103000/6216931 1229.08/681.37 c cleaning 9998 clauses out of 20027 with flag 6113002/6226933 1231.08/682.43 c cleaning 10012 clauses out of 20027 with flag 6123000/6236931 1233.03/683.55 c cleaning 10004 clauses out of 20016 with flag 6133001/6246932 1235.01/684.64 c cleaning 10002 clauses out of 20012 with flag 6143001/6256932 1237.00/685.71 c cleaning 10000 clauses out of 20010 with flag 6153001/6266932 1238.78/686.74 c cleaning 9991 clauses out of 20009 with flag 6163000/6276931 1240.72/687.82 c cleaning 10003 clauses out of 20021 with flag 6173003/6286934 1242.72/688.90 c cleaning 9996 clauses out of 20015 with flag 6183000/6296931 1244.51/689.90 c cleaning 9983 clauses out of 20019 with flag 6193000/6306931 1246.29/690.95 c cleaning 10013 clauses out of 20037 with flag 6203001/6316932 1248.24/692.00 c cleaning 9994 clauses out of 20023 with flag 6213000/6326931 1250.05/693.05 c cleaning 10009 clauses out of 20030 with flag 6223001/6336932 1251.84/694.10 c cleaning 9997 clauses out of 20020 with flag 6233000/6346931 1253.82/695.14 c cleaning 10001 clauses out of 20024 with flag 6243001/6356932 1255.88/696.33 c cleaning 10007 clauses out of 20023 with flag 6253001/6366932 1257.69/697.39 c cleaning 9996 clauses out of 20015 with flag 6263000/6376931 1259.68/698.43 c cleaning 10001 clauses out of 20019 with flag 6273000/6386931 1261.46/699.49 c cleaning 10001 clauses out of 20018 with flag 6283000/6396931 1263.59/700.61 c cleaning 9999 clauses out of 20018 with flag 6293001/6406932 1265.36/701.64 c cleaning 10002 clauses out of 20018 with flag 6303000/6416931 1267.35/702.73 c cleaning 10004 clauses out of 20016 with flag 6313000/6426931 1269.13/703.79 c cleaning 9999 clauses out of 20012 with flag 6323000/6436931 1271.08/704.84 c cleaning 10000 clauses out of 20013 with flag 6333000/6446931 1272.87/705.89 c cleaning 10000 clauses out of 20013 with flag 6343000/6456931 1274.84/706.94 c cleaning 9997 clauses out of 20013 with flag 6353000/6466931 1276.62/708.00 c cleaning 9998 clauses out of 20016 with flag 6363000/6476931 1278.76/709.15 c cleaning 10003 clauses out of 20018 with flag 6373000/6486931 1280.75/710.25 c cleaning 9997 clauses out of 20015 with flag 6383000/6496931 1282.73/711.33 c cleaning 9998 clauses out of 20019 with flag 6393001/6506932 1284.72/712.41 c cleaning 10004 clauses out of 20021 with flag 6403001/6516932 1286.49/713.47 c cleaning 9998 clauses out of 20017 with flag 6413001/6526932 1288.49/714.56 c cleaning 10002 clauses out of 20018 with flag 6423000/6536931 1290.47/715.61 c cleaning 10004 clauses out of 20017 with flag 6433001/6546932 1292.26/716.64 c cleaning 9996 clauses out of 20013 with flag 6443001/6556932 1294.33/717.84 c cleaning 9999 clauses out of 20016 with flag 6453000/6566931 1296.31/718.90 c cleaning 10002 clauses out of 20017 with flag 6463000/6576931 1298.09/719.99 c cleaning 9998 clauses out of 20015 with flag 6473000/6586931 1300.08/721.04 c cleaning 10004 clauses out of 20017 with flag 6483000/6596931 1302.05/722.16 c cleaning 9997 clauses out of 20014 with flag 6493001/6606932 1304.03/723.22 c cleaning 10003 clauses out of 20017 with flag 6503001/6616932 1306.01/724.34 c cleaning 10000 clauses out of 20014 with flag 6513001/6626932 1307.99/725.49 c cleaning 9995 clauses out of 20013 with flag 6523000/6636931 1310.16/726.63 c cleaning 9999 clauses out of 20019 with flag 6533001/6646932 1312.14/727.77 c cleaning 9996 clauses out of 20019 with flag 6543000/6656931 1314.13/728.89 c cleaning 10008 clauses out of 20023 with flag 6553000/6666931 1316.32/730.04 c cleaning 9993 clauses out of 20016 with flag 6563001/6676932 1318.27/731.16 c cleaning 10003 clauses out of 20023 with flag 6573001/6686932 1320.26/732.22 c cleaning 9993 clauses out of 20019 with flag 6583000/6696931 1322.25/733.32 c cleaning 9991 clauses out of 20027 with flag 6593001/6706932 1324.24/734.46 c cleaning 10005 clauses out of 20035 with flag 6603000/6716931 1326.19/735.54 c cleaning 10002 clauses out of 20030 with flag 6613000/6726931 1327.97/736.54 c cleaning 10008 clauses out of 20028 with flag 6623000/6736931 1329.76/737.50 c cleaning 9997 clauses out of 20020 with flag 6633000/6746931 1331.55/738.56 c cleaning 10005 clauses out of 20023 with flag 6643000/6756931 1333.52/739.60 c cleaning 9998 clauses out of 20019 with flag 6653001/6766932 1335.29/740.64 c cleaning 10001 clauses out of 20020 with flag 6663000/6776931 1337.27/741.71 c cleaning 9998 clauses out of 20019 with flag 6673000/6786931 1339.26/742.81 c cleaning 9995 clauses out of 20021 with flag 6683000/6796931 1341.38/744.01 c cleaning 10008 clauses out of 20026 with flag 6693000/6806931 1343.37/745.10 c cleaning 10003 clauses out of 20019 with flag 6703001/6816932 1345.35/746.25 c cleaning 10000 clauses out of 20015 with flag 6713000/6826931 1347.35/747.31 c cleaning 9997 clauses out of 20015 with flag 6723000/6836931 1349.30/748.43 c cleaning 9991 clauses out of 20019 with flag 6733001/6846932 1351.08/749.49 c cleaning 10012 clauses out of 20028 with flag 6743001/6856932 1352.86/750.49 c cleaning 10003 clauses out of 20016 with flag 6753001/6866932 1354.85/751.53 c cleaning 9996 clauses out of 20012 with flag 6763000/6876931 1356.80/752.61 c cleaning 9992 clauses out of 20017 with flag 6773001/6886932 1358.58/753.68 c cleaning 10005 clauses out of 20024 with flag 6783000/6896931 1360.57/754.79 c cleaning 9992 clauses out of 20019 with flag 6793000/6906931 1362.55/755.84 c cleaning 9988 clauses out of 20027 with flag 6803000/6916931 1364.34/756.89 c cleaning 10012 clauses out of 20039 with flag 6813000/6926931 1366.51/758.03 c cleaning 10007 clauses out of 20027 with flag 6823000/6936931 1368.50/759.13 c cleaning 9990 clauses out of 20021 with flag 6833001/6946932 1370.49/760.24 c cleaning 10004 clauses out of 20030 with flag 6843000/6956931 1372.47/761.30 c cleaning 9992 clauses out of 20026 with flag 6853000/6966931 1374.26/762.39 c cleaning 10003 clauses out of 20034 with flag 6863000/6976931 1376.25/763.45 c cleaning 10009 clauses out of 20032 with flag 6873001/6986932 1378.05/764.49 c cleaning 9999 clauses out of 20022 with flag 6883000/6996931 1380.02/765.56 c cleaning 10002 clauses out of 20024 with flag 6893001/7006932 1382.00/766.61 c cleaning 9998 clauses out of 20021 with flag 6903000/7016931 1383.77/767.67 c cleaning 10011 clauses out of 20025 with flag 6913002/7026933 1385.76/768.74 c cleaning 9997 clauses out of 20012 with flag 6923000/7036931 1387.71/769.83 c cleaning 10001 clauses out of 20015 with flag 6933000/7046931 1389.49/770.89 c cleaning 10004 clauses out of 20016 with flag 6943002/7056933 1391.48/771.91 c cleaning 9990 clauses out of 20010 with flag 6953000/7066931 1393.46/773.03 c cleaning 9991 clauses out of 20020 with flag 6963000/7076931 1395.21/774.09 c cleaning 10007 clauses out of 20030 with flag 6973001/7086932 1397.20/775.16 c cleaning 10005 clauses out of 20023 with flag 6983001/7096932 1399.18/776.25 c cleaning 10007 clauses out of 20017 with flag 6993000/7106931 1401.16/777.33 c cleaning 9995 clauses out of 20010 with flag 7003000/7116931 1403.11/778.40 c cleaning 9998 clauses out of 20016 with flag 7013001/7126932 1404.91/779.47 c cleaning 9989 clauses out of 20018 with flag 7023001/7136932 1406.90/780.56 c cleaning 10007 clauses out of 20028 with flag 7033000/7146931 1408.89/781.63 c cleaning 10007 clauses out of 20022 with flag 7043001/7156932 1410.85/782.72 c cleaning 9997 clauses out of 20015 with flag 7053001/7166932 1412.44/783.70 c cleaning 10005 clauses out of 20019 with flag 7063002/7176933 1414.62/784.82 c cleaning 9999 clauses out of 20012 with flag 7073000/7186931 1416.60/785.93 c cleaning 9994 clauses out of 20013 with flag 7083000/7196931 1418.36/786.98 c cleaning 10001 clauses out of 20020 with flag 7093001/7206932 1420.34/788.07 c cleaning 10004 clauses out of 20018 with flag 7103000/7216931 1422.33/789.13 c cleaning 9993 clauses out of 20015 with flag 7113001/7226932 1424.32/790.25 c cleaning 9990 clauses out of 20021 with flag 7123000/7236931 1426.42/791.45 c cleaning 10004 clauses out of 20032 with flag 7133001/7246932 1428.41/792.52 c cleaning 10003 clauses out of 20027 with flag 7143000/7256931 1430.20/793.51 c cleaning 10001 clauses out of 20024 with flag 7153000/7266931 1431.99/794.59 c cleaning 10006 clauses out of 20023 with flag 7163000/7276931 1433.97/795.65 c cleaning 9995 clauses out of 20018 with flag 7173001/7286932 1435.95/796.73 c cleaning 10000 clauses out of 20022 with flag 7183000/7296931 1437.73/797.75 c cleaning 10002 clauses out of 20024 with flag 7193002/7306933 1439.72/798.82 c cleaning 9998 clauses out of 20022 with flag 7203002/7316933 1441.71/799.91 c cleaning 9993 clauses out of 20022 with flag 7213000/7326931 1443.69/801.03 c cleaning 10006 clauses out of 20029 with flag 7223000/7336931 1445.68/802.10 c cleaning 9993 clauses out of 20023 with flag 7233000/7346931 1447.47/803.14 c cleaning 10004 clauses out of 20030 with flag 7243000/7356931 1449.36/804.26 c cleaning 10001 clauses out of 20026 with flag 7253000/7366931 1451.35/805.33 c cleaning 10002 clauses out of 20026 with flag 7263001/7376932 1453.33/806.41 c cleaning 9996 clauses out of 20023 with flag 7273000/7386931 1454.93/807.38 c cleaning 10001 clauses out of 20027 with flag 7283000/7396931 1456.99/808.52 c cleaning 10001 clauses out of 20026 with flag 7293000/7406931 1458.97/809.60 c cleaning 10001 clauses out of 20025 with flag 7303000/7416931 1460.96/810.71 c cleaning 9978 clauses out of 20024 with flag 7313000/7426931 1462.74/811.73 c cleaning 10013 clauses out of 20046 with flag 7323000/7436931 1464.51/812.74 c cleaning 10001 clauses out of 20034 with flag 7333001/7446932 1466.50/813.80 c cleaning 10006 clauses out of 20032 with flag 7343000/7456931 1468.29/814.87 c cleaning 9997 clauses out of 20027 with flag 7353001/7466932 1470.26/815.94 c cleaning 9998 clauses out of 20029 with flag 7363000/7476931 1472.22/817.04 c cleaning 10008 clauses out of 20031 with flag 7373000/7486931 1474.21/818.11 c cleaning 10000 clauses out of 20024 with flag 7383001/7496932 1476.00/819.18 c cleaning 9996 clauses out of 20024 with flag 7393001/7506932 1477.99/820.26 c cleaning 10003 clauses out of 20027 with flag 7403000/7516931 1480.26/821.50 c cleaning 9997 clauses out of 20025 with flag 7413001/7526932 1482.24/822.64 c cleaning 10002 clauses out of 20027 with flag 7423000/7536931 1484.23/823.75 c cleaning 10002 clauses out of 20025 with flag 7433000/7546931 1486.19/824.85 c cleaning 9997 clauses out of 20024 with flag 7443001/7556932 1488.38/826.02 c cleaning 10007 clauses out of 20026 with flag 7453000/7566931 1490.36/827.13 c cleaning 9999 clauses out of 20019 with flag 7463000/7576931 1492.13/828.15 c cleaning 9994 clauses out of 20020 with flag 7473000/7586931 1493.91/829.16 c cleaning 10002 clauses out of 20026 with flag 7483000/7596931 1495.87/830.20 c cleaning 9990 clauses out of 20024 with flag 7493000/7606931 1497.66/831.26 c cleaning 10006 clauses out of 20034 with flag 7503000/7616931 1499.64/832.30 c cleaning 9992 clauses out of 20028 with flag 7513000/7626931 1501.43/833.39 c cleaning 10013 clauses out of 20036 with flag 7523000/7636931 1503.41/834.46 c cleaning 10004 clauses out of 20024 with flag 7533001/7646932 1505.40/835.53 c cleaning 10002 clauses out of 20019 with flag 7543000/7656931 1507.38/836.61 c cleaning 9993 clauses out of 20018 with flag 7553001/7666932 1509.36/837.78 c cleaning 9991 clauses out of 20024 with flag 7563000/7676931 1511.32/838.87 c cleaning 10007 clauses out of 20033 with flag 7573000/7686931 1513.32/839.92 c cleaning 10000 clauses out of 20027 with flag 7583001/7696932 1515.31/841.06 c cleaning 10001 clauses out of 20026 with flag 7593000/7706931 1517.29/842.16 c cleaning 9992 clauses out of 20025 with flag 7603000/7716931 1519.57/843.40 c cleaning 10006 clauses out of 20033 with flag 7613000/7726931 1521.56/844.55 c cleaning 10004 clauses out of 20027 with flag 7623000/7736931 1523.55/845.69 c cleaning 9994 clauses out of 20024 with flag 7633001/7746932 1525.74/846.82 c cleaning 10009 clauses out of 20029 with flag 7643000/7756931 1528.00/848.12 c cleaning 9986 clauses out of 20020 with flag 7653000/7766931 1529.98/849.29 c cleaning 10008 clauses out of 20034 with flag 7663000/7776931 1532.15/850.40 c cleaning 10006 clauses out of 20028 with flag 7673002/7786933 1534.14/851.53 c cleaning 9990 clauses out of 20020 with flag 7683000/7796931 1536.11/852.63 c cleaning 9998 clauses out of 20030 with flag 7693000/7806931 1538.30/853.81 c cleaning 10007 clauses out of 20032 with flag 7703000/7816931 1540.29/855.00 c cleaning 10000 clauses out of 20025 with flag 7713000/7826931 1542.47/856.13 c cleaning 9994 clauses out of 20025 with flag 7723000/7836931 1544.63/857.31 c cleaning 10009 clauses out of 20032 with flag 7733001/7846932 1546.82/858.50 c cleaning 10006 clauses out of 20022 with flag 7743000/7856931 1548.80/859.61 c cleaning 9998 clauses out of 20016 with flag 7753000/7866931 1550.78/860.70 c cleaning 9999 clauses out of 20018 with flag 7763000/7876931 1552.72/861.88 c cleaning 10002 clauses out of 20020 with flag 7773001/7886932 1554.91/863.07 c cleaning 10001 clauses out of 20017 with flag 7783000/7896931 1556.89/864.11 c cleaning 9994 clauses out of 20016 with flag 7793000/7906931 1558.88/865.26 c cleaning 10009 clauses out of 20022 with flag 7803000/7916931 1561.02/866.43 c cleaning 9987 clauses out of 20013 with flag 7813000/7926931 1563.19/867.62 c cleaning 10008 clauses out of 20026 with flag 7823000/7936931 1565.17/868.72 c cleaning 10001 clauses out of 20018 with flag 7833000/7946931 1567.36/869.91 c cleaning 10002 clauses out of 20017 with flag 7843000/7956931 1569.44/871.17 c cleaning 9987 clauses out of 20015 with flag 7853000/7966931 1571.43/872.24 c cleaning 10002 clauses out of 20028 with flag 7863000/7976931 1573.41/873.39 c cleaning 9997 clauses out of 20026 with flag 7873000/7986931 1575.60/874.54 c cleaning 10007 clauses out of 20030 with flag 7883001/7996932 1577.56/875.67 c cleaning 9992 clauses out of 20022 with flag 7893000/8006931 1579.74/876.85 c cleaning 9990 clauses out of 20030 with flag 7903000/8016931 1581.72/877.95 c cleaning 10016 clauses out of 20040 with flag 7913000/8026931 1583.91/879.11 c cleaning 10001 clauses out of 20024 with flag 7923000/8036931 1585.85/880.27 c cleaning 9997 clauses out of 20023 with flag 7933000/8046931 1587.84/881.34 c cleaning 9999 clauses out of 20026 with flag 7943000/8056931 1589.83/882.43 c cleaning 10009 clauses out of 20027 with flag 7953000/8066931 1591.81/883.60 c cleaning 9998 clauses out of 20018 with flag 7963000/8076931 1593.96/884.79 c cleaning 10007 clauses out of 20021 with flag 7973001/8086932 1595.96/885.86 c cleaning 9995 clauses out of 20013 with flag 7983000/8096931 1597.94/886.95 c cleaning 10004 clauses out of 20019 with flag 7993001/8106932 1599.94/888.07 c cleaning 9985 clauses out of 20014 with flag 8003000/8116931 1602.08/889.22 c cleaning 10002 clauses out of 20029 with flag 8013000/8126931 1604.07/890.31 c cleaning 10012 clauses out of 20030 with flag 8023003/8136934 1606.05/891.43 c cleaning 10004 clauses out of 20015 with flag 8033000/8146931 1608.04/892.55 c cleaning 9995 clauses out of 20011 with flag 8043000/8156931 1610.17/893.73 c cleaning 10003 clauses out of 20016 with flag 8053000/8166931 1612.36/894.90 c cleaning 9993 clauses out of 20013 with flag 8063000/8176931 1614.36/896.09 c cleaning 10004 clauses out of 20020 with flag 8073000/8186931 1616.54/897.23 c cleaning 9997 clauses out of 20016 with flag 8083000/8196931 1618.48/898.33 c cleaning 9998 clauses out of 20020 with flag 8093001/8206932 1620.26/899.38 c cleaning 10004 clauses out of 20022 with flag 8103001/8216932 1622.26/900.46 c cleaning 9997 clauses out of 20017 with flag 8113000/8226931 1624.24/901.56 c cleaning 10000 clauses out of 20020 with flag 8123000/8236931 1626.21/902.65 c cleaning 10003 clauses out of 20020 with flag 8133000/8246931 1628.19/903.78 c cleaning 10005 clauses out of 20018 with flag 8143001/8256932 1630.37/904.97 c cleaning 9997 clauses out of 20012 with flag 8153000/8266931 1632.36/906.08 c cleaning 9992 clauses out of 20015 with flag 8163000/8276931 1634.50/907.23 c cleaning 10002 clauses out of 20023 with flag 8173000/8286931 1636.48/908.36 c cleaning 10006 clauses out of 20021 with flag 8183000/8296931 1638.47/909.43 c cleaning 9998 clauses out of 20015 with flag 8193000/8306931 1640.65/910.61 c cleaning 9999 clauses out of 20018 with flag 8203001/8316932 1642.75/911.84 c cleaning 10002 clauses out of 20018 with flag 8213000/8326931 1644.74/912.99 c cleaning 10000 clauses out of 20017 with flag 8223001/8336932 1646.93/914.13 c cleaning 9998 clauses out of 20017 with flag 8233001/8346932 1648.92/915.24 c cleaning 9996 clauses out of 20018 with flag 8243000/8356931 1650.99/916.48 c cleaning 10005 clauses out of 20022 with flag 8253000/8366931 1653.18/917.68 c cleaning 9993 clauses out of 20017 with flag 8263000/8376931 1655.17/918.78 c cleaning 9993 clauses out of 20024 with flag 8273000/8386931 1657.33/919.94 c cleaning 10009 clauses out of 20031 with flag 8283000/8396931 1659.47/921.14 c cleaning 9997 clauses out of 20022 with flag 8293000/8406931 1661.65/922.31 c cleaning 10008 clauses out of 20025 with flag 8303000/8416931 1663.65/923.44 c cleaning 10000 clauses out of 20017 with flag 8313000/8426931 1665.83/924.62 c cleaning 10001 clauses out of 20017 with flag 8323000/8436931 1667.96/925.86 c cleaning 10003 clauses out of 20016 with flag 8333000/8446931 1670.16/927.03 c cleaning 9991 clauses out of 20013 with flag 8343000/8456931 1672.14/928.14 c cleaning 10004 clauses out of 20022 with flag 8353000/8466931 1674.12/929.24 c cleaning 10003 clauses out of 20019 with flag 8363001/8476932 1676.28/930.40 c cleaning 10004 clauses out of 20015 with flag 8373000/8486931 1678.28/931.54 c cleaning 10004 clauses out of 20012 with flag 8383001/8496932 1680.47/932.71 c cleaning 9985 clauses out of 20007 with flag 8393000/8506931 1682.66/933.93 c cleaning 10001 clauses out of 20022 with flag 8403000/8516931 1684.81/935.10 c cleaning 10001 clauses out of 20022 with flag 8413001/8526932 1686.99/936.30 c cleaning 9999 clauses out of 20020 with flag 8423000/8536931 1688.98/937.46 c cleaning 10003 clauses out of 20022 with flag 8433001/8546932 1691.17/938.64 c cleaning 10003 clauses out of 20018 with flag 8443000/8556931 1693.29/939.89 c cleaning 10002 clauses out of 20015 with flag 8453000/8566931 1695.66/941.10 c cleaning 10003 clauses out of 20014 with flag 8463001/8576932 1697.85/942.32 c cleaning 9998 clauses out of 20010 with flag 8473000/8586931 1699.83/943.47 c cleaning 10000 clauses out of 20012 with flag 8483000/8596931 1702.08/944.74 c cleaning 9999 clauses out of 20012 with flag 8493000/8606931 1704.06/945.89 c cleaning 9993 clauses out of 20013 with flag 8503000/8616931 1706.45/947.15 c cleaning 10003 clauses out of 20021 with flag 8513001/8626932 1708.44/948.29 c cleaning 10004 clauses out of 20018 with flag 8523001/8636932 1710.75/949.52 c cleaning 10000 clauses out of 20014 with flag 8533001/8646932 1712.94/950.71 c cleaning 10002 clauses out of 20013 with flag 8543000/8656931 1714.93/951.87 c cleaning 9995 clauses out of 20012 with flag 8553001/8666932 1717.11/953.07 c cleaning 10001 clauses out of 20017 with flag 8563001/8676932 1719.35/954.36 c cleaning 9995 clauses out of 20015 with flag 8573000/8686931 1721.33/955.48 c cleaning 9999 clauses out of 20020 with flag 8583000/8696931 1723.32/956.55 c cleaning 10004 clauses out of 20022 with flag 8593001/8706932 1725.30/957.66 c cleaning 10003 clauses out of 20018 with flag 8603001/8716932 1727.39/958.83 c cleaning 9998 clauses out of 20015 with flag 8613001/8726932 1729.37/959.96 c cleaning 10000 clauses out of 20017 with flag 8623001/8736932 1731.36/961.08 c cleaning 10003 clauses out of 20016 with flag 8633000/8746931 1733.54/962.26 c cleaning 9991 clauses out of 20013 with flag 8643000/8756931 1735.63/963.48 c cleaning 10005 clauses out of 20022 with flag 8653000/8766931 1737.82/964.64 c cleaning 10003 clauses out of 20019 with flag 8663002/8776933 1739.80/965.77 c cleaning 9994 clauses out of 20014 with flag 8673000/8786931 1741.79/966.88 c cleaning 10000 clauses out of 20020 with flag 8683000/8796931 1743.93/968.09 c cleaning 9993 clauses out of 20020 with flag 8693000/8806931 1746.10/969.22 c cleaning 10002 clauses out of 20027 with flag 8703000/8816931 1748.29/970.43 c cleaning 10005 clauses out of 20025 with flag 8713000/8826931 1750.27/971.56 c cleaning 10005 clauses out of 20020 with flag 8723000/8836931 1752.40/972.74 c cleaning 9996 clauses out of 20015 with flag 8733000/8846931 1754.38/973.81 c cleaning 10002 clauses out of 20019 with flag 8743000/8856931 1756.17/974.89 c cleaning 9986 clauses out of 20017 with flag 8753000/8866931 1758.15/975.96 c cleaning 10000 clauses out of 20031 with flag 8763000/8876931 1760.28/977.11 c cleaning 10014 clauses out of 20033 with flag 8773002/8886933 1762.06/978.18 c cleaning 9990 clauses out of 20017 with flag 8783000/8896931 1764.04/979.24 c cleaning 10011 clauses out of 20028 with flag 8793001/8906932 1766.03/980.37 c cleaning 10009 clauses out of 20018 with flag 8803002/8916933 1768.33/981.60 c cleaning 9998 clauses out of 20007 with flag 8813000/8926931 1770.32/982.76 c cleaning 10001 clauses out of 20009 with flag 8823000/8936931 1772.30/983.83 c cleaning 9992 clauses out of 20008 with flag 8833000/8946931 1774.29/984.93 c cleaning 9995 clauses out of 20017 with flag 8843001/8956932 1776.55/986.29 c cleaning 10003 clauses out of 20021 with flag 8853000/8966931 1778.54/987.32 c cleaning 10003 clauses out of 20019 with flag 8863001/8976932 1780.33/988.35 c cleaning 10000 clauses out of 20015 with flag 8873000/8986931 1782.31/989.48 c cleaning 9993 clauses out of 20016 with flag 8883001/8996932 1784.39/990.67 c cleaning 10001 clauses out of 20022 with flag 8893000/9006931 1786.36/991.75 c cleaning 9996 clauses out of 20022 with flag 8903001/9016932 1788.34/992.85 c cleaning 9999 clauses out of 20025 with flag 8913000/9026931 1790.12/993.86 c cleaning 9993 clauses out of 20027 with flag 8923001/9036932 1792.11/994.92 c cleaning 10005 clauses out of 20034 with flag 8933001/9046932 1794.30/996.14 c cleaning 10004 clauses out of 20028 with flag 8943000/9056931 1796.29/997.21 c cleaning 10001 clauses out of 20024 with flag 8953000/9066931 1798.08/998.22 c cleaning 10007 clauses out of 20023 with flag 8963000/9076931 1800.01/999.31 c starts : 307 1800.01/999.31 c conflicts : 9086546 1800.01/999.31 c decisions : 9513064 1800.01/999.31 c propagations : 53780426 1800.01/999.31 c inspects : 6840776627 1800.01/999.31 c shortcuts : 0 1800.01/999.31 c learnt literals : 0 1800.01/999.31 c learnt binary clauses : 0 1800.01/999.31 c learnt ternary clauses : 0 1800.01/999.31 c learnt constraints : 9086546 1800.01/999.31 c ignored constraints : 0 1800.01/999.31 c root simplifications : 0 1800.01/999.31 c removed literals (reason simplification) : 122225339 1800.01/999.31 c reason swapping (by a shorter reason) : 0 1800.01/999.31 c Calls to reduceDB : 912 1800.01/999.31 c number of reductions to clauses (during analyze) : 0 1800.01/999.31 c number of learned constraints concerned by reduction : 0 1800.01/999.31 c number of learning phase by resolution : 0 1800.01/999.31 c number of learning phase by cutting planes : 0 1800.01/999.31 c speed (assignments/second) : 54616.84435444395 1800.01/999.31 c non guided choices 0 1800.01/999.32 c learnt constraints type 1800.01/999.32 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19723 1800.01/999.32 c constraints type 1800.01/999.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3113 1800.01/999.32 c org.sat4j.minisat.constraints.cnf.UnitClauses => 200 1800.01/999.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.01/999.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3113 1800.01/999.32 c constraints type 1800.01/999.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3113 1800.01/999.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.01/999.32 c org.sat4j.pb.constraints.pb.UnitClausesPB => 200 1800.01/999.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3113 1800.01/999.32 s SATISFIABLE 1800.01/999.32 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 1800.01/999.32 c objective function=-28 1800.01/999.32 c Total wall clock time (in seconds): 999.2
OK -28
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-3737229-1338720374/watcher-3737229-1338720374 -o /tmp/evaluation-result-3737229-1338720374/solver-3737229-1338720374 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737229-1338720374.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.68 3.79 3.80 2/194 3025 /proc/meminfo: memFree=29532364/32873844 swapFree=7116/7116 [pid=3025] ppid=3023 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/3025/stat : 3025 (java) R 3023 3025 1279 0 -1 4202496 1093 0 0 0 0 0 0 0 20 0 1 0 338164404 23793664 820 33554432000 1073741824 1073778376 140734030055456 140734030044520 140185681262976 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/3025/statm: 5809 838 630 9 0 128 0 [startup+0.07556 s] /proc/loadavg: 3.68 3.79 3.80 2/194 3025 /proc/meminfo: memFree=29532364/32873844 swapFree=7116/7116 [pid=3025] ppid=3023 vsize=11586364 CPUtime=0.05 cores=1,3,5,7 /proc/3025/stat : 3025 (java) S 3023 3025 1279 0 -1 4202496 4919 0 1 0 4 1 0 0 20 0 18 0 338164404 11864436736 12770 33554432000 1073741824 1073778376 140734030055456 140734030046592 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3025/statm: 2896591 12770 1757 9 0 2887285 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11586364 [startup+0.100227 s] /proc/loadavg: 3.68 3.79 3.80 2/194 3025 /proc/meminfo: memFree=29532364/32873844 swapFree=7116/7116 [pid=3025] ppid=3023 vsize=11586392 CPUtime=0.09 cores=1,3,5,7 /proc/3025/stat : 3025 (java) S 3023 3025 1279 0 -1 4202496 5632 0 1 0 7 2 0 0 20 0 18 0 338164404 11864465408 13471 33554432000 1073741824 1073778376 140734030055456 140734030046592 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3025/statm: 2896598 13471 2047 9 0 2887285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11586392 [startup+0.300191 s] /proc/loadavg: 3.68 3.79 3.80 2/194 3025 /proc/meminfo: memFree=29532364/32873844 swapFree=7116/7116 [pid=3025] ppid=3023 vsize=11586392 CPUtime=0.46 cores=1,3,5,7 /proc/3025/stat : 3025 (java) S 3023 3025 1279 0 -1 4202496 6687 0 1 0 44 2 0 0 20 0 18 0 338164404 11864465408 15790 33554432000 1073741824 1073778376 140734030055456 140734030046592 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3025/statm: 2896598 15790 2217 9 0 2887285 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 11586392 [startup+0.700227 s] /proc/loadavg: 3.68 3.79 3.80 2/194 3025 /proc/meminfo: memFree=29532364/32873844 swapFree=7116/7116 [pid=3025] ppid=3023 vsize=11721576 CPUtime=1.4 cores=1,3,5,7 /proc/3025/stat : 3025 (java) S 3023 3025 1279 0 -1 4202496 18204 0 1 0 134 6 0 0 20 0 19 0 338164404 12002893824 25236 33554432000 1073741824 1073778376 140734030055456 140734030046592 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3025/statm: 2930394 25236 2256 9 0 2921081 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 11721576 [startup+1.5007 s] /proc/loadavg: 3.68 3.79 3.80 7/219 3053 /proc/meminfo: memFree=29433152/32873844 swapFree=7116/7116 [pid=3025] ppid=3023 vsize=11852648 CPUtime=2.08 cores=1,3,5,7 /proc/3025/stat : 3025 (java) S 3023 3025 1279 0 -1 4202496 21830 0 1 0 199 9 0 0 20 0 19 0 338164404 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140734030046592 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3025/statm: 2963162 29046 2260 9 0 2953849 0 [pid=3025/tid=3027] ppid=3023 vsize=11852648 CPUtime=0.44 cores=1,3,5,7 /proc/3025/task/3027/stat : 3027 (java) S 3023 3025 1279 0 -1 4202560 3920 0 1 0 42 2 0 0 20 0 19 0 338164405 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185677382808 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3028] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3028/stat : 3028 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164407 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185514068904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3029] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3029/stat : 3029 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164407 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185513016360 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3030] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3030/stat : 3030 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164407 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185511963304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3031] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3031/stat : 3031 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164407 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185510910760 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3032] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3032/stat : 3032 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164407 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185509857704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3033] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3033/stat : 3033 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164407 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185508805160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3034] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3034/stat : 3034 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164407 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185507752104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3035] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3035/stat : 3035 (java) S 3023 3025 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338164407 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185506699560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3036] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3036/stat : 3036 (java) S 3023 3025 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338164409 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185494502248 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3037] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3037/stat : 3037 (java) S 3023 3025 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338164409 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185493448568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3038] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3038/stat : 3038 (java) S 3023 3025 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338164409 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185492395400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3039] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3039/stat : 3039 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164412 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185491344144 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3040] ppid=3023 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/3025/task/3040/stat : 3040 (java) S 3023 3025 1279 0 -1 4202560 8504 0 0 0 71 1 0 0 20 0 19 0 338164412 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185490291000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3041] ppid=3023 vsize=11852648 CPUtime=0.58 cores=1,3,5,7 /proc/3025/task/3041/stat : 3041 (java) S 3023 3025 1279 0 -1 4202560 8080 0 0 0 56 2 0 0 20 0 19 0 338164412 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185489238456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3042] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3042/stat : 3042 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164412 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185488185592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3043] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3043/stat : 3043 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164412 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185487133256 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3049] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3049/stat : 3049 (java) S 3023 3025 1279 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338164453 12137111552 29046 33554432000 1073741824 1073778376 140734030055456 140185482958120 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.08 Current children cumulated vsize (KiB) 11852648 [startup+3.10071 s] /proc/loadavg: 3.68 3.79 3.80 2/216 3059 /proc/meminfo: memFree=29417328/32873844 swapFree=7116/7116 [pid=3025] ppid=3023 vsize=11852648 CPUtime=2.74 cores=1,3,5,7 /proc/3025/stat : 3025 (java) S 3023 3025 1279 0 -1 4202496 22390 0 1 0 262 12 0 0 20 0 22 0 338164404 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140734030046592 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3025/statm: 2963162 37957 2261 9 0 2953849 0 [pid=3025/tid=3027] ppid=3023 vsize=11852648 CPUtime=0.45 cores=1,3,5,7 /proc/3025/task/3027/stat : 3027 (java) S 3023 3025 1279 0 -1 4202560 3921 0 1 0 42 3 0 0 20 0 22 0 338164405 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185677382824 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3028] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3028/stat : 3028 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164407 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185514068904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3029] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3029/stat : 3029 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164407 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185513016360 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3030] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3030/stat : 3030 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164407 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185511963304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3031] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3031/stat : 3031 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164407 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185510910760 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3032] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3032/stat : 3032 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164407 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185509857704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3033] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3033/stat : 3033 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164407 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185508805160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3034] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3034/stat : 3034 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164407 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185507752104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3035] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3035/stat : 3035 (java) S 3023 3025 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338164407 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185506699560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3036] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3036/stat : 3036 (java) S 3023 3025 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338164409 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185494502248 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3037] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3037/stat : 3037 (java) S 3023 3025 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338164409 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185493448568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3038] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3038/stat : 3038 (java) S 3023 3025 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338164409 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185492395400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3039] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3039/stat : 3039 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164412 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185491344144 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3040] ppid=3023 vsize=11852648 CPUtime=0.88 cores=1,3,5,7 /proc/3025/task/3040/stat : 3040 (java) S 3023 3025 1279 0 -1 4202560 8505 0 0 0 87 1 0 0 20 0 22 0 338164412 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185490291000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3041] ppid=3023 vsize=11852648 CPUtime=0.76 cores=1,3,5,7 /proc/3025/task/3041/stat : 3041 (java) R 3023 3025 1279 0 -1 4202560 8599 0 0 0 74 2 0 0 20 0 22 0 338164412 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185489215704 140185683339419 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3042] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3042/stat : 3042 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164412 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185488185592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3043] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3043/stat : 3043 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164412 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185487133256 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3049] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3049/stat : 3049 (java) S 3023 3025 1279 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338164453 12137111552 37957 33554432000 1073741824 1073778376 140734030055456 140185482958120 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.74 Current children cumulated vsize (KiB) 11852648 [startup+6.30085 s] /proc/loadavg: 3.47 3.75 3.78 5/219 3065 /proc/meminfo: memFree=29075428/32873844 swapFree=7116/7116 [pid=3025] ppid=3023 vsize=11852648 CPUtime=9.26 cores=1,3,5,7 /proc/3025/stat : 3025 (java) S 3023 3025 1279 0 -1 4202496 22721 0 1 0 901 25 0 0 20 0 19 0 338164404 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140734030046592 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3025/statm: 2963162 125580 2292 9 0 2953849 0 [pid=3025/tid=3027] ppid=3023 vsize=11852648 CPUtime=0.46 cores=1,3,5,7 /proc/3025/task/3027/stat : 3027 (java) S 3023 3025 1279 0 -1 4202560 3921 0 1 0 43 3 0 0 20 0 19 0 338164405 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185677382824 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3028] ppid=3023 vsize=11852648 CPUtime=0.02 cores=1,3,5,7 /proc/3025/task/3028/stat : 3028 (java) S 3023 3025 1279 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 338164407 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185514068904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3029] ppid=3023 vsize=11852648 CPUtime=0.02 cores=1,3,5,7 /proc/3025/task/3029/stat : 3029 (java) S 3023 3025 1279 0 -1 4202560 3 0 0 0 2 0 0 0 20 0 19 0 338164407 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185513016360 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3030] ppid=3023 vsize=11852648 CPUtime=0.01 cores=1,3,5,7 /proc/3025/task/3030/stat : 3030 (java) S 3023 3025 1279 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 338164407 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185511963304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3031] ppid=3023 vsize=11852648 CPUtime=0.02 cores=1,3,5,7 /proc/3025/task/3031/stat : 3031 (java) S 3023 3025 1279 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 338164407 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185510910760 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3032] ppid=3023 vsize=11852648 CPUtime=0.02 cores=1,3,5,7 /proc/3025/task/3032/stat : 3032 (java) S 3023 3025 1279 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 338164407 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185509857704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3033] ppid=3023 vsize=11852648 CPUtime=0.01 cores=1,3,5,7 /proc/3025/task/3033/stat : 3033 (java) S 3023 3025 1279 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 338164407 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185508805160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3034] ppid=3023 vsize=11852648 CPUtime=0.03 cores=1,3,5,7 /proc/3025/task/3034/stat : 3034 (java) S 3023 3025 1279 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 338164407 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185507752104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3035] ppid=3023 vsize=11852648 CPUtime=0.02 cores=1,3,5,7 /proc/3025/task/3035/stat : 3035 (java) S 3023 3025 1279 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 338164407 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185506699560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3036] ppid=3023 vsize=11852648 CPUtime=0.31 cores=1,3,5,7 /proc/3025/task/3036/stat : 3036 (java) S 3023 3025 1279 0 -1 4202560 45 0 0 0 29 2 0 0 20 0 19 0 338164409 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185494502248 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3037] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3037/stat : 3037 (java) S 3023 3025 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338164409 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185493448568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3038] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3038/stat : 3038 (java) S 3023 3025 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338164409 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185492395400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3039] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3039/stat : 3039 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164412 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185491344144 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3040] ppid=3023 vsize=11852648 CPUtime=1.15 cores=1,3,5,7 /proc/3025/task/3040/stat : 3040 (java) S 3023 3025 1279 0 -1 4202560 8512 0 0 0 113 2 0 0 20 0 19 0 338164412 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185490291000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3041] ppid=3023 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/3025/task/3041/stat : 3041 (java) S 3023 3025 1279 0 -1 4202560 8654 0 0 0 100 2 0 0 20 0 19 0 338164412 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185489238456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3042] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3042/stat : 3042 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164412 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185488185592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3043] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3043/stat : 3043 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164412 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185487133256 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3049] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3049/stat : 3049 (java) S 3023 3025 1279 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338164453 12137111552 125580 33554432000 1073741824 1073778376 140734030055456 140185482958120 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 9.26 Current children cumulated vsize (KiB) 11852648 [startup+12.7009 s] ################ # More data... # ################ [pid=3025/tid=3069] ppid=3023 vsize=11852648 CPUtime=682.75 cores=1,3,5,7 /proc/3025/task/3069/stat : 3069 (java) R 3023 3025 1279 0 -1 4202560 87 0 0 0 68262 13 0 0 20 0 22 0 338165867 12137111552 210853 33554432000 1073741824 1073778376 140734030055456 140185484009552 140185535497527 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3070] ppid=3023 vsize=11852648 CPUtime=688.4 cores=1,3,5,7 /proc/3025/task/3070/stat : 3070 (java) R 3023 3025 1279 0 -1 4202560 10 0 0 0 68827 13 0 0 20 0 22 0 338165867 12137111552 210853 33554432000 1073741824 1073778376 140734030055456 140185481902224 140185535774589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3071] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3071/stat : 3071 (java) S 3023 3025 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338165868 12137111552 210853 33554432000 1073741824 1073778376 140734030055456 140185485063720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1589.63 Current children cumulated vsize (KiB) 11852648 [startup+942.301 s] /proc/loadavg: 3.26 3.45 3.56 4/220 3198 /proc/meminfo: memFree=29867188/32873844 swapFree=7116/7116 [pid=3025] ppid=3023 vsize=11852648 CPUtime=1697.85 cores=1,3,5,7 /proc/3025/stat : 3025 (java) S 3023 3025 1279 0 -1 4202496 24685 0 1 0 169247 538 0 0 20 0 22 0 338164404 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140734030046592 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3025/statm: 2963162 210878 2293 9 0 2953849 0 [pid=3025/tid=3027] ppid=3023 vsize=11852648 CPUtime=0.52 cores=1,3,5,7 /proc/3025/task/3027/stat : 3027 (java) S 3023 3025 1279 0 -1 4202560 4677 0 1 0 46 6 0 0 20 0 22 0 338164405 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185677382824 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3028] ppid=3023 vsize=11852648 CPUtime=2.02 cores=1,3,5,7 /proc/3025/task/3028/stat : 3028 (java) S 3023 3025 1279 0 -1 4202560 118 0 0 0 199 3 0 0 20 0 22 0 338164407 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185514068904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3029] ppid=3023 vsize=11852648 CPUtime=1.89 cores=1,3,5,7 /proc/3025/task/3029/stat : 3029 (java) S 3023 3025 1279 0 -1 4202560 116 0 0 0 185 4 0 0 20 0 22 0 338164407 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185513016360 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3030] ppid=3023 vsize=11852648 CPUtime=1.89 cores=1,3,5,7 /proc/3025/task/3030/stat : 3030 (java) S 3023 3025 1279 0 -1 4202560 81 0 0 0 187 2 0 0 20 0 22 0 338164407 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185511963304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3031] ppid=3023 vsize=11852648 CPUtime=1.85 cores=1,3,5,7 /proc/3025/task/3031/stat : 3031 (java) S 3023 3025 1279 0 -1 4202560 114 0 0 0 182 3 0 0 20 0 22 0 338164407 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185510910760 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3032] ppid=3023 vsize=11852648 CPUtime=1.93 cores=1,3,5,7 /proc/3025/task/3032/stat : 3032 (java) S 3023 3025 1279 0 -1 4202560 125 0 0 0 190 3 0 0 20 0 22 0 338164407 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185509857704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3033] ppid=3023 vsize=11852648 CPUtime=1.83 cores=1,3,5,7 /proc/3025/task/3033/stat : 3033 (java) S 3023 3025 1279 0 -1 4202560 109 0 0 0 179 4 0 0 20 0 22 0 338164407 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185508805160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3034] ppid=3023 vsize=11852648 CPUtime=1.99 cores=1,3,5,7 /proc/3025/task/3034/stat : 3034 (java) S 3023 3025 1279 0 -1 4202560 109 0 0 0 195 4 0 0 20 0 22 0 338164407 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185507752104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3035] ppid=3023 vsize=11852648 CPUtime=1.95 cores=1,3,5,7 /proc/3025/task/3035/stat : 3035 (java) S 3023 3025 1279 0 -1 4202560 119 0 0 0 192 3 0 0 20 0 22 0 338164407 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185506699560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3036] ppid=3023 vsize=11852648 CPUtime=193.45 cores=1,3,5,7 /proc/3025/task/3036/stat : 3036 (java) S 3023 3025 1279 0 -1 4202560 258 0 0 0 18870 475 0 0 20 0 22 0 338164409 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185494502248 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3037] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3037/stat : 3037 (java) S 3023 3025 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338164409 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185493448568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3038] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3038/stat : 3038 (java) S 3023 3025 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338164409 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185492395400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3039] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3039/stat : 3039 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164412 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185491344144 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3040] ppid=3023 vsize=11852648 CPUtime=1.34 cores=1,3,5,7 /proc/3025/task/3040/stat : 3040 (java) S 3023 3025 1279 0 -1 4202560 8515 0 0 0 132 2 0 0 20 0 22 0 338164412 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185490291000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3041] ppid=3023 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/3025/task/3041/stat : 3041 (java) S 3023 3025 1279 0 -1 4202560 8654 0 0 0 100 2 0 0 20 0 22 0 338164412 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185489238456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3042] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3042/stat : 3042 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164412 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185488185592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3043] ppid=3023 vsize=11852648 CPUtime=0.27 cores=1,3,5,7 /proc/3025/task/3043/stat : 3043 (java) S 3023 3025 1279 0 -1 4202560 53 0 0 0 16 11 0 0 20 0 22 0 338164412 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185487133256 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3049] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3049/stat : 3049 (java) S 3023 3025 1279 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338164453 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185482958120 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3069] ppid=3023 vsize=11852648 CPUtime=730.01 cores=1,3,5,7 /proc/3025/task/3069/stat : 3069 (java) R 3023 3025 1279 0 -1 4202560 93 0 0 0 72987 14 0 0 20 0 22 0 338165867 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185484009552 140185535540983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3070] ppid=3023 vsize=11852648 CPUtime=736.29 cores=1,3,5,7 /proc/3025/task/3070/stat : 3070 (java) R 3023 3025 1279 0 -1 4202560 10 0 0 0 73615 14 0 0 20 0 22 0 338165867 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185481902272 140185535774621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3071] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3071/stat : 3071 (java) S 3023 3025 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338165868 12137111552 210878 33554432000 1073741824 1073778376 140734030055456 140185485063720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1697.85 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+999.301 s] /proc/loadavg: 3.33 3.42 3.54 5/219 3199 /proc/meminfo: memFree=29861052/32873844 swapFree=7116/7116 [pid=3025] ppid=3023 vsize=11852648 CPUtime=1800.01 cores=1,3,5,7 /proc/3025/stat : 3025 (java) S 3023 3025 1279 0 -1 4202496 24750 0 1 0 179389 612 0 0 20 0 22 0 338164404 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140734030046592 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3025/statm: 2963162 210885 2293 9 0 2953849 0 [pid=3025/tid=3027] ppid=3023 vsize=11852648 CPUtime=0.52 cores=1,3,5,7 /proc/3025/task/3027/stat : 3027 (java) S 3023 3025 1279 0 -1 4202560 4726 0 1 0 46 6 0 0 20 0 22 0 338164405 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185677382824 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3028] ppid=3023 vsize=11852648 CPUtime=2.09 cores=1,3,5,7 /proc/3025/task/3028/stat : 3028 (java) S 3023 3025 1279 0 -1 4202560 119 0 0 0 206 3 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185514068904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3029] ppid=3023 vsize=11852648 CPUtime=1.95 cores=1,3,5,7 /proc/3025/task/3029/stat : 3029 (java) S 3023 3025 1279 0 -1 4202560 116 0 0 0 191 4 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185513016360 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3030] ppid=3023 vsize=11852648 CPUtime=1.96 cores=1,3,5,7 /proc/3025/task/3030/stat : 3030 (java) S 3023 3025 1279 0 -1 4202560 81 0 0 0 194 2 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185511963304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3031] ppid=3023 vsize=11852648 CPUtime=1.91 cores=1,3,5,7 /proc/3025/task/3031/stat : 3031 (java) S 3023 3025 1279 0 -1 4202560 115 0 0 0 188 3 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185510910760 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3032] ppid=3023 vsize=11852648 CPUtime=1.99 cores=1,3,5,7 /proc/3025/task/3032/stat : 3032 (java) S 3023 3025 1279 0 -1 4202560 125 0 0 0 196 3 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185509857704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3033] ppid=3023 vsize=11852648 CPUtime=1.9 cores=1,3,5,7 /proc/3025/task/3033/stat : 3033 (java) S 3023 3025 1279 0 -1 4202560 111 0 0 0 186 4 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185508805160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3034] ppid=3023 vsize=11852648 CPUtime=2.06 cores=1,3,5,7 /proc/3025/task/3034/stat : 3034 (java) S 3023 3025 1279 0 -1 4202560 110 0 0 0 202 4 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185507752104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3035] ppid=3023 vsize=11852648 CPUtime=2.02 cores=1,3,5,7 /proc/3025/task/3035/stat : 3035 (java) S 3023 3025 1279 0 -1 4202560 121 0 0 0 199 3 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185506699560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3036] ppid=3023 vsize=11852648 CPUtime=206.3 cores=1,3,5,7 /proc/3025/task/3036/stat : 3036 (java) S 3023 3025 1279 0 -1 4202560 262 0 0 0 20082 548 0 0 20 0 22 0 338164409 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185494502248 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3037] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3037/stat : 3037 (java) S 3023 3025 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338164409 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185493448568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3038] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3038/stat : 3038 (java) S 3023 3025 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338164409 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185492395400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3039] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3039/stat : 3039 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164412 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185491344144 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3040] ppid=3023 vsize=11852648 CPUtime=1.34 cores=1,3,5,7 /proc/3025/task/3040/stat : 3040 (java) S 3023 3025 1279 0 -1 4202560 8515 0 0 0 132 2 0 0 20 0 22 0 338164412 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185490291000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3041] ppid=3023 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/3025/task/3041/stat : 3041 (java) S 3023 3025 1279 0 -1 4202560 8654 0 0 0 100 2 0 0 20 0 22 0 338164412 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185489238456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3042] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3042/stat : 3042 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164412 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185488185592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3043] ppid=3023 vsize=11852648 CPUtime=0.28 cores=1,3,5,7 /proc/3025/task/3043/stat : 3043 (java) S 3023 3025 1279 0 -1 4202560 57 0 0 0 17 11 0 0 20 0 22 0 338164412 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185487133256 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3049] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3049/stat : 3049 (java) S 3023 3025 1279 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338164453 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185482958120 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3069] ppid=3023 vsize=11852648 CPUtime=773.92 cores=1,3,5,7 /proc/3025/task/3069/stat : 3069 (java) R 3023 3025 1279 0 -1 4202560 94 0 0 0 77377 15 0 0 20 0 22 0 338165867 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185484009552 140185535529633 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3070] ppid=3023 vsize=11852648 CPUtime=781.17 cores=1,3,5,7 /proc/3025/task/3070/stat : 3070 (java) R 3023 3025 1279 0 -1 4202560 10 0 0 0 78103 14 0 0 20 0 22 0 338165867 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185481902032 140185536060537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3071] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3071/stat : 3071 (java) S 3023 3025 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338165868 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185485063720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+999.301 s] /proc/loadavg: 3.33 3.42 3.54 5/219 3199 /proc/meminfo: memFree=29861052/32873844 swapFree=7116/7116 [pid=3025] ppid=3023 vsize=11852648 CPUtime=1800.01 cores=1,3,5,7 /proc/3025/stat : 3025 (java) S 3023 3025 1279 0 -1 4202496 24750 0 1 0 179389 612 0 0 20 0 22 0 338164404 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140734030046592 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3025/statm: 2963162 210885 2293 9 0 2953849 0 [pid=3025/tid=3027] ppid=3023 vsize=11852648 CPUtime=0.52 cores=1,3,5,7 /proc/3025/task/3027/stat : 3027 (java) S 3023 3025 1279 0 -1 4202560 4726 0 1 0 46 6 0 0 20 0 22 0 338164405 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185677382824 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3028] ppid=3023 vsize=11852648 CPUtime=2.09 cores=1,3,5,7 /proc/3025/task/3028/stat : 3028 (java) S 3023 3025 1279 0 -1 4202560 119 0 0 0 206 3 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185514068904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3029] ppid=3023 vsize=11852648 CPUtime=1.95 cores=1,3,5,7 /proc/3025/task/3029/stat : 3029 (java) S 3023 3025 1279 0 -1 4202560 116 0 0 0 191 4 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185513016360 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3030] ppid=3023 vsize=11852648 CPUtime=1.96 cores=1,3,5,7 /proc/3025/task/3030/stat : 3030 (java) S 3023 3025 1279 0 -1 4202560 81 0 0 0 194 2 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185511963304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3031] ppid=3023 vsize=11852648 CPUtime=1.91 cores=1,3,5,7 /proc/3025/task/3031/stat : 3031 (java) S 3023 3025 1279 0 -1 4202560 115 0 0 0 188 3 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185510910760 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3032] ppid=3023 vsize=11852648 CPUtime=1.99 cores=1,3,5,7 /proc/3025/task/3032/stat : 3032 (java) S 3023 3025 1279 0 -1 4202560 125 0 0 0 196 3 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185509857704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3033] ppid=3023 vsize=11852648 CPUtime=1.9 cores=1,3,5,7 /proc/3025/task/3033/stat : 3033 (java) S 3023 3025 1279 0 -1 4202560 111 0 0 0 186 4 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185508805160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3034] ppid=3023 vsize=11852648 CPUtime=2.06 cores=1,3,5,7 /proc/3025/task/3034/stat : 3034 (java) S 3023 3025 1279 0 -1 4202560 110 0 0 0 202 4 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185507752104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3035] ppid=3023 vsize=11852648 CPUtime=2.02 cores=1,3,5,7 /proc/3025/task/3035/stat : 3035 (java) S 3023 3025 1279 0 -1 4202560 121 0 0 0 199 3 0 0 20 0 22 0 338164407 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185506699560 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3036] ppid=3023 vsize=11852648 CPUtime=206.3 cores=1,3,5,7 /proc/3025/task/3036/stat : 3036 (java) S 3023 3025 1279 0 -1 4202560 262 0 0 0 20082 548 0 0 20 0 22 0 338164409 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185494502248 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3037] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3037/stat : 3037 (java) S 3023 3025 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338164409 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185493448568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3038] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3038/stat : 3038 (java) S 3023 3025 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338164409 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185492395400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3039] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3039/stat : 3039 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164412 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185491344144 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3025/tid=3040] ppid=3023 vsize=11852648 CPUtime=1.34 cores=1,3,5,7 /proc/3025/task/3040/stat : 3040 (java) S 3023 3025 1279 0 -1 4202560 8515 0 0 0 132 2 0 0 20 0 22 0 338164412 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185490291000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3041] ppid=3023 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/3025/task/3041/stat : 3041 (java) S 3023 3025 1279 0 -1 4202560 8654 0 0 0 100 2 0 0 20 0 22 0 338164412 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185489238456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3042] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3042/stat : 3042 (java) S 3023 3025 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338164412 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185488185592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3025/tid=3043] ppid=3023 vsize=11852648 CPUtime=0.28 cores=1,3,5,7 /proc/3025/task/3043/stat : 3043 (java) S 3023 3025 1279 0 -1 4202560 57 0 0 0 17 11 0 0 20 0 22 0 338164412 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185487133256 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3049] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3049/stat : 3049 (java) S 3023 3025 1279 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338164453 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185482958120 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3069] ppid=3023 vsize=11852648 CPUtime=773.92 cores=1,3,5,7 /proc/3025/task/3069/stat : 3069 (java) R 3023 3025 1279 0 -1 4202560 94 0 0 0 77377 15 0 0 20 0 22 0 338165867 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185484009552 140185535529633 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=3025/tid=3070] ppid=3023 vsize=11852648 CPUtime=781.17 cores=1,3,5,7 /proc/3025/task/3070/stat : 3070 (java) R 3023 3025 1279 0 -1 4202560 10 0 0 0 78103 14 0 0 20 0 22 0 338165867 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185481902032 140185536060537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=3025/tid=3071] ppid=3023 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/3025/task/3071/stat : 3071 (java) S 3023 3025 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338165868 12137111552 210885 33554432000 1073741824 1073778376 140734030055456 140185485063720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 11852648 Child status: 143 Real time (s): 999.347 CPU time (s): 1800.74 CPU user time (s): 1794.16 CPU system time (s): 6.581 CPU usage (%): 180.192 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.16 system time used= 6.581 maximum resident set size= 843652 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24781 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 49023 involuntary context switches= 50879 runsolver used 4.17237 second user time and 8.83266 second system time The end
Begin job on node111 at 2012-06-03 12:46:14 IDJOB=3737229 IDBENCH=48205 IDSOLVER=2328 FILE ID=node111/3737229-1338720374 RUNJOBID= node111-1338712999-1296 PBS_JOBID= 14636722 Free space on /tmp= 67396 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_5.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737229-1338720374/watcher-3737229-1338720374 -o /tmp/evaluation-result-3737229-1338720374/solver-3737229-1338720374 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737229-1338720374.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8 RANDOM SEED=1439609993 node111.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.152 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.30 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.152 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.152 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.152 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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 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.152 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.152 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29532892 kB Buffers: 188148 kB Cached: 507836 kB SwapCached: 1404 kB Active: 2015960 kB Inactive: 536324 kB Active(anon): 1857416 kB Inactive(anon): 1276 kB Active(file): 158544 kB Inactive(file): 535048 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100152 kB Dirty: 504 kB Writeback: 0 kB AnonPages: 1927932 kB Mapped: 17136 kB Shmem: 0 kB Slab: 646680 kB SReclaimable: 88348 kB SUnreclaim: 558332 kB KernelStack: 1784 kB PageTables: 7524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10460188 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1863680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 67396 MiB End job on node111 at 2012-06-03 13:02:56