Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | OPT | -7 | 830.846 | 462.976 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb |
MD5SUM | e70f8e0da8fa345ba6e82dce1b0133d2 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 9.70052 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2952 |
Sum of products size (including duplicates) | 5904 |
Number of different products | 1476 |
Sum of products size | 2952 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 9996466904 0.02/0.09 c Max memory 10048897024 0.02/0.09 c Total memory 10048897024 0.02/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3454027-1307195375.opb 0.11/0.11 c reading problem ... 0.47/0.33 c ... done. Wall clock time 0.213s. 0.47/0.33 c #vars 1576 0.47/0.33 c #constraints 3104 0.47/0.33 c constraints type 0.47/0.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1476 0.47/0.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 0.47/0.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 0.47/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1476 0.47/0.33 c constraints type 0.47/0.33 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 50 0.47/0.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1476 0.47/0.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102 0.47/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1476 1.31/0.61 c And the winner is Resolution 1.37/0.83 c SATISFIABLE 1.37/0.83 c OPTIMIZING... 1.37/0.83 c Got one! Elapsed wall clock time (in seconds):0.721 1.37/0.83 o -4 1.89/1.05 c And the winner is CuttingPlanes 2.41/1.34 c Got one! Elapsed wall clock time (in seconds):1.226 2.41/1.34 o -5 3.35/1.77 c cleaning 3204 clauses out of 6425 with flag 5000/6425 3.96/1.92 c And the winner is CuttingPlanes 4.02/2.34 c Got one! Elapsed wall clock time (in seconds):2.231 4.02/2.34 o -6 4.55/2.65 c cleaning 4534 clauses out of 9121 with flag 4000/12325 5.36/3.08 c cleaning 5294 clauses out of 10587 with flag 10000/18325 6.54/3.65 c cleaning 6127 clauses out of 12293 with flag 17000/25325 7.81/4.30 c cleaning 7083 clauses out of 14166 with flag 25000/33325 9.18/4.93 c cleaning 8012 clauses out of 16083 with flag 34000/42325 10.56/5.65 c cleaning 9035 clauses out of 18072 with flag 44001/52326 11.93/6.33 c cleaning 9512 clauses out of 19036 with flag 54000/62325 13.08/6.99 c cleaning 9749 clauses out of 19524 with flag 64000/72325 14.47/7.67 c cleaning 9885 clauses out of 19776 with flag 74001/82326 15.81/8.31 c cleaning 9941 clauses out of 19891 with flag 84001/92326 17.37/9.13 c cleaning 9968 clauses out of 19949 with flag 94000/102325 18.73/9.91 c cleaning 9988 clauses out of 19983 with flag 104002/112327 20.27/10.63 c cleaning 9993 clauses out of 19993 with flag 114000/122325 21.63/11.34 c cleaning 9987 clauses out of 20000 with flag 124000/132325 23.23/12.14 c cleaning 10001 clauses out of 20013 with flag 134000/142325 24.72/12.96 c cleaning 10007 clauses out of 20013 with flag 144001/152326 26.32/13.73 c cleaning 9991 clauses out of 20005 with flag 154000/162325 27.96/14.49 c cleaning 9999 clauses out of 20014 with flag 164000/172325 29.91/15.27 c cleaning 9993 clauses out of 20015 with flag 174000/182325 31.46/16.03 c cleaning 10006 clauses out of 20023 with flag 184001/192326 33.01/16.86 c cleaning 10003 clauses out of 20016 with flag 194000/202325 34.38/17.59 c cleaning 10002 clauses out of 20013 with flag 204000/212325 35.70/18.29 c cleaning 9999 clauses out of 20012 with flag 214001/222326 37.03/18.96 c cleaning 9997 clauses out of 20013 with flag 224001/232326 38.37/19.61 c cleaning 9995 clauses out of 20015 with flag 234000/242325 39.51/20.23 c cleaning 9999 clauses out of 20020 with flag 244000/252325 40.67/20.86 c cleaning 10004 clauses out of 20021 with flag 254000/262325 41.17/21.12 c And the winner is Resolution 41.25/21.45 c Got one! Elapsed wall clock time (in seconds):21.334 41.25/21.45 o -7 41.35/21.59 c cleaning 7687 clauses out of 15373 with flag 2003/267681 42.16/21.95 c cleaning 6825 clauses out of 13683 with flag 8000/273678 43.08/22.44 c cleaning 6925 clauses out of 13858 with flag 15000/280678 44.02/22.93 c cleaning 7458 clauses out of 14933 with flag 23000/288678 45.34/23.60 c cleaning 8235 clauses out of 16476 with flag 32001/297679 46.70/24.34 c cleaning 9111 clauses out of 18240 with flag 42000/307678 48.05/25.01 c cleaning 9552 clauses out of 19129 with flag 52000/317678 49.19/25.68 c cleaning 9781 clauses out of 19577 with flag 62000/327678 50.55/26.34 c cleaning 9886 clauses out of 19796 with flag 72000/337678 51.88/27.00 c cleaning 9952 clauses out of 19910 with flag 82000/347678 53.22/27.70 c cleaning 9972 clauses out of 19958 with flag 92000/357678 54.36/28.30 c cleaning 9987 clauses out of 19986 with flag 102000/367678 55.66/29.03 c cleaning 9984 clauses out of 20000 with flag 112001/377679 56.82/29.71 c cleaning 9997 clauses out of 20015 with flag 122000/387678 58.14/30.30 c cleaning 10004 clauses out of 20020 with flag 132002/397680 59.29/30.98 c cleaning 10004 clauses out of 20016 with flag 142002/407680 60.79/31.73 c cleaning 9997 clauses out of 20010 with flag 152000/417678 61.93/32.35 c cleaning 9993 clauses out of 20013 with flag 162000/427678 63.31/33.05 c cleaning 10005 clauses out of 20020 with flag 172000/437678 64.62/33.71 c cleaning 10003 clauses out of 20015 with flag 182000/447678 65.93/34.41 c cleaning 9996 clauses out of 20012 with flag 192000/457678 67.28/35.12 c cleaning 10004 clauses out of 20016 with flag 202000/467678 68.80/35.92 c cleaning 9997 clauses out of 20012 with flag 212000/477678 70.13/36.69 c cleaning 10002 clauses out of 20015 with flag 222000/487678 71.45/37.33 c cleaning 9990 clauses out of 20013 with flag 232000/497678 72.56/37.95 c cleaning 10006 clauses out of 20026 with flag 242003/507681 73.89/38.66 c cleaning 9995 clauses out of 20017 with flag 252000/517678 75.42/39.45 c cleaning 9989 clauses out of 20022 with flag 262000/527678 76.92/40.25 c cleaning 10002 clauses out of 20033 with flag 272000/537678 78.25/40.98 c cleaning 9999 clauses out of 20031 with flag 282000/547678 79.58/41.68 c cleaning 10009 clauses out of 20032 with flag 292000/557678 80.90/42.38 c cleaning 10003 clauses out of 20025 with flag 302002/567680 82.20/43.07 c cleaning 10001 clauses out of 20020 with flag 312000/577678 83.33/43.66 c cleaning 9997 clauses out of 20019 with flag 322000/587678 84.66/44.37 c cleaning 9991 clauses out of 20023 with flag 332001/597679 86.00/45.09 c cleaning 10007 clauses out of 20032 with flag 342001/607679 87.48/45.86 c cleaning 9997 clauses out of 20025 with flag 352001/617679 88.80/46.54 c cleaning 10011 clauses out of 20032 with flag 362005/627683 89.93/47.19 c cleaning 10001 clauses out of 20016 with flag 372000/637678 91.46/47.95 c cleaning 9996 clauses out of 20015 with flag 382000/647678 92.75/48.64 c cleaning 10000 clauses out of 20019 with flag 392000/657678 94.07/49.35 c cleaning 9998 clauses out of 20019 with flag 402000/667678 95.39/50.09 c cleaning 10004 clauses out of 20021 with flag 412000/677678 96.92/50.82 c cleaning 9997 clauses out of 20017 with flag 422000/687678 98.21/51.60 c cleaning 10004 clauses out of 20020 with flag 432001/697679 98.95/51.96 c cleaning 0 clauses out of 5983 with flag 0/5984 100.19/52.41 c cleaning 10003 clauses out of 20016 with flag 442001/707679 101.61/53.10 c cleaning 9992 clauses out of 20012 with flag 452000/717678 102.92/53.85 c cleaning 10008 clauses out of 20021 with flag 462001/727679 104.02/54.45 c cleaning 9992 clauses out of 20012 with flag 472000/737678 105.18/55.04 c cleaning 9995 clauses out of 20020 with flag 482000/747678 106.46/55.76 c cleaning 9996 clauses out of 20025 with flag 492000/757678 107.94/56.52 c cleaning 10006 clauses out of 20029 with flag 502000/767678 109.08/57.20 c cleaning 9990 clauses out of 20023 with flag 512000/777678 110.58/57.90 c cleaning 9989 clauses out of 20033 with flag 522000/787678 111.90/58.68 c cleaning 10022 clauses out of 20045 with flag 532002/797680 113.20/59.41 c cleaning 10006 clauses out of 20023 with flag 542002/807680 114.50/60.04 c cleaning 9989 clauses out of 20015 with flag 552000/817678 115.82/60.72 c cleaning 10004 clauses out of 20027 with flag 562001/827679 116.94/61.38 c cleaning 9996 clauses out of 20022 with flag 572000/837678 118.21/62.06 c cleaning 9995 clauses out of 20026 with flag 582000/847678 119.35/62.71 c cleaning 9983 clauses out of 20031 with flag 592000/857678 120.65/63.39 c cleaning 10018 clauses out of 20048 with flag 602000/867678 122.16/64.11 c cleaning 10005 clauses out of 20030 with flag 612000/877678 123.46/64.85 c cleaning 9995 clauses out of 20025 with flag 622000/887678 124.76/65.52 c cleaning 10000 clauses out of 20030 with flag 632000/897678 126.08/66.24 c cleaning 9992 clauses out of 20030 with flag 642000/907678 127.39/66.92 c cleaning 10002 clauses out of 20038 with flag 652000/917678 128.66/67.65 c cleaning 10001 clauses out of 20036 with flag 662000/927678 129.98/68.30 c cleaning 10002 clauses out of 20035 with flag 672000/937678 131.10/68.98 c cleaning 10009 clauses out of 20035 with flag 682002/947680 132.41/69.60 c cleaning 9994 clauses out of 20025 with flag 692001/957679 133.71/70.34 c cleaning 10008 clauses out of 20031 with flag 702001/967679 135.00/71.05 c cleaning 10003 clauses out of 20022 with flag 712000/977678 136.31/71.74 c cleaning 10003 clauses out of 20019 with flag 722000/987678 137.63/72.42 c cleaning 9991 clauses out of 20016 with flag 732000/997678 138.89/73.16 c cleaning 10001 clauses out of 20025 with flag 742000/1007678 140.21/73.81 c cleaning 9985 clauses out of 20024 with flag 752000/1017678 141.51/74.51 c cleaning 10016 clauses out of 20040 with flag 762001/1027679 142.82/75.25 c cleaning 10000 clauses out of 20024 with flag 772001/1037679 144.29/76.01 c cleaning 10009 clauses out of 20023 with flag 782000/1047678 145.39/76.69 c cleaning 9990 clauses out of 20014 with flag 792000/1057678 146.70/77.37 c cleaning 9988 clauses out of 20024 with flag 802000/1067678 148.03/78.10 c cleaning 10011 clauses out of 20037 with flag 812001/1077679 149.48/78.84 c cleaning 9998 clauses out of 20025 with flag 822000/1087678 150.78/79.50 c cleaning 10005 clauses out of 20027 with flag 832000/1097678 151.89/80.17 c cleaning 9996 clauses out of 20022 with flag 842000/1107678 153.19/80.86 c cleaning 10008 clauses out of 20027 with flag 852001/1117679 154.45/81.58 c cleaning 9999 clauses out of 20018 with flag 862000/1127678 155.75/82.28 c cleaning 9994 clauses out of 20019 with flag 872000/1137678 157.26/83.06 c cleaning 9985 clauses out of 20025 with flag 882000/1147678 158.77/83.84 c cleaning 10001 clauses out of 20040 with flag 892000/1157678 160.03/84.54 c cleaning 10005 clauses out of 20039 with flag 902000/1167678 161.33/85.20 c cleaning 10008 clauses out of 20034 with flag 912000/1177678 162.64/85.92 c cleaning 9997 clauses out of 20026 with flag 922000/1187678 163.94/86.67 c cleaning 10000 clauses out of 20030 with flag 932001/1197679 165.40/87.41 c cleaning 9996 clauses out of 20030 with flag 942001/1207679 166.70/88.14 c cleaning 9999 clauses out of 20033 with flag 952000/1217678 168.00/88.88 c cleaning 9999 clauses out of 20034 with flag 962000/1227678 169.31/89.59 c cleaning 10006 clauses out of 20035 with flag 972000/1237678 170.96/90.44 c cleaning 10008 clauses out of 20030 with flag 982001/1247679 172.26/91.17 c cleaning 9994 clauses out of 20021 with flag 992000/1257678 173.76/91.93 c cleaning 10011 clauses out of 20027 with flag 1002000/1267678 175.06/92.65 c cleaning 9994 clauses out of 20017 with flag 1012001/1277679 176.31/93.40 c cleaning 10003 clauses out of 20022 with flag 1022000/1287678 177.62/94.09 c cleaning 9997 clauses out of 20020 with flag 1032001/1297679 178.93/94.74 c cleaning 9990 clauses out of 20022 with flag 1042000/1307678 180.23/95.42 c cleaning 10000 clauses out of 20033 with flag 1052001/1317679 181.68/96.20 c cleaning 9992 clauses out of 20032 with flag 1062000/1327678 182.99/96.99 c cleaning 10003 clauses out of 20040 with flag 1072000/1337678 184.48/97.77 c cleaning 10002 clauses out of 20037 with flag 1082000/1347678 185.99/98.59 c cleaning 9997 clauses out of 20035 with flag 1092000/1357678 187.44/99.37 c cleaning 9998 clauses out of 20038 with flag 1102000/1367678 188.98/100.18 c cleaning 10005 clauses out of 20041 with flag 1112001/1377679 190.43/100.90 c cleaning 10011 clauses out of 20038 with flag 1122004/1387682 191.73/101.61 c cleaning 9986 clauses out of 20025 with flag 1132002/1397680 193.02/102.35 c cleaning 10017 clauses out of 20037 with flag 1142000/1407678 194.07/102.99 c cleaning 9991 clauses out of 20021 with flag 1152001/1417679 195.36/103.68 c cleaning 10001 clauses out of 20029 with flag 1162000/1427678 196.87/104.45 c cleaning 9995 clauses out of 20028 with flag 1172000/1437678 198.09/105.13 c cleaning 9996 clauses out of 20034 with flag 1182001/1447679 199.39/105.83 c cleaning 9984 clauses out of 20037 with flag 1192000/1457678 200.49/106.49 c cleaning 10009 clauses out of 20053 with flag 1202000/1467678 201.78/107.17 c cleaning 10002 clauses out of 20044 with flag 1212000/1477678 203.06/107.84 c cleaning 10009 clauses out of 20043 with flag 1222001/1487679 204.11/108.48 c cleaning 9991 clauses out of 20033 with flag 1232000/1497678 205.40/109.16 c cleaning 9997 clauses out of 20042 with flag 1242000/1507678 206.69/109.87 c cleaning 10003 clauses out of 20045 with flag 1252000/1517678 208.14/110.61 c cleaning 10012 clauses out of 20046 with flag 1262004/1527682 209.23/111.28 c cleaning 9991 clauses out of 20030 with flag 1272000/1537678 210.52/111.96 c cleaning 10004 clauses out of 20039 with flag 1282000/1547678 211.82/112.63 c cleaning 10007 clauses out of 20035 with flag 1292000/1557678 213.10/113.35 c cleaning 9990 clauses out of 20028 with flag 1302000/1567678 214.35/114.03 c cleaning 10009 clauses out of 20040 with flag 1312002/1577680 215.64/114.78 c cleaning 9971 clauses out of 20029 with flag 1322000/1587678 216.95/115.50 c cleaning 10010 clauses out of 20058 with flag 1332000/1597678 218.36/116.24 c cleaning 10009 clauses out of 20048 with flag 1342000/1607678 219.65/116.98 c cleaning 9997 clauses out of 20040 with flag 1352001/1617679 220.96/117.66 c cleaning 10010 clauses out of 20042 with flag 1362000/1627678 222.23/118.32 c cleaning 10001 clauses out of 20032 with flag 1372000/1637678 223.46/119.09 c cleaning 10004 clauses out of 20031 with flag 1382000/1647678 224.97/119.85 c cleaning 10005 clauses out of 20028 with flag 1392001/1657679 226.24/120.56 c cleaning 10003 clauses out of 20023 with flag 1402001/1667679 227.53/121.26 c cleaning 9994 clauses out of 20020 with flag 1412001/1677679 228.76/122.00 c cleaning 10004 clauses out of 20028 with flag 1422003/1687681 230.04/122.66 c cleaning 9996 clauses out of 20022 with flag 1432001/1697679 231.17/123.29 c cleaning 9997 clauses out of 20025 with flag 1442000/1707678 232.41/123.97 c cleaning 10001 clauses out of 20028 with flag 1452000/1717678 233.84/124.76 c cleaning 9998 clauses out of 20027 with flag 1462000/1727678 235.16/125.45 c cleaning 10003 clauses out of 20031 with flag 1472002/1737680 236.40/126.15 c cleaning 10001 clauses out of 20026 with flag 1482000/1747678 237.69/126.86 c cleaning 9999 clauses out of 20025 with flag 1492000/1757678 238.94/127.60 c cleaning 10003 clauses out of 20028 with flag 1502002/1767680 240.21/128.24 c cleaning 9994 clauses out of 20023 with flag 1512000/1777678 241.50/128.98 c cleaning 9988 clauses out of 20030 with flag 1522001/1787679 243.00/129.76 c cleaning 10002 clauses out of 20043 with flag 1532002/1797680 244.61/130.66 c cleaning 10011 clauses out of 20040 with flag 1542001/1807679 246.10/131.41 c cleaning 10003 clauses out of 20027 with flag 1552000/1817678 247.58/132.21 c cleaning 10005 clauses out of 20024 with flag 1562000/1827678 248.86/132.90 c cleaning 9991 clauses out of 20019 with flag 1572000/1837678 250.28/133.70 c cleaning 9994 clauses out of 20028 with flag 1582000/1847678 251.57/134.43 c cleaning 9994 clauses out of 20034 with flag 1592000/1857678 252.85/135.12 c cleaning 10008 clauses out of 20041 with flag 1602001/1867679 254.33/135.92 c cleaning 10000 clauses out of 20033 with flag 1612001/1877679 255.75/136.78 c cleaning 9994 clauses out of 20033 with flag 1622001/1887679 257.27/137.57 c cleaning 9999 clauses out of 20038 with flag 1632000/1897678 258.71/138.39 c cleaning 9999 clauses out of 20039 with flag 1642000/1907678 260.19/139.16 c cleaning 10000 clauses out of 20040 with flag 1652000/1917678 261.81/140.05 c cleaning 10002 clauses out of 20040 with flag 1662000/1927678 263.33/140.84 c cleaning 10006 clauses out of 20038 with flag 1672000/1937678 264.77/141.68 c cleaning 10012 clauses out of 20032 with flag 1682000/1947678 266.25/142.47 c cleaning 10003 clauses out of 20020 with flag 1692000/1957678 267.67/143.25 c cleaning 9993 clauses out of 20016 with flag 1702000/1967678 268.95/143.92 c cleaning 9989 clauses out of 20023 with flag 1712000/1977678 270.23/144.70 c cleaning 10010 clauses out of 20034 with flag 1722000/1987678 271.71/145.47 c cleaning 9998 clauses out of 20024 with flag 1732000/1997678 272.93/146.20 c cleaning 9997 clauses out of 20026 with flag 1742000/2007678 274.41/146.90 c cleaning 10002 clauses out of 20029 with flag 1752000/2017678 275.48/147.57 c cleaning 10001 clauses out of 20028 with flag 1762001/2027679 276.76/148.27 c cleaning 9995 clauses out of 20026 with flag 1772000/2037678 277.98/148.95 c cleaning 9998 clauses out of 20031 with flag 1782000/2047678 279.46/149.73 c cleaning 9995 clauses out of 20034 with flag 1792001/2057679 280.74/150.46 c cleaning 10003 clauses out of 20039 with flag 1802001/2067679 282.22/151.23 c cleaning 9996 clauses out of 20035 with flag 1812000/2077678 283.64/152.03 c cleaning 9995 clauses out of 20039 with flag 1822000/2087678 284.91/152.81 c cleaning 9999 clauses out of 20044 with flag 1832000/2097678 286.58/153.61 c cleaning 9999 clauses out of 20045 with flag 1842000/2107678 287.66/154.27 c cleaning 10015 clauses out of 20046 with flag 1852000/2117678 289.09/155.03 c cleaning 9996 clauses out of 20031 with flag 1862000/2127678 290.35/155.73 c cleaning 10005 clauses out of 20035 with flag 1872000/2137678 291.63/156.43 c cleaning 10009 clauses out of 20031 with flag 1882001/2147679 292.90/157.10 c cleaning 9994 clauses out of 20021 with flag 1892000/2157678 294.12/157.89 c cleaning 10004 clauses out of 20027 with flag 1902000/2167678 295.59/158.62 c cleaning 9988 clauses out of 20023 with flag 1912000/2177678 296.87/159.32 c cleaning 10007 clauses out of 20035 with flag 1922000/2187678 297.94/159.98 c cleaning 9991 clauses out of 20028 with flag 1932000/2197678 299.35/160.70 c cleaning 10007 clauses out of 20037 with flag 1942000/2207678 300.62/161.43 c cleaning 10009 clauses out of 20030 with flag 1952000/2217678 301.90/162.13 c cleaning 9986 clauses out of 20021 with flag 1962000/2227678 303.21/162.86 c cleaning 10005 clauses out of 20036 with flag 1972001/2237679 304.59/163.63 c cleaning 10003 clauses out of 20031 with flag 1982001/2247679 305.66/164.27 c cleaning 9995 clauses out of 20027 with flag 1992000/2257678 307.17/165.03 c cleaning 9987 clauses out of 20032 with flag 2002000/2267678 308.40/165.73 c cleaning 10002 clauses out of 20045 with flag 2012000/2277678 309.61/166.47 c cleaning 10000 clauses out of 20043 with flag 2022000/2287678 310.91/167.20 c cleaning 9997 clauses out of 20044 with flag 2032001/2297679 312.36/167.96 c cleaning 9998 clauses out of 20046 with flag 2042000/2307678 313.64/168.68 c cleaning 10007 clauses out of 20048 with flag 2052000/2317678 315.25/169.53 c cleaning 10005 clauses out of 20042 with flag 2062001/2327679 316.52/170.25 c cleaning 10008 clauses out of 20036 with flag 2072000/2337678 317.79/170.91 c cleaning 10007 clauses out of 20028 with flag 2082000/2347678 318.88/171.61 c cleaning 9997 clauses out of 20021 with flag 2092000/2357678 320.27/172.36 c cleaning 9991 clauses out of 20026 with flag 2102002/2367680 321.74/173.10 c cleaning 10007 clauses out of 20033 with flag 2112000/2377678 322.83/173.79 c cleaning 10005 clauses out of 20028 with flag 2122002/2387680 324.08/174.49 c cleaning 9996 clauses out of 20021 with flag 2132000/2397678 325.69/175.36 c cleaning 10003 clauses out of 20025 with flag 2142000/2407678 327.15/176.18 c cleaning 9994 clauses out of 20022 with flag 2152000/2417678 328.43/176.89 c cleaning 9995 clauses out of 20028 with flag 2162000/2427678 329.70/177.55 c cleaning 10004 clauses out of 20033 with flag 2172000/2437678 330.95/178.27 c cleaning 9991 clauses out of 20030 with flag 2182001/2447679 332.18/178.95 c cleaning 10010 clauses out of 20039 with flag 2192001/2457679 333.45/179.65 c cleaning 10007 clauses out of 20029 with flag 2202001/2467679 334.74/180.36 c cleaning 9995 clauses out of 20021 with flag 2212000/2477678 336.13/181.17 c cleaning 9993 clauses out of 20026 with flag 2222000/2487678 337.40/181.83 c cleaning 9986 clauses out of 20033 with flag 2232000/2497678 338.68/182.58 c cleaning 10017 clauses out of 20047 with flag 2242000/2507678 340.13/183.34 c cleaning 10006 clauses out of 20030 with flag 2252000/2517678 341.54/184.13 c cleaning 10001 clauses out of 20025 with flag 2262001/2527679 343.01/184.90 c cleaning 9996 clauses out of 20023 with flag 2272000/2537678 344.27/185.61 c cleaning 9992 clauses out of 20027 with flag 2282000/2547678 345.54/186.30 c cleaning 10000 clauses out of 20035 with flag 2292000/2557678 346.79/187.08 c cleaning 10009 clauses out of 20038 with flag 2302003/2567681 348.02/187.76 c cleaning 9994 clauses out of 20026 with flag 2312000/2577678 349.29/188.47 c cleaning 9996 clauses out of 20032 with flag 2322000/2587678 350.57/189.15 c cleaning 10001 clauses out of 20037 with flag 2332001/2597679 351.96/189.91 c cleaning 10002 clauses out of 20036 with flag 2342001/2607679 353.03/190.57 c cleaning 9996 clauses out of 20035 with flag 2352002/2617680 354.29/191.25 c cleaning 10013 clauses out of 20037 with flag 2362000/2627678 355.56/191.96 c cleaning 10000 clauses out of 20024 with flag 2372000/2637678 356.97/192.72 c cleaning 9997 clauses out of 20027 with flag 2382003/2647681 358.23/193.44 c cleaning 10003 clauses out of 20027 with flag 2392000/2657678 359.50/194.10 c cleaning 9991 clauses out of 20024 with flag 2402000/2667678 360.61/194.75 c cleaning 10001 clauses out of 20034 with flag 2412001/2677679 361.77/195.46 c cleaning 9998 clauses out of 20032 with flag 2422000/2687678 363.04/196.11 c cleaning 9997 clauses out of 20036 with flag 2432002/2697680 364.10/196.76 c cleaning 9983 clauses out of 20037 with flag 2442000/2707678 365.57/197.54 c cleaning 10013 clauses out of 20054 with flag 2452000/2717678 366.97/198.37 c cleaning 10006 clauses out of 20042 with flag 2462001/2727679 368.48/199.15 c cleaning 10002 clauses out of 20036 with flag 2472001/2737679 369.90/199.91 c cleaning 9992 clauses out of 20032 with flag 2482000/2747678 371.17/200.61 c cleaning 10009 clauses out of 20040 with flag 2492000/2757678 372.41/201.38 c cleaning 9988 clauses out of 20031 with flag 2502000/2767678 373.83/202.12 c cleaning 10005 clauses out of 20043 with flag 2512000/2777678 374.90/202.79 c cleaning 9993 clauses out of 20038 with flag 2522000/2787678 376.19/203.47 c cleaning 10001 clauses out of 20045 with flag 2532000/2797678 377.57/204.22 c cleaning 9995 clauses out of 20044 with flag 2542000/2807678 378.83/204.93 c cleaning 10008 clauses out of 20049 with flag 2552000/2817678 379.89/205.59 c cleaning 10005 clauses out of 20041 with flag 2562000/2827678 381.15/206.29 c cleaning 9999 clauses out of 20036 with flag 2572000/2837678 382.55/207.00 c cleaning 10005 clauses out of 20041 with flag 2582004/2847682 383.61/207.65 c cleaning 9992 clauses out of 20032 with flag 2592000/2857678 384.67/208.30 c cleaning 9995 clauses out of 20040 with flag 2602000/2867678 385.95/209.00 c cleaning 9993 clauses out of 20045 with flag 2612000/2877678 387.52/209.84 c cleaning 10010 clauses out of 20053 with flag 2622001/2887679 388.78/210.56 c cleaning 9987 clauses out of 20042 with flag 2632000/2897678 390.24/211.31 c cleaning 10001 clauses out of 20055 with flag 2642000/2907678 391.70/212.15 c cleaning 10011 clauses out of 20054 with flag 2652000/2917678 393.09/212.98 c cleaning 10010 clauses out of 20044 with flag 2662001/2927679 394.55/213.72 c cleaning 9992 clauses out of 20033 with flag 2672000/2937678 396.05/214.53 c cleaning 10005 clauses out of 20041 with flag 2682000/2947678 397.47/215.32 c cleaning 10015 clauses out of 20036 with flag 2692000/2957678 399.06/216.22 c cleaning 9999 clauses out of 20021 with flag 2702000/2967678 400.32/216.99 c cleaning 9993 clauses out of 20022 with flag 2712000/2977678 402.03/217.82 c cleaning 9994 clauses out of 20029 with flag 2722000/2987678 403.44/218.61 c cleaning 10000 clauses out of 20035 with flag 2732000/2997678 404.83/219.41 c cleaning 9998 clauses out of 20035 with flag 2742000/3007678 406.08/220.18 c cleaning 9996 clauses out of 20037 with flag 2752000/3017678 407.54/220.99 c cleaning 10013 clauses out of 20042 with flag 2762001/3027679 409.00/221.79 c cleaning 9996 clauses out of 20028 with flag 2772000/3037678 410.59/222.67 c cleaning 10008 clauses out of 20032 with flag 2782000/3047678 412.04/223.48 c cleaning 9999 clauses out of 20024 with flag 2792000/3057678 413.50/224.27 c cleaning 9995 clauses out of 20025 with flag 2802000/3067678 414.96/225.09 c cleaning 10002 clauses out of 20030 with flag 2812000/3077678 416.54/225.99 c cleaning 10004 clauses out of 20027 with flag 2822000/3087678 417.84/226.69 c cleaning 10003 clauses out of 20023 with flag 2832000/3097678 419.25/227.44 c cleaning 9991 clauses out of 20020 with flag 2842000/3107678 420.51/228.17 c cleaning 10001 clauses out of 20030 with flag 2852001/3117679 421.89/228.95 c cleaning 9987 clauses out of 20028 with flag 2862000/3127678 423.15/229.69 c cleaning 10009 clauses out of 20042 with flag 2872001/3137679 424.40/230.39 c cleaning 10003 clauses out of 20032 with flag 2882000/3147678 425.69/231.09 c cleaning 9987 clauses out of 20029 with flag 2892000/3157678 427.03/231.84 c cleaning 9990 clauses out of 20042 with flag 2902000/3167678 428.28/232.52 c cleaning 10000 clauses out of 20052 with flag 2912000/3177678 429.35/233.20 c cleaning 10005 clauses out of 20052 with flag 2922000/3187678 430.58/233.88 c cleaning 10001 clauses out of 20048 with flag 2932001/3197679 431.96/234.61 c cleaning 9989 clauses out of 20046 with flag 2942000/3207678 433.02/235.29 c cleaning 9992 clauses out of 20058 with flag 2952001/3217679 434.47/236.08 c cleaning 10011 clauses out of 20065 with flag 2962000/3227678 436.12/236.96 c cleaning 10013 clauses out of 20054 with flag 2972000/3237678 437.49/237.78 c cleaning 10004 clauses out of 20042 with flag 2982001/3247679 438.95/238.56 c cleaning 10004 clauses out of 20038 with flag 2992001/3257679 440.39/239.30 c cleaning 9992 clauses out of 20033 with flag 3002000/3267678 441.64/240.07 c cleaning 10009 clauses out of 20044 with flag 3012003/3277681 443.26/240.97 c cleaning 10003 clauses out of 20032 with flag 3022000/3287678 444.67/241.77 c cleaning 10002 clauses out of 20029 with flag 3032000/3297678 445.92/242.47 c cleaning 10003 clauses out of 20027 with flag 3042000/3307678 447.38/243.22 c cleaning 10000 clauses out of 20024 with flag 3052000/3317678 448.55/243.99 c cleaning 9998 clauses out of 20025 with flag 3062001/3327679 450.01/244.71 c cleaning 9999 clauses out of 20027 with flag 3072001/3337679 451.26/245.40 c cleaning 9984 clauses out of 20027 with flag 3082000/3347678 452.30/246.06 c cleaning 10005 clauses out of 20043 with flag 3092000/3357678 453.68/246.88 c cleaning 9999 clauses out of 20038 with flag 3102000/3367678 454.97/247.59 c cleaning 10004 clauses out of 20041 with flag 3112002/3377680 456.17/248.29 c cleaning 9986 clauses out of 20035 with flag 3122000/3387678 457.42/248.96 c cleaning 10000 clauses out of 20049 with flag 3132000/3397678 458.84/249.78 c cleaning 10002 clauses out of 20049 with flag 3142000/3407678 460.25/250.56 c cleaning 9999 clauses out of 20047 with flag 3152000/3417678 461.70/251.34 c cleaning 10001 clauses out of 20048 with flag 3162000/3427678 463.15/252.14 c cleaning 10014 clauses out of 20049 with flag 3172002/3437680 464.76/253.05 c cleaning 10008 clauses out of 20035 with flag 3182002/3447680 466.36/253.91 c cleaning 10006 clauses out of 20025 with flag 3192000/3457678 467.61/254.63 c cleaning 9999 clauses out of 20019 with flag 3202000/3467678 468.85/255.34 c cleaning 9990 clauses out of 20020 with flag 3212000/3477678 470.24/256.17 c cleaning 10003 clauses out of 20031 with flag 3222001/3487679 471.69/256.92 c cleaning 10003 clauses out of 20027 with flag 3232000/3497678 472.94/257.69 c cleaning 9998 clauses out of 20025 with flag 3242001/3507679 474.40/258.43 c cleaning 9986 clauses out of 20026 with flag 3252000/3517678 475.76/259.22 c cleaning 10003 clauses out of 20040 with flag 3262000/3527678 477.01/259.92 c cleaning 9994 clauses out of 20038 with flag 3272001/3537679 478.49/260.76 c cleaning 9997 clauses out of 20044 with flag 3282001/3547679 479.90/261.56 c cleaning 10009 clauses out of 20046 with flag 3292000/3557678 481.47/262.46 c cleaning 10001 clauses out of 20037 with flag 3302000/3567678 482.72/263.17 c cleaning 10009 clauses out of 20037 with flag 3312001/3577679 483.97/263.86 c cleaning 9998 clauses out of 20027 with flag 3322000/3587678 485.22/264.57 c cleaning 9998 clauses out of 20029 with flag 3332000/3597678 486.59/265.37 c cleaning 10005 clauses out of 20032 with flag 3342001/3607679 487.83/266.06 c cleaning 9992 clauses out of 20026 with flag 3352000/3617678 489.08/266.71 c cleaning 10000 clauses out of 20034 with flag 3362000/3627678 490.32/267.40 c cleaning 10000 clauses out of 20034 with flag 3372000/3637678 491.69/268.24 c cleaning 10000 clauses out of 20035 with flag 3382001/3647679 492.94/268.94 c cleaning 10003 clauses out of 20034 with flag 3392000/3657678 494.19/269.63 c cleaning 10001 clauses out of 20031 with flag 3402000/3667678 495.63/270.49 c cleaning 10010 clauses out of 20030 with flag 3412000/3677678 497.00/271.26 c cleaning 9993 clauses out of 20020 with flag 3422000/3687678 498.44/272.05 c cleaning 10001 clauses out of 20028 with flag 3432001/3697679 499.93/272.83 c cleaning 9995 clauses out of 20026 with flag 3442000/3707678 501.33/273.60 c cleaning 10003 clauses out of 20032 with flag 3452001/3717679 502.50/274.36 c cleaning 9984 clauses out of 20028 with flag 3462000/3727678 503.78/275.09 c cleaning 10005 clauses out of 20045 with flag 3472001/3737679 505.18/275.87 c cleaning 9999 clauses out of 20040 with flag 3482001/3747679 506.62/276.64 c cleaning 10000 clauses out of 20040 with flag 3492000/3757678 507.98/277.46 c cleaning 10002 clauses out of 20040 with flag 3502000/3767678 509.23/278.16 c cleaning 9997 clauses out of 20038 with flag 3512000/3777678 510.47/278.89 c cleaning 10013 clauses out of 20041 with flag 3522000/3787678 511.91/279.62 c cleaning 10004 clauses out of 20028 with flag 3532000/3797678 513.29/280.49 c cleaning 10007 clauses out of 20025 with flag 3542001/3807679 514.72/281.25 c cleaning 9993 clauses out of 20018 with flag 3552001/3817679 515.96/281.98 c cleaning 10002 clauses out of 20024 with flag 3562000/3827678 517.44/282.75 c cleaning 10003 clauses out of 20026 with flag 3572004/3837682 518.76/283.59 c cleaning 9996 clauses out of 20019 with flag 3582000/3847678 520.20/284.35 c cleaning 10006 clauses out of 20023 with flag 3592000/3857678 521.45/285.09 c cleaning 9996 clauses out of 20019 with flag 3602002/3867680 522.69/285.77 c cleaning 9997 clauses out of 20022 with flag 3612001/3877679 524.06/286.55 c cleaning 9997 clauses out of 20026 with flag 3622002/3887680 525.30/287.24 c cleaning 9982 clauses out of 20027 with flag 3632000/3897678 526.73/288.04 c cleaning 9986 clauses out of 20045 with flag 3642000/3907678 528.18/288.85 c cleaning 10006 clauses out of 20059 with flag 3652000/3917678 529.75/289.72 c cleaning 10016 clauses out of 20054 with flag 3662001/3927679 531.03/290.45 c cleaning 10003 clauses out of 20037 with flag 3672000/3937678 532.43/291.24 c cleaning 10006 clauses out of 20034 with flag 3682000/3947678 533.67/291.98 c cleaning 9997 clauses out of 20028 with flag 3692000/3957678 535.03/292.76 c cleaning 9999 clauses out of 20031 with flag 3702000/3967678 536.26/293.46 c cleaning 9997 clauses out of 20033 with flag 3712001/3977679 537.50/294.16 c cleaning 9979 clauses out of 20035 with flag 3722000/3987678 539.14/295.00 c cleaning 10011 clauses out of 20056 with flag 3732000/3997678 540.52/295.86 c cleaning 10004 clauses out of 20046 with flag 3742001/4007679 541.94/296.69 c cleaning 9997 clauses out of 20041 with flag 3752000/4017678 543.58/297.51 c cleaning 9997 clauses out of 20044 with flag 3762000/4027678 545.01/298.34 c cleaning 10018 clauses out of 20047 with flag 3772001/4037679 546.39/299.14 c cleaning 9989 clauses out of 20028 with flag 3782000/4047678 547.81/299.93 c cleaning 10008 clauses out of 20040 with flag 3792001/4057679 549.44/300.82 c cleaning 9996 clauses out of 20031 with flag 3802000/4067678 550.88/301.67 c cleaning 9998 clauses out of 20035 with flag 3812000/4077678 552.26/302.44 c cleaning 10000 clauses out of 20037 with flag 3822000/4087678 553.67/303.21 c cleaning 10006 clauses out of 20037 with flag 3832000/4097678 554.91/303.95 c cleaning 10000 clauses out of 20032 with flag 3842001/4107679 556.17/304.67 c cleaning 10003 clauses out of 20031 with flag 3852000/4117678 557.51/305.45 c cleaning 9999 clauses out of 20028 with flag 3862000/4127678 558.75/306.17 c cleaning 9987 clauses out of 20029 with flag 3872000/4137678 560.00/306.87 c cleaning 9992 clauses out of 20042 with flag 3882000/4147678 561.22/307.56 c cleaning 9998 clauses out of 20050 with flag 3892000/4157678 562.78/308.44 c cleaning 10003 clauses out of 20052 with flag 3902000/4167678 564.22/309.27 c cleaning 10016 clauses out of 20049 with flag 3912000/4177678 565.65/310.02 c cleaning 10008 clauses out of 20034 with flag 3922001/4187679 566.90/310.78 c cleaning 10000 clauses out of 20025 with flag 3932000/4197678 568.25/311.58 c cleaning 9996 clauses out of 20025 with flag 3942000/4207678 569.71/312.38 c cleaning 10002 clauses out of 20029 with flag 3952000/4217678 571.12/313.17 c cleaning 9995 clauses out of 20027 with flag 3962000/4227678 572.56/313.99 c cleaning 10007 clauses out of 20031 with flag 3972000/4237678 574.12/314.81 c cleaning 9988 clauses out of 20024 with flag 3982000/4247678 574.55/315.17 c cleaning 0 clauses out of 11983 with flag 0/11984 575.40/315.68 c cleaning 9992 clauses out of 20036 with flag 3992000/4257678 576.62/316.40 c cleaning 10011 clauses out of 20045 with flag 4002001/4267679 577.98/317.18 c cleaning 10003 clauses out of 20033 with flag 4012000/4277678 579.23/317.90 c cleaning 10000 clauses out of 20031 with flag 4022001/4287679 580.44/318.59 c cleaning 9996 clauses out of 20030 with flag 4032000/4297678 581.67/319.29 c cleaning 9995 clauses out of 20034 with flag 4042000/4307678 583.28/320.13 c cleaning 9999 clauses out of 20039 with flag 4052000/4317678 584.67/320.99 c cleaning 9995 clauses out of 20041 with flag 4062001/4327679 586.10/321.79 c cleaning 10017 clauses out of 20045 with flag 4072000/4337678 587.53/322.53 c cleaning 9998 clauses out of 20028 with flag 4082000/4347678 588.90/323.33 c cleaning 9999 clauses out of 20030 with flag 4092000/4357678 590.32/324.14 c cleaning 9995 clauses out of 20031 with flag 4102000/4367678 591.56/324.86 c cleaning 10001 clauses out of 20036 with flag 4112000/4377678 592.82/325.58 c cleaning 9988 clauses out of 20035 with flag 4122000/4387678 594.15/326.36 c cleaning 10000 clauses out of 20049 with flag 4132002/4397680 595.39/327.06 c cleaning 9996 clauses out of 20049 with flag 4142002/4407680 597.02/327.90 c cleaning 9994 clauses out of 20051 with flag 4152000/4417678 598.46/328.78 c cleaning 9995 clauses out of 20057 with flag 4162000/4427678 600.01/329.69 c cleaning 10020 clauses out of 20062 with flag 4172000/4437678 601.44/330.46 c cleaning 10011 clauses out of 20042 with flag 4182000/4447678 602.72/331.17 c cleaning 10003 clauses out of 20033 with flag 4192002/4457680 604.10/331.99 c cleaning 9996 clauses out of 20028 with flag 4202000/4467678 605.45/332.76 c cleaning 9994 clauses out of 20032 with flag 4212000/4477678 606.88/333.50 c cleaning 10006 clauses out of 20040 with flag 4222002/4487680 608.11/334.20 c cleaning 9992 clauses out of 20032 with flag 4232000/4497678 609.34/334.99 c cleaning 10004 clauses out of 20040 with flag 4242000/4507678 611.08/335.95 c cleaning 9994 clauses out of 20036 with flag 4252000/4517678 612.51/336.73 c cleaning 10011 clauses out of 20041 with flag 4262000/4527678 613.74/337.49 c cleaning 10000 clauses out of 20030 with flag 4272000/4537678 614.97/338.19 c cleaning 10001 clauses out of 20030 with flag 4282000/4547678 616.32/338.96 c cleaning 9993 clauses out of 20029 with flag 4292000/4557678 617.74/339.76 c cleaning 9997 clauses out of 20036 with flag 4302000/4567678 618.97/340.49 c cleaning 10013 clauses out of 20039 with flag 4312000/4577678 620.39/341.28 c cleaning 9998 clauses out of 20026 with flag 4322000/4587678 621.77/342.09 c cleaning 10005 clauses out of 20030 with flag 4332002/4597680 623.17/342.81 c cleaning 10000 clauses out of 20024 with flag 4342001/4607679 624.40/343.54 c cleaning 9993 clauses out of 20023 with flag 4352000/4617678 625.65/344.28 c cleaning 9999 clauses out of 20030 with flag 4362000/4627678 627.17/345.11 c cleaning 9985 clauses out of 20031 with flag 4372000/4637678 628.40/345.81 c cleaning 9994 clauses out of 20047 with flag 4382001/4647679 629.82/346.64 c cleaning 10007 clauses out of 20052 with flag 4392000/4657678 631.25/347.42 c cleaning 10014 clauses out of 20045 with flag 4402000/4667678 632.59/348.22 c cleaning 10005 clauses out of 20034 with flag 4412003/4677681 633.82/348.95 c cleaning 9993 clauses out of 20027 with flag 4422001/4687679 635.04/349.70 c cleaning 9993 clauses out of 20033 with flag 4432000/4697678 636.67/350.54 c cleaning 9985 clauses out of 20040 with flag 4442000/4707678 638.21/351.41 c cleaning 10018 clauses out of 20058 with flag 4452003/4717681 639.63/352.21 c cleaning 10008 clauses out of 20037 with flag 4462000/4727678 640.86/352.94 c cleaning 10002 clauses out of 20030 with flag 4472001/4737679 642.09/353.68 c cleaning 9988 clauses out of 20027 with flag 4482000/4747678 643.44/354.48 c cleaning 9995 clauses out of 20039 with flag 4492000/4757678 644.66/355.17 c cleaning 10001 clauses out of 20044 with flag 4502000/4767678 645.88/355.83 c cleaning 9991 clauses out of 20043 with flag 4512000/4777678 647.11/356.52 c cleaning 10000 clauses out of 20053 with flag 4522001/4787679 648.45/357.41 c cleaning 10019 clauses out of 20054 with flag 4532002/4797680 649.87/358.16 c cleaning 10002 clauses out of 20033 with flag 4542000/4807678 651.09/358.87 c cleaning 9990 clauses out of 20031 with flag 4552000/4817678 652.32/359.59 c cleaning 10003 clauses out of 20045 with flag 4562004/4827682 653.84/360.48 c cleaning 10011 clauses out of 20041 with flag 4572003/4837681 655.06/361.18 c cleaning 9999 clauses out of 20027 with flag 4582000/4847678 656.53/361.94 c cleaning 10002 clauses out of 20028 with flag 4592000/4857678 657.72/362.65 c cleaning 9986 clauses out of 20026 with flag 4602000/4867678 659.07/363.43 c cleaning 9993 clauses out of 20040 with flag 4612000/4877678 660.69/364.34 c cleaning 10011 clauses out of 20046 with flag 4622000/4887678 661.91/365.08 c cleaning 10004 clauses out of 20035 with flag 4632000/4897678 663.13/365.78 c cleaning 9997 clauses out of 20032 with flag 4642001/4907679 664.68/366.60 c cleaning 10005 clauses out of 20036 with flag 4652002/4917680 665.70/367.28 c cleaning 10000 clauses out of 20029 with flag 4662000/4927678 666.93/367.99 c cleaning 10001 clauses out of 20029 with flag 4672000/4937678 668.35/368.71 c cleaning 9989 clauses out of 20029 with flag 4682001/4947679 669.50/369.52 c cleaning 9995 clauses out of 20039 with flag 4692000/4957678 671.13/370.31 c cleaning 10001 clauses out of 20044 with flag 4702000/4967678 672.36/371.07 c cleaning 9978 clauses out of 20043 with flag 4712000/4977678 673.82/371.83 c cleaning 10023 clauses out of 20066 with flag 4722001/4987679 674.92/372.59 c cleaning 10000 clauses out of 20042 with flag 4732000/4997678 676.35/373.32 c cleaning 10008 clauses out of 20042 with flag 4742000/5007678 677.62/374.06 c cleaning 9990 clauses out of 20034 with flag 4752000/5017678 678.79/374.77 c cleaning 9997 clauses out of 20044 with flag 4762000/5027678 680.33/375.60 c cleaning 10004 clauses out of 20048 with flag 4772001/5037679 681.40/376.25 c cleaning 9996 clauses out of 20043 with flag 4782000/5047678 682.58/376.95 c cleaning 10003 clauses out of 20048 with flag 4792001/5057679 683.80/377.67 c cleaning 9999 clauses out of 20046 with flag 4802002/5067680 685.33/378.53 c cleaning 10004 clauses out of 20046 with flag 4812001/5077679 686.75/379.38 c cleaning 10016 clauses out of 20041 with flag 4822000/5087678 687.97/380.08 c cleaning 9989 clauses out of 20025 with flag 4832000/5097678 689.40/380.80 c cleaning 9986 clauses out of 20036 with flag 4842000/5107678 690.76/381.64 c cleaning 10009 clauses out of 20051 with flag 4852001/5117679 691.96/382.35 c cleaning 10010 clauses out of 20041 with flag 4862000/5127678 693.19/383.05 c cleaning 9999 clauses out of 20031 with flag 4872000/5137678 694.41/383.75 c cleaning 9999 clauses out of 20032 with flag 4882000/5147678 695.75/384.56 c cleaning 9995 clauses out of 20035 with flag 4892002/5157680 696.97/385.24 c cleaning 9999 clauses out of 20038 with flag 4902000/5167678 698.19/386.01 c cleaning 10002 clauses out of 20040 with flag 4912001/5177679 699.61/386.79 c cleaning 10006 clauses out of 20037 with flag 4922000/5187678 700.94/387.57 c cleaning 9988 clauses out of 20032 with flag 4932001/5197679 702.19/388.29 c cleaning 10005 clauses out of 20043 with flag 4942000/5207678 703.59/389.05 c cleaning 9995 clauses out of 20038 with flag 4952000/5217678 705.20/389.90 c cleaning 10008 clauses out of 20043 with flag 4962000/5227678 706.54/390.71 c cleaning 10006 clauses out of 20036 with flag 4972001/5237679 707.76/391.43 c cleaning 9987 clauses out of 20030 with flag 4982001/5247679 708.98/392.17 c cleaning 10006 clauses out of 20042 with flag 4992000/5257678 710.20/392.87 c cleaning 9993 clauses out of 20036 with flag 5002000/5267678 711.53/393.70 c cleaning 10002 clauses out of 20043 with flag 5012000/5277678 712.95/394.43 c cleaning 9997 clauses out of 20041 with flag 5022000/5287678 714.17/395.17 c cleaning 9993 clauses out of 20044 with flag 5032000/5297678 715.38/395.89 c cleaning 10007 clauses out of 20052 with flag 5042001/5307679 716.71/396.70 c cleaning 9995 clauses out of 20044 with flag 5052000/5317678 718.33/397.50 c cleaning 10003 clauses out of 20049 with flag 5062000/5327678 719.59/398.24 c cleaning 10003 clauses out of 20050 with flag 5072004/5337682 720.96/399.01 c cleaning 10004 clauses out of 20045 with flag 5082002/5347680 722.29/399.89 c cleaning 10008 clauses out of 20043 with flag 5092004/5357682 723.71/400.67 c cleaning 10000 clauses out of 20032 with flag 5102001/5367679 724.92/401.40 c cleaning 9988 clauses out of 20035 with flag 5112004/5377682 726.54/402.22 c cleaning 10019 clauses out of 20043 with flag 5122000/5387678 727.67/402.99 c cleaning 10002 clauses out of 20025 with flag 5132001/5397679 729.13/403.75 c cleaning 9999 clauses out of 20022 with flag 5142000/5407678 730.51/404.53 c cleaning 9991 clauses out of 20023 with flag 5152000/5417678 731.92/405.36 c cleaning 10003 clauses out of 20032 with flag 5162000/5427678 733.26/406.19 c cleaning 10000 clauses out of 20030 with flag 5172001/5437679 734.70/406.93 c cleaning 10003 clauses out of 20031 with flag 5182002/5447680 735.89/407.66 c cleaning 10007 clauses out of 20026 with flag 5192000/5457678 737.30/408.41 c cleaning 9996 clauses out of 20019 with flag 5202000/5467678 738.67/409.27 c cleaning 9996 clauses out of 20024 with flag 5212001/5477679 740.04/410.02 c cleaning 9998 clauses out of 20028 with flag 5222001/5487679 741.25/410.75 c cleaning 9986 clauses out of 20030 with flag 5232001/5497679 742.86/411.60 c cleaning 10014 clauses out of 20042 with flag 5242000/5507678 744.19/412.44 c cleaning 9992 clauses out of 20029 with flag 5252001/5517679 745.38/413.14 c cleaning 9994 clauses out of 20036 with flag 5262000/5527678 746.59/413.88 c cleaning 9998 clauses out of 20042 with flag 5272000/5537678 748.25/414.72 c cleaning 10012 clauses out of 20044 with flag 5282000/5547678 749.54/415.55 c cleaning 10001 clauses out of 20032 with flag 5292000/5557678 750.76/416.25 c cleaning 9999 clauses out of 20031 with flag 5302000/5567678 752.01/416.94 c cleaning 9996 clauses out of 20033 with flag 5312001/5577679 753.18/417.64 c cleaning 10000 clauses out of 20036 with flag 5322000/5587678 754.50/418.41 c cleaning 9990 clauses out of 20037 with flag 5332001/5597679 755.91/419.22 c cleaning 10008 clauses out of 20046 with flag 5342000/5607678 757.32/420.01 c cleaning 10010 clauses out of 20038 with flag 5352001/5617679 758.53/420.72 c cleaning 10003 clauses out of 20027 with flag 5362000/5627678 759.86/421.57 c cleaning 9994 clauses out of 20024 with flag 5372000/5637678 761.07/422.30 c cleaning 9994 clauses out of 20030 with flag 5382000/5647678 762.48/423.03 c cleaning 9991 clauses out of 20036 with flag 5392000/5657678 763.70/423.79 c cleaning 9994 clauses out of 20045 with flag 5402000/5667678 765.26/424.69 c cleaning 10012 clauses out of 20051 with flag 5412000/5677678 766.63/425.46 c cleaning 10003 clauses out of 20039 with flag 5422000/5687678 768.03/426.27 c cleaning 9997 clauses out of 20036 with flag 5432000/5697678 769.44/427.06 c cleaning 10008 clauses out of 20038 with flag 5442000/5707678 771.01/427.92 c cleaning 10003 clauses out of 20030 with flag 5452000/5717678 772.18/428.68 c cleaning 9990 clauses out of 20027 with flag 5462000/5727678 773.79/429.53 c cleaning 10005 clauses out of 20038 with flag 5472001/5737679 775.00/430.28 c cleaning 10002 clauses out of 20032 with flag 5482000/5747678 776.53/431.14 c cleaning 10001 clauses out of 20030 with flag 5492000/5757678 777.72/431.88 c cleaning 9983 clauses out of 20030 with flag 5502001/5767679 779.33/432.70 c cleaning 10013 clauses out of 20046 with flag 5512000/5777678 780.58/433.49 c cleaning 9994 clauses out of 20033 with flag 5522000/5787678 782.06/434.31 c cleaning 10002 clauses out of 20039 with flag 5532000/5797678 783.26/435.07 c cleaning 10012 clauses out of 20039 with flag 5542002/5807680 784.47/435.79 c cleaning 9989 clauses out of 20027 with flag 5552002/5817680 785.88/436.50 c cleaning 10000 clauses out of 20039 with flag 5562003/5827681 787.00/437.29 c cleaning 9998 clauses out of 20036 with flag 5572000/5837678 788.61/438.16 c cleaning 10009 clauses out of 20039 with flag 5582001/5847679 790.06/438.97 c cleaning 10008 clauses out of 20028 with flag 5592000/5857678 791.23/439.69 c cleaning 9992 clauses out of 20020 with flag 5602000/5867678 792.75/440.51 c cleaning 9999 clauses out of 20028 with flag 5612000/5877678 793.95/441.25 c cleaning 9995 clauses out of 20029 with flag 5622000/5887678 795.36/442.04 c cleaning 9997 clauses out of 20034 with flag 5632000/5897678 796.77/442.85 c cleaning 10012 clauses out of 20040 with flag 5642003/5907681 798.08/443.68 c cleaning 9991 clauses out of 20026 with flag 5652001/5917679 799.53/444.42 c cleaning 9999 clauses out of 20035 with flag 5662001/5927679 800.69/445.16 c cleaning 9987 clauses out of 20035 with flag 5672000/5937678 802.10/445.97 c cleaning 10012 clauses out of 20048 with flag 5682000/5947678 803.62/446.80 c cleaning 10000 clauses out of 20038 with flag 5692002/5957680 805.05/447.63 c cleaning 10005 clauses out of 20037 with flag 5702001/5967679 806.24/448.39 c cleaning 9992 clauses out of 20031 with flag 5712000/5977678 807.65/449.18 c cleaning 9998 clauses out of 20039 with flag 5722000/5987678 809.16/450.01 c cleaning 9996 clauses out of 20041 with flag 5732000/5997678 810.56/450.83 c cleaning 10011 clauses out of 20045 with flag 5742000/6007678 811.77/451.58 c cleaning 9994 clauses out of 20034 with flag 5752000/6017678 813.38/452.40 c cleaning 9998 clauses out of 20040 with flag 5762000/6027678 814.73/453.28 c cleaning 9999 clauses out of 20041 with flag 5772000/6037678 816.09/454.04 c cleaning 10009 clauses out of 20042 with flag 5782000/6047678 817.49/454.86 c cleaning 10000 clauses out of 20033 with flag 5792000/6057678 818.90/455.61 c cleaning 9998 clauses out of 20033 with flag 5802000/6067678 820.23/456.45 c cleaning 10007 clauses out of 20035 with flag 5812000/6077678 821.62/457.22 c cleaning 9996 clauses out of 20029 with flag 5822001/6087679 822.84/457.99 c cleaning 9997 clauses out of 20033 with flag 5832001/6097679 824.28/458.75 c cleaning 10000 clauses out of 20035 with flag 5842000/6107678 825.75/459.62 c cleaning 9991 clauses out of 20035 with flag 5852000/6117678 826.95/460.39 c cleaning 10000 clauses out of 20044 with flag 5862000/6127678 828.36/461.19 c cleaning 10004 clauses out of 20046 with flag 5872002/6137680 829.56/461.89 c And the winner is Resolution 830.76/462.94 c starts : 312 830.76/462.94 c conflicts : 6144196 830.76/462.94 c decisions : 7372043 830.76/462.94 c propagations : 174079414 830.76/462.94 c inspects : 2912659341 830.76/462.94 c shortcuts : 0 830.76/462.94 c learnt literals : 22 830.76/462.94 c learnt binary clauses : 284 830.76/462.94 c learnt ternary clauses : 176154 830.76/462.94 c learnt constraints : 6144173 830.76/462.94 c ignored constraints : 0 830.76/462.94 c root simplifications : 0 830.76/462.94 c removed literals (reason simplification) : 224007571 830.76/462.94 c reason swapping (by a shorter reason) : 0 830.76/462.94 c Calls to reduceDB : 617 830.76/462.94 c number of reductions to clauses (during analyze) : 0 830.76/462.94 c number of learned constraints concerned by reduction : 0 830.76/462.94 c number of learning phase by resolution : 0 830.76/462.94 c number of learning phase by cutting planes : 0 830.76/462.95 c speed (assignments/second) : 394291.7515101959 830.76/462.95 c non guided choices 0 830.76/462.95 c learnt constraints type 830.76/462.95 c constraints type 830.76/462.95 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1476 830.76/462.95 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 830.76/462.95 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 830.76/462.95 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1476 830.76/462.95 c constraints type 830.76/462.95 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 50 830.76/462.95 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1476 830.76/462.95 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102 830.76/462.95 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1476 830.76/462.95 s OPTIMUM FOUND 830.76/462.95 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 830.76/462.95 c objective function=-7 830.76/462.95 c Total wall clock time (in seconds): 462.834
OK -7
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454027-1307195375/watcher-3454027-1307195375 -o /tmp/evaluation-result-3454027-1307195375/solver-3454027-1307195375 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454027-1307195375.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.50 3.85 3.79 2/569 4219 /proc/meminfo: memFree=31723972/32950928 swapFree=43925852/67111528 [pid=4219] ppid=4217 vsize=35820 CPUtime=0 cores=1,3,5,7 /proc/4219/stat : 4219 (java) S 4217 4219 32216 0 -1 4202496 1363 0 1 0 0 0 0 0 22 0 2 0 831136271 36679680 1065 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/4219/statm: 8955 1065 828 9 0 386 0 [pid=4219/tid=4220] ppid=4217 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4220/stat : 4220 (java) R 4217 4219 32216 0 -1 4202560 6887 0 1 0 0 0 0 0 23 0 2 0 831136272 10694979584 7703 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0284831 s] /proc/loadavg: 3.50 3.85 3.79 2/569 4219 /proc/meminfo: memFree=31723972/32950928 swapFree=43925852/67111528 [pid=4219] ppid=4217 vsize=10520404 CPUtime=0.02 cores=1,3,5,7 /proc/4219/stat : 4219 (java) S 4217 4219 32216 0 -1 4202496 10434 0 1 0 1 1 0 0 22 0 10 0 831136271 10772893696 10132 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/4219/statm: 2630101 10132 1331 9 0 2620849 0 [pid=4219/tid=4220] ppid=4217 vsize=10520404 CPUtime=0.01 cores=1,3,5,7 /proc/4219/task/4220/stat : 4220 (java) R 4217 4219 32216 0 -1 4202560 9310 0 1 0 0 1 0 0 25 0 10 0 831136272 10772893696 10132 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 46912504009824 0 4 0 16784584 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10520404 [startup+0.100458 s] /proc/loadavg: 3.50 3.85 3.79 2/569 4219 /proc/meminfo: memFree=31723972/32950928 swapFree=43925852/67111528 [pid=4219] ppid=4217 vsize=10540224 CPUtime=0.11 cores=1,3,5,7 /proc/4219/stat : 4219 (java) S 4217 4219 32216 0 -1 4202496 13038 0 1 0 9 2 0 0 22 0 18 0 831136271 10793189376 12700 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4219/statm: 2635056 12701 2092 9 0 2625790 0 [pid=4219/tid=4220] ppid=4217 vsize=10540224 CPUtime=0.08 cores=1,3,5,7 /proc/4219/task/4220/stat : 4220 (java) R 4217 4219 32216 0 -1 4202560 11107 0 1 0 7 1 0 0 25 0 18 0 831136272 10793189376 12701 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 47667559889747 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10540224 [startup+0.300423 s] /proc/loadavg: 3.50 3.85 3.79 2/569 4219 /proc/meminfo: memFree=31723972/32950928 swapFree=43925852/67111528 [pid=4219] ppid=4217 vsize=10544712 CPUtime=0.47 cores=1,3,5,7 /proc/4219/stat : 4219 (java) S 4217 4219 32216 0 -1 4202496 16376 0 1 0 45 2 0 0 22 0 18 0 831136271 10797785088 15740 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4219/statm: 2636178 15741 2212 9 0 2626912 0 [pid=4219/tid=4220] ppid=4217 vsize=10544712 CPUtime=0.29 cores=1,3,5,7 /proc/4219/task/4220/stat : 4220 (java) R 4217 4219 32216 0 -1 4202560 12899 0 1 0 27 2 0 0 25 0 18 0 831136272 10797785088 15741 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 47667559889747 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 10544712 [startup+0.70045 s] /proc/loadavg: 3.50 3.85 3.79 2/569 4219 /proc/meminfo: memFree=31723972/32950928 swapFree=43925852/67111528 [pid=4219] ppid=4217 vsize=10548824 CPUtime=1.37 cores=1,3,5,7 /proc/4219/stat : 4219 (java) S 4217 4219 32216 0 -1 4202496 24396 0 1 0 134 3 0 0 22 0 19 0 831136271 10801995776 20727 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4219/statm: 2637206 20727 2236 9 0 2627940 0 [pid=4219/tid=4220] ppid=4217 vsize=10548824 CPUtime=0.31 cores=1,3,5,7 /proc/4219/task/4220/stat : 4220 (java) S 4217 4219 32216 0 -1 4202560 13505 0 1 0 29 2 0 0 25 0 19 0 831136272 10801995776 20727 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 10548824 [startup+1.50121 s] /proc/loadavg: 3.50 3.85 3.79 6/611 4267 /proc/meminfo: memFree=31342460/32950928 swapFree=43925852/67111528 [pid=4219] ppid=4217 vsize=10550976 CPUtime=2.88 cores=1,3,5,7 /proc/4219/stat : 4219 (java) S 4217 4219 32216 0 -1 4202496 46267 0 1 0 281 7 0 0 22 0 22 0 831136271 10804199424 37337 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4219/statm: 2637744 37342 2241 9 0 2628478 0 [pid=4219/tid=4220] ppid=4217 vsize=10550976 CPUtime=0.32 cores=1,3,5,7 /proc/4219/task/4220/stat : 4220 (java) S 4217 4219 32216 0 -1 4202560 13527 0 1 0 30 2 0 0 17 0 22 0 831136272 10804199424 37344 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4222] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4222/stat : 4222 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831136274 10804199424 37346 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4223] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4223/stat : 4223 (java) S 4217 4219 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831136274 10804199424 37349 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4224] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4224/stat : 4224 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136274 10804199424 37351 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4225] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4225/stat : 4225 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136274 10804199424 37353 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4226] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4226/stat : 4226 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136274 10804199424 37355 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4227] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4227/stat : 4227 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136274 10804199424 37357 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4228] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4228/stat : 4228 (java) S 4217 4219 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831136274 10804199424 37359 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4229] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4229/stat : 4229 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136274 10804199424 37360 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4230] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4230/stat : 4230 (java) S 4217 4219 32216 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 831136275 10804199424 37362 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 0 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4231] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4231/stat : 4231 (java) S 4217 4219 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831136275 10804199424 37362 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4232] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4232/stat : 4232 (java) S 4217 4219 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831136275 10804199424 37363 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4233] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4233/stat : 4233 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136278 10804199424 37363 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284512689 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4234] ppid=4217 vsize=10550976 CPUtime=0.7 cores=1,3,5,7 /proc/4219/task/4234/stat : 4234 (java) S 4217 4219 32216 0 -1 4202560 10357 0 0 0 69 1 0 0 24 0 22 0 831136278 10804199424 37364 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4235] ppid=4217 vsize=10550976 CPUtime=0.7 cores=1,3,5,7 /proc/4219/task/4235/stat : 4235 (java) S 4217 4219 32216 0 -1 4202560 3907 0 0 0 69 1 0 0 25 0 22 0 831136278 10804199424 37364 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 [pid=4219/tid=4236] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4236/stat : 4236 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136278 10804199424 37365 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4237] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4237/stat : 4237 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831136278 10804199424 37365 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4267] ppid=4217 vsize=10550976 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4267/stat : 4267 (java) S 4217 4219 32216 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 831136357 10804199424 37366 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.88 Current children cumulated vsize (KiB) 10550976 [startup+3.10099 s] /proc/loadavg: 3.50 3.85 3.79 4/612 4274 /proc/meminfo: memFree=30152300/32950928 swapFree=43925852/67111528 [pid=4219] ppid=4217 vsize=10550576 CPUtime=5.55 cores=1,3,5,7 /proc/4219/stat : 4219 (java) S 4217 4219 32216 0 -1 4202496 133093 0 1 0 539 16 0 0 22 0 22 0 831136271 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4219/statm: 2637644 122200 2268 9 0 2628378 0 [pid=4219/tid=4220] ppid=4217 vsize=10550576 CPUtime=0.32 cores=1,3,5,7 /proc/4219/task/4220/stat : 4220 (java) S 4217 4219 32216 0 -1 4202560 13527 0 1 0 30 2 0 0 15 0 22 0 831136272 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4222] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4222/stat : 4222 (java) S 4217 4219 32216 0 -1 4202560 494 0 0 0 0 0 0 0 15 0 22 0 831136274 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 [pid=4219/tid=4223] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4223/stat : 4223 (java) S 4217 4219 32216 0 -1 4202560 311 0 0 0 0 0 0 0 15 0 22 0 831136274 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 [pid=4219/tid=4224] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4224/stat : 4224 (java) S 4217 4219 32216 0 -1 4202560 185 0 0 0 0 0 0 0 16 0 22 0 831136274 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 [pid=4219/tid=4225] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4225/stat : 4225 (java) S 4217 4219 32216 0 -1 4202560 220 0 0 0 0 0 0 0 15 0 22 0 831136274 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4226] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4226/stat : 4226 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831136274 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4227] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4227/stat : 4227 (java) S 4217 4219 32216 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831136274 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4228] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4228/stat : 4228 (java) S 4217 4219 32216 0 -1 4202560 180 0 0 0 0 0 0 0 16 0 22 0 831136274 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4229] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4229/stat : 4229 (java) S 4217 4219 32216 0 -1 4202560 421 0 0 0 0 0 0 0 15 0 22 0 831136274 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4230] ppid=4217 vsize=10550576 CPUtime=0.06 cores=1,3,5,7 /proc/4219/task/4230/stat : 4230 (java) R 4217 4219 32216 0 -1 4202560 1675 0 0 0 6 0 0 0 15 0 22 0 831136275 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 47667556286624 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=4219/tid=4231] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4231/stat : 4231 (java) S 4217 4219 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831136275 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4232] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4232/stat : 4232 (java) S 4217 4219 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831136275 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4233] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4233/stat : 4233 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136278 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284512689 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4234] ppid=4217 vsize=10550576 CPUtime=0.88 cores=1,3,5,7 /proc/4219/task/4234/stat : 4234 (java) S 4217 4219 32216 0 -1 4202560 11415 0 0 0 87 1 0 0 15 0 22 0 831136278 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4235] ppid=4217 vsize=10550576 CPUtime=0.91 cores=1,3,5,7 /proc/4219/task/4235/stat : 4235 (java) S 4217 4219 32216 0 -1 4202560 4814 0 0 0 90 1 0 0 15 0 22 0 831136278 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4236] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4236/stat : 4236 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136278 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4237] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4237/stat : 4237 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831136278 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4267] ppid=4217 vsize=10550576 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4267/stat : 4267 (java) S 4217 4219 32216 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 831136357 10803789824 122200 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.55 Current children cumulated vsize (KiB) 10550576 [startup+6.30136 s] /proc/loadavg: 3.54 3.85 3.79 5/615 4280 /proc/meminfo: memFree=29268424/32950928 swapFree=43925852/67111528 [pid=4219] ppid=4217 vsize=10551880 CPUtime=11.93 cores=1,3,5,7 /proc/4219/stat : 4219 (java) S 4217 4219 32216 0 -1 4202496 143499 0 1 0 1175 18 0 0 22 0 22 0 831136271 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4219/statm: 2637970 132060 2268 9 0 2628704 0 [pid=4219/tid=4220] ppid=4217 vsize=10551880 CPUtime=0.32 cores=1,3,5,7 /proc/4219/task/4220/stat : 4220 (java) S 4217 4219 32216 0 -1 4202560 13527 0 1 0 30 2 0 0 15 0 22 0 831136272 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4222] ppid=4217 vsize=10551880 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4222/stat : 4222 (java) S 4217 4219 32216 0 -1 4202560 549 0 0 0 0 0 0 0 15 0 22 0 831136274 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 [pid=4219/tid=4223] ppid=4217 vsize=10551880 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4223/stat : 4223 (java) S 4217 4219 32216 0 -1 4202560 311 0 0 0 0 0 0 0 15 0 22 0 831136274 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4224] ppid=4217 vsize=10551880 CPUtime=0.01 cores=1,3,5,7 /proc/4219/task/4224/stat : 4224 (java) S 4217 4219 32216 0 -1 4202560 251 0 0 0 1 0 0 0 16 0 22 0 831136274 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4225] ppid=4217 vsize=10551880 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4225/stat : 4225 (java) S 4217 4219 32216 0 -1 4202560 305 0 0 0 0 0 0 0 15 0 22 0 831136274 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 [pid=4219/tid=4226] ppid=4217 vsize=10551880 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4226/stat : 4226 (java) S 4217 4219 32216 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831136274 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4227] ppid=4217 vsize=10551880 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4227/stat : 4227 (java) S 4217 4219 32216 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831136274 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4228] ppid=4217 vsize=10551880 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4228/stat : 4228 (java) S 4217 4219 32216 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 22 0 831136274 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4229] ppid=4217 vsize=10551880 CPUtime=0.01 cores=1,3,5,7 /proc/4219/task/4229/stat : 4229 (java) S 4217 4219 32216 0 -1 4202560 424 0 0 0 1 0 0 0 15 0 22 0 831136274 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4230] ppid=4217 vsize=10551880 CPUtime=0.21 cores=1,3,5,7 /proc/4219/task/4230/stat : 4230 (java) S 4217 4219 32216 0 -1 4202560 3750 0 0 0 21 0 0 0 15 0 22 0 831136275 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 0 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4231] ppid=4217 vsize=10551880 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4231/stat : 4231 (java) S 4217 4219 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831136275 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4232] ppid=4217 vsize=10551880 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4232/stat : 4232 (java) S 4217 4219 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831136275 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4233] ppid=4217 vsize=10551880 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4233/stat : 4233 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136278 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284512689 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4234] ppid=4217 vsize=10551880 CPUtime=0.96 cores=1,3,5,7 /proc/4219/task/4234/stat : 4234 (java) S 4217 4219 32216 0 -1 4202560 11768 0 0 0 95 1 0 0 15 0 22 0 831136278 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4235] ppid=4217 vsize=10551880 CPUtime=0.97 cores=1,3,5,7 /proc/4219/task/4235/stat : 4235 (java) S 4217 4219 32216 0 -1 4202560 5066 0 0 0 96 1 0 0 15 0 22 0 831136278 10805125120 132060 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/4219/task/4226/stat : 4226 (java) S 4217 4219 32216 0 -1 4202560 189 0 0 0 118 1 0 0 15 0 22 0 831136274 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4227] ppid=4217 vsize=10617416 CPUtime=1.11 cores=1,3,5,7 /proc/4219/task/4227/stat : 4227 (java) S 4217 4219 32216 0 -1 4202560 171 0 0 0 111 0 0 0 15 0 22 0 831136274 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4228] ppid=4217 vsize=10617416 CPUtime=1.17 cores=1,3,5,7 /proc/4219/task/4228/stat : 4228 (java) S 4217 4219 32216 0 -1 4202560 368 0 0 0 117 0 0 0 15 0 22 0 831136274 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4229] ppid=4217 vsize=10617416 CPUtime=1.08 cores=1,3,5,7 /proc/4219/task/4229/stat : 4229 (java) S 4217 4219 32216 0 -1 4202560 582 0 0 0 108 0 0 0 16 0 22 0 831136274 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4230] ppid=4217 vsize=10617416 CPUtime=81.17 cores=1,3,5,7 /proc/4219/task/4230/stat : 4230 (java) R 4217 4219 32216 0 -1 4202560 25598 0 0 0 8111 6 0 0 15 0 22 0 831136275 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 47667558251663 0 0 0 16800975 0 0 0 -1 5 0 0 0 [pid=4219/tid=4231] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4231/stat : 4231 (java) S 4217 4219 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831136275 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4232] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4232/stat : 4232 (java) S 4217 4219 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831136275 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4233] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4233/stat : 4233 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136278 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284512689 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4234] ppid=4217 vsize=10617416 CPUtime=2.21 cores=1,3,5,7 /proc/4219/task/4234/stat : 4234 (java) S 4217 4219 32216 0 -1 4202560 19670 0 0 0 218 3 0 0 15 0 22 0 831136278 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4235] ppid=4217 vsize=10617416 CPUtime=1.08 cores=1,3,5,7 /proc/4219/task/4235/stat : 4235 (java) S 4217 4219 32216 0 -1 4202560 5081 0 0 0 107 1 0 0 15 0 22 0 831136278 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4236] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4236/stat : 4236 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136278 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4237] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4237/stat : 4237 (java) S 4217 4219 32216 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 831136278 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4277] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4277/stat : 4277 (java) S 4217 4219 32216 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831136506 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 [pid=4219/tid=4302] ppid=4217 vsize=10617416 CPUtime=298.03 cores=1,3,5,7 /proc/4219/task/4302/stat : 4302 (java) S 4217 4219 32216 0 -1 4202560 321 0 0 0 29802 1 0 0 16 0 22 0 831138417 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4303] ppid=4217 vsize=10617416 CPUtime=298.04 cores=1,3,5,7 /proc/4219/task/4303/stat : 4303 (java) S 4217 4219 32216 0 -1 4202560 58 0 0 0 29803 1 0 0 16 0 22 0 831138417 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4304] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4304/stat : 4304 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831138417 10872233984 157155 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 726.68 Current children cumulated vsize (KiB) 10617416 [startup+462.301 s] /proc/loadavg: 4.04 3.95 3.84 4/613 4334 /proc/meminfo: memFree=27658592/32950928 swapFree=43925852/67111528 [pid=4219] ppid=4217 vsize=10617416 CPUtime=830.16 cores=1,3,5,7 /proc/4219/stat : 4219 (java) S 4217 4219 32216 0 -1 4202496 177642 0 1 0 82979 37 0 0 22 0 19 0 831136271 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4219/statm: 2654354 158400 2271 9 0 2645088 0 [pid=4219/tid=4220] ppid=4217 vsize=10617416 CPUtime=0.61 cores=1,3,5,7 /proc/4219/task/4220/stat : 4220 (java) R 4217 4219 32216 0 -1 4202560 13709 0 1 0 59 2 0 0 16 0 19 0 831136272 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 46912505366582 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4219/tid=4222] ppid=4217 vsize=10617416 CPUtime=1.35 cores=1,3,5,7 /proc/4219/task/4222/stat : 4222 (java) S 4217 4219 32216 0 -1 4202560 764 0 0 0 134 1 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4223] ppid=4217 vsize=10617416 CPUtime=1.46 cores=1,3,5,7 /proc/4219/task/4223/stat : 4223 (java) S 4217 4219 32216 0 -1 4202560 526 0 0 0 145 1 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4224] ppid=4217 vsize=10617416 CPUtime=1.3 cores=1,3,5,7 /proc/4219/task/4224/stat : 4224 (java) S 4217 4219 32216 0 -1 4202560 477 0 0 0 130 0 0 0 15 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4225] ppid=4217 vsize=10617416 CPUtime=1.36 cores=1,3,5,7 /proc/4219/task/4225/stat : 4225 (java) S 4217 4219 32216 0 -1 4202560 494 0 0 0 136 0 0 0 15 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4226] ppid=4217 vsize=10617416 CPUtime=1.41 cores=1,3,5,7 /proc/4219/task/4226/stat : 4226 (java) S 4217 4219 32216 0 -1 4202560 225 0 0 0 140 1 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4227] ppid=4217 vsize=10617416 CPUtime=1.31 cores=1,3,5,7 /proc/4219/task/4227/stat : 4227 (java) S 4217 4219 32216 0 -1 4202560 202 0 0 0 131 0 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4228] ppid=4217 vsize=10617416 CPUtime=1.36 cores=1,3,5,7 /proc/4219/task/4228/stat : 4228 (java) S 4217 4219 32216 0 -1 4202560 395 0 0 0 136 0 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4229] ppid=4217 vsize=10617416 CPUtime=1.32 cores=1,3,5,7 /proc/4219/task/4229/stat : 4229 (java) S 4217 4219 32216 0 -1 4202560 616 0 0 0 132 0 0 0 15 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4230] ppid=4217 vsize=10617416 CPUtime=97.93 cores=1,3,5,7 /proc/4219/task/4230/stat : 4230 (java) S 4217 4219 32216 0 -1 4202560 27700 0 0 0 9786 7 0 0 16 0 19 0 831136275 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 0 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 [pid=4219/tid=4231] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4231/stat : 4231 (java) S 4217 4219 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831136275 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4232] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4232/stat : 4232 (java) S 4217 4219 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831136275 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4233] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4233/stat : 4233 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284512689 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4234] ppid=4217 vsize=10617416 CPUtime=2.21 cores=1,3,5,7 /proc/4219/task/4234/stat : 4234 (java) S 4217 4219 32216 0 -1 4202560 19671 0 0 0 218 3 0 0 15 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4235] ppid=4217 vsize=10617416 CPUtime=1.09 cores=1,3,5,7 /proc/4219/task/4235/stat : 4235 (java) R 4217 4219 32216 0 -1 4202560 5081 0 0 0 108 1 0 0 15 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 47667556009303 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4219/tid=4236] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4236/stat : 4236 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4237] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4237/stat : 4237 (java) S 4217 4219 32216 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4277] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4277/stat : 4277 (java) S 4217 4219 32216 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 831136506 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 830.16 Current children cumulated vsize (KiB) 10617416 Solver just ended. Dumping a history of the last processes samples [startup+462.701 s] /proc/loadavg: 4.04 3.95 3.84 4/613 4334 /proc/meminfo: memFree=27658592/32950928 swapFree=43925852/67111528 [pid=4219] ppid=4217 vsize=10617416 CPUtime=830.56 cores=1,3,5,7 /proc/4219/stat : 4219 (java) S 4217 4219 32216 0 -1 4202496 177642 0 1 0 83019 37 0 0 22 0 19 0 831136271 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4219/statm: 2654354 158400 2271 9 0 2645088 0 [pid=4219/tid=4220] ppid=4217 vsize=10617416 CPUtime=1.01 cores=1,3,5,7 /proc/4219/task/4220/stat : 4220 (java) R 4217 4219 32216 0 -1 4202560 13709 0 1 0 99 2 0 0 16 0 19 0 831136272 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 46912506161777 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4219/tid=4222] ppid=4217 vsize=10617416 CPUtime=1.35 cores=1,3,5,7 /proc/4219/task/4222/stat : 4222 (java) S 4217 4219 32216 0 -1 4202560 764 0 0 0 134 1 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4223] ppid=4217 vsize=10617416 CPUtime=1.46 cores=1,3,5,7 /proc/4219/task/4223/stat : 4223 (java) S 4217 4219 32216 0 -1 4202560 526 0 0 0 145 1 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4224] ppid=4217 vsize=10617416 CPUtime=1.3 cores=1,3,5,7 /proc/4219/task/4224/stat : 4224 (java) S 4217 4219 32216 0 -1 4202560 477 0 0 0 130 0 0 0 15 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4225] ppid=4217 vsize=10617416 CPUtime=1.36 cores=1,3,5,7 /proc/4219/task/4225/stat : 4225 (java) S 4217 4219 32216 0 -1 4202560 494 0 0 0 136 0 0 0 15 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4226] ppid=4217 vsize=10617416 CPUtime=1.41 cores=1,3,5,7 /proc/4219/task/4226/stat : 4226 (java) S 4217 4219 32216 0 -1 4202560 225 0 0 0 140 1 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4227] ppid=4217 vsize=10617416 CPUtime=1.31 cores=1,3,5,7 /proc/4219/task/4227/stat : 4227 (java) S 4217 4219 32216 0 -1 4202560 202 0 0 0 131 0 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4228] ppid=4217 vsize=10617416 CPUtime=1.36 cores=1,3,5,7 /proc/4219/task/4228/stat : 4228 (java) S 4217 4219 32216 0 -1 4202560 395 0 0 0 136 0 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4229] ppid=4217 vsize=10617416 CPUtime=1.32 cores=1,3,5,7 /proc/4219/task/4229/stat : 4229 (java) S 4217 4219 32216 0 -1 4202560 616 0 0 0 132 0 0 0 15 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4230] ppid=4217 vsize=10617416 CPUtime=97.93 cores=1,3,5,7 /proc/4219/task/4230/stat : 4230 (java) S 4217 4219 32216 0 -1 4202560 27700 0 0 0 9786 7 0 0 15 0 19 0 831136275 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 0 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 [pid=4219/tid=4231] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4231/stat : 4231 (java) S 4217 4219 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831136275 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4232] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4232/stat : 4232 (java) S 4217 4219 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831136275 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4233] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4233/stat : 4233 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284512689 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4234] ppid=4217 vsize=10617416 CPUtime=2.21 cores=1,3,5,7 /proc/4219/task/4234/stat : 4234 (java) S 4217 4219 32216 0 -1 4202560 19671 0 0 0 218 3 0 0 15 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4235] ppid=4217 vsize=10617416 CPUtime=1.1 cores=1,3,5,7 /proc/4219/task/4235/stat : 4235 (java) S 4217 4219 32216 0 -1 4202560 5081 0 0 0 109 1 0 0 15 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4236] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4236/stat : 4236 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4237] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4237/stat : 4237 (java) S 4217 4219 32216 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4277] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4277/stat : 4277 (java) S 4217 4219 32216 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 831136506 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 830.56 Current children cumulated vsize (KiB) 10617416 [startup+462.901 s] /proc/loadavg: 4.04 3.95 3.84 4/613 4334 /proc/meminfo: memFree=27658592/32950928 swapFree=43925852/67111528 [pid=4219] ppid=4217 vsize=10617416 CPUtime=830.76 cores=1,3,5,7 /proc/4219/stat : 4219 (java) S 4217 4219 32216 0 -1 4202496 177642 0 1 0 83039 37 0 0 22 0 19 0 831136271 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4219/statm: 2654354 158400 2271 9 0 2645088 0 [pid=4219/tid=4220] ppid=4217 vsize=10617416 CPUtime=1.21 cores=1,3,5,7 /proc/4219/task/4220/stat : 4220 (java) R 4217 4219 32216 0 -1 4202560 13709 0 1 0 119 2 0 0 16 0 19 0 831136272 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 46912506161522 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4219/tid=4222] ppid=4217 vsize=10617416 CPUtime=1.35 cores=1,3,5,7 /proc/4219/task/4222/stat : 4222 (java) S 4217 4219 32216 0 -1 4202560 764 0 0 0 134 1 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4223] ppid=4217 vsize=10617416 CPUtime=1.46 cores=1,3,5,7 /proc/4219/task/4223/stat : 4223 (java) S 4217 4219 32216 0 -1 4202560 526 0 0 0 145 1 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4224] ppid=4217 vsize=10617416 CPUtime=1.3 cores=1,3,5,7 /proc/4219/task/4224/stat : 4224 (java) S 4217 4219 32216 0 -1 4202560 477 0 0 0 130 0 0 0 15 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4225] ppid=4217 vsize=10617416 CPUtime=1.36 cores=1,3,5,7 /proc/4219/task/4225/stat : 4225 (java) S 4217 4219 32216 0 -1 4202560 494 0 0 0 136 0 0 0 15 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4226] ppid=4217 vsize=10617416 CPUtime=1.41 cores=1,3,5,7 /proc/4219/task/4226/stat : 4226 (java) S 4217 4219 32216 0 -1 4202560 225 0 0 0 140 1 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4227] ppid=4217 vsize=10617416 CPUtime=1.31 cores=1,3,5,7 /proc/4219/task/4227/stat : 4227 (java) S 4217 4219 32216 0 -1 4202560 202 0 0 0 131 0 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4228] ppid=4217 vsize=10617416 CPUtime=1.36 cores=1,3,5,7 /proc/4219/task/4228/stat : 4228 (java) S 4217 4219 32216 0 -1 4202560 395 0 0 0 136 0 0 0 16 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4229] ppid=4217 vsize=10617416 CPUtime=1.32 cores=1,3,5,7 /proc/4219/task/4229/stat : 4229 (java) S 4217 4219 32216 0 -1 4202560 616 0 0 0 132 0 0 0 15 0 19 0 831136274 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4230] ppid=4217 vsize=10617416 CPUtime=97.93 cores=1,3,5,7 /proc/4219/task/4230/stat : 4230 (java) S 4217 4219 32216 0 -1 4202560 27700 0 0 0 9786 7 0 0 15 0 19 0 831136275 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 0 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 [pid=4219/tid=4231] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4231/stat : 4231 (java) S 4217 4219 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831136275 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4232] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4232/stat : 4232 (java) S 4217 4219 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831136275 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4233] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4233/stat : 4233 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284512689 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4234] ppid=4217 vsize=10617416 CPUtime=2.21 cores=1,3,5,7 /proc/4219/task/4234/stat : 4234 (java) S 4217 4219 32216 0 -1 4202560 19671 0 0 0 218 3 0 0 15 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 7 0 0 0 [pid=4219/tid=4235] ppid=4217 vsize=10617416 CPUtime=1.1 cores=1,3,5,7 /proc/4219/task/4235/stat : 4235 (java) S 4217 4219 32216 0 -1 4202560 5081 0 0 0 109 1 0 0 15 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4236] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4236/stat : 4236 (java) S 4217 4219 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284504985 0 4 0 16800975 18446604460700479552 0 0 -1 3 0 0 0 [pid=4219/tid=4237] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4237/stat : 4237 (java) S 4217 4219 32216 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 831136278 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 1 0 0 0 [pid=4219/tid=4277] ppid=4217 vsize=10617416 CPUtime=0 cores=1,3,5,7 /proc/4219/task/4277/stat : 4277 (java) S 4217 4219 32216 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 831136506 10872233984 158400 33554432000 1073741824 1073778376 140736169062736 18446744073709551615 268284505600 0 4 0 16800975 18446604460700479552 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 830.76 Current children cumulated vsize (KiB) 10617416 Child status: 30 Real time (s): 462.976 CPU time (s): 830.846 CPU user time (s): 830.447 CPU system time (s): 0.398939 CPU usage (%): 179.458 Max. virtual memory (cumulated for all children) (KiB): 10617416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 830.447 system time used= 0.398939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 177646 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27609 involuntary context switches= 10192 runsolver used 2.55961 second user time and 6.61099 second system time The end
Begin job on node122 at 2011-06-04 15:49:35 IDJOB=3454027 IDBENCH=48231 IDSOLVER=1950 FILE ID=node122/3454027-1307195375 RUNJOBID= node122-1307195375-4206 PBS_JOBID= 13508834 Free space on /tmp= 73812 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454027-1307195375/watcher-3454027-1307195375 -o /tmp/evaluation-result-3454027-1307195375/solver-3454027-1307195375 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454027-1307195375.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2 RANDOM SEED=915028306 node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31724376 kB Buffers: 332444 kB Cached: 555476 kB SwapCached: 16832 kB Active: 372516 kB Inactive: 538876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31724376 kB SwapTotal: 67111528 kB SwapFree: 43925852 kB Dirty: 556 kB Writeback: 0 kB AnonPages: 20940 kB Mapped: 8864 kB Slab: 150748 kB PageTables: 92804 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 180716236 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73808 MiB End job on node122 at 2011-06-04 15:57:18