Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 52 | 1800.19 | 1032.9 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 52 |
Best CPU time to get the best result obtained on this benchmark | 14.4478 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 52 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 7288 |
Number of constraints which are clauses | 7288 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 124 |
Number of terms in the objective function | 486 |
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 | 486 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 486 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version 2.3.1.v20110525 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 9996466904 0.00/0.08 c Max memory 10048897024 0.00/0.08 c Total memory 10048897024 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454143-1307193708.opb 0.10/0.11 c reading problem ... 0.58/0.38 c ... done. Wall clock time 0.271s. 0.58/0.38 c #vars 2091 0.58/0.38 c #constraints 7288 0.58/0.38 c constraints type 0.58/0.38 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1614 0.58/0.38 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5628 0.58/0.38 c constraints type 0.58/0.38 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5628 0.58/0.38 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1614 0.88/0.41 c And the winner is CuttingPlanes 0.94/0.89 c SATISFIABLE 0.94/0.89 c OPTIMIZING... 0.94/0.89 c Got one! Elapsed wall clock time (in seconds):0.779 0.94/0.89 o 55 3.70/1.72 c cleaning 2495 clauses out of 5000 with flag 5000/5000 5.20/2.41 c cleaning 4245 clauses out of 8506 with flag 11001/11001 6.57/3.11 c cleaning 5625 clauses out of 11261 with flag 18001/18001 7.94/3.84 c cleaning 6813 clauses out of 13635 with flag 26000/26000 10.07/4.83 c cleaning 7903 clauses out of 15823 with flag 35001/35001 12.03/5.82 c cleaning 8946 clauses out of 17920 with flag 45001/45001 14.04/6.82 c cleaning 9481 clauses out of 18973 with flag 55000/55000 16.03/7.83 c cleaning 9737 clauses out of 19494 with flag 65002/65002 18.03/8.88 c cleaning 9878 clauses out of 19756 with flag 75001/75001 20.19/9.96 c cleaning 9930 clauses out of 19877 with flag 85000/85000 22.10/10.99 c cleaning 9968 clauses out of 19948 with flag 95001/95001 24.24/12.04 c cleaning 9984 clauses out of 19979 with flag 105000/105000 25.96/12.99 c And the winner is Resolution 26.20/13.46 c Got one! Elapsed wall clock time (in seconds):13.351 26.20/13.46 o 54 26.28/13.57 c And the winner is Resolution 26.47/13.97 c Got one! Elapsed wall clock time (in seconds):13.858 26.47/13.97 o 53 27.38/14.45 c cleaning 12232 clauses out of 24477 with flag 4000/119482 28.69/15.14 c cleaning 9112 clauses out of 18245 with flag 10000/125482 30.27/15.92 c cleaning 8056 clauses out of 16133 with flag 17000/132482 32.01/16.83 c cleaning 8035 clauses out of 16077 with flag 25000/140482 33.57/17.63 c And the winner is CuttingPlanes 33.60/18.02 c Got one! Elapsed wall clock time (in seconds):17.917 33.60/18.02 o 52 34.55/18.54 c cleaning 9732 clauses out of 19479 with flag 5000/151919 36.08/19.30 c cleaning 7870 clauses out of 15750 with flag 11003/157922 37.63/20.13 c cleaning 7436 clauses out of 14877 with flag 18000/164919 39.39/21.09 c cleaning 7716 clauses out of 15442 with flag 26001/172920 41.65/22.28 c cleaning 8351 clauses out of 16727 with flag 35002/181921 43.98/23.46 c cleaning 9183 clauses out of 18375 with flag 45001/191920 46.29/24.63 c cleaning 9591 clauses out of 19191 with flag 55000/201919 49.01/26.00 c cleaning 9796 clauses out of 19601 with flag 65001/211920 51.51/27.31 c cleaning 9898 clauses out of 19805 with flag 75001/221920 53.64/28.46 c cleaning 9947 clauses out of 19906 with flag 85000/231919 55.94/29.62 c cleaning 9967 clauses out of 19959 with flag 95000/241919 58.28/30.84 c cleaning 9988 clauses out of 19992 with flag 105000/251919 60.70/32.18 c cleaning 9996 clauses out of 20004 with flag 115000/261919 62.99/33.33 c cleaning 9998 clauses out of 20010 with flag 125002/271921 65.08/34.47 c cleaning 9998 clauses out of 20010 with flag 135000/281919 67.37/35.66 c cleaning 9995 clauses out of 20012 with flag 145000/291919 69.80/36.93 c cleaning 10000 clauses out of 20017 with flag 155000/301919 72.29/38.23 c cleaning 9999 clauses out of 20017 with flag 165000/311919 74.57/39.48 c cleaning 10003 clauses out of 20018 with flag 175000/321919 76.84/40.68 c cleaning 9994 clauses out of 20015 with flag 185000/331919 79.29/42.00 c cleaning 10004 clauses out of 20021 with flag 195000/341919 82.13/43.42 c cleaning 9995 clauses out of 20020 with flag 205003/351922 84.79/44.80 c cleaning 10008 clauses out of 20024 with flag 215002/361921 87.06/46.04 c cleaning 9997 clauses out of 20014 with flag 225000/371919 89.27/47.29 c cleaning 10000 clauses out of 20017 with flag 235000/381919 91.79/48.54 c cleaning 10002 clauses out of 20019 with flag 245002/391921 94.02/49.79 c cleaning 10004 clauses out of 20015 with flag 255000/401919 96.47/51.02 c cleaning 9998 clauses out of 20011 with flag 265000/411919 98.87/52.35 c cleaning 10004 clauses out of 20014 with flag 275001/421920 101.12/53.58 c cleaning 10001 clauses out of 20009 with flag 285000/431919 103.38/54.73 c cleaning 9995 clauses out of 20008 with flag 295000/441919 105.63/55.90 c cleaning 10004 clauses out of 20014 with flag 305001/451920 108.06/57.25 c cleaning 10001 clauses out of 20011 with flag 315002/461921 110.32/58.42 c cleaning 9998 clauses out of 20008 with flag 325000/471919 112.39/59.58 c cleaning 9993 clauses out of 20010 with flag 335000/481919 114.61/60.77 c cleaning 10000 clauses out of 20018 with flag 345001/491920 116.79/61.96 c cleaning 10002 clauses out of 20017 with flag 355000/501919 119.05/63.14 c cleaning 10000 clauses out of 20015 with flag 365000/511919 121.10/64.28 c cleaning 9999 clauses out of 20016 with flag 375001/521920 123.36/65.49 c cleaning 9999 clauses out of 20016 with flag 385000/531919 125.73/66.76 c cleaning 9997 clauses out of 20019 with flag 395002/541921 127.79/67.82 c cleaning 9997 clauses out of 20020 with flag 405000/551919 129.85/68.95 c cleaning 10003 clauses out of 20023 with flag 415000/561919 132.30/70.27 c cleaning 10004 clauses out of 20021 with flag 425001/571920 134.71/71.58 c cleaning 10005 clauses out of 20020 with flag 435004/581923 137.12/72.87 c cleaning 9998 clauses out of 20012 with flag 445001/591920 139.37/74.06 c cleaning 9999 clauses out of 20013 with flag 455000/601919 142.02/75.42 c cleaning 9999 clauses out of 20014 with flag 465000/611919 144.59/76.83 c cleaning 10003 clauses out of 20017 with flag 475002/621921 146.83/78.10 c cleaning 9999 clauses out of 20012 with flag 485000/631919 149.32/79.38 c cleaning 9996 clauses out of 20013 with flag 495000/641919 151.52/80.55 c cleaning 9998 clauses out of 20017 with flag 505000/651919 153.70/81.73 c cleaning 9999 clauses out of 20021 with flag 515002/661921 155.74/82.84 c cleaning 10001 clauses out of 20020 with flag 525000/671919 158.18/84.19 c cleaning 10004 clauses out of 20021 with flag 535002/681921 160.82/85.55 c cleaning 9991 clauses out of 20015 with flag 545000/691919 163.62/87.05 c cleaning 10005 clauses out of 20025 with flag 555001/701920 165.82/88.30 c cleaning 10000 clauses out of 20020 with flag 565001/711920 168.25/89.51 c cleaning 10005 clauses out of 20020 with flag 575001/721920 170.29/90.67 c cleaning 9999 clauses out of 20014 with flag 585000/731919 172.64/91.92 c cleaning 9997 clauses out of 20016 with flag 595001/741920 174.86/93.12 c cleaning 10000 clauses out of 20018 with flag 605000/751919 177.09/94.30 c cleaning 10003 clauses out of 20018 with flag 615000/761919 179.52/95.68 c cleaning 9996 clauses out of 20016 with flag 625001/771920 182.05/97.07 c cleaning 9997 clauses out of 20019 with flag 635000/781919 184.67/98.48 c cleaning 9996 clauses out of 20022 with flag 645000/791919 186.89/99.69 c cleaning 10009 clauses out of 20027 with flag 655001/801920 189.30/100.94 c cleaning 9995 clauses out of 20018 with flag 665001/811920 191.86/102.35 c cleaning 10008 clauses out of 20022 with flag 675000/821919 194.22/103.60 c cleaning 9997 clauses out of 20014 with flag 685000/831919 196.23/104.78 c cleaning 10006 clauses out of 20017 with flag 695000/841919 198.43/105.97 c cleaning 9986 clauses out of 20011 with flag 705000/851919 200.95/107.35 c cleaning 10006 clauses out of 20025 with flag 715000/861919 203.15/108.53 c cleaning 10000 clauses out of 20020 with flag 725001/871920 205.35/109.71 c cleaning 10000 clauses out of 20019 with flag 735000/881919 207.55/110.93 c cleaning 10007 clauses out of 20021 with flag 745002/891921 209.90/112.25 c cleaning 9995 clauses out of 20012 with flag 755000/901919 212.10/113.47 c cleaning 10002 clauses out of 20019 with flag 765002/911921 214.45/114.75 c cleaning 9994 clauses out of 20015 with flag 775000/921919 216.65/115.93 c cleaning 10002 clauses out of 20021 with flag 785000/931919 218.75/117.19 c cleaning 10001 clauses out of 20020 with flag 795001/941920 221.14/118.42 c cleaning 10004 clauses out of 20019 with flag 805001/951920 223.33/119.64 c cleaning 10000 clauses out of 20014 with flag 815000/961919 225.72/120.96 c cleaning 9998 clauses out of 20015 with flag 825001/971920 228.22/122.37 c cleaning 10000 clauses out of 20016 with flag 835000/981919 230.39/123.58 c cleaning 9988 clauses out of 20017 with flag 845001/991920 232.58/124.74 c cleaning 10007 clauses out of 20028 with flag 855000/1001919 234.76/125.98 c cleaning 10004 clauses out of 20021 with flag 865000/1011919 237.24/127.34 c cleaning 10004 clauses out of 20017 with flag 875000/1021919 239.22/128.48 c cleaning 10003 clauses out of 20013 with flag 885000/1031919 241.40/129.66 c cleaning 9999 clauses out of 20012 with flag 895002/1041921 243.81/130.99 c cleaning 9997 clauses out of 20011 with flag 905000/1051919 246.44/132.44 c cleaning 9999 clauses out of 20015 with flag 915001/1061920 248.62/133.69 c cleaning 10003 clauses out of 20017 with flag 925002/1071921 250.99/134.91 c cleaning 9998 clauses out of 20012 with flag 935000/1081919 253.36/136.21 c cleaning 10002 clauses out of 20014 with flag 945000/1091919 256.03/137.70 c cleaning 9997 clauses out of 20012 with flag 955000/1101919 258.59/139.19 c cleaning 10004 clauses out of 20021 with flag 965006/1111925 261.16/140.59 c cleaning 9993 clauses out of 20011 with flag 975000/1121919 263.76/141.96 c cleaning 10000 clauses out of 20018 with flag 985000/1131919 266.38/143.49 c cleaning 9996 clauses out of 20020 with flag 995002/1141921 269.13/144.91 c cleaning 10000 clauses out of 20025 with flag 1005003/1151922 271.74/146.32 c cleaning 9994 clauses out of 20022 with flag 1015000/1161919 273.89/147.58 c cleaning 9991 clauses out of 20028 with flag 1025000/1171919 276.30/149.00 c cleaning 10002 clauses out of 20037 with flag 1035000/1181919 278.64/150.29 c cleaning 10001 clauses out of 20035 with flag 1045000/1191919 281.20/151.60 c cleaning 10000 clauses out of 20034 with flag 1055000/1201919 283.34/152.85 c cleaning 10002 clauses out of 20035 with flag 1065001/1211920 285.78/154.28 c cleaning 10004 clauses out of 20032 with flag 1075000/1221919 288.32/155.69 c cleaning 10006 clauses out of 20028 with flag 1085000/1231919 291.27/157.29 c cleaning 10005 clauses out of 20022 with flag 1095000/1241919 293.64/158.57 c cleaning 9999 clauses out of 20017 with flag 1105000/1251919 296.02/159.99 c cleaning 9997 clauses out of 20019 with flag 1115001/1261920 298.76/161.40 c cleaning 9996 clauses out of 20021 with flag 1125000/1271919 301.09/162.76 c cleaning 9999 clauses out of 20025 with flag 1135000/1281919 303.63/164.16 c cleaning 10004 clauses out of 20026 with flag 1145000/1291919 306.24/165.70 c cleaning 10003 clauses out of 20022 with flag 1155000/1301919 308.97/167.20 c cleaning 9985 clauses out of 20019 with flag 1165000/1311919 311.50/168.54 c cleaning 10006 clauses out of 20036 with flag 1175002/1321921 313.82/169.86 c cleaning 10009 clauses out of 20028 with flag 1185000/1331919 316.63/171.47 c cleaning 9999 clauses out of 20019 with flag 1195000/1341919 319.36/172.96 c cleaning 9996 clauses out of 20020 with flag 1205000/1351919 322.28/174.56 c cleaning 9985 clauses out of 20025 with flag 1215001/1361920 325.25/176.18 c cleaning 10010 clauses out of 20039 with flag 1225000/1371919 328.01/177.72 c cleaning 10009 clauses out of 20029 with flag 1235000/1381919 330.53/179.16 c cleaning 9986 clauses out of 20020 with flag 1245000/1391919 333.09/180.54 c cleaning 10006 clauses out of 20036 with flag 1255002/1401921 335.57/181.91 c cleaning 10006 clauses out of 20030 with flag 1265002/1411921 338.16/183.40 c cleaning 10001 clauses out of 20022 with flag 1275000/1421919 340.48/184.78 c cleaning 9999 clauses out of 20021 with flag 1285000/1431919 343.19/186.24 c cleaning 10001 clauses out of 20022 with flag 1295000/1441919 345.71/187.64 c cleaning 10003 clauses out of 20022 with flag 1305001/1451920 348.30/189.20 c cleaning 9996 clauses out of 20018 with flag 1315000/1461919 351.01/190.69 c cleaning 10008 clauses out of 20023 with flag 1325001/1471920 353.52/192.02 c cleaning 10006 clauses out of 20014 with flag 1335000/1481919 356.23/193.51 c cleaning 9987 clauses out of 20008 with flag 1345000/1491919 358.84/195.02 c cleaning 9993 clauses out of 20022 with flag 1355001/1501920 361.35/196.42 c cleaning 10008 clauses out of 20028 with flag 1365000/1511919 363.45/197.62 c cleaning 10005 clauses out of 20020 with flag 1375000/1521919 365.56/198.88 c cleaning 10002 clauses out of 20016 with flag 1385001/1531920 368.53/200.56 c cleaning 9999 clauses out of 20014 with flag 1395001/1541920 371.64/202.20 c cleaning 9983 clauses out of 20014 with flag 1405000/1551919 374.34/203.76 c cleaning 10000 clauses out of 20031 with flag 1415000/1561919 377.04/205.24 c cleaning 10011 clauses out of 20031 with flag 1425000/1571919 380.04/206.94 c cleaning 10004 clauses out of 20021 with flag 1435001/1581920 382.70/208.43 c cleaning 9997 clauses out of 20016 with flag 1445000/1591919 385.60/210.04 c cleaning 9994 clauses out of 20020 with flag 1455001/1601920 387.74/211.28 c cleaning 10008 clauses out of 20027 with flag 1465002/1611921 390.08/212.62 c cleaning 10003 clauses out of 20019 with flag 1475002/1621921 392.18/213.81 c cleaning 9999 clauses out of 20014 with flag 1485000/1631919 394.08/214.95 c cleaning 10001 clauses out of 20015 with flag 1495000/1641919 396.38/216.24 c cleaning 9997 clauses out of 20014 with flag 1505000/1651919 398.75/217.67 c cleaning 10001 clauses out of 20018 with flag 1515001/1661920 401.29/219.05 c cleaning 9987 clauses out of 20016 with flag 1525000/1671919 404.35/220.74 c cleaning 9985 clauses out of 20029 with flag 1535000/1681919 407.29/222.38 c cleaning 10018 clauses out of 20050 with flag 1545006/1691925 410.42/224.16 c cleaning 10010 clauses out of 20028 with flag 1555002/1701921 413.52/225.85 c cleaning 9997 clauses out of 20016 with flag 1565000/1711919 416.62/227.52 c cleaning 9997 clauses out of 20019 with flag 1575000/1721919 419.92/229.35 c cleaning 9993 clauses out of 20022 with flag 1585000/1731919 423.28/231.21 c cleaning 10004 clauses out of 20029 with flag 1595000/1741919 426.17/232.86 c cleaning 10004 clauses out of 20027 with flag 1605002/1751921 428.91/234.39 c cleaning 9990 clauses out of 20021 with flag 1615000/1761919 431.77/235.90 c cleaning 10013 clauses out of 20033 with flag 1625002/1771921 434.53/237.53 c cleaning 10001 clauses out of 20019 with flag 1635001/1781920 437.64/239.21 c cleaning 9998 clauses out of 20017 with flag 1645000/1791919 440.33/240.77 c cleaning 9995 clauses out of 20019 with flag 1655000/1801919 443.23/242.38 c cleaning 9996 clauses out of 20024 with flag 1665000/1811919 446.39/244.15 c cleaning 9999 clauses out of 20029 with flag 1675001/1821920 449.29/245.76 c cleaning 9995 clauses out of 20029 with flag 1685000/1831919 452.39/247.47 c cleaning 9992 clauses out of 20035 with flag 1695001/1841920 455.49/249.15 c cleaning 10012 clauses out of 20044 with flag 1705002/1851921 459.06/251.10 c cleaning 10001 clauses out of 20030 with flag 1715000/1861919 461.95/252.74 c cleaning 10006 clauses out of 20030 with flag 1725001/1871920 465.05/254.40 c cleaning 9998 clauses out of 20025 with flag 1735002/1881921 467.95/256.03 c cleaning 10002 clauses out of 20026 with flag 1745001/1891920 470.70/257.69 c cleaning 9998 clauses out of 20023 with flag 1755000/1901919 473.79/259.31 c cleaning 9994 clauses out of 20026 with flag 1765001/1911920 476.32/260.75 c cleaning 10008 clauses out of 20031 with flag 1775000/1921919 479.17/262.36 c cleaning 10005 clauses out of 20026 with flag 1785003/1931922 482.71/264.32 c cleaning 10001 clauses out of 20019 with flag 1795001/1941920 485.80/266.04 c cleaning 10000 clauses out of 20017 with flag 1805000/1951919 488.89/267.76 c cleaning 9998 clauses out of 20017 with flag 1815000/1961919 491.58/269.25 c cleaning 9999 clauses out of 20019 with flag 1825000/1971919 494.32/270.88 c cleaning 10001 clauses out of 20020 with flag 1835000/1981919 497.61/272.69 c cleaning 9999 clauses out of 20019 with flag 1845000/1991919 501.31/274.61 c cleaning 9995 clauses out of 20021 with flag 1855001/2001920 504.39/276.39 c cleaning 9999 clauses out of 20026 with flag 1865001/2011920 507.73/278.24 c cleaning 10005 clauses out of 20026 with flag 1875000/2021919 511.02/280.07 c cleaning 10004 clauses out of 20021 with flag 1885000/2031919 514.15/281.80 c cleaning 10003 clauses out of 20018 with flag 1895001/2041920 517.00/283.37 c cleaning 10001 clauses out of 20016 with flag 1905002/2051921 520.33/285.22 c cleaning 9982 clauses out of 20013 with flag 1915000/2061919 523.22/286.89 c cleaning 10010 clauses out of 20032 with flag 1925001/2071920 525.95/288.37 c cleaning 9998 clauses out of 20021 with flag 1935000/2081919 528.60/289.86 c cleaning 10005 clauses out of 20023 with flag 1945000/2091919 531.34/291.41 c cleaning 10001 clauses out of 20019 with flag 1955001/2101920 533.81/292.85 c cleaning 9997 clauses out of 20017 with flag 1965000/2111919 536.51/294.32 c cleaning 10002 clauses out of 20021 with flag 1975001/2121920 538.99/295.70 c cleaning 9996 clauses out of 20019 with flag 1985001/2131920 541.52/297.28 c cleaning 10005 clauses out of 20023 with flag 1995001/2141920 544.20/298.74 c cleaning 10001 clauses out of 20020 with flag 2005003/2151922 546.67/300.14 c cleaning 10000 clauses out of 20016 with flag 2015000/2161919 549.19/301.56 c cleaning 10000 clauses out of 20017 with flag 2025001/2171920 551.88/303.13 c cleaning 9997 clauses out of 20016 with flag 2035000/2181919 554.79/304.73 c cleaning 10000 clauses out of 20019 with flag 2045000/2191919 557.02/306.08 c cleaning 10005 clauses out of 20019 with flag 2055000/2201919 559.69/307.59 c cleaning 9995 clauses out of 20015 with flag 2065001/2211920 562.45/309.14 c cleaning 10002 clauses out of 20019 with flag 2075000/2221919 564.69/310.49 c cleaning 10002 clauses out of 20019 with flag 2085002/2231921 567.38/311.92 c cleaning 10004 clauses out of 20018 with flag 2095003/2241922 569.85/313.36 c cleaning 9994 clauses out of 20011 with flag 2105000/2251919 572.57/314.92 c cleaning 9995 clauses out of 20017 with flag 2115000/2261919 575.04/316.35 c cleaning 9997 clauses out of 20022 with flag 2125000/2271919 577.51/317.75 c cleaning 10004 clauses out of 20026 with flag 2135001/2281920 580.01/319.17 c cleaning 10005 clauses out of 20023 with flag 2145002/2291921 582.69/320.77 c cleaning 10003 clauses out of 20016 with flag 2155000/2301919 585.16/322.19 c cleaning 9998 clauses out of 20013 with flag 2165000/2311919 587.84/323.64 c cleaning 9988 clauses out of 20015 with flag 2175000/2321919 590.50/325.17 c cleaning 10004 clauses out of 20029 with flag 2185002/2331921 593.25/326.77 c cleaning 10004 clauses out of 20024 with flag 2195001/2341920 596.08/328.32 c cleaning 9998 clauses out of 20019 with flag 2205000/2351919 598.54/329.79 c cleaning 10000 clauses out of 20021 with flag 2215000/2361919 601.24/331.28 c cleaning 10007 clauses out of 20024 with flag 2225003/2371922 604.31/333.00 c cleaning 9999 clauses out of 20014 with flag 2235000/2381919 607.17/334.63 c cleaning 9996 clauses out of 20016 with flag 2245001/2391920 609.84/336.13 c cleaning 10000 clauses out of 20019 with flag 2255000/2401919 612.93/337.84 c cleaning 9996 clauses out of 20020 with flag 2265001/2411920 615.80/339.53 c cleaning 10003 clauses out of 20024 with flag 2275001/2421920 618.85/341.20 c cleaning 10001 clauses out of 20020 with flag 2285000/2431919 621.50/342.74 c cleaning 9995 clauses out of 20021 with flag 2295002/2441921 624.39/344.32 c cleaning 9996 clauses out of 20024 with flag 2305000/2451919 627.24/346.06 c cleaning 10007 clauses out of 20029 with flag 2315001/2461920 630.13/347.64 c cleaning 10000 clauses out of 20021 with flag 2325000/2471919 632.73/349.14 c cleaning 10002 clauses out of 20021 with flag 2335000/2481919 635.59/350.79 c cleaning 9998 clauses out of 20019 with flag 2345000/2491919 639.09/352.71 c cleaning 9998 clauses out of 20021 with flag 2355000/2501919 641.53/354.21 c cleaning 10000 clauses out of 20023 with flag 2365000/2511919 644.38/355.75 c cleaning 10001 clauses out of 20024 with flag 2375001/2521920 647.23/357.32 c cleaning 9987 clauses out of 20022 with flag 2385000/2531919 650.32/359.17 c cleaning 10004 clauses out of 20035 with flag 2395000/2541919 653.40/360.83 c cleaning 10009 clauses out of 20032 with flag 2405001/2551920 656.02/362.32 c cleaning 9998 clauses out of 20023 with flag 2415001/2561920 658.26/363.69 c cleaning 9985 clauses out of 20024 with flag 2425000/2571919 660.98/365.32 c cleaning 10003 clauses out of 20039 with flag 2435000/2581919 663.38/366.65 c cleaning 10000 clauses out of 20037 with flag 2445001/2591920 665.83/368.02 c cleaning 10010 clauses out of 20037 with flag 2455001/2601920 668.47/369.52 c cleaning 10008 clauses out of 20026 with flag 2465000/2611919 671.54/371.33 c cleaning 9996 clauses out of 20018 with flag 2475000/2621919 673.99/372.71 c cleaning 9998 clauses out of 20023 with flag 2485001/2631920 676.63/374.22 c cleaning 10005 clauses out of 20024 with flag 2495000/2641919 679.27/375.78 c cleaning 9998 clauses out of 20022 with flag 2505003/2651922 681.98/377.36 c cleaning 9998 clauses out of 20021 with flag 2515000/2661919 684.39/378.77 c cleaning 10001 clauses out of 20023 with flag 2525000/2671919 687.62/380.57 c cleaning 10005 clauses out of 20022 with flag 2535000/2681919 690.66/382.28 c cleaning 10005 clauses out of 20021 with flag 2545004/2691923 693.94/384.15 c cleaning 9996 clauses out of 20012 with flag 2555000/2701919 696.77/385.79 c cleaning 10003 clauses out of 20016 with flag 2565000/2711919 699.80/387.47 c cleaning 9995 clauses out of 20014 with flag 2575001/2721920 703.04/389.23 c cleaning 9993 clauses out of 20018 with flag 2585000/2731919 705.71/390.85 c cleaning 10006 clauses out of 20025 with flag 2595000/2741919 708.54/392.44 c cleaning 10001 clauses out of 20019 with flag 2605000/2751919 711.01/393.86 c cleaning 10005 clauses out of 20019 with flag 2615001/2761920 713.80/395.44 c cleaning 10003 clauses out of 20013 with flag 2625000/2771919 716.47/397.03 c cleaning 9990 clauses out of 20010 with flag 2635000/2781919 718.89/398.46 c cleaning 10004 clauses out of 20020 with flag 2645000/2791919 721.31/399.82 c cleaning 10003 clauses out of 20017 with flag 2655001/2801920 723.94/401.39 c cleaning 10003 clauses out of 20013 with flag 2665000/2811919 726.99/403.19 c cleaning 9999 clauses out of 20010 with flag 2675000/2821919 729.83/404.77 c cleaning 10002 clauses out of 20014 with flag 2685003/2831922 732.45/406.24 c cleaning 9994 clauses out of 20010 with flag 2695001/2841920 734.67/407.57 c cleaning 10004 clauses out of 20017 with flag 2705002/2851921 737.32/409.18 c cleaning 10001 clauses out of 20013 with flag 2715002/2861921 740.15/410.74 c cleaning 9992 clauses out of 20010 with flag 2725000/2871919 742.77/412.22 c cleaning 9999 clauses out of 20018 with flag 2735000/2881919 745.44/413.75 c cleaning 9986 clauses out of 20019 with flag 2745000/2891919 748.07/415.39 c cleaning 10007 clauses out of 20039 with flag 2755006/2901925 750.68/416.87 c cleaning 9998 clauses out of 20026 with flag 2765000/2911919 753.31/418.34 c cleaning 10007 clauses out of 20029 with flag 2775001/2921920 755.93/419.82 c cleaning 10000 clauses out of 20022 with flag 2785001/2931920 758.78/421.55 c cleaning 10003 clauses out of 20024 with flag 2795003/2941922 761.80/423.24 c cleaning 9992 clauses out of 20018 with flag 2805000/2951919 764.62/424.89 c cleaning 10004 clauses out of 20026 with flag 2815000/2961919 768.06/426.71 c cleaning 10000 clauses out of 20022 with flag 2825000/2971919 771.30/428.62 c cleaning 9995 clauses out of 20022 with flag 2835000/2981919 774.15/430.29 c cleaning 10003 clauses out of 20027 with flag 2845000/2991919 777.12/431.95 c cleaning 10006 clauses out of 20024 with flag 2855000/3001919 780.14/433.61 c cleaning 9983 clauses out of 20018 with flag 2865000/3011919 782.98/435.38 c cleaning 10011 clauses out of 20036 with flag 2875001/3021920 785.63/436.89 c cleaning 10003 clauses out of 20024 with flag 2885000/3031919 788.41/438.46 c cleaning 10000 clauses out of 20022 with flag 2895001/3041920 791.47/440.19 c cleaning 9996 clauses out of 20021 with flag 2905000/3051919 794.87/442.14 c cleaning 10005 clauses out of 20025 with flag 2915000/3061919 798.09/443.95 c cleaning 10003 clauses out of 20020 with flag 2925000/3071919 801.31/445.73 c cleaning 9998 clauses out of 20017 with flag 2935000/3081919 804.54/447.51 c cleaning 10008 clauses out of 20021 with flag 2945002/3091921 807.98/449.59 c cleaning 9980 clauses out of 20011 with flag 2955000/3101919 811.60/451.57 c cleaning 10012 clauses out of 20034 with flag 2965003/3111922 814.65/453.23 c cleaning 9999 clauses out of 20019 with flag 2975000/3121919 818.02/455.15 c cleaning 10004 clauses out of 20022 with flag 2985002/3131921 820.85/456.83 c cleaning 9999 clauses out of 20016 with flag 2995000/3141919 823.46/458.30 c cleaning 9997 clauses out of 20017 with flag 3005000/3151919 826.32/459.97 c cleaning 10002 clauses out of 20020 with flag 3015000/3161919 829.10/461.53 c cleaning 10003 clauses out of 20020 with flag 3025002/3171921 832.14/463.39 c cleaning 9999 clauses out of 20015 with flag 3035000/3181919 835.55/465.25 c cleaning 10002 clauses out of 20018 with flag 3045002/3191921 837.97/466.61 c cleaning 9995 clauses out of 20014 with flag 3055000/3201919 840.39/468.10 c cleaning 9986 clauses out of 20019 with flag 3065000/3211919 843.02/469.68 c cleaning 10009 clauses out of 20034 with flag 3075001/3221920 845.07/470.87 c cleaning 10002 clauses out of 20024 with flag 3085000/3231919 847.25/472.11 c cleaning 9998 clauses out of 20022 with flag 3095000/3241919 849.46/473.40 c cleaning 10004 clauses out of 20024 with flag 3105000/3251919 851.91/474.96 c cleaning 9999 clauses out of 20020 with flag 3115000/3261919 854.13/476.27 c cleaning 10005 clauses out of 20021 with flag 3125000/3271919 856.74/477.74 c cleaning 10002 clauses out of 20016 with flag 3135000/3281919 859.16/479.19 c cleaning 9998 clauses out of 20014 with flag 3145000/3291919 862.04/480.87 c cleaning 9998 clauses out of 20016 with flag 3155000/3301919 864.41/482.25 c cleaning 10004 clauses out of 20022 with flag 3165004/3311923 867.03/483.79 c cleaning 9998 clauses out of 20015 with flag 3175001/3321920 869.84/485.32 c cleaning 9993 clauses out of 20016 with flag 3185000/3331919 872.67/487.06 c cleaning 9992 clauses out of 20027 with flag 3195004/3341923 875.48/488.63 c cleaning 9987 clauses out of 20031 with flag 3205000/3351919 878.49/490.37 c cleaning 10014 clauses out of 20044 with flag 3215000/3361919 881.50/492.00 c cleaning 10005 clauses out of 20031 with flag 3225001/3371920 884.53/493.82 c cleaning 10008 clauses out of 20025 with flag 3235000/3381919 887.55/495.51 c cleaning 9987 clauses out of 20017 with flag 3245000/3391919 890.60/497.30 c cleaning 10010 clauses out of 20031 with flag 3255001/3401920 893.77/499.07 c cleaning 10004 clauses out of 20021 with flag 3265001/3411920 896.80/500.81 c cleaning 10003 clauses out of 20019 with flag 3275003/3421922 899.61/502.46 c cleaning 10004 clauses out of 20013 with flag 3285000/3431919 902.26/503.92 c cleaning 10000 clauses out of 20010 with flag 3295001/3441920 904.84/505.40 c cleaning 10001 clauses out of 20011 with flag 3305002/3451921 907.48/507.02 c cleaning 10000 clauses out of 20013 with flag 3315005/3461924 910.09/508.53 c cleaning 9999 clauses out of 20008 with flag 3325000/3471919 912.51/509.99 c cleaning 9987 clauses out of 20009 with flag 3335000/3481919 915.12/511.42 c cleaning 10004 clauses out of 20024 with flag 3345002/3491921 917.38/512.87 c cleaning 10000 clauses out of 20018 with flag 3355000/3501919 919.59/514.14 c cleaning 10001 clauses out of 20020 with flag 3365002/3511921 921.80/515.42 c cleaning 9999 clauses out of 20017 with flag 3375000/3521919 924.21/516.82 c cleaning 10000 clauses out of 20020 with flag 3385002/3531921 926.56/518.29 c cleaning 10002 clauses out of 20019 with flag 3395001/3541920 928.93/519.60 c cleaning 10005 clauses out of 20019 with flag 3405003/3551922 931.15/520.99 c cleaning 10000 clauses out of 20014 with flag 3415003/3561922 933.57/522.34 c cleaning 10000 clauses out of 20011 with flag 3425000/3571919 936.20/523.91 c cleaning 10000 clauses out of 20012 with flag 3435001/3581920 939.02/525.50 c cleaning 10002 clauses out of 20013 with flag 3445002/3591921 941.68/527.07 c cleaning 9995 clauses out of 20010 with flag 3455001/3601920 944.46/528.66 c cleaning 10002 clauses out of 20014 with flag 3465000/3611919 947.49/530.43 c cleaning 10003 clauses out of 20015 with flag 3475003/3621922 950.50/532.19 c cleaning 9998 clauses out of 20009 with flag 3485000/3631919 953.50/533.83 c cleaning 9997 clauses out of 20011 with flag 3495000/3641919 956.50/535.53 c cleaning 10004 clauses out of 20014 with flag 3505000/3651919 959.33/537.28 c cleaning 9998 clauses out of 20010 with flag 3515000/3661919 961.94/538.73 c cleaning 9993 clauses out of 20014 with flag 3525002/3671921 964.38/540.21 c cleaning 9998 clauses out of 20019 with flag 3535000/3681919 967.14/541.77 c cleaning 9991 clauses out of 20022 with flag 3545001/3691920 970.01/543.48 c cleaning 10009 clauses out of 20033 with flag 3555003/3701922 972.77/545.08 c cleaning 10005 clauses out of 20021 with flag 3565000/3711919 975.57/546.64 c cleaning 10000 clauses out of 20016 with flag 3575000/3721919 978.58/548.36 c cleaning 9995 clauses out of 20016 with flag 3585000/3731919 981.80/550.23 c cleaning 9996 clauses out of 20022 with flag 3595001/3741920 984.79/551.95 c cleaning 10010 clauses out of 20033 with flag 3605008/3751927 987.79/553.65 c cleaning 10000 clauses out of 20015 with flag 3615000/3761919 990.59/555.24 c cleaning 9984 clauses out of 20015 with flag 3625000/3771919 993.60/557.01 c cleaning 10000 clauses out of 20032 with flag 3635001/3781920 996.19/558.59 c cleaning 9988 clauses out of 20031 with flag 3645000/3791919 999.18/560.28 c cleaning 10018 clauses out of 20043 with flag 3655000/3801919 1002.38/562.00 c cleaning 10004 clauses out of 20025 with flag 3665000/3811919 1005.18/563.80 c cleaning 9996 clauses out of 20021 with flag 3675000/3821919 1007.97/565.32 c cleaning 10009 clauses out of 20030 with flag 3685005/3831924 1010.56/566.87 c cleaning 10003 clauses out of 20017 with flag 3695001/3841920 1013.15/568.38 c cleaning 10003 clauses out of 20014 with flag 3705001/3851920 1015.95/570.09 c cleaning 9993 clauses out of 20010 with flag 3715000/3861919 1018.74/571.63 c cleaning 9996 clauses out of 20017 with flag 3725000/3871919 1021.56/573.29 c cleaning 10007 clauses out of 20022 with flag 3735001/3881920 1024.71/575.01 c cleaning 9990 clauses out of 20014 with flag 3745000/3891919 1027.69/576.88 c cleaning 9999 clauses out of 20024 with flag 3755000/3901919 1030.68/578.50 c cleaning 10002 clauses out of 20025 with flag 3765000/3911919 1033.46/580.12 c cleaning 10001 clauses out of 20023 with flag 3775000/3921919 1036.24/581.79 c cleaning 9997 clauses out of 20022 with flag 3785000/3931919 1039.44/583.61 c cleaning 9997 clauses out of 20025 with flag 3795000/3941919 1042.26/585.23 c cleaning 10006 clauses out of 20030 with flag 3805002/3951921 1045.00/586.89 c cleaning 10001 clauses out of 20022 with flag 3815000/3961919 1048.03/588.57 c cleaning 9992 clauses out of 20022 with flag 3825001/3971920 1051.17/590.43 c cleaning 9995 clauses out of 20029 with flag 3835000/3981919 1053.79/591.96 c cleaning 10004 clauses out of 20034 with flag 3845000/3991919 1056.55/593.52 c cleaning 10007 clauses out of 20032 with flag 3855002/4001921 1059.13/595.00 c cleaning 10005 clauses out of 20023 with flag 3865000/4011919 1061.54/596.56 c cleaning 10001 clauses out of 20019 with flag 3875001/4021920 1064.31/598.15 c cleaning 9995 clauses out of 20017 with flag 3885000/4031919 1066.92/599.68 c cleaning 9998 clauses out of 20022 with flag 3895000/4041919 1069.65/601.25 c cleaning 9997 clauses out of 20024 with flag 3905000/4051919 1072.62/603.01 c cleaning 10005 clauses out of 20029 with flag 3915002/4061921 1075.59/604.71 c cleaning 10008 clauses out of 20023 with flag 3925001/4071920 1078.56/606.42 c cleaning 9993 clauses out of 20014 with flag 3935000/4081919 1081.32/608.07 c cleaning 9990 clauses out of 20022 with flag 3945001/4091920 1084.09/609.79 c cleaning 10004 clauses out of 20031 with flag 3955000/4101919 1087.26/611.52 c cleaning 10006 clauses out of 20028 with flag 3965001/4111920 1089.83/613.04 c cleaning 9992 clauses out of 20021 with flag 3975000/4121919 1092.60/614.68 c cleaning 9994 clauses out of 20030 with flag 3985001/4131920 1095.56/616.42 c cleaning 10005 clauses out of 20035 with flag 3995000/4141919 1098.12/617.99 c cleaning 10002 clauses out of 20030 with flag 4005000/4151919 1100.72/619.47 c cleaning 10001 clauses out of 20028 with flag 4015000/4161919 1103.25/620.91 c cleaning 9999 clauses out of 20027 with flag 4025000/4171919 1105.83/622.60 c cleaning 9999 clauses out of 20028 with flag 4035000/4181919 1108.38/624.04 c cleaning 10008 clauses out of 20029 with flag 4045000/4191919 1110.95/625.55 c cleaning 9990 clauses out of 20021 with flag 4055000/4201919 1113.54/627.06 c cleaning 10002 clauses out of 20033 with flag 4065002/4211921 1116.29/628.73 c cleaning 9991 clauses out of 20029 with flag 4075000/4221919 1118.86/630.20 c cleaning 10009 clauses out of 20039 with flag 4085001/4231920 1121.43/631.74 c cleaning 10002 clauses out of 20029 with flag 4095000/4241919 1124.00/633.28 c cleaning 10004 clauses out of 20027 with flag 4105000/4251919 1126.97/635.03 c cleaning 10003 clauses out of 20025 with flag 4115002/4261921 1129.54/636.58 c cleaning 9985 clauses out of 20020 with flag 4125000/4271919 1132.15/638.07 c cleaning 10008 clauses out of 20035 with flag 4135000/4281919 1134.67/639.53 c cleaning 10007 clauses out of 20029 with flag 4145002/4291921 1137.47/641.29 c cleaning 10004 clauses out of 20021 with flag 4155001/4301920 1140.25/642.84 c cleaning 9995 clauses out of 20021 with flag 4165005/4311924 1143.02/644.48 c cleaning 9985 clauses out of 20021 with flag 4175000/4321919 1145.78/646.03 c cleaning 10006 clauses out of 20036 with flag 4185000/4331919 1148.58/647.76 c cleaning 10005 clauses out of 20030 with flag 4195000/4341919 1151.35/649.35 c cleaning 10003 clauses out of 20025 with flag 4205000/4351919 1153.90/650.84 c cleaning 10006 clauses out of 20026 with flag 4215004/4361923 1156.69/652.49 c cleaning 10004 clauses out of 20016 with flag 4225000/4371919 1160.24/654.52 c cleaning 9985 clauses out of 20012 with flag 4235000/4381919 1163.37/656.30 c cleaning 10006 clauses out of 20028 with flag 4245001/4391920 1166.33/658.01 c cleaning 9991 clauses out of 20021 with flag 4255000/4401919 1169.29/659.72 c cleaning 10001 clauses out of 20030 with flag 4265000/4411919 1172.43/661.67 c cleaning 10005 clauses out of 20029 with flag 4275000/4421919 1175.79/663.50 c cleaning 9993 clauses out of 20024 with flag 4285000/4431919 1178.74/665.20 c cleaning 9996 clauses out of 20034 with flag 4295003/4441922 1181.50/666.88 c cleaning 10009 clauses out of 20035 with flag 4305000/4451919 1184.88/668.86 c cleaning 10004 clauses out of 20026 with flag 4315000/4461919 1188.00/670.64 c cleaning 10009 clauses out of 20025 with flag 4325003/4471922 1190.58/672.21 c cleaning 10001 clauses out of 20015 with flag 4335002/4481921 1193.49/673.82 c cleaning 10002 clauses out of 20016 with flag 4345004/4491923 1196.63/675.76 c cleaning 9996 clauses out of 20010 with flag 4355000/4501919 1199.58/677.42 c cleaning 9998 clauses out of 20014 with flag 4365000/4511919 1202.32/679.09 c cleaning 10001 clauses out of 20016 with flag 4375000/4521919 1205.48/680.81 c cleaning 9997 clauses out of 20015 with flag 4385000/4531919 1208.62/682.70 c cleaning 9996 clauses out of 20018 with flag 4395000/4541919 1211.57/684.45 c cleaning 9997 clauses out of 20022 with flag 4405000/4551919 1214.72/686.21 c cleaning 9996 clauses out of 20026 with flag 4415001/4561920 1217.67/687.97 c cleaning 10006 clauses out of 20029 with flag 4425000/4571919 1221.02/689.99 c cleaning 10005 clauses out of 20023 with flag 4435000/4581919 1223.97/691.62 c cleaning 9997 clauses out of 20019 with flag 4445001/4591920 1226.71/693.22 c cleaning 9993 clauses out of 20024 with flag 4455003/4601922 1229.47/694.84 c cleaning 10003 clauses out of 20030 with flag 4465002/4611921 1232.41/696.63 c cleaning 10002 clauses out of 20028 with flag 4475003/4621922 1235.36/698.38 c cleaning 10002 clauses out of 20023 with flag 4485000/4631919 1237.90/699.84 c cleaning 10004 clauses out of 20021 with flag 4495000/4641919 1240.45/701.36 c cleaning 9989 clauses out of 20017 with flag 4505000/4651919 1243.26/703.05 c cleaning 10007 clauses out of 20029 with flag 4515001/4661920 1245.98/704.65 c cleaning 10003 clauses out of 20022 with flag 4525001/4671920 1248.78/706.27 c cleaning 10004 clauses out of 20019 with flag 4535001/4681920 1251.69/707.91 c cleaning 10002 clauses out of 20014 with flag 4545000/4691919 1254.46/709.63 c cleaning 9998 clauses out of 20012 with flag 4555000/4701919 1257.17/711.26 c cleaning 10005 clauses out of 20017 with flag 4565003/4711922 1260.17/712.93 c cleaning 9985 clauses out of 20009 with flag 4575000/4721919 1262.88/714.58 c cleaning 9995 clauses out of 20024 with flag 4585000/4731919 1265.69/716.29 c cleaning 10002 clauses out of 20030 with flag 4595001/4741920 1268.40/717.82 c cleaning 10003 clauses out of 20028 with flag 4605001/4751920 1270.95/719.31 c cleaning 10001 clauses out of 20024 with flag 4615000/4761919 1273.50/720.89 c cleaning 10008 clauses out of 20023 with flag 4625000/4771919 1276.72/722.73 c cleaning 10002 clauses out of 20015 with flag 4635000/4781919 1279.43/724.35 c cleaning 9991 clauses out of 20013 with flag 4645000/4791919 1282.18/725.99 c cleaning 9994 clauses out of 20023 with flag 4655001/4801920 1285.53/727.81 c cleaning 10010 clauses out of 20030 with flag 4665002/4811921 1288.86/729.82 c cleaning 10003 clauses out of 20018 with flag 4675000/4821919 1291.61/731.46 c cleaning 9998 clauses out of 20015 with flag 4685000/4831919 1294.16/732.98 c cleaning 10000 clauses out of 20019 with flag 4695002/4841921 1296.91/734.59 c cleaning 9993 clauses out of 20017 with flag 4705000/4851919 1299.84/736.36 c cleaning 9995 clauses out of 20024 with flag 4715000/4861919 1302.59/737.96 c cleaning 10006 clauses out of 20033 with flag 4725004/4871923 1305.34/739.59 c cleaning 9998 clauses out of 20031 with flag 4735008/4881927 1308.30/741.25 c cleaning 10001 clauses out of 20025 with flag 4745000/4891919 1311.43/743.11 c cleaning 10009 clauses out of 20024 with flag 4755000/4901919 1313.98/744.68 c cleaning 9990 clauses out of 20015 with flag 4765000/4911919 1316.72/746.24 c cleaning 9998 clauses out of 20025 with flag 4775000/4921919 1319.27/747.79 c cleaning 10006 clauses out of 20027 with flag 4785000/4931919 1322.62/749.70 c cleaning 10005 clauses out of 20022 with flag 4795001/4941920 1325.40/751.33 c cleaning 10006 clauses out of 20020 with flag 4805004/4951923 1328.31/753.05 c cleaning 9999 clauses out of 20010 with flag 4815000/4961919 1330.86/754.58 c cleaning 9988 clauses out of 20011 with flag 4825000/4971919 1333.99/756.46 c cleaning 10003 clauses out of 20023 with flag 4835000/4981919 1336.93/758.17 c cleaning 10007 clauses out of 20022 with flag 4845002/4991921 1339.88/759.87 c cleaning 9997 clauses out of 20013 with flag 4855000/5001919 1342.63/761.42 c cleaning 9994 clauses out of 20016 with flag 4865000/5011919 1345.76/763.33 c cleaning 10005 clauses out of 20022 with flag 4875000/5021919 1348.91/765.10 c cleaning 10002 clauses out of 20017 with flag 4885000/5031919 1351.70/766.78 c cleaning 10000 clauses out of 20015 with flag 4895000/5041919 1354.81/768.54 c cleaning 9998 clauses out of 20016 with flag 4905001/5051920 1358.14/770.56 c cleaning 10003 clauses out of 20019 with flag 4915002/5061921 1361.33/772.36 c cleaning 10001 clauses out of 20015 with flag 4925001/5071920 1364.04/773.95 c cleaning 10003 clauses out of 20013 with flag 4935000/5081919 1366.58/775.46 c cleaning 9986 clauses out of 20010 with flag 4945000/5091919 1369.51/777.23 c cleaning 9998 clauses out of 20025 with flag 4955001/5101920 1372.06/778.76 c cleaning 10004 clauses out of 20026 with flag 4965000/5111919 1374.81/780.33 c cleaning 9997 clauses out of 20022 with flag 4975000/5121919 1377.55/781.91 c cleaning 10007 clauses out of 20026 with flag 4985001/5131920 1380.32/783.67 c cleaning 10004 clauses out of 20021 with flag 4995003/5141922 1383.27/785.41 c cleaning 9999 clauses out of 20014 with flag 5005000/5151919 1386.61/787.25 c cleaning 9996 clauses out of 20015 with flag 5015000/5161919 1389.76/789.04 c cleaning 9996 clauses out of 20019 with flag 5025000/5171919 1392.99/790.97 c cleaning 10002 clauses out of 20023 with flag 5035000/5181919 1395.70/792.58 c cleaning 9990 clauses out of 20022 with flag 5045001/5191920 1398.45/794.15 c cleaning 10000 clauses out of 20031 with flag 5055000/5201919 1401.40/795.81 c cleaning 10001 clauses out of 20031 with flag 5065000/5211919 1404.56/797.70 c cleaning 10001 clauses out of 20030 with flag 5075000/5221919 1407.51/799.44 c cleaning 9999 clauses out of 20032 with flag 5085003/5231922 1410.26/801.00 c cleaning 10011 clauses out of 20032 with flag 5095002/5241921 1412.80/802.51 c cleaning 9996 clauses out of 20020 with flag 5105001/5251920 1415.58/804.27 c cleaning 9999 clauses out of 20023 with flag 5115000/5261919 1418.29/805.81 c cleaning 10002 clauses out of 20025 with flag 5125001/5271920 1420.83/807.35 c cleaning 10001 clauses out of 20022 with flag 5135000/5281919 1423.59/808.98 c cleaning 9992 clauses out of 20022 with flag 5145001/5291920 1426.32/810.64 c cleaning 10006 clauses out of 20029 with flag 5155000/5301919 1428.50/811.98 c cleaning 10003 clauses out of 20024 with flag 5165001/5311920 1430.80/813.39 c cleaning 10004 clauses out of 20022 with flag 5175002/5321921 1433.16/814.79 c cleaning 9998 clauses out of 20016 with flag 5185000/5331919 1435.89/816.40 c cleaning 10006 clauses out of 20018 with flag 5195000/5341919 1438.03/817.77 c cleaning 9999 clauses out of 20016 with flag 5205004/5351923 1440.38/819.13 c cleaning 9997 clauses out of 20013 with flag 5215000/5361919 1442.72/820.58 c cleaning 9993 clauses out of 20016 with flag 5225000/5371919 1445.31/822.17 c cleaning 9999 clauses out of 20024 with flag 5235001/5381920 1447.87/823.68 c cleaning 10003 clauses out of 20024 with flag 5245000/5391919 1450.46/825.12 c cleaning 9992 clauses out of 20022 with flag 5255001/5401920 1452.77/826.58 c cleaning 10001 clauses out of 20029 with flag 5265000/5411919 1455.55/828.21 c cleaning 10008 clauses out of 20029 with flag 5275001/5421920 1457.90/829.67 c cleaning 9990 clauses out of 20020 with flag 5285000/5431919 1460.24/831.09 c cleaning 10004 clauses out of 20030 with flag 5295000/5441919 1462.80/832.58 c cleaning 10011 clauses out of 20028 with flag 5305002/5451921 1465.55/834.25 c cleaning 10002 clauses out of 20015 with flag 5315000/5461919 1468.09/835.73 c cleaning 9997 clauses out of 20014 with flag 5325001/5471920 1470.67/837.28 c cleaning 9993 clauses out of 20016 with flag 5335000/5481919 1473.37/838.84 c cleaning 10006 clauses out of 20027 with flag 5345004/5491923 1476.15/840.54 c cleaning 10005 clauses out of 20018 with flag 5355001/5501920 1478.65/842.07 c cleaning 10000 clauses out of 20012 with flag 5365000/5511919 1481.40/843.66 c cleaning 10000 clauses out of 20012 with flag 5375000/5521919 1484.15/845.20 c cleaning 9999 clauses out of 20012 with flag 5385000/5531919 1487.13/847.10 c cleaning 9999 clauses out of 20013 with flag 5395000/5541919 1490.05/848.71 c cleaning 9996 clauses out of 20014 with flag 5405000/5551919 1492.59/850.21 c cleaning 10001 clauses out of 20019 with flag 5415001/5561920 1495.14/851.71 c cleaning 9997 clauses out of 20018 with flag 5425001/5571920 1497.94/853.40 c cleaning 10005 clauses out of 20024 with flag 5435004/5581923 1500.49/854.90 c cleaning 9979 clauses out of 20015 with flag 5445000/5591919 1503.03/856.43 c cleaning 10002 clauses out of 20036 with flag 5455000/5601919 1505.38/857.84 c cleaning 10010 clauses out of 20034 with flag 5465000/5611919 1508.12/859.51 c cleaning 10004 clauses out of 20024 with flag 5475000/5621919 1510.46/860.91 c cleaning 10002 clauses out of 20020 with flag 5485000/5631919 1513.05/862.42 c cleaning 10003 clauses out of 20018 with flag 5495000/5641919 1515.36/863.85 c cleaning 9999 clauses out of 20016 with flag 5505001/5651920 1518.28/865.70 c cleaning 10005 clauses out of 20018 with flag 5515002/5661921 1521.02/867.21 c cleaning 9999 clauses out of 20011 with flag 5525000/5671919 1523.77/868.85 c cleaning 9994 clauses out of 20012 with flag 5535000/5681919 1526.91/870.68 c cleaning 9989 clauses out of 20018 with flag 5545000/5691919 1530.09/872.54 c cleaning 10001 clauses out of 20029 with flag 5555000/5701919 1532.83/874.18 c cleaning 10010 clauses out of 20028 with flag 5565000/5711919 1535.98/875.93 c cleaning 10000 clauses out of 20018 with flag 5575000/5721919 1538.73/877.57 c cleaning 10003 clauses out of 20019 with flag 5585001/5731920 1541.85/879.43 c cleaning 10005 clauses out of 20018 with flag 5595003/5741922 1544.60/881.03 c cleaning 9997 clauses out of 20010 with flag 5605000/5751919 1547.54/882.71 c cleaning 9995 clauses out of 20013 with flag 5615000/5761919 1550.08/884.29 c cleaning 10001 clauses out of 20021 with flag 5625003/5771922 1553.22/886.12 c cleaning 9987 clauses out of 20017 with flag 5635000/5781919 1556.21/887.84 c cleaning 10005 clauses out of 20031 with flag 5645001/5791920 1558.71/889.39 c cleaning 10011 clauses out of 20028 with flag 5655003/5801922 1561.45/890.92 c cleaning 10003 clauses out of 20016 with flag 5665002/5811921 1564.19/892.69 c cleaning 9995 clauses out of 20014 with flag 5675003/5821922 1567.38/894.43 c cleaning 10000 clauses out of 20016 with flag 5685000/5831919 1570.29/896.14 c cleaning 10004 clauses out of 20016 with flag 5695000/5841919 1573.07/897.74 c cleaning 9994 clauses out of 20014 with flag 5705002/5851921 1575.99/899.52 c cleaning 10000 clauses out of 20018 with flag 5715000/5861919 1578.74/901.19 c cleaning 10001 clauses out of 20019 with flag 5725001/5871920 1581.68/902.83 c cleaning 9995 clauses out of 20018 with flag 5735001/5881920 1584.63/904.50 c cleaning 10008 clauses out of 20023 with flag 5745001/5891920 1587.83/906.46 c cleaning 9980 clauses out of 20014 with flag 5755000/5901919 1590.54/908.05 c cleaning 10011 clauses out of 20034 with flag 5765000/5911919 1593.09/909.51 c cleaning 10001 clauses out of 20024 with flag 5775001/5921920 1595.47/910.97 c cleaning 10000 clauses out of 20022 with flag 5785000/5931919 1598.15/912.67 c cleaning 10001 clauses out of 20022 with flag 5795000/5941919 1600.49/914.09 c cleaning 10003 clauses out of 20022 with flag 5805001/5951920 1603.04/915.51 c cleaning 9997 clauses out of 20020 with flag 5815002/5961921 1605.39/916.93 c cleaning 9989 clauses out of 20021 with flag 5825000/5971919 1607.75/918.52 c cleaning 10006 clauses out of 20033 with flag 5835001/5981920 1610.30/919.98 c cleaning 10003 clauses out of 20026 with flag 5845000/5991919 1612.83/921.49 c cleaning 10001 clauses out of 20023 with flag 5855000/6001919 1615.41/922.94 c cleaning 10006 clauses out of 20023 with flag 5865001/6011920 1618.09/924.65 c cleaning 9998 clauses out of 20016 with flag 5875000/6021919 1620.63/926.11 c cleaning 10003 clauses out of 20018 with flag 5885000/6031919 1623.18/927.62 c cleaning 9997 clauses out of 20016 with flag 5895001/6041920 1625.51/929.05 c cleaning 9999 clauses out of 20018 with flag 5905000/6051919 1628.29/930.74 c cleaning 10002 clauses out of 20019 with flag 5915000/6061919 1630.79/932.24 c cleaning 9999 clauses out of 20017 with flag 5925000/6071919 1633.13/933.70 c cleaning 10001 clauses out of 20019 with flag 5935001/6081920 1636.07/935.32 c cleaning 10003 clauses out of 20018 with flag 5945001/6091920 1639.02/937.14 c cleaning 9992 clauses out of 20014 with flag 5955000/6101919 1641.77/938.79 c cleaning 10005 clauses out of 20023 with flag 5965001/6111920 1645.14/940.64 c cleaning 9997 clauses out of 20019 with flag 5975002/6121921 1647.85/942.24 c cleaning 10004 clauses out of 20021 with flag 5985001/6131920 1650.48/943.90 c cleaning 9999 clauses out of 20016 with flag 5995000/6141919 1653.38/945.51 c cleaning 10000 clauses out of 20018 with flag 6005001/6151920 1656.36/947.22 c cleaning 9999 clauses out of 20019 with flag 6015002/6161921 1658.86/948.79 c cleaning 10000 clauses out of 20018 with flag 6025000/6171919 1662.03/950.62 c cleaning 10002 clauses out of 20018 with flag 6035000/6181919 1664.77/952.23 c cleaning 9997 clauses out of 20016 with flag 6045000/6191919 1667.11/953.70 c cleaning 10000 clauses out of 20019 with flag 6055000/6201919 1669.65/955.20 c cleaning 9996 clauses out of 20020 with flag 6065001/6211920 1672.56/956.96 c cleaning 9995 clauses out of 20023 with flag 6075000/6221919 1675.10/958.47 c cleaning 10008 clauses out of 20028 with flag 6085000/6231919 1678.24/960.29 c cleaning 10000 clauses out of 20020 with flag 6095000/6241919 1680.98/961.86 c cleaning 10002 clauses out of 20020 with flag 6105000/6251919 1683.72/963.59 c cleaning 10000 clauses out of 20018 with flag 6115000/6261919 1686.65/965.23 c cleaning 10005 clauses out of 20020 with flag 6125002/6271921 1689.19/966.78 c cleaning 10001 clauses out of 20014 with flag 6135001/6281920 1691.57/968.19 c cleaning 10001 clauses out of 20012 with flag 6145000/6291919 1694.29/969.85 c cleaning 9986 clauses out of 20012 with flag 6155001/6301920 1696.87/971.38 c cleaning 9997 clauses out of 20025 with flag 6165000/6311919 1699.57/972.94 c cleaning 9992 clauses out of 20028 with flag 6175000/6321919 1702.31/974.56 c cleaning 10012 clauses out of 20036 with flag 6185000/6331919 1705.06/976.23 c cleaning 10003 clauses out of 20024 with flag 6195000/6341919 1707.60/977.77 c cleaning 10000 clauses out of 20021 with flag 6205000/6351919 1710.54/979.41 c cleaning 9999 clauses out of 20021 with flag 6215000/6361919 1713.28/981.05 c cleaning 10005 clauses out of 20024 with flag 6225002/6371921 1716.26/982.83 c cleaning 9990 clauses out of 20017 with flag 6235000/6381919 1719.00/984.51 c cleaning 9997 clauses out of 20027 with flag 6245000/6391919 1722.13/986.26 c cleaning 10008 clauses out of 20030 with flag 6255000/6401919 1725.12/987.93 c cleaning 9999 clauses out of 20022 with flag 6265000/6411919 1728.02/989.74 c cleaning 10007 clauses out of 20023 with flag 6275000/6421919 1730.62/991.24 c cleaning 9976 clauses out of 20016 with flag 6285000/6431919 1733.12/992.79 c cleaning 10005 clauses out of 20040 with flag 6295000/6441919 1735.65/994.23 c cleaning 10001 clauses out of 20035 with flag 6305000/6451919 1738.22/995.85 c cleaning 9993 clauses out of 20034 with flag 6315000/6461919 1740.77/997.31 c cleaning 10008 clauses out of 20042 with flag 6325001/6471920 1743.11/998.81 c cleaning 10002 clauses out of 20033 with flag 6335000/6481919 1745.45/1000.19 c cleaning 9995 clauses out of 20031 with flag 6345000/6491919 1748.37/1001.93 c cleaning 9995 clauses out of 20036 with flag 6355000/6501919 1750.75/1003.36 c cleaning 10005 clauses out of 20042 with flag 6365001/6511920 1753.25/1004.83 c cleaning 9999 clauses out of 20036 with flag 6375000/6521919 1755.80/1006.33 c cleaning 9995 clauses out of 20037 with flag 6385000/6531919 1758.51/1008.01 c cleaning 10014 clauses out of 20042 with flag 6395000/6541919 1761.06/1009.53 c cleaning 10003 clauses out of 20029 with flag 6405001/6551920 1763.44/1011.01 c cleaning 9999 clauses out of 20026 with flag 6415001/6561920 1765.94/1012.49 c cleaning 10002 clauses out of 20027 with flag 6425001/6571920 1768.52/1014.00 c cleaning 10002 clauses out of 20026 with flag 6435002/6581921 1770.90/1015.44 c cleaning 10003 clauses out of 20022 with flag 6445000/6591919 1773.41/1016.95 c cleaning 10002 clauses out of 20020 with flag 6455001/6601920 1775.95/1018.46 c cleaning 10003 clauses out of 20018 with flag 6465001/6611920 1778.69/1020.18 c cleaning 10000 clauses out of 20015 with flag 6475001/6621920 1781.43/1021.72 c cleaning 9995 clauses out of 20014 with flag 6485000/6631919 1783.97/1023.21 c cleaning 10003 clauses out of 20021 with flag 6495002/6641921 1786.51/1024.74 c cleaning 9987 clauses out of 20016 with flag 6505000/6651919 1789.45/1026.55 c cleaning 10004 clauses out of 20032 with flag 6515003/6661922 1791.99/1028.08 c cleaning 9998 clauses out of 20025 with flag 6525000/6671919 1794.77/1029.70 c cleaning 10008 clauses out of 20031 with flag 6535004/6681923 1797.47/1031.30 c cleaning 9996 clauses out of 20019 with flag 6545000/6691919 1800.06/1032.82 c starts : 28 1800.06/1032.82 c conflicts : 5021 1800.06/1032.82 c decisions : 43291 1800.06/1032.82 c propagations : 779444 1800.06/1032.82 c inspects : 168749054 1800.06/1032.82 c shortcuts : 0 1800.06/1032.82 c learnt literals : 0 1800.06/1032.82 c learnt binary clauses : 0 1800.06/1032.82 c learnt ternary clauses : 0 1800.06/1032.82 c learnt constraints : 5019 1800.06/1032.82 c ignored constraints : 0 1800.06/1032.82 c root simplifications : 0 1800.06/1032.82 c removed literals (reason simplification) : 0 1800.06/1032.82 c reason swapping (by a shorter reason) : 0 1800.06/1032.82 c Calls to reduceDB : 0 1800.06/1032.82 c number of reductions to clauses (during analyze) : 0 1800.06/1032.82 c number of learned constraints concerned by reduction : 0 1800.06/1032.82 c number of learning phase by resolution : 0 1800.06/1032.82 c number of learning phase by cutting planes : 0 1800.06/1032.82 c speed (assignments/second) : 768.0779820220379 1800.06/1032.82 c non guided choices 0 1800.06/1032.83 c learnt constraints type 1800.06/1032.83 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2 1800.06/1032.83 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 134 1800.06/1032.83 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4883 1800.06/1032.83 c constraints type 1800.06/1032.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1614 1800.06/1032.83 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.06/1032.83 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5628 1800.06/1032.83 c constraints type 1800.06/1032.83 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5628 1800.06/1032.83 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1614 1800.06/1032.83 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.06/1032.83 s SATISFIABLE 1800.06/1032.84 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 x36 x37 x38 x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 1800.06/1032.84 c objective function=52 1800.06/1032.84 c Total wall clock time (in seconds): 1032.729
OK 52
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-3454143-1307193708/watcher-3454143-1307193708 -o /tmp/evaluation-result-3454143-1307193708/solver-3454143-1307193708 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454143-1307193708.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: 1.88 2.97 3.48 3/545 30231 /proc/meminfo: memFree=23144344/32951124 swapFree=56930356/67111528 [pid=30231] ppid=30229 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/30231/stat : 30231 (java) S 30229 30231 25956 0 -1 4202496 9028 0 1 0 0 0 0 0 25 0 2 0 830968559 10694979584 8730 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/30231/statm: 2611079 8742 917 9 0 2602235 0 [pid=30231/tid=30232] ppid=30229 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30232/stat : 30232 (java) R 30229 30231 25956 0 -1 4202560 8024 0 1 0 0 0 0 0 25 0 2 0 830968559 10694979584 8839 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 1 0 0 0 [startup+0.101953 s] /proc/loadavg: 1.88 2.97 3.48 3/545 30231 /proc/meminfo: memFree=23144344/32951124 swapFree=56930356/67111528 [pid=30231] ppid=30229 vsize=10605628 CPUtime=0.1 cores=1,3,5,7 /proc/30231/stat : 30231 (java) S 30229 30231 25956 0 -1 4202496 13132 0 1 0 9 1 0 0 25 0 18 0 830968559 10860163072 12829 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/30231/statm: 2651407 12829 2092 9 0 2642141 0 [pid=30231/tid=30232] ppid=30229 vsize=10605628 CPUtime=0.09 cores=1,3,5,7 /proc/30231/task/30232/stat : 30232 (java) R 30229 30231 25956 0 -1 4202560 11216 0 1 0 8 1 0 0 18 0 18 0 830968559 10860163072 12829 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 47387231016127 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10605628 [startup+0.202616 s] /proc/loadavg: 1.88 2.97 3.48 3/545 30231 /proc/meminfo: memFree=23144344/32951124 swapFree=56930356/67111528 [pid=30231] ppid=30229 vsize=10606756 CPUtime=0.28 cores=1,3,5,7 /proc/30231/stat : 30231 (java) S 30229 30231 25956 0 -1 4202496 14302 0 1 0 27 1 0 0 25 0 18 0 830968559 10861318144 13959 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/30231/statm: 2651579 13919 2186 9 0 2642313 0 [pid=30231/tid=30232] ppid=30229 vsize=10606316 CPUtime=0.19 cores=1,3,5,7 /proc/30231/task/30232/stat : 30232 (java) R 30229 30231 25956 0 -1 4202560 11971 0 1 0 18 1 0 0 18 0 18 0 830968559 10860867584 13919 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 47387227715178 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 10606756 [startup+0.314958 s] /proc/loadavg: 1.88 2.97 3.48 3/545 30231 /proc/meminfo: memFree=23144344/32951124 swapFree=56930356/67111528 [pid=30231] ppid=30229 vsize=10609244 CPUtime=0.58 cores=1,3,5,7 /proc/30231/stat : 30231 (java) S 30229 30231 25956 0 -1 4202496 18518 0 1 0 56 2 0 0 25 0 18 0 830968559 10863865856 17029 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/30231/statm: 2652311 17030 2201 9 0 2643045 0 [pid=30231/tid=30232] ppid=30229 vsize=10609244 CPUtime=0.3 cores=1,3,5,7 /proc/30231/task/30232/stat : 30232 (java) R 30229 30231 25956 0 -1 4202560 13524 0 1 0 29 1 0 0 18 0 18 0 830968559 10863865856 17031 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 46912505590277 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 10609244 [startup+0.700859 s] /proc/loadavg: 1.88 2.97 3.48 3/545 30231 /proc/meminfo: memFree=23144344/32951124 swapFree=56930356/67111528 [pid=30231] ppid=30229 vsize=10614724 CPUtime=0.94 cores=1,3,5,7 /proc/30231/stat : 30231 (java) S 30229 30231 25956 0 -1 4202496 21908 0 1 0 92 2 0 0 25 0 19 0 830968559 10869477376 20357 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/30231/statm: 2653681 20357 2228 9 0 2644415 0 [pid=30231/tid=30232] ppid=30229 vsize=10614724 CPUtime=0.37 cores=1,3,5,7 /proc/30231/task/30232/stat : 30232 (java) S 30229 30231 25956 0 -1 4202560 15918 0 1 0 35 2 0 0 19 0 19 0 830968559 10869477376 20357 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.94 Current children cumulated vsize (KiB) 10614724 [startup+1.50066 s] /proc/loadavg: 1.88 2.97 3.48 7/567 30257 /proc/meminfo: memFree=23021788/32951124 swapFree=56930356/67111528 [pid=30231] ppid=30229 vsize=10628796 CPUtime=3.26 cores=1,3,5,7 /proc/30231/stat : 30231 (java) S 30229 30231 25956 0 -1 4202496 51638 0 1 0 320 6 0 0 25 0 22 0 830968559 10883887104 45683 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/30231/statm: 2657199 45685 2243 9 0 2647933 0 [pid=30231/tid=30232] ppid=30229 vsize=10628796 CPUtime=0.38 cores=1,3,5,7 /proc/30231/task/30232/stat : 30232 (java) S 30229 30231 25956 0 -1 4202560 15993 0 1 0 36 2 0 0 15 0 22 0 830968559 10883887104 45686 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30234] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30234/stat : 30234 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968561 10883887104 45687 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30235] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30235/stat : 30235 (java) S 30229 30231 25956 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830968561 10883887104 45688 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30236] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30236/stat : 30236 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968561 10883887104 45689 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30237] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30237/stat : 30237 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968561 10883887104 45690 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30238] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30238/stat : 30238 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968561 10883887104 45691 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30239] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30239/stat : 30239 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968561 10883887104 45691 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30240] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30240/stat : 30240 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968561 10883887104 45692 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30241] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30241/stat : 30241 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968561 10883887104 45693 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30242] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30242/stat : 30242 (java) S 30229 30231 25956 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830968562 10883887104 45693 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 0 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30243] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30243/stat : 30243 (java) S 30229 30231 25956 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830968562 10883887104 45693 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30244] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30244/stat : 30244 (java) S 30229 30231 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830968562 10883887104 45695 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30245] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30245/stat : 30245 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968565 10883887104 45698 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917554609 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30246] ppid=30229 vsize=10628796 CPUtime=0.81 cores=1,3,5,7 /proc/30231/task/30246/stat : 30246 (java) S 30229 30231 25956 0 -1 4202560 7638 0 0 0 81 0 0 0 22 0 22 0 830968565 10883887104 45701 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30247] ppid=30229 vsize=10628796 CPUtime=0.81 cores=1,3,5,7 /proc/30231/task/30247/stat : 30247 (java) S 30229 30231 25956 0 -1 4202560 7822 0 0 0 80 1 0 0 16 0 22 0 830968565 10883887104 45706 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30248] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30248/stat : 30248 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968565 10883887104 45712 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30249] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30249/stat : 30249 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830968565 10883887104 45717 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30252] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30252/stat : 30252 (java) S 30229 30231 25956 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830968598 10883887104 45721 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30254] ppid=30229 vsize=10628796 CPUtime=0.58 cores=1,3,5,7 /proc/30231/task/30254/stat : 30254 (java) R 30229 30231 25956 0 -1 4202560 344 0 0 0 58 0 0 0 17 0 22 0 830968648 10883887104 45726 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 46912505755466 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=30231/tid=30256] ppid=30229 vsize=10628796 CPUtime=0.59 cores=1,3,5,7 /proc/30231/task/30256/stat : 30256 (java) R 30229 30231 25956 0 -1 4202560 18575 0 0 0 57 2 0 0 18 0 22 0 830968648 10883887104 45727 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 47387227715208 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=30231/tid=30257] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30257/stat : 30257 (java) S 30229 30231 25956 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830968649 10883887104 45727 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.26 Current children cumulated vsize (KiB) 10628796 [startup+3.10138 s] /proc/loadavg: 1.88 2.97 3.48 5/567 30257 /proc/meminfo: memFree=22709972/32951124 swapFree=56930356/67111528 [pid=30231] ppid=30229 vsize=10628796 CPUtime=6.57 cores=1,3,5,7 /proc/30231/stat : 30231 (java) S 30229 30231 25956 0 -1 4202496 108279 0 1 0 644 13 0 0 25 0 22 0 830968559 10883887104 102318 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/30231/statm: 2657199 102326 2267 9 0 2647933 0 [pid=30231/tid=30232] ppid=30229 vsize=10628796 CPUtime=0.38 cores=1,3,5,7 /proc/30231/task/30232/stat : 30232 (java) S 30229 30231 25956 0 -1 4202560 15993 0 1 0 36 2 0 0 15 0 22 0 830968559 10883887104 102329 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30234] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30234/stat : 30234 (java) S 30229 30231 25956 0 -1 4202560 368 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 102335 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30235] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30235/stat : 30235 (java) S 30229 30231 25956 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 102340 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30236] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30236/stat : 30236 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 830968561 10883887104 102345 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30237] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30237/stat : 30237 (java) S 30229 30231 25956 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 102349 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30238] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30238/stat : 30238 (java) S 30229 30231 25956 0 -1 4202560 716 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 102354 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30239] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30239/stat : 30239 (java) S 30229 30231 25956 0 -1 4202560 414 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 102360 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30240] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30240/stat : 30240 (java) S 30229 30231 25956 0 -1 4202560 594 0 0 0 0 0 0 0 16 0 22 0 830968561 10883887104 102364 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30241] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30241/stat : 30241 (java) S 30229 30231 25956 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 102368 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30242] ppid=30229 vsize=10628796 CPUtime=0.05 cores=1,3,5,7 /proc/30231/task/30242/stat : 30242 (java) S 30229 30231 25956 0 -1 4202560 2157 0 0 0 5 0 0 0 16 0 22 0 830968562 10883887104 102373 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 0 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30243] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30243/stat : 30243 (java) S 30229 30231 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830968562 10883887104 102379 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30244] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30244/stat : 30244 (java) S 30229 30231 25956 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830968562 10883887104 102383 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30245] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30245/stat : 30245 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968565 10883887104 102387 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917554609 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30246] ppid=30229 vsize=10628796 CPUtime=0.91 cores=1,3,5,7 /proc/30231/task/30246/stat : 30246 (java) S 30229 30231 25956 0 -1 4202560 7659 0 0 0 91 0 0 0 15 0 22 0 830968565 10883887104 102392 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30247] ppid=30229 vsize=10628796 CPUtime=0.87 cores=1,3,5,7 /proc/30231/task/30247/stat : 30247 (java) S 30229 30231 25956 0 -1 4202560 7832 0 0 0 86 1 0 0 15 0 22 0 830968565 10883887104 102398 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30248] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30248/stat : 30248 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968565 10883887104 102402 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30249] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30249/stat : 30249 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830968565 10883887104 102406 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30252] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30252/stat : 30252 (java) S 30229 30231 25956 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830968598 10883887104 102411 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30254] ppid=30229 vsize=10628796 CPUtime=2.11 cores=1,3,5,7 /proc/30231/task/30254/stat : 30254 (java) R 30229 30231 25956 0 -1 4202560 939 0 0 0 211 0 0 0 19 0 22 0 830968648 10883887104 102416 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 46912505759660 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=30231/tid=30256] ppid=30229 vsize=10628796 CPUtime=2.14 cores=1,3,5,7 /proc/30231/task/30256/stat : 30256 (java) R 30229 30231 25956 0 -1 4202560 70045 0 0 0 205 9 0 0 20 0 22 0 830968648 10883887104 102420 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 46912505983485 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=30231/tid=30257] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30257/stat : 30257 (java) S 30229 30231 25956 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830968649 10883887104 102424 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 6.57 Current children cumulated vsize (KiB) 10628796 [startup+6.30083 s] /proc/loadavg: 2.05 2.99 3.48 5/567 30257 /proc/meminfo: memFree=22101752/32951124 swapFree=56930356/67111528 [pid=30231] ppid=30229 vsize=10628796 CPUtime=13 cores=1,3,5,7 /proc/30231/stat : 30231 (java) S 30229 30231 25956 0 -1 4202496 161073 0 1 0 1280 20 0 0 25 0 22 0 830968559 10883887104 154570 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/30231/statm: 2657199 154570 2267 9 0 2647933 0 [pid=30231/tid=30232] ppid=30229 vsize=10628796 CPUtime=0.38 cores=1,3,5,7 /proc/30231/task/30232/stat : 30232 (java) S 30229 30231 25956 0 -1 4202560 15993 0 1 0 36 2 0 0 15 0 22 0 830968559 10883887104 154570 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30234] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30234/stat : 30234 (java) S 30229 30231 25956 0 -1 4202560 376 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 154570 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30235] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30235/stat : 30235 (java) S 30229 30231 25956 0 -1 4202560 60 0 0 0 0 0 0 0 16 0 22 0 830968561 10883887104 154570 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30236] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30236/stat : 30236 (java) S 30229 30231 25956 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 154570 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30237] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30237/stat : 30237 (java) S 30229 30231 25956 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 154570 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30238] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30238/stat : 30238 (java) S 30229 30231 25956 0 -1 4202560 718 0 0 0 0 0 0 0 16 0 22 0 830968561 10883887104 154570 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30239] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30239/stat : 30239 (java) S 30229 30231 25956 0 -1 4202560 472 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 154570 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30240] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30240/stat : 30240 (java) S 30229 30231 25956 0 -1 4202560 594 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 154570 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30241] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30241/stat : 30241 (java) S 30229 30231 25956 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 22 0 830968561 10883887104 154570 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 ################ # More data... # ################ [pid=30231/tid=30271] ppid=30229 vsize=10628796 CPUtime=680.89 cores=1,3,5,7 /proc/30231/task/30271/stat : 30271 (java) S 30229 30231 25956 0 -1 4202560 117 0 0 0 68089 0 0 0 17 0 22 0 830970362 10883887104 353779 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30272] ppid=30229 vsize=10628796 CPUtime=681.08 cores=1,3,5,7 /proc/30231/task/30272/stat : 30272 (java) S 30229 30231 25956 0 -1 4202560 15035 0 0 0 68106 2 0 0 17 0 22 0 830970362 10883887104 353779 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30273] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30273/stat : 30273 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830970362 10883887104 353779 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1648.01 Current children cumulated vsize (KiB) 10628796 [startup+1002.3 s] /proc/loadavg: 2.14 3.19 3.49 2/540 30322 /proc/meminfo: memFree=22430776/32951124 swapFree=56930356/67111528 [pid=30231] ppid=30229 vsize=10628796 CPUtime=1748.81 cores=1,3,5,7 /proc/30231/stat : 30231 (java) S 30229 30231 25956 0 -1 4202496 366987 0 1 0 174797 84 0 0 25 0 22 0 830968559 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/30231/statm: 2657199 359702 2269 9 0 2647933 0 [pid=30231/tid=30232] ppid=30229 vsize=10628796 CPUtime=0.41 cores=1,3,5,7 /proc/30231/task/30232/stat : 30232 (java) S 30229 30231 25956 0 -1 4202560 16440 0 1 0 39 2 0 0 15 0 22 0 830968559 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30234] ppid=30229 vsize=10628796 CPUtime=1.78 cores=1,3,5,7 /proc/30231/task/30234/stat : 30234 (java) S 30229 30231 25956 0 -1 4202560 739 0 0 0 178 0 0 0 15 0 22 0 830968561 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30235] ppid=30229 vsize=10628796 CPUtime=1.65 cores=1,3,5,7 /proc/30231/task/30235/stat : 30235 (java) S 30229 30231 25956 0 -1 4202560 586 0 0 0 165 0 0 0 15 0 22 0 830968561 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30236] ppid=30229 vsize=10628796 CPUtime=1.73 cores=1,3,5,7 /proc/30231/task/30236/stat : 30236 (java) S 30229 30231 25956 0 -1 4202560 701 0 0 0 172 1 0 0 15 0 22 0 830968561 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30237] ppid=30229 vsize=10628796 CPUtime=1.76 cores=1,3,5,7 /proc/30231/task/30237/stat : 30237 (java) S 30229 30231 25956 0 -1 4202560 556 0 0 0 176 0 0 0 15 0 22 0 830968561 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30238] ppid=30229 vsize=10628796 CPUtime=1.69 cores=1,3,5,7 /proc/30231/task/30238/stat : 30238 (java) S 30229 30231 25956 0 -1 4202560 985 0 0 0 169 0 0 0 16 0 22 0 830968561 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30239] ppid=30229 vsize=10628796 CPUtime=1.83 cores=1,3,5,7 /proc/30231/task/30239/stat : 30239 (java) S 30229 30231 25956 0 -1 4202560 1955 0 0 0 183 0 0 0 16 0 22 0 830968561 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30240] ppid=30229 vsize=10628796 CPUtime=1.75 cores=1,3,5,7 /proc/30231/task/30240/stat : 30240 (java) S 30229 30231 25956 0 -1 4202560 774 0 0 0 175 0 0 0 15 0 22 0 830968561 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30241] ppid=30229 vsize=10628796 CPUtime=1.78 cores=1,3,5,7 /proc/30231/task/30241/stat : 30241 (java) S 30229 30231 25956 0 -1 4202560 493 0 0 0 178 0 0 0 15 0 22 0 830968561 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30242] ppid=30229 vsize=10628796 CPUtime=259.11 cores=1,3,5,7 /proc/30231/task/30242/stat : 30242 (java) R 30229 30231 25956 0 -1 4202560 123575 0 0 0 25864 47 0 0 16 0 22 0 830968562 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 47387230444833 0 0 0 16800975 0 0 0 -1 5 0 0 0 [pid=30231/tid=30243] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30243/stat : 30243 (java) S 30229 30231 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830968562 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30244] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30244/stat : 30244 (java) S 30229 30231 25956 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 830968562 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30245] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30245/stat : 30245 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968565 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917554609 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30246] ppid=30229 vsize=10628796 CPUtime=1 cores=1,3,5,7 /proc/30231/task/30246/stat : 30246 (java) S 30229 30231 25956 0 -1 4202560 7659 0 0 0 100 0 0 0 16 0 22 0 830968565 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30247] ppid=30229 vsize=10628796 CPUtime=1.28 cores=1,3,5,7 /proc/30231/task/30247/stat : 30247 (java) S 30229 30231 25956 0 -1 4202560 8904 0 0 0 127 1 0 0 15 0 22 0 830968565 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30248] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30248/stat : 30248 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968565 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30249] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30249/stat : 30249 (java) S 30229 30231 25956 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 830968565 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30267] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30267/stat : 30267 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830969957 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30271] ppid=30229 vsize=10628796 CPUtime=721.24 cores=1,3,5,7 /proc/30231/task/30271/stat : 30271 (java) S 30229 30231 25956 0 -1 4202560 117 0 0 0 72124 0 0 0 16 0 22 0 830970362 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30272] ppid=30229 vsize=10628796 CPUtime=721.61 cores=1,3,5,7 /proc/30231/task/30272/stat : 30272 (java) S 30229 30231 25956 0 -1 4202560 15041 0 0 0 72159 2 0 0 17 0 22 0 830970362 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30273] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30273/stat : 30273 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830970362 10883887104 359702 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1748.81 Current children cumulated vsize (KiB) 10628796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1032.8 s] /proc/loadavg: 2.02 3.06 3.43 3/540 30323 /proc/meminfo: memFree=22430492/32951124 swapFree=56930356/67111528 [pid=30231] ppid=30229 vsize=10628796 CPUtime=1800.06 cores=1,3,5,7 /proc/30231/stat : 30231 (java) S 30229 30231 25956 0 -1 4202496 367016 0 1 0 179904 102 0 0 25 0 22 0 830968559 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/30231/statm: 2657199 359707 2269 9 0 2647933 0 [pid=30231/tid=30232] ppid=30229 vsize=10628796 CPUtime=0.41 cores=1,3,5,7 /proc/30231/task/30232/stat : 30232 (java) S 30229 30231 25956 0 -1 4202560 16459 0 1 0 39 2 0 0 15 0 22 0 830968559 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30234] ppid=30229 vsize=10628796 CPUtime=1.8 cores=1,3,5,7 /proc/30231/task/30234/stat : 30234 (java) S 30229 30231 25956 0 -1 4202560 739 0 0 0 180 0 0 0 15 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30235] ppid=30229 vsize=10628796 CPUtime=1.68 cores=1,3,5,7 /proc/30231/task/30235/stat : 30235 (java) S 30229 30231 25956 0 -1 4202560 586 0 0 0 167 1 0 0 15 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30236] ppid=30229 vsize=10628796 CPUtime=1.75 cores=1,3,5,7 /proc/30231/task/30236/stat : 30236 (java) S 30229 30231 25956 0 -1 4202560 701 0 0 0 174 1 0 0 15 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30237] ppid=30229 vsize=10628796 CPUtime=1.78 cores=1,3,5,7 /proc/30231/task/30237/stat : 30237 (java) S 30229 30231 25956 0 -1 4202560 556 0 0 0 178 0 0 0 15 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30238] ppid=30229 vsize=10628796 CPUtime=1.71 cores=1,3,5,7 /proc/30231/task/30238/stat : 30238 (java) S 30229 30231 25956 0 -1 4202560 985 0 0 0 171 0 0 0 16 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30239] ppid=30229 vsize=10628796 CPUtime=1.86 cores=1,3,5,7 /proc/30231/task/30239/stat : 30239 (java) S 30229 30231 25956 0 -1 4202560 1960 0 0 0 185 1 0 0 16 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30240] ppid=30229 vsize=10628796 CPUtime=1.77 cores=1,3,5,7 /proc/30231/task/30240/stat : 30240 (java) S 30229 30231 25956 0 -1 4202560 774 0 0 0 177 0 0 0 16 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30241] ppid=30229 vsize=10628796 CPUtime=1.81 cores=1,3,5,7 /proc/30231/task/30241/stat : 30241 (java) S 30229 30231 25956 0 -1 4202560 493 0 0 0 181 0 0 0 15 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30242] ppid=30229 vsize=10628796 CPUtime=269.12 cores=1,3,5,7 /proc/30231/task/30242/stat : 30242 (java) S 30229 30231 25956 0 -1 4202560 123577 0 0 0 26848 64 0 0 16 0 22 0 830968562 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 0 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30243] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30243/stat : 30243 (java) S 30229 30231 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830968562 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30244] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30244/stat : 30244 (java) S 30229 30231 25956 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 830968562 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30245] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30245/stat : 30245 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968565 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917554609 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30246] ppid=30229 vsize=10628796 CPUtime=1 cores=1,3,5,7 /proc/30231/task/30246/stat : 30246 (java) S 30229 30231 25956 0 -1 4202560 7659 0 0 0 100 0 0 0 16 0 22 0 830968565 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30247] ppid=30229 vsize=10628796 CPUtime=1.28 cores=1,3,5,7 /proc/30231/task/30247/stat : 30247 (java) S 30229 30231 25956 0 -1 4202560 8904 0 0 0 127 1 0 0 15 0 22 0 830968565 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30248] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30248/stat : 30248 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968565 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30249] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30249/stat : 30249 (java) S 30229 30231 25956 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 830968565 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30267] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30267/stat : 30267 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830969957 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30271] ppid=30229 vsize=10628796 CPUtime=741.68 cores=1,3,5,7 /proc/30231/task/30271/stat : 30271 (java) R 30229 30231 25956 0 -1 4202560 118 0 0 0 74168 0 0 0 16 0 22 0 830970362 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 46912505755328 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=30231/tid=30272] ppid=30229 vsize=10628796 CPUtime=742.23 cores=1,3,5,7 /proc/30231/task/30272/stat : 30272 (java) R 30229 30231 25956 0 -1 4202560 15041 0 0 0 74221 2 0 0 16 0 22 0 830970362 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 46912506396639 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=30231/tid=30273] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30273/stat : 30273 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830970362 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 10628796 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1032.8 s] /proc/loadavg: 2.02 3.06 3.43 3/540 30323 /proc/meminfo: memFree=22430492/32951124 swapFree=56930356/67111528 [pid=30231] ppid=30229 vsize=10628796 CPUtime=1800.06 cores=1,3,5,7 /proc/30231/stat : 30231 (java) S 30229 30231 25956 0 -1 4202496 367016 0 1 0 179904 102 0 0 25 0 22 0 830968559 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/30231/statm: 2657199 359707 2269 9 0 2647933 0 [pid=30231/tid=30232] ppid=30229 vsize=10628796 CPUtime=0.41 cores=1,3,5,7 /proc/30231/task/30232/stat : 30232 (java) S 30229 30231 25956 0 -1 4202560 16459 0 1 0 39 2 0 0 15 0 22 0 830968559 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30234] ppid=30229 vsize=10628796 CPUtime=1.8 cores=1,3,5,7 /proc/30231/task/30234/stat : 30234 (java) S 30229 30231 25956 0 -1 4202560 739 0 0 0 180 0 0 0 15 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30235] ppid=30229 vsize=10628796 CPUtime=1.68 cores=1,3,5,7 /proc/30231/task/30235/stat : 30235 (java) S 30229 30231 25956 0 -1 4202560 586 0 0 0 167 1 0 0 15 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30236] ppid=30229 vsize=10628796 CPUtime=1.75 cores=1,3,5,7 /proc/30231/task/30236/stat : 30236 (java) S 30229 30231 25956 0 -1 4202560 701 0 0 0 174 1 0 0 15 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30237] ppid=30229 vsize=10628796 CPUtime=1.78 cores=1,3,5,7 /proc/30231/task/30237/stat : 30237 (java) S 30229 30231 25956 0 -1 4202560 556 0 0 0 178 0 0 0 15 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30238] ppid=30229 vsize=10628796 CPUtime=1.71 cores=1,3,5,7 /proc/30231/task/30238/stat : 30238 (java) S 30229 30231 25956 0 -1 4202560 985 0 0 0 171 0 0 0 16 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30239] ppid=30229 vsize=10628796 CPUtime=1.86 cores=1,3,5,7 /proc/30231/task/30239/stat : 30239 (java) S 30229 30231 25956 0 -1 4202560 1960 0 0 0 185 1 0 0 16 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30240] ppid=30229 vsize=10628796 CPUtime=1.77 cores=1,3,5,7 /proc/30231/task/30240/stat : 30240 (java) S 30229 30231 25956 0 -1 4202560 774 0 0 0 177 0 0 0 16 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30241] ppid=30229 vsize=10628796 CPUtime=1.81 cores=1,3,5,7 /proc/30231/task/30241/stat : 30241 (java) S 30229 30231 25956 0 -1 4202560 493 0 0 0 181 0 0 0 15 0 22 0 830968561 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30242] ppid=30229 vsize=10628796 CPUtime=269.12 cores=1,3,5,7 /proc/30231/task/30242/stat : 30242 (java) S 30229 30231 25956 0 -1 4202560 123577 0 0 0 26848 64 0 0 16 0 22 0 830968562 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 0 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30243] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30243/stat : 30243 (java) S 30229 30231 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830968562 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30244] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30244/stat : 30244 (java) S 30229 30231 25956 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 830968562 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30245] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30245/stat : 30245 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968565 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917554609 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30246] ppid=30229 vsize=10628796 CPUtime=1 cores=1,3,5,7 /proc/30231/task/30246/stat : 30246 (java) S 30229 30231 25956 0 -1 4202560 7659 0 0 0 100 0 0 0 16 0 22 0 830968565 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30247] ppid=30229 vsize=10628796 CPUtime=1.28 cores=1,3,5,7 /proc/30231/task/30247/stat : 30247 (java) S 30229 30231 25956 0 -1 4202560 8904 0 0 0 127 1 0 0 15 0 22 0 830968565 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 [pid=30231/tid=30248] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30248/stat : 30248 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968565 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917546905 0 4 0 16800975 18446604469977269376 0 0 -1 1 0 0 0 [pid=30231/tid=30249] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30249/stat : 30249 (java) S 30229 30231 25956 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 830968565 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 7 0 0 0 [pid=30231/tid=30267] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30267/stat : 30267 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830969957 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 3 0 0 0 [pid=30231/tid=30271] ppid=30229 vsize=10628796 CPUtime=741.68 cores=1,3,5,7 /proc/30231/task/30271/stat : 30271 (java) R 30229 30231 25956 0 -1 4202560 118 0 0 0 74168 0 0 0 16 0 22 0 830970362 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 46912505755328 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=30231/tid=30272] ppid=30229 vsize=10628796 CPUtime=742.23 cores=1,3,5,7 /proc/30231/task/30272/stat : 30272 (java) R 30229 30231 25956 0 -1 4202560 15041 0 0 0 74221 2 0 0 16 0 22 0 830970362 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 46912506396639 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=30231/tid=30273] ppid=30229 vsize=10628796 CPUtime=0 cores=1,3,5,7 /proc/30231/task/30273/stat : 30273 (java) S 30229 30231 25956 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830970362 10883887104 359707 33554432000 1073741824 1073778376 140734258810432 18446744073709551615 218917547520 0 4 0 16800975 18446604469977269376 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 10628796 Child status: 143 Real time (s): 1032.9 CPU time (s): 1800.19 CPU user time (s): 1799.11 CPU system time (s): 1.08183 CPU usage (%): 174.285 Max. virtual memory (cumulated for all children) (KiB): 10628796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.11 system time used= 1.08183 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 367046 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= 42538 involuntary context switches= 19747 runsolver used 5.48117 second user time and 13.186 second system time The end
Begin job on node137 at 2011-06-04 15:21:48 IDJOB=3454143 IDBENCH=25029 IDSOLVER=1950 FILE ID=node137/3454143-1307193708 RUNJOBID= node137-1307193703-30006 PBS_JOBID= 13508854 Free space on /tmp= 73724 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454143-1307193708/watcher-3454143-1307193708 -o /tmp/evaluation-result-3454143-1307193708/solver-3454143-1307193708 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454143-1307193708.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa RANDOM SEED=575195964 node137.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.844 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.68 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.844 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.844 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.74 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.844 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.74 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.844 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.82 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.844 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.844 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.83 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.844 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23144524 kB Buffers: 287892 kB Cached: 533956 kB SwapCached: 12312 kB Active: 9060852 kB Inactive: 481820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23144524 kB SwapTotal: 67111528 kB SwapFree: 56930356 kB Dirty: 6476 kB Writeback: 0 kB AnonPages: 8718300 kB Mapped: 29624 kB Slab: 118588 kB PageTables: 76016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 172901688 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= 73732 MiB End job on node137 at 2011-06-04 15:39:03