Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 165 | 1800.17 | 955.96 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb |
| MD5SUM | df1c0055bf82833faa95d352e28c6731 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 121 |
| Best CPU time to get the best result obtained on this benchmark | 1.09283 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 121 |
| Optimality of the best value was proved | YES |
| Number of variables | 4676 |
| Total number of constraints | 398 |
| Number of constraints which are clauses | 398 |
| 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 | 2 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 4676 |
| 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 | 4676 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4676 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.11 c See www.sat4j.org for details. 0.06/0.11 c version 2.3.1.v20110525 0.06/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.11 c java.vm.version 19.1-b02 0.06/0.11 c java.vm.vendor Sun Microsystems Inc. 0.06/0.11 c sun.arch.data.model 64 0.06/0.11 c java.version 1.6.0_24 0.06/0.11 c os.name Linux 0.06/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.11 c os.arch amd64 0.06/0.11 c Free memory 9996466904 0.06/0.11 c Max memory 10048897024 0.06/0.11 c Total memory 10048897024 0.06/0.11 c Number of processors 8 0.06/0.14 c Pseudo Boolean Optimization 0.06/0.14 c ManyCore solver with 2 solvers running in parallel 0.06/0.14 c --- Begin Solver configuration --- 0.06/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.06/0.14 c Learn all clauses as in MiniSAT 0.06/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.14 c Expensive reason simplification 0.06/0.14 c Armin Biere (Picosat) restarts strategy 0.06/0.14 c Glucose learned constraints deletion strategy 0.06/0.14 c timeout=2147483s 0.06/0.14 c DB Simplification allowed=false 0.06/0.14 c --- End Solver configuration --- 0.06/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.14 c --- Begin Solver configuration --- 0.06/0.14 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.06/0.14 c Learn all clauses as in MiniSAT 0.06/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.14 c No reason simplification 0.06/0.14 c Armin Biere (Picosat) restarts strategy 0.06/0.14 c Glucose learned constraints deletion strategy 0.06/0.14 c timeout=2147483s 0.06/0.14 c DB Simplification allowed=false 0.06/0.14 c --- End Solver configuration --- 0.06/0.14 c solving HOME/instance-3732337-1338685174.opb 0.06/0.14 c reading problem ... 0.46/0.31 c ... done. Wall clock time 0.177s. 0.46/0.31 c #vars 4676 0.46/0.31 c #constraints 398 0.46/0.31 c constraints type 0.46/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 397 0.46/0.32 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 0.46/0.32 c constraints type 0.46/0.32 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1 0.46/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 397 0.83/0.40 c And the winner is Resolution 0.90/0.83 c SATISFIABLE 0.90/0.83 c OPTIMIZING... 0.90/0.83 c Got one! Elapsed wall clock time (in seconds):0.694 0.90/0.83 o 173 4.05/2.20 c cleaning 2495 clauses out of 5000 with flag 5000/5000 8.15/4.18 c cleaning 4249 clauses out of 8506 with flag 11001/11001 9.93/5.09 c And the winner is CuttingPlanes 10.12/5.37 c Got one! Elapsed wall clock time (in seconds):5.228 10.12/5.37 o 172 11.40/6.04 c cleaning 4995 clauses out of 9998 with flag 3000/16742 15.81/8.30 c cleaning 5498 clauses out of 11003 with flag 9000/22742 19.04/9.85 c And the winner is CuttingPlanes 19.04/9.88 c Got one! Elapsed wall clock time (in seconds):9.746 19.04/9.88 o 171 19.62/10.10 c cleaning 5581 clauses out of 11172 with flag 1000/28409 23.61/12.17 c cleaning 5778 clauses out of 11593 with flag 7002/34411 28.38/14.52 c cleaning 6398 clauses out of 12813 with flag 14000/41409 33.66/17.19 c cleaning 7200 clauses out of 14415 with flag 22000/49409 41.30/20.91 c cleaning 8104 clauses out of 16215 with flag 31000/58409 42.94/21.79 c And the winner is CuttingPlanes 43.09/21.90 c Got one! Elapsed wall clock time (in seconds):21.764 43.09/21.90 o 170 44.54/22.64 c cleaning 6708 clauses out of 13424 with flag 3000/63722 48.50/24.65 c cleaning 6352 clauses out of 12716 with flag 9000/69722 53.47/27.18 c cleaning 6680 clauses out of 13366 with flag 16002/76724 58.88/29.84 c cleaning 7340 clauses out of 14685 with flag 24001/84723 65.25/33.02 c cleaning 8170 clauses out of 16345 with flag 33001/93723 66.21/33.53 c And the winner is CuttingPlanes 66.24/33.92 c Got one! Elapsed wall clock time (in seconds):33.779 66.24/33.92 o 169 68.62/35.14 c cleaning 6634 clauses out of 13286 with flag 4000/98834 73.00/37.38 c cleaning 6322 clauses out of 12653 with flag 10001/104835 77.36/39.55 c cleaning 6662 clauses out of 13330 with flag 17000/111834 82.73/42.23 c cleaning 7329 clauses out of 14668 with flag 25000/119834 88.35/45.10 c cleaning 8165 clauses out of 16339 with flag 34000/128834 91.49/46.67 c And the winner is CuttingPlanes 91.60/46.94 c Got one! Elapsed wall clock time (in seconds):46.806 91.60/46.94 o 168 92.32/47.36 c cleaning 6913 clauses out of 13832 with flag 2001/134492 97.06/49.72 c cleaning 6452 clauses out of 12918 with flag 8000/140491 102.22/52.32 c cleaning 6729 clauses out of 13466 with flag 15000/147491 106.78/54.60 c cleaning 7364 clauses out of 14738 with flag 23001/155492 114.76/58.63 c cleaning 8181 clauses out of 16373 with flag 32000/164491 121.91/62.20 c cleaning 9091 clauses out of 18193 with flag 42001/174492 129.07/65.85 c cleaning 9545 clauses out of 19102 with flag 52001/184492 136.04/69.36 c cleaning 9776 clauses out of 19557 with flag 62001/194492 144.98/73.80 c cleaning 9882 clauses out of 19780 with flag 72000/204491 150.69/76.76 c cleaning 9947 clauses out of 19902 with flag 82004/214495 158.44/80.68 c cleaning 9976 clauses out of 19951 with flag 92000/224491 162.77/82.82 c cleaning 9983 clauses out of 19975 with flag 102000/234491 167.30/85.14 c cleaning 9990 clauses out of 19992 with flag 112000/244491 173.36/88.29 c cleaning 9992 clauses out of 20002 with flag 122000/254491 181.51/92.40 c cleaning 9997 clauses out of 20010 with flag 132000/264491 189.40/96.30 c cleaning 9999 clauses out of 20013 with flag 142000/274491 193.50/98.45 c cleaning 10001 clauses out of 20014 with flag 152000/284491 198.73/101.11 c cleaning 10001 clauses out of 20013 with flag 162000/294491 203.03/103.33 c cleaning 10003 clauses out of 20013 with flag 172001/304492 208.31/106.09 c cleaning 9998 clauses out of 20009 with flag 182000/314491 217.22/110.50 c cleaning 10000 clauses out of 20011 with flag 192000/324491 223.66/113.81 c cleaning 10000 clauses out of 20012 with flag 202001/334492 227.54/115.84 c cleaning 10001 clauses out of 20013 with flag 212002/344493 232.03/118.14 c cleaning 9997 clauses out of 20010 with flag 222000/354491 236.33/120.33 c cleaning 10002 clauses out of 20014 with flag 232001/364492 240.95/122.72 c cleaning 10001 clauses out of 20012 with flag 242001/374492 245.04/124.85 c cleaning 9997 clauses out of 20010 with flag 252000/384491 249.52/127.12 c cleaning 9999 clauses out of 20013 with flag 262000/394491 257.42/131.18 c cleaning 10002 clauses out of 20014 with flag 272000/404491 266.62/135.85 c cleaning 9997 clauses out of 20012 with flag 282000/414491 271.11/138.11 c cleaning 10001 clauses out of 20015 with flag 292000/424491 274.80/140.05 c cleaning 9998 clauses out of 20015 with flag 302001/434492 278.69/142.02 c cleaning 10000 clauses out of 20017 with flag 312001/444492 282.92/144.26 c cleaning 10005 clauses out of 20016 with flag 322000/454491 288.20/146.90 c cleaning 9997 clauses out of 20011 with flag 332000/464491 292.88/149.32 c cleaning 10002 clauses out of 20015 with flag 342001/474492 297.95/151.92 c cleaning 10000 clauses out of 20013 with flag 352001/484492 301.98/154.05 c cleaning 10001 clauses out of 20013 with flag 362001/494492 306.06/156.14 c cleaning 10002 clauses out of 20011 with flag 372000/504491 309.92/158.17 c cleaning 9999 clauses out of 20009 with flag 382000/514491 314.00/160.24 c cleaning 10002 clauses out of 20011 with flag 392001/524492 319.80/163.22 c cleaning 9995 clauses out of 20008 with flag 402000/534491 327.50/167.14 c cleaning 10003 clauses out of 20014 with flag 412001/544492 333.75/170.33 c cleaning 9998 clauses out of 20011 with flag 422001/554492 337.64/172.33 c cleaning 10001 clauses out of 20013 with flag 432001/564492 341.44/174.36 c cleaning 9999 clauses out of 20012 with flag 442001/574492 345.73/176.57 c cleaning 10000 clauses out of 20013 with flag 452001/584492 350.19/178.87 c cleaning 10000 clauses out of 20013 with flag 462001/594492 355.67/181.64 c cleaning 9997 clauses out of 20012 with flag 472000/604491 360.26/184.09 c cleaning 10003 clauses out of 20016 with flag 482001/614492 363.94/185.98 c cleaning 9996 clauses out of 20013 with flag 492001/624492 367.59/187.86 c cleaning 10002 clauses out of 20017 with flag 502001/634492 371.26/189.79 c cleaning 9998 clauses out of 20015 with flag 512001/644492 375.25/191.83 c cleaning 10002 clauses out of 20017 with flag 522001/654492 380.31/194.49 c cleaning 10002 clauses out of 20015 with flag 532001/664492 385.58/197.10 c cleaning 10000 clauses out of 20013 with flag 542001/674492 391.05/199.97 c cleaning 10001 clauses out of 20013 with flag 552001/684492 396.22/202.68 c cleaning 9996 clauses out of 20012 with flag 562001/694492 400.51/204.83 c cleaning 10000 clauses out of 20016 with flag 572001/704492 404.77/207.05 c cleaning 9999 clauses out of 20015 with flag 582000/714491 410.44/209.90 c cleaning 10000 clauses out of 20016 with flag 592000/724491 418.81/214.26 c cleaning 10005 clauses out of 20017 with flag 602001/734492 425.70/217.72 c cleaning 9997 clauses out of 20011 with flag 612000/744491 429.74/219.83 c cleaning 9999 clauses out of 20014 with flag 622000/754491 433.60/221.90 c cleaning 9997 clauses out of 20015 with flag 632000/764491 438.78/224.52 c cleaning 10003 clauses out of 20019 with flag 642001/774492 444.04/227.27 c cleaning 10003 clauses out of 20015 with flag 652000/784491 448.91/229.72 c cleaning 9999 clauses out of 20012 with flag 662000/794491 453.58/232.17 c cleaning 10000 clauses out of 20013 with flag 672000/804491 459.34/235.16 c cleaning 10000 clauses out of 20014 with flag 682001/814492 464.02/237.60 c cleaning 9999 clauses out of 20014 with flag 692001/824492 468.26/239.73 c cleaning 9999 clauses out of 20014 with flag 702000/834491 473.11/242.22 c cleaning 9998 clauses out of 20015 with flag 712000/844491 479.07/245.35 c cleaning 10004 clauses out of 20017 with flag 722000/854491 484.52/248.12 c cleaning 10001 clauses out of 20013 with flag 732000/864491 489.98/250.95 c cleaning 9994 clauses out of 20012 with flag 742000/874491 493.84/253.00 c cleaning 9997 clauses out of 20018 with flag 752000/884491 498.37/255.32 c cleaning 10008 clauses out of 20021 with flag 762000/894491 503.21/257.82 c cleaning 9995 clauses out of 20013 with flag 772000/904491 508.48/260.50 c cleaning 10003 clauses out of 20018 with flag 782000/914491 513.92/263.32 c cleaning 10001 clauses out of 20015 with flag 792000/924491 520.08/266.53 c cleaning 9998 clauses out of 20014 with flag 802000/934491 526.14/269.63 c cleaning 10001 clauses out of 20016 with flag 812000/944491 531.79/272.53 c cleaning 10004 clauses out of 20015 with flag 822000/954491 537.66/275.57 c cleaning 9997 clauses out of 20011 with flag 832000/964491 542.60/278.16 c cleaning 10000 clauses out of 20015 with flag 842001/974492 546.63/280.26 c cleaning 10001 clauses out of 20015 with flag 852001/984492 550.68/282.36 c cleaning 9999 clauses out of 20014 with flag 862001/994492 554.92/284.51 c cleaning 9999 clauses out of 20015 with flag 872001/1004492 559.05/286.76 c cleaning 9996 clauses out of 20016 with flag 882001/1014492 565.29/289.99 c cleaning 10007 clauses out of 20020 with flag 892001/1024492 574.53/294.60 c cleaning 9999 clauses out of 20013 with flag 902001/1034492 580.76/297.80 c cleaning 10003 clauses out of 20014 with flag 912001/1044492 585.08/300.10 c cleaning 10000 clauses out of 20011 with flag 922001/1054492 589.52/302.44 c cleaning 9999 clauses out of 20011 with flag 932001/1064492 593.75/304.67 c cleaning 10002 clauses out of 20012 with flag 942001/1074492 599.57/307.66 c cleaning 9997 clauses out of 20010 with flag 952001/1084492 605.49/310.73 c cleaning 9997 clauses out of 20013 with flag 962001/1094492 611.33/313.70 c cleaning 10005 clauses out of 20016 with flag 972001/1104492 614.97/315.68 c cleaning 9995 clauses out of 20010 with flag 982000/1114491 618.79/317.65 c cleaning 10000 clauses out of 20016 with flag 992001/1124492 622.71/319.73 c cleaning 9998 clauses out of 20016 with flag 1002001/1134492 626.56/321.71 c cleaning 9999 clauses out of 20017 with flag 1012000/1144491 631.18/324.13 c cleaning 10004 clauses out of 20018 with flag 1022000/1154491 635.81/326.51 c cleaning 9996 clauses out of 20015 with flag 1032001/1164492 641.32/329.44 c cleaning 10000 clauses out of 20019 with flag 1042001/1174492 645.95/331.81 c cleaning 10004 clauses out of 20018 with flag 1052000/1184491 650.18/334.02 c cleaning 10001 clauses out of 20015 with flag 1062001/1194492 654.20/336.14 c cleaning 10001 clauses out of 20013 with flag 1072000/1204491 658.29/338.34 c cleaning 10000 clauses out of 20013 with flag 1082001/1214492 662.31/340.49 c cleaning 9996 clauses out of 20012 with flag 1092000/1224491 666.72/342.70 c cleaning 10001 clauses out of 20017 with flag 1102001/1234492 670.53/344.71 c cleaning 9999 clauses out of 20016 with flag 1112001/1244492 675.22/347.23 c cleaning 10000 clauses out of 20016 with flag 1122000/1254491 679.43/349.42 c cleaning 9999 clauses out of 20017 with flag 1132001/1264492 683.24/351.49 c cleaning 10003 clauses out of 20017 with flag 1142000/1274491 687.65/353.72 c cleaning 10003 clauses out of 20014 with flag 1152000/1284491 691.93/356.06 c cleaning 9996 clauses out of 20012 with flag 1162001/1294492 696.13/358.24 c cleaning 10002 clauses out of 20015 with flag 1172000/1304491 700.33/360.43 c cleaning 10001 clauses out of 20014 with flag 1182001/1314492 704.55/362.65 c cleaning 9998 clauses out of 20012 with flag 1192000/1324491 709.22/365.17 c cleaning 9995 clauses out of 20014 with flag 1202000/1334491 713.41/367.39 c cleaning 10002 clauses out of 20019 with flag 1212000/1344491 717.61/369.51 c cleaning 10003 clauses out of 20018 with flag 1222001/1354492 722.00/371.82 c cleaning 9999 clauses out of 20015 with flag 1232001/1364492 726.63/374.38 c cleaning 9994 clauses out of 20015 with flag 1242000/1374491 731.43/376.87 c cleaning 10002 clauses out of 20021 with flag 1252000/1384491 735.57/379.04 c cleaning 10005 clauses out of 20019 with flag 1262000/1394491 739.74/381.24 c cleaning 9999 clauses out of 20015 with flag 1272001/1404492 743.96/383.59 c cleaning 9999 clauses out of 20015 with flag 1282000/1414491 748.35/385.81 c cleaning 10000 clauses out of 20017 with flag 1292001/1424492 753.13/388.35 c cleaning 10002 clauses out of 20016 with flag 1302000/1434491 758.47/391.14 c cleaning 9999 clauses out of 20015 with flag 1312001/1444492 764.04/394.12 c cleaning 9994 clauses out of 20015 with flag 1322000/1454491 769.63/397.03 c cleaning 10002 clauses out of 20021 with flag 1332000/1464491 778.38/401.51 c cleaning 10001 clauses out of 20019 with flag 1342000/1474491 785.52/405.20 c cleaning 10006 clauses out of 20020 with flag 1352002/1484493 789.51/407.48 c cleaning 10002 clauses out of 20013 with flag 1362001/1494492 793.86/409.76 c cleaning 9999 clauses out of 20011 with flag 1372001/1504492 798.23/412.07 c cleaning 9994 clauses out of 20013 with flag 1382002/1514493 803.98/415.09 c cleaning 10003 clauses out of 20018 with flag 1392001/1524492 809.14/417.80 c cleaning 9998 clauses out of 20014 with flag 1402000/1534491 813.88/420.34 c cleaning 10000 clauses out of 20016 with flag 1412000/1544491 818.05/422.57 c cleaning 10003 clauses out of 20017 with flag 1422001/1554492 822.00/424.61 c cleaning 10001 clauses out of 20014 with flag 1432001/1564492 825.77/426.77 c cleaning 9999 clauses out of 20012 with flag 1442000/1574491 830.51/429.21 c cleaning 9997 clauses out of 20014 with flag 1452001/1584492 835.68/431.99 c cleaning 10001 clauses out of 20017 with flag 1462001/1594492 841.42/434.90 c cleaning 10000 clauses out of 20016 with flag 1472001/1604492 848.16/438.51 c cleaning 10000 clauses out of 20015 with flag 1482000/1614491 854.69/441.90 c cleaning 9998 clauses out of 20015 with flag 1492000/1624491 860.43/444.94 c cleaning 10004 clauses out of 20018 with flag 1502001/1634492 866.97/448.39 c cleaning 9995 clauses out of 20014 with flag 1512001/1644492 874.17/452.12 c cleaning 9998 clauses out of 20018 with flag 1522000/1654491 878.89/454.64 c cleaning 10003 clauses out of 20020 with flag 1532000/1664491 883.04/456.83 c cleaning 10000 clauses out of 20017 with flag 1542000/1674491 887.18/459.05 c cleaning 10003 clauses out of 20018 with flag 1552001/1684492 891.51/461.48 c cleaning 9999 clauses out of 20015 with flag 1562001/1694492 895.84/463.70 c cleaning 10002 clauses out of 20016 with flag 1572001/1704492 900.16/466.03 c cleaning 10002 clauses out of 20014 with flag 1582001/1714492 904.49/468.34 c cleaning 9999 clauses out of 20012 with flag 1592001/1724492 908.84/470.78 c cleaning 9997 clauses out of 20013 with flag 1602001/1734492 913.14/473.05 c cleaning 9998 clauses out of 20016 with flag 1612001/1744492 917.25/475.26 c cleaning 10004 clauses out of 20018 with flag 1622001/1754492 922.35/477.95 c cleaning 10001 clauses out of 20013 with flag 1632000/1764491 927.26/480.68 c cleaning 10002 clauses out of 20012 with flag 1642000/1774491 932.13/483.21 c cleaning 9996 clauses out of 20010 with flag 1652000/1784491 936.83/485.79 c cleaning 9994 clauses out of 20014 with flag 1662000/1794491 941.53/488.25 c cleaning 10000 clauses out of 20020 with flag 1672000/1804491 946.42/490.91 c cleaning 9999 clauses out of 20020 with flag 1682000/1814491 950.91/493.36 c cleaning 10004 clauses out of 20021 with flag 1692000/1824491 955.60/495.81 c cleaning 10000 clauses out of 20018 with flag 1702001/1834492 959.91/498.20 c cleaning 10000 clauses out of 20020 with flag 1712003/1844494 964.58/500.73 c cleaning 10002 clauses out of 20018 with flag 1722001/1854492 969.28/503.21 c cleaning 9997 clauses out of 20018 with flag 1732003/1864494 973.98/505.71 c cleaning 10003 clauses out of 20018 with flag 1742000/1874491 978.49/508.16 c cleaning 10001 clauses out of 20015 with flag 1752000/1884491 983.94/511.11 c cleaning 9994 clauses out of 20014 with flag 1762000/1894491 989.22/513.92 c cleaning 9999 clauses out of 20020 with flag 1772000/1904491 993.70/516.36 c cleaning 10003 clauses out of 20021 with flag 1782000/1914491 997.79/518.55 c cleaning 10001 clauses out of 20019 with flag 1792001/1924492 1002.02/520.98 c cleaning 10003 clauses out of 20018 with flag 1802001/1934492 1006.47/523.31 c cleaning 9998 clauses out of 20014 with flag 1812000/1944491 1012.16/526.32 c cleaning 10001 clauses out of 20016 with flag 1822000/1954491 1022.43/531.64 c cleaning 10000 clauses out of 20015 with flag 1832000/1964491 1027.08/534.25 c cleaning 9999 clauses out of 20016 with flag 1842001/1974492 1031.55/536.63 c cleaning 10003 clauses out of 20017 with flag 1852001/1984492 1036.03/539.02 c cleaning 9997 clauses out of 20013 with flag 1862000/1994491 1040.45/541.44 c cleaning 10001 clauses out of 20017 with flag 1872001/2004492 1045.27/544.13 c cleaning 9998 clauses out of 20016 with flag 1882001/2014492 1049.92/546.63 c cleaning 10000 clauses out of 20018 with flag 1892001/2024492 1054.37/549.09 c cleaning 9999 clauses out of 20018 with flag 1902001/2034492 1059.03/551.56 c cleaning 10003 clauses out of 20021 with flag 1912003/2044494 1063.85/554.27 c cleaning 9998 clauses out of 20016 with flag 1922001/2054492 1068.70/556.81 c cleaning 10002 clauses out of 20018 with flag 1932001/2064492 1073.55/559.46 c cleaning 10002 clauses out of 20015 with flag 1942000/2074491 1078.21/561.94 c cleaning 10002 clauses out of 20013 with flag 1952000/2084491 1083.03/564.69 c cleaning 9995 clauses out of 20011 with flag 1962000/2094491 1087.49/567.05 c cleaning 9999 clauses out of 20017 with flag 1972001/2104492 1091.73/569.35 c cleaning 10003 clauses out of 20018 with flag 1982001/2114492 1096.38/571.81 c cleaning 10004 clauses out of 20014 with flag 1992000/2124491 1104.41/576.14 c cleaning 10000 clauses out of 20010 with flag 2002000/2134491 1113.87/581.08 c cleaning 10000 clauses out of 20011 with flag 2012001/2144492 1120.12/584.37 c cleaning 9994 clauses out of 20010 with flag 2022000/2154491 1125.35/587.13 c cleaning 10004 clauses out of 20017 with flag 2032001/2164492 1131.33/590.46 c cleaning 10001 clauses out of 20013 with flag 2042001/2174492 1137.99/593.96 c cleaning 9999 clauses out of 20012 with flag 2052001/2184492 1144.04/597.19 c cleaning 10001 clauses out of 20012 with flag 2062000/2194491 1148.29/599.45 c cleaning 9999 clauses out of 20011 with flag 2072000/2204491 1152.64/601.97 c cleaning 9994 clauses out of 20012 with flag 2082000/2214491 1157.07/604.31 c cleaning 10003 clauses out of 20018 with flag 2092000/2224491 1161.09/606.56 c cleaning 10001 clauses out of 20015 with flag 2102000/2234491 1165.32/608.80 c cleaning 9996 clauses out of 20014 with flag 2112000/2244491 1169.69/611.32 c cleaning 10007 clauses out of 20018 with flag 2122000/2254491 1177.92/615.61 c cleaning 10001 clauses out of 20011 with flag 2132000/2264491 1183.74/618.77 c cleaning 9996 clauses out of 20010 with flag 2142000/2274491 1189.94/622.00 c cleaning 10002 clauses out of 20014 with flag 2152000/2284491 1196.47/625.65 c cleaning 9998 clauses out of 20013 with flag 2162001/2294492 1200.88/628.04 c cleaning 9997 clauses out of 20014 with flag 2172000/2304491 1205.25/630.46 c cleaning 10001 clauses out of 20017 with flag 2182000/2314491 1209.84/632.95 c cleaning 10000 clauses out of 20016 with flag 2192000/2324491 1214.76/635.78 c cleaning 10001 clauses out of 20016 with flag 2202000/2334491 1219.12/638.15 c cleaning 10001 clauses out of 20015 with flag 2212000/2344491 1225.11/641.34 c cleaning 9997 clauses out of 20015 with flag 2222001/2354492 1230.29/644.14 c cleaning 10001 clauses out of 20018 with flag 2232001/2364492 1235.80/647.23 c cleaning 9997 clauses out of 20016 with flag 2242000/2374491 1241.38/650.22 c cleaning 9999 clauses out of 20019 with flag 2252000/2384491 1245.97/652.75 c cleaning 10005 clauses out of 20021 with flag 2262001/2394492 1250.12/655.03 c cleaning 9995 clauses out of 20015 with flag 2272000/2404491 1254.84/657.71 c cleaning 10003 clauses out of 20021 with flag 2282001/2414492 1260.82/660.92 c cleaning 10004 clauses out of 20018 with flag 2292001/2424492 1265.79/663.66 c cleaning 10001 clauses out of 20013 with flag 2302000/2434491 1272.17/667.09 c cleaning 9999 clauses out of 20012 with flag 2312000/2444491 1279.27/670.99 c cleaning 10000 clauses out of 20013 with flag 2322000/2454491 1284.45/673.71 c cleaning 10000 clauses out of 20013 with flag 2332000/2464491 1289.03/676.24 c cleaning 9998 clauses out of 20013 with flag 2342000/2474491 1293.62/678.76 c cleaning 10001 clauses out of 20015 with flag 2352000/2484491 1298.63/681.62 c cleaning 9997 clauses out of 20014 with flag 2362000/2494491 1303.13/684.16 c cleaning 10002 clauses out of 20017 with flag 2372000/2504491 1307.85/686.71 c cleaning 9999 clauses out of 20015 with flag 2382000/2514491 1312.38/689.22 c cleaning 9998 clauses out of 20016 with flag 2392000/2524491 1316.88/691.87 c cleaning 10004 clauses out of 20019 with flag 2402001/2534492 1323.99/695.62 c cleaning 9997 clauses out of 20016 with flag 2412002/2544493 1332.93/700.39 c cleaning 9996 clauses out of 20017 with flag 2422000/2554491 1342.05/705.12 c cleaning 9997 clauses out of 20021 with flag 2432000/2564491 1343.06/706.05 c And the winner is CuttingPlanes 1340.32/706.47 c Got one! Elapsed wall clock time (in seconds):706.331 1340.32/706.47 o 167 1343.16/707.95 c cleaning 7614 clauses out of 15252 with flag 5000/2569719 1347.10/710.18 c cleaning 6812 clauses out of 13638 with flag 11000/2575719 1352.61/713.17 c cleaning 6908 clauses out of 13826 with flag 18000/2582719 1359.38/716.70 c cleaning 7455 clauses out of 14918 with flag 26000/2590719 1367.61/721.25 c cleaning 8227 clauses out of 16464 with flag 35001/2599720 1376.16/725.78 c cleaning 9113 clauses out of 18236 with flag 45000/2609719 1383.31/729.55 c cleaning 9555 clauses out of 19123 with flag 55000/2619719 1392.03/734.11 c cleaning 9778 clauses out of 19571 with flag 65003/2629722 1397.23/737.16 c cleaning 9894 clauses out of 19792 with flag 75002/2639721 1404.17/740.81 c cleaning 9944 clauses out of 19896 with flag 85000/2649719 1413.50/745.80 c cleaning 9965 clauses out of 19952 with flag 95000/2659719 1421.44/749.91 c cleaning 9988 clauses out of 19987 with flag 105000/2669719 1426.65/752.98 c cleaning 9996 clauses out of 20000 with flag 115001/2679720 1436.00/757.85 c cleaning 9999 clauses out of 20004 with flag 125001/2689720 1443.11/761.67 c cleaning 9995 clauses out of 20004 with flag 135000/2699719 1448.83/764.74 c cleaning 9997 clauses out of 20009 with flag 145000/2709719 1454.41/767.93 c cleaning 10000 clauses out of 20012 with flag 155000/2719719 1455.74/768.85 c And the winner is CuttingPlanes 1455.57/768.99 c Got one! Elapsed wall clock time (in seconds):768.851 1455.57/768.99 o 166 1457.98/770.28 c cleaning 7905 clauses out of 15833 with flag 4000/2725540 1462.70/772.87 c cleaning 6961 clauses out of 13929 with flag 10001/2731541 1468.62/776.09 c cleaning 6978 clauses out of 13967 with flag 17000/2738540 1475.14/779.71 c cleaning 7491 clauses out of 14990 with flag 25001/2746541 1482.84/783.88 c cleaning 8244 clauses out of 16498 with flag 34000/2755540 1490.15/787.77 c cleaning 9121 clauses out of 18254 with flag 44000/2765540 1499.68/792.74 c cleaning 9558 clauses out of 19133 with flag 54000/2775540 1508.00/797.40 c cleaning 9779 clauses out of 19576 with flag 64001/2785541 1513.10/800.17 c cleaning 9892 clauses out of 19797 with flag 74001/2795541 1519.22/803.49 c cleaning 9946 clauses out of 19904 with flag 84000/2805540 1527.51/807.80 c cleaning 9975 clauses out of 19959 with flag 94001/2815541 1534.77/811.97 c cleaning 9986 clauses out of 19983 with flag 104000/2825540 1539.86/814.74 c cleaning 9996 clauses out of 19997 with flag 114000/2835540 1545.73/817.98 c cleaning 9995 clauses out of 20001 with flag 124000/2845540 1556.01/823.36 c cleaning 10000 clauses out of 20006 with flag 134000/2855540 1564.95/828.26 c cleaning 9996 clauses out of 20006 with flag 144000/2865540 1569.64/830.81 c cleaning 9999 clauses out of 20011 with flag 154001/2875541 1575.35/833.95 c cleaning 10001 clauses out of 20011 with flag 164000/2885540 1580.23/836.67 c cleaning 10002 clauses out of 20010 with flag 174000/2895540 1589.15/841.52 c cleaning 9994 clauses out of 20009 with flag 184001/2905541 1598.04/846.24 c cleaning 10001 clauses out of 20014 with flag 194000/2915540 1603.56/849.27 c cleaning 10002 clauses out of 20013 with flag 204000/2925540 1608.22/851.87 c cleaning 10000 clauses out of 20011 with flag 214000/2935540 1611.34/853.89 c And the winner is CuttingPlanes 1611.21/854.37 c Got one! Elapsed wall clock time (in seconds):854.234 1611.21/854.37 o 165 1614.05/855.83 c cleaning 10327 clauses out of 20683 with flag 5000/2946212 1618.92/858.56 c cleaning 8170 clauses out of 16356 with flag 11000/2952212 1624.56/861.63 c cleaning 7582 clauses out of 15186 with flag 18000/2959212 1630.81/865.04 c cleaning 7794 clauses out of 15604 with flag 26000/2967212 1637.52/868.84 c cleaning 8401 clauses out of 16811 with flag 35001/2976213 1646.58/873.67 c cleaning 9199 clauses out of 18409 with flag 45000/2986212 1654.85/878.04 c cleaning 9603 clauses out of 19211 with flag 55001/2996213 1662.75/882.30 c cleaning 9802 clauses out of 19607 with flag 65000/3006212 1673.49/888.07 c cleaning 9901 clauses out of 19805 with flag 75000/3016212 1681.35/892.25 c cleaning 9948 clauses out of 19905 with flag 85001/3026213 1691.29/897.48 c cleaning 9975 clauses out of 19956 with flag 95000/3036212 1698.32/901.20 c cleaning 9985 clauses out of 19981 with flag 105000/3046212 1703.57/904.37 c cleaning 9995 clauses out of 19996 with flag 115000/3056212 1710.76/908.21 c cleaning 9996 clauses out of 20002 with flag 125001/3066213 1719.43/912.80 c cleaning 9996 clauses out of 20005 with flag 135000/3076212 1726.71/916.70 c cleaning 9998 clauses out of 20009 with flag 145000/3086212 1732.59/920.15 c cleaning 10003 clauses out of 20012 with flag 155001/3096213 1737.43/922.87 c cleaning 9995 clauses out of 20008 with flag 165000/3106212 1743.25/926.03 c cleaning 10004 clauses out of 20015 with flag 175002/3116214 1751.28/930.37 c cleaning 9996 clauses out of 20009 with flag 185000/3126212 1759.77/935.05 c cleaning 10000 clauses out of 20014 with flag 195001/3136213 1765.55/938.29 c cleaning 10003 clauses out of 20015 with flag 205002/3146214 1770.57/941.09 c cleaning 9998 clauses out of 20010 with flag 215000/3156212 1777.22/944.69 c cleaning 9996 clauses out of 20012 with flag 225000/3166212 1783.46/948.21 c cleaning 10000 clauses out of 20016 with flag 235000/3176212 1788.44/951.07 c cleaning 9997 clauses out of 20016 with flag 245000/3186212 1793.87/954.05 c cleaning 10001 clauses out of 20019 with flag 255000/3196212 1797.13/955.92 c starts : 24 1797.13/955.92 c conflicts : 3239 1797.13/955.92 c decisions : 143535 1797.13/955.92 c propagations : 515161 1797.13/955.92 c inspects : 13053428 1797.13/955.92 c shortcuts : 0 1797.13/955.92 c learnt literals : 0 1797.13/955.92 c learnt binary clauses : 0 1797.13/955.92 c learnt ternary clauses : 0 1797.13/955.92 c learnt constraints : 3238 1797.13/955.92 c ignored constraints : 0 1797.13/955.92 c root simplifications : 0 1797.13/955.92 c removed literals (reason simplification) : 0 1797.13/955.92 c reason swapping (by a shorter reason) : 0 1797.13/955.92 c Calls to reduceDB : 0 1797.13/955.92 c number of reductions to clauses (during analyze) : 0 1797.13/955.92 c number of learned constraints concerned by reduction : 0 1797.13/955.92 c number of learning phase by resolution : 0 1797.13/955.92 c number of learning phase by cutting planes : 0 1797.13/955.92 c speed (assignments/second) : 5074.0780868331885 1797.13/955.92 c non guided choices 0 1797.13/955.92 c learnt constraints type 1797.13/955.92 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1804 1797.13/955.92 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1434 1797.13/955.92 c constraints type 1797.13/955.92 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 397 1797.13/955.92 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1797.13/955.92 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 1797.13/955.92 c constraints type 1797.13/955.92 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1 1797.13/955.92 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 397 1797.13/955.92 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1797.13/955.92 s SATISFIABLE 1797.13/955.93 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 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 1797.13/955.93 c objective function=165 1797.13/955.93 c Total wall clock time (in seconds): 955.796
OK 165
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732337-1338685174/watcher-3732337-1338685174 -o /tmp/evaluation-result-3732337-1338685174/solver-3732337-1338685174 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732337-1338685174.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.57 3.55 3.58 5/195 15005 /proc/meminfo: memFree=23113140/32873852 swapFree=6856/6856 [pid=15005] ppid=15003 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/15005/stat : 15005 (runsolver) D 15003 15005 4583 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 334642878 12095488 50 33554432000 4194304 5436572 140735459247792 140735459244088 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0 /proc/15005/statm: 2953 50 31 304 0 2645 0 [startup+0.0315649 s] /proc/loadavg: 3.57 3.55 3.58 5/195 15005 /proc/meminfo: memFree=23113140/32873852 swapFree=6856/6856 [pid=15005] ppid=15003 vsize=10510056 CPUtime=0 cores=0,2,4,6 /proc/15005/stat : 15005 (java) S 15003 15005 4583 0 -1 4202496 2315 0 1 0 0 0 0 0 20 0 2 0 334642878 10762297344 5573 33554432000 1073741824 1073778376 140736378545424 140736378536560 229359255613 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15005/statm: 2627514 5573 942 9 0 2618623 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10510056 [startup+0.100239 s] /proc/loadavg: 3.57 3.55 3.58 5/195 15005 /proc/meminfo: memFree=23113140/32873852 swapFree=6856/6856 [pid=15005] ppid=15003 vsize=11586392 CPUtime=0.06 cores=0,2,4,6 /proc/15005/stat : 15005 (java) S 15003 15005 4583 0 -1 4202496 4471 0 1 0 5 1 0 0 20 0 18 0 334642878 11864465408 12834 33554432000 1073741824 1073778376 140736378545424 140736378536560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15005/statm: 2896598 12834 1778 9 0 2887285 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11586392 [startup+0.300219 s] /proc/loadavg: 3.57 3.55 3.58 5/195 15005 /proc/meminfo: memFree=23113140/32873852 swapFree=6856/6856 [pid=15005] ppid=15003 vsize=11586392 CPUtime=0.46 cores=0,2,4,6 /proc/15005/stat : 15005 (java) S 15003 15005 4583 0 -1 4202496 7942 0 1 0 44 2 0 0 20 0 18 0 334642878 11864465408 17402 33554432000 1073741824 1073778376 140736378545424 140736378536560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15005/statm: 2896598 17410 2222 9 0 2887285 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 11586392 [startup+0.700266 s] /proc/loadavg: 3.57 3.55 3.58 5/195 15005 /proc/meminfo: memFree=23113140/32873852 swapFree=6856/6856 [pid=15005] ppid=15003 vsize=11852648 CPUtime=0.9 cores=0,2,4,6 /proc/15005/stat : 15005 (java) S 15003 15005 4583 0 -1 4202496 9034 0 1 0 86 4 0 0 20 0 19 0 334642878 12137111552 19372 33554432000 1073741824 1073778376 140736378545424 140736378536560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15005/statm: 2963162 19372 2245 9 0 2953849 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 11852648 [startup+1.50061 s] /proc/loadavg: 3.61 3.56 3.58 7/217 15030 /proc/meminfo: memFree=23034524/32873852 swapFree=6856/6856 [pid=15005] ppid=15003 vsize=11852648 CPUtime=2.78 cores=0,2,4,6 /proc/15005/stat : 15005 (java) S 15003 15005 4583 0 -1 4202496 11566 0 1 0 272 6 0 0 20 0 22 0 334642878 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 140736378536560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15005/statm: 2963162 23595 2256 9 0 2953849 0 [pid=15005/tid=15007] ppid=15003 vsize=11852648 CPUtime=0.31 cores=0,2,4,6 /proc/15005/task/15007/stat : 15007 (java) S 15003 15005 4583 0 -1 4202560 3385 0 1 0 29 2 0 0 20 0 22 0 334642880 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995987068056 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15008] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15008/stat : 15008 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995941820840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15009] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15009/stat : 15009 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995940768296 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15010] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15010/stat : 15010 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995939715240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15011] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15011/stat : 15011 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995938662696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15012] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15012/stat : 15012 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995937610664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15013] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15013/stat : 15013 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995936558120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15014] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15014/stat : 15014 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995817962152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15015] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15015/stat : 15015 (java) S 15003 15005 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995816909608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15016] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15016/stat : 15016 (java) S 15003 15005 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334642883 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995804498280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15017] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15017/stat : 15017 (java) S 15003 15005 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995803444600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15018] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15018/stat : 15018 (java) S 15003 15005 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995802391432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15019] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15019/stat : 15019 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995062987024 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15020] ppid=15003 vsize=11852648 CPUtime=0.46 cores=0,2,4,6 /proc/15005/task/15020/stat : 15020 (java) S 15003 15005 4583 0 -1 4202560 3349 0 0 0 45 1 0 0 20 0 22 0 334642887 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995061934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15021] ppid=15003 vsize=11852648 CPUtime=0.51 cores=0,2,4,6 /proc/15005/task/15021/stat : 15021 (java) S 15003 15005 4583 0 -1 4202560 3522 0 0 0 51 0 0 0 20 0 22 0 334642887 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995060882360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15022] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15022/stat : 15022 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995059829496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15023] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15023/stat : 15023 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995058777160 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15026] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15026/stat : 15026 (java) S 15003 15005 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334642915 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995055616808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15028] ppid=15003 vsize=11852648 CPUtime=0.62 cores=0,2,4,6 /proc/15005/task/15028/stat : 15028 (java) R 15003 15005 4583 0 -1 4202560 11 0 0 0 62 0 0 0 20 0 22 0 334642964 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995056669720 139995818762870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15029] ppid=15003 vsize=11852648 CPUtime=0.62 cores=0,2,4,6 /proc/15005/task/15029/stat : 15029 (java) R 15003 15005 4583 0 -1 4202560 54 0 0 0 62 0 0 0 20 0 22 0 334642964 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995057722264 139995818701092 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15030] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15030/stat : 15030 (java) S 15003 15005 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334642964 12137111552 23595 33554432000 1073741824 1073778376 140736378545424 139995054564648 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 11852648 [startup+3.10069 s] /proc/loadavg: 3.61 3.56 3.58 5/217 15030 /proc/meminfo: memFree=23020688/32873852 swapFree=6856/6856 [pid=15005] ppid=15003 vsize=11852648 CPUtime=6.06 cores=0,2,4,6 /proc/15005/stat : 15005 (java) S 15003 15005 4583 0 -1 4202496 11642 0 1 0 599 7 0 0 20 0 22 0 334642878 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 140736378536560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15005/statm: 2963162 29276 2281 9 0 2953849 0 [pid=15005/tid=15007] ppid=15003 vsize=11852648 CPUtime=0.31 cores=0,2,4,6 /proc/15005/task/15007/stat : 15007 (java) S 15003 15005 4583 0 -1 4202560 3385 0 1 0 29 2 0 0 20 0 22 0 334642880 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995987068056 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15008] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15008/stat : 15008 (java) S 15003 15005 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995941820840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15009] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15009/stat : 15009 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995940768296 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15010] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15010/stat : 15010 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995939715240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15011] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15011/stat : 15011 (java) S 15003 15005 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995938662696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15012] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15012/stat : 15012 (java) S 15003 15005 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995937610664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15013] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15013/stat : 15013 (java) S 15003 15005 4583 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995936558120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15014] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15014/stat : 15014 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995817962152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15015] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15015/stat : 15015 (java) S 15003 15005 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995816909608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15016] ppid=15003 vsize=11852648 CPUtime=0.01 cores=0,2,4,6 /proc/15005/task/15016/stat : 15016 (java) S 15003 15005 4583 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 22 0 334642883 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995804498280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15017] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15017/stat : 15017 (java) S 15003 15005 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995803444600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15018] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15018/stat : 15018 (java) S 15003 15005 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995802391432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15019] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15019/stat : 15019 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995062987024 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15020] ppid=15003 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/15005/task/15020/stat : 15020 (java) S 15003 15005 4583 0 -1 4202560 3349 0 0 0 48 1 0 0 20 0 22 0 334642887 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995061934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15021] ppid=15003 vsize=11852648 CPUtime=0.58 cores=0,2,4,6 /proc/15005/task/15021/stat : 15021 (java) S 15003 15005 4583 0 -1 4202560 3527 0 0 0 58 0 0 0 20 0 22 0 334642887 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995060882360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15022] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15022/stat : 15022 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995059829496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15023] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15023/stat : 15023 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995058777160 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15026] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15026/stat : 15026 (java) S 15003 15005 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334642915 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995055616808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15028] ppid=15003 vsize=11852648 CPUtime=2.19 cores=0,2,4,6 /proc/15005/task/15028/stat : 15028 (java) R 15003 15005 4583 0 -1 4202560 16 0 0 0 219 0 0 0 20 0 22 0 334642964 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995056669336 139995991345759 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15029] ppid=15003 vsize=11852648 CPUtime=2.17 cores=0,2,4,6 /proc/15005/task/15029/stat : 15029 (java) R 15003 15005 4583 0 -1 4202560 55 0 0 0 217 0 0 0 20 0 22 0 334642964 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995057722376 139995818700934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15030] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15030/stat : 15030 (java) S 15003 15005 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334642964 12137111552 29276 33554432000 1073741824 1073778376 140736378545424 139995054564648 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 6.06 Current children cumulated vsize (KiB) 11852648 [startup+6.30076 s] /proc/loadavg: 3.56 3.55 3.58 5/217 15033 /proc/meminfo: memFree=22979380/32873852 swapFree=6856/6856 [pid=15005] ppid=15003 vsize=11852648 CPUtime=11.99 cores=0,2,4,6 /proc/15005/stat : 15005 (java) S 15003 15005 4583 0 -1 4202496 11684 0 1 0 1189 10 0 0 20 0 22 0 334642878 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 140736378536560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15005/statm: 2963162 36350 2281 9 0 2953849 0 [pid=15005/tid=15007] ppid=15003 vsize=11852648 CPUtime=0.33 cores=0,2,4,6 /proc/15005/task/15007/stat : 15007 (java) S 15003 15005 4583 0 -1 4202560 3386 0 1 0 31 2 0 0 20 0 22 0 334642880 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995987068056 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15008] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15008/stat : 15008 (java) S 15003 15005 4583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995941820840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15009] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15009/stat : 15009 (java) S 15003 15005 4583 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995940768296 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15010] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15010/stat : 15010 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995939715240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15011] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15011/stat : 15011 (java) S 15003 15005 4583 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995938662696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15012] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15012/stat : 15012 (java) S 15003 15005 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995937610664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15013] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15013/stat : 15013 (java) S 15003 15005 4583 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995936558120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15014] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15014/stat : 15014 (java) S 15003 15005 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995817962152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15015] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15015/stat : 15015 (java) S 15003 15005 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334642882 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995816909608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15016] ppid=15003 vsize=11852648 CPUtime=0.06 cores=0,2,4,6 /proc/15005/task/15016/stat : 15016 (java) S 15003 15005 4583 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 22 0 334642883 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995804498280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15017] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15017/stat : 15017 (java) S 15003 15005 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995803444600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15018] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15018/stat : 15018 (java) S 15003 15005 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995802391432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15019] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15019/stat : 15019 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995062987024 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15020] ppid=15003 vsize=11852648 CPUtime=0.58 cores=0,2,4,6 /proc/15005/task/15020/stat : 15020 (java) S 15003 15005 4583 0 -1 4202560 3349 0 0 0 56 2 0 0 20 0 22 0 334642887 12137111552 36350 33554432000 1073741824 1073778376 140736378545424 139995061934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 ################ # More data... # ################ [pid=15005/tid=15011] ppid=15003 vsize=11852648 CPUtime=2.74 cores=0,2,4,6 /proc/15005/task/15011/stat : 15011 (java) S 15003 15005 4583 0 -1 4202560 91 0 0 0 271 3 0 0 20 0 22 0 334642882 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995938662696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15012] ppid=15003 vsize=11852648 CPUtime=2.7 cores=0,2,4,6 /proc/15005/task/15012/stat : 15012 (java) S 15003 15005 4583 0 -1 4202560 88 0 0 0 268 2 0 0 20 0 22 0 334642882 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995937610664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15013] ppid=15003 vsize=11852648 CPUtime=2.79 cores=0,2,4,6 /proc/15005/task/15013/stat : 15013 (java) S 15003 15005 4583 0 -1 4202560 85 0 0 0 276 3 0 0 20 0 22 0 334642882 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995936558120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15014] ppid=15003 vsize=11852648 CPUtime=2.73 cores=0,2,4,6 /proc/15005/task/15014/stat : 15014 (java) S 15003 15005 4583 0 -1 4202560 77 0 0 0 270 3 0 0 20 0 22 0 334642882 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995817962152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15015] ppid=15003 vsize=11852648 CPUtime=2.66 cores=0,2,4,6 /proc/15005/task/15015/stat : 15015 (java) S 15003 15005 4583 0 -1 4202560 88 0 0 0 263 3 0 0 20 0 22 0 334642882 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995816909608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15016] ppid=15003 vsize=11852648 CPUtime=113.62 cores=0,2,4,6 /proc/15005/task/15016/stat : 15016 (java) S 15003 15005 4583 0 -1 4202560 315 0 0 0 11345 17 0 0 20 0 22 0 334642883 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995804498280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15017] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15017/stat : 15017 (java) S 15003 15005 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995803444600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15018] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15018/stat : 15018 (java) S 15003 15005 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995802391432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15019] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15019/stat : 15019 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995062987024 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15020] ppid=15003 vsize=11852648 CPUtime=1.04 cores=0,2,4,6 /proc/15005/task/15020/stat : 15020 (java) S 15003 15005 4583 0 -1 4202560 3360 0 0 0 102 2 0 0 20 0 22 0 334642887 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995061934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15021] ppid=15003 vsize=11852648 CPUtime=0.95 cores=0,2,4,6 /proc/15005/task/15021/stat : 15021 (java) S 15003 15005 4583 0 -1 4202560 3655 0 0 0 95 0 0 0 20 0 22 0 334642887 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995060882360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15022] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15022/stat : 15022 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995059829496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15023] ppid=15003 vsize=11852648 CPUtime=0.22 cores=0,2,4,6 /proc/15005/task/15023/stat : 15023 (java) S 15003 15005 4583 0 -1 4202560 53 0 0 0 11 11 0 0 20 0 22 0 334642887 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995058777160 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15030] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15030/stat : 15030 (java) S 15003 15005 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334642964 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995054564648 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15180] ppid=15003 vsize=11852648 CPUtime=71.32 cores=0,2,4,6 /proc/15005/task/15180/stat : 15180 (java) R 15003 15005 4583 0 -1 4202560 8 0 0 0 7131 1 0 0 20 0 22 0 334728317 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995056669520 139995818663839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15181] ppid=15003 vsize=11852648 CPUtime=71.32 cores=0,2,4,6 /proc/15005/task/15181/stat : 15181 (java) R 15003 15005 4583 0 -1 4202560 5 0 0 0 7131 1 0 0 20 0 22 0 334728317 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995055614864 139995818594925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15182] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15182/stat : 15182 (java) S 15003 15005 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334728317 12137111552 777563 33554432000 1073741824 1073778376 140736378545424 139995057722664 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1772.62 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+955.907 s] /proc/loadavg: 3.66 3.72 3.69 5/218 15182 /proc/meminfo: memFree=21770544/32873852 swapFree=6856/6856 [pid=15005] ppid=15003 vsize=11852648 CPUtime=1797.13 cores=0,2,4,6 /proc/15005/stat : 15005 (java) S 15003 15005 4583 0 -1 4202496 14471 0 1 0 179580 133 0 0 20 0 22 0 334642878 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 140736378536560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15005/statm: 2963162 779113 2282 9 0 2953849 0 [pid=15005/tid=15007] ppid=15003 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/15005/task/15007/stat : 15007 (java) S 15003 15005 4583 0 -1 4202560 3594 0 1 0 45 4 0 0 20 0 22 0 334642880 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995987068056 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15008] ppid=15003 vsize=11852648 CPUtime=2.82 cores=0,2,4,6 /proc/15005/task/15008/stat : 15008 (java) S 15003 15005 4583 0 -1 4202560 117 0 0 0 279 3 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995941820840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15009] ppid=15003 vsize=11852648 CPUtime=2.67 cores=0,2,4,6 /proc/15005/task/15009/stat : 15009 (java) S 15003 15005 4583 0 -1 4202560 81 0 0 0 265 2 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995940768296 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15010] ppid=15003 vsize=11852648 CPUtime=2.57 cores=0,2,4,6 /proc/15005/task/15010/stat : 15010 (java) S 15003 15005 4583 0 -1 4202560 74 0 0 0 255 2 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995939715240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15011] ppid=15003 vsize=11852648 CPUtime=2.79 cores=0,2,4,6 /proc/15005/task/15011/stat : 15011 (java) S 15003 15005 4583 0 -1 4202560 93 0 0 0 276 3 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995938662696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15012] ppid=15003 vsize=11852648 CPUtime=2.76 cores=0,2,4,6 /proc/15005/task/15012/stat : 15012 (java) S 15003 15005 4583 0 -1 4202560 88 0 0 0 274 2 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995937610664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15013] ppid=15003 vsize=11852648 CPUtime=2.83 cores=0,2,4,6 /proc/15005/task/15013/stat : 15013 (java) S 15003 15005 4583 0 -1 4202560 86 0 0 0 280 3 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995936558120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15014] ppid=15003 vsize=11852648 CPUtime=2.79 cores=0,2,4,6 /proc/15005/task/15014/stat : 15014 (java) S 15003 15005 4583 0 -1 4202560 82 0 0 0 276 3 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995817962152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15015] ppid=15003 vsize=11852648 CPUtime=2.7 cores=0,2,4,6 /proc/15005/task/15015/stat : 15015 (java) S 15003 15005 4583 0 -1 4202560 90 0 0 0 267 3 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995816909608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15016] ppid=15003 vsize=11852648 CPUtime=116.53 cores=0,2,4,6 /proc/15005/task/15016/stat : 15016 (java) S 15003 15005 4583 0 -1 4202560 318 0 0 0 11636 17 0 0 20 0 22 0 334642883 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995804498280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15017] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15017/stat : 15017 (java) S 15003 15005 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995803444600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15018] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15018/stat : 15018 (java) S 15003 15005 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995802391432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15019] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15019/stat : 15019 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995062987024 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15020] ppid=15003 vsize=11852648 CPUtime=1.04 cores=0,2,4,6 /proc/15005/task/15020/stat : 15020 (java) S 15003 15005 4583 0 -1 4202560 3360 0 0 0 102 2 0 0 20 0 22 0 334642887 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995061934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15021] ppid=15003 vsize=11852648 CPUtime=0.95 cores=0,2,4,6 /proc/15005/task/15021/stat : 15021 (java) S 15003 15005 4583 0 -1 4202560 3655 0 0 0 95 0 0 0 20 0 22 0 334642887 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995060882360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15022] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15022/stat : 15022 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995059829496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15023] ppid=15003 vsize=11852648 CPUtime=0.22 cores=0,2,4,6 /proc/15005/task/15023/stat : 15023 (java) S 15003 15005 4583 0 -1 4202560 53 0 0 0 11 11 0 0 20 0 22 0 334642887 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995058777160 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15030] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15030/stat : 15030 (java) S 15003 15005 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334642964 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995054564648 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15180] ppid=15003 vsize=11852648 CPUtime=81.88 cores=0,2,4,6 /proc/15005/task/15180/stat : 15180 (java) R 15003 15005 4583 0 -1 4202560 8 0 0 0 8187 1 0 0 20 0 22 0 334728317 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995056669520 139995818762819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15181] ppid=15003 vsize=11852648 CPUtime=81.89 cores=0,2,4,6 /proc/15005/task/15181/stat : 15181 (java) R 15003 15005 4583 0 -1 4202560 5 0 0 0 8188 1 0 0 20 0 22 0 334728317 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995055614672 139995819196198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15182] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15182/stat : 15182 (java) S 15003 15005 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334728317 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995057722664 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+955.907 s] /proc/loadavg: 3.66 3.72 3.69 5/218 15182 /proc/meminfo: memFree=21770544/32873852 swapFree=6856/6856 [pid=15005] ppid=15003 vsize=11852648 CPUtime=1797.13 cores=0,2,4,6 /proc/15005/stat : 15005 (java) S 15003 15005 4583 0 -1 4202496 14471 0 1 0 179580 133 0 0 20 0 22 0 334642878 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 140736378536560 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15005/statm: 2963162 779113 2282 9 0 2953849 0 [pid=15005/tid=15007] ppid=15003 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/15005/task/15007/stat : 15007 (java) S 15003 15005 4583 0 -1 4202560 3594 0 1 0 45 4 0 0 20 0 22 0 334642880 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995987068056 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15008] ppid=15003 vsize=11852648 CPUtime=2.82 cores=0,2,4,6 /proc/15005/task/15008/stat : 15008 (java) S 15003 15005 4583 0 -1 4202560 117 0 0 0 279 3 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995941820840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15009] ppid=15003 vsize=11852648 CPUtime=2.67 cores=0,2,4,6 /proc/15005/task/15009/stat : 15009 (java) S 15003 15005 4583 0 -1 4202560 81 0 0 0 265 2 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995940768296 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15010] ppid=15003 vsize=11852648 CPUtime=2.57 cores=0,2,4,6 /proc/15005/task/15010/stat : 15010 (java) S 15003 15005 4583 0 -1 4202560 74 0 0 0 255 2 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995939715240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15011] ppid=15003 vsize=11852648 CPUtime=2.79 cores=0,2,4,6 /proc/15005/task/15011/stat : 15011 (java) S 15003 15005 4583 0 -1 4202560 93 0 0 0 276 3 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995938662696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15012] ppid=15003 vsize=11852648 CPUtime=2.76 cores=0,2,4,6 /proc/15005/task/15012/stat : 15012 (java) S 15003 15005 4583 0 -1 4202560 88 0 0 0 274 2 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995937610664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15013] ppid=15003 vsize=11852648 CPUtime=2.83 cores=0,2,4,6 /proc/15005/task/15013/stat : 15013 (java) S 15003 15005 4583 0 -1 4202560 86 0 0 0 280 3 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995936558120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15014] ppid=15003 vsize=11852648 CPUtime=2.79 cores=0,2,4,6 /proc/15005/task/15014/stat : 15014 (java) S 15003 15005 4583 0 -1 4202560 82 0 0 0 276 3 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995817962152 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15015] ppid=15003 vsize=11852648 CPUtime=2.7 cores=0,2,4,6 /proc/15005/task/15015/stat : 15015 (java) S 15003 15005 4583 0 -1 4202560 90 0 0 0 267 3 0 0 20 0 22 0 334642882 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995816909608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15016] ppid=15003 vsize=11852648 CPUtime=116.53 cores=0,2,4,6 /proc/15005/task/15016/stat : 15016 (java) S 15003 15005 4583 0 -1 4202560 318 0 0 0 11636 17 0 0 20 0 22 0 334642883 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995804498280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15017] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15017/stat : 15017 (java) S 15003 15005 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995803444600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15018] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15018/stat : 15018 (java) S 15003 15005 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334642884 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995802391432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15005/tid=15019] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15019/stat : 15019 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995062987024 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15020] ppid=15003 vsize=11852648 CPUtime=1.04 cores=0,2,4,6 /proc/15005/task/15020/stat : 15020 (java) S 15003 15005 4583 0 -1 4202560 3360 0 0 0 102 2 0 0 20 0 22 0 334642887 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995061934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15021] ppid=15003 vsize=11852648 CPUtime=0.95 cores=0,2,4,6 /proc/15005/task/15021/stat : 15021 (java) S 15003 15005 4583 0 -1 4202560 3655 0 0 0 95 0 0 0 20 0 22 0 334642887 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995060882360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15022] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15022/stat : 15022 (java) S 15003 15005 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334642887 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995059829496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15023] ppid=15003 vsize=11852648 CPUtime=0.22 cores=0,2,4,6 /proc/15005/task/15023/stat : 15023 (java) S 15003 15005 4583 0 -1 4202560 53 0 0 0 11 11 0 0 20 0 22 0 334642887 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995058777160 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15030] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15030/stat : 15030 (java) S 15003 15005 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334642964 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995054564648 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15005/tid=15180] ppid=15003 vsize=11852648 CPUtime=81.88 cores=0,2,4,6 /proc/15005/task/15180/stat : 15180 (java) R 15003 15005 4583 0 -1 4202560 8 0 0 0 8187 1 0 0 20 0 22 0 334728317 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995056669520 139995818762819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15005/tid=15181] ppid=15003 vsize=11852648 CPUtime=81.89 cores=0,2,4,6 /proc/15005/task/15181/stat : 15181 (java) R 15003 15005 4583 0 -1 4202560 5 0 0 0 8188 1 0 0 20 0 22 0 334728317 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995055614672 139995819196198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=15005/tid=15182] ppid=15003 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15005/task/15182/stat : 15182 (java) S 15003 15005 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334728317 12137111552 779113 33554432000 1073741824 1073778376 140736378545424 139995057722664 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15005 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=198088 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=564762 # CPU time returned by wait4() is 1796.76 # while last known CPU time is 1797.13 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.03979 # lost CPU user time (s): 3.25989 # lost CPU system time (s): -0.22 Real time (s): 955.96 CPU time (s): 1800.17 CPU user time (s): 1799.06 CPU system time (s): 1.11 CPU usage (%): 188.31 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.2 system time used= 1.56476 maximum resident set size= 3116572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14503 page faults= 1 swaps= 0 block input operations= 0 block output operations= 992 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32499 involuntary context switches= 54876 runsolver used 3.36049 second user time and 8.06577 second system time The end
Begin job on node129 at 2012-06-03 02:59:34 IDJOB=3732337 IDBENCH=2048 IDSOLVER=2328 FILE ID=node129/3732337-1338685174 RUNJOBID= node129-1338679212-13349 PBS_JOBID= 14636684 Free space on /tmp= 70484 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732337-1338685174/watcher-3732337-1338685174 -o /tmp/evaluation-result-3732337-1338685174/solver-3732337-1338685174 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732337-1338685174.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731 RANDOM SEED=1992589902 node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 23113156 kB Buffers: 458748 kB Cached: 5613988 kB SwapCached: 0 kB Active: 5330756 kB Inactive: 3531788 kB Active(anon): 2781616 kB Inactive(anon): 10760 kB Active(file): 2549140 kB Inactive(file): 3521028 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 448 kB Writeback: 0 kB AnonPages: 2810868 kB Mapped: 22440 kB Shmem: 204 kB Slab: 740916 kB SReclaimable: 183088 kB SUnreclaim: 557828 kB KernelStack: 1584 kB PageTables: 9796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 10456656 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 2768896 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70484 MiB End job on node129 at 2012-06-03 03:15:32