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) | 82 | 1800.03 | 939.259 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb |
| MD5SUM | c7b7ba2fb8a9fff5b9677d5bbd1edc0f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 63 |
| Best CPU time to get the best result obtained on this benchmark | 2.70259 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 63 |
| Optimality of the best value was proved | YES |
| Number of variables | 4676 |
| Total number of constraints | 509 |
| Number of constraints which are clauses | 509 |
| 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 | 3 |
| Maximum length of a constraint | 166 |
| 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.07/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.11 c See www.sat4j.org for details. 0.07/0.11 c version 2.3.1.v20110525 0.07/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.11 c java.vm.version 19.1-b02 0.07/0.11 c java.vm.vendor Sun Microsystems Inc. 0.07/0.11 c sun.arch.data.model 64 0.07/0.11 c java.version 1.6.0_24 0.07/0.11 c os.name Linux 0.07/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.11 c os.arch amd64 0.07/0.12 c Free memory 9996466904 0.07/0.12 c Max memory 10048897024 0.07/0.12 c Total memory 10048897024 0.07/0.12 c Number of processors 8 0.07/0.14 c Pseudo Boolean Optimization 0.07/0.14 c ManyCore solver with 2 solvers running in parallel 0.07/0.14 c --- Begin Solver configuration --- 0.07/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.07/0.14 c Learn all clauses as in MiniSAT 0.07/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.14 c Expensive reason simplification 0.07/0.14 c Armin Biere (Picosat) restarts strategy 0.07/0.14 c Glucose learned constraints deletion strategy 0.07/0.14 c timeout=2147483s 0.07/0.14 c DB Simplification allowed=false 0.07/0.14 c --- End Solver configuration --- 0.07/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.14 c --- Begin Solver configuration --- 0.07/0.14 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.07/0.14 c Learn all clauses as in MiniSAT 0.07/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.14 c No reason simplification 0.07/0.14 c Armin Biere (Picosat) restarts strategy 0.07/0.14 c Glucose learned constraints deletion strategy 0.07/0.14 c timeout=2147483s 0.07/0.14 c DB Simplification allowed=false 0.07/0.14 c --- End Solver configuration --- 0.07/0.14 c solving HOME/instance-3732293-1338684943.opb 0.07/0.14 c reading problem ... 0.48/0.35 c ... done. Wall clock time 0.211s. 0.48/0.35 c #vars 4676 0.48/0.35 c #constraints 509 0.48/0.35 c constraints type 0.48/0.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 509 0.48/0.35 c constraints type 0.48/0.35 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 509 0.76/0.42 c And the winner is Resolution 0.88/0.87 c SATISFIABLE 0.88/0.87 c OPTIMIZING... 0.88/0.87 c Got one! Elapsed wall clock time (in seconds):0.729 0.88/0.87 o 89 4.38/2.36 c And the winner is CuttingPlanes 4.50/2.41 c Got one! Elapsed wall clock time (in seconds):2.263 4.50/2.41 o 88 6.49/3.46 c cleaning 2704 clauses out of 5409 with flag 3000/5409 11.35/5.81 c cleaning 4351 clauses out of 8707 with flag 9002/11411 16.85/8.58 c cleaning 5673 clauses out of 11355 with flag 16001/18410 23.55/11.84 c cleaning 6834 clauses out of 13682 with flag 24001/26410 24.19/12.19 c And the winner is CuttingPlanes 24.32/12.43 c Got one! Elapsed wall clock time (in seconds):12.285 24.32/12.43 o 87 28.76/14.62 c cleaning 6313 clauses out of 12650 with flag 5000/32212 34.20/17.35 c cleaning 6167 clauses out of 12339 with flag 11002/38214 40.15/20.36 c cleaning 6577 clauses out of 13171 with flag 18001/45213 47.33/23.96 c cleaning 7291 clauses out of 14593 with flag 26000/53212 54.86/27.77 c cleaning 8144 clauses out of 16302 with flag 35000/62212 62.82/31.73 c cleaning 9073 clauses out of 18158 with flag 45000/72212 71.79/36.23 c cleaning 9539 clauses out of 19085 with flag 55000/82212 81.53/41.13 c cleaning 9767 clauses out of 19546 with flag 65000/92212 91.26/46.02 c cleaning 9890 clauses out of 19779 with flag 75000/102212 100.42/50.61 c cleaning 9938 clauses out of 19889 with flag 85000/112212 109.53/55.25 c cleaning 9961 clauses out of 19951 with flag 95000/122212 118.85/60.00 c cleaning 9984 clauses out of 19990 with flag 105000/132212 126.11/63.61 c cleaning 10000 clauses out of 20006 with flag 115000/142212 136.28/68.73 c cleaning 10001 clauses out of 20006 with flag 125000/152212 150.40/75.83 c cleaning 9996 clauses out of 20006 with flag 135001/162213 163.90/82.63 c cleaning 9999 clauses out of 20009 with flag 145000/172212 172.75/87.14 c cleaning 10001 clauses out of 20011 with flag 155001/182213 180.84/91.24 c cleaning 9996 clauses out of 20010 with flag 165001/192213 193.51/97.69 c cleaning 9997 clauses out of 20013 with flag 175000/202212 206.81/104.33 c cleaning 10000 clauses out of 20016 with flag 185000/212212 222.83/112.43 c cleaning 10003 clauses out of 20016 with flag 195000/222212 230.12/116.14 c cleaning 10003 clauses out of 20013 with flag 205000/232212 234.40/118.38 c cleaning 9998 clauses out of 20011 with flag 215001/242213 241.89/122.14 c cleaning 10000 clauses out of 20012 with flag 225000/252212 248.50/125.59 c cleaning 10000 clauses out of 20012 with flag 235000/262212 255.58/129.20 c cleaning 9998 clauses out of 20012 with flag 245000/272212 262.66/132.76 c cleaning 9999 clauses out of 20015 with flag 255001/282213 271.14/137.07 c cleaning 10004 clauses out of 20016 with flag 265001/292213 280.95/142.06 c cleaning 9998 clauses out of 20011 with flag 275000/302212 290.63/146.93 c cleaning 10005 clauses out of 20016 with flag 285003/312215 300.51/151.94 c cleaning 9996 clauses out of 20008 with flag 295000/322212 308.81/156.19 c cleaning 9997 clauses out of 20013 with flag 305001/332213 317.39/160.52 c cleaning 9994 clauses out of 20015 with flag 315000/342212 325.65/164.76 c cleaning 10002 clauses out of 20021 with flag 325000/352212 333.71/168.86 c cleaning 10005 clauses out of 20019 with flag 335000/362212 339.57/171.82 c cleaning 9997 clauses out of 20014 with flag 345000/372212 344.77/174.58 c cleaning 10003 clauses out of 20017 with flag 355000/382212 349.85/177.17 c cleaning 10001 clauses out of 20014 with flag 365000/392212 355.30/179.93 c cleaning 10001 clauses out of 20013 with flag 375000/402212 360.38/182.57 c cleaning 9999 clauses out of 20012 with flag 385000/412212 367.55/186.26 c cleaning 10002 clauses out of 20013 with flag 395000/422212 378.21/191.60 c cleaning 9995 clauses out of 20011 with flag 405000/432212 390.27/197.79 c cleaning 9998 clauses out of 20016 with flag 415000/442212 399.32/202.39 c cleaning 10002 clauses out of 20018 with flag 425000/452212 407.86/206.75 c cleaning 10002 clauses out of 20016 with flag 435000/462212 418.70/212.26 c cleaning 9997 clauses out of 20015 with flag 445001/472213 425.51/215.75 c cleaning 10007 clauses out of 20017 with flag 455000/482212 429.55/217.83 c cleaning 9996 clauses out of 20011 with flag 465001/492213 433.26/219.82 c cleaning 9999 clauses out of 20014 with flag 475000/502212 437.30/221.91 c cleaning 10005 clauses out of 20017 with flag 485002/512214 441.52/224.15 c cleaning 9996 clauses out of 20010 with flag 495000/522212 446.37/226.65 c cleaning 9997 clauses out of 20014 with flag 505000/532212 452.26/229.79 c cleaning 10001 clauses out of 20017 with flag 515000/542212 457.47/232.40 c cleaning 10000 clauses out of 20018 with flag 525002/552214 462.08/234.85 c cleaning 10000 clauses out of 20016 with flag 535000/562212 467.50/237.69 c cleaning 9997 clauses out of 20016 with flag 545000/572212 472.99/240.54 c cleaning 10001 clauses out of 20019 with flag 555000/582212 478.19/243.29 c cleaning 9999 clauses out of 20019 with flag 565001/592213 482.79/245.62 c cleaning 10003 clauses out of 20019 with flag 575000/602212 488.00/248.38 c cleaning 10000 clauses out of 20016 with flag 585000/612212 498.87/254.00 c cleaning 10003 clauses out of 20016 with flag 595000/622212 510.10/259.67 c cleaning 10001 clauses out of 20013 with flag 605000/632212 520.47/264.94 c cleaning 10004 clauses out of 20013 with flag 615001/642213 530.86/270.26 c cleaning 9998 clauses out of 20010 with flag 625002/652214 541.92/275.90 c cleaning 9999 clauses out of 20010 with flag 635000/662212 554.50/282.40 c cleaning 10002 clauses out of 20011 with flag 645000/672212 561.27/285.84 c cleaning 9996 clauses out of 20009 with flag 655000/682212 569.86/290.25 c cleaning 9999 clauses out of 20013 with flag 665000/692212 578.29/294.68 c cleaning 10001 clauses out of 20014 with flag 675000/702212 585.26/298.22 c cleaning 9997 clauses out of 20013 with flag 685000/712212 591.44/301.47 c cleaning 10000 clauses out of 20016 with flag 695000/722212 597.38/304.51 c cleaning 10001 clauses out of 20018 with flag 705002/732214 602.79/307.44 c cleaning 9999 clauses out of 20016 with flag 715001/742213 607.96/310.12 c cleaning 10000 clauses out of 20016 with flag 725000/752212 614.72/313.61 c cleaning 10000 clauses out of 20016 with flag 735000/762212 621.07/316.98 c cleaning 10004 clauses out of 20017 with flag 745001/772213 627.10/320.17 c cleaning 10003 clauses out of 20013 with flag 755001/782213 633.07/323.25 c cleaning 9994 clauses out of 20011 with flag 765002/792214 638.02/325.86 c cleaning 9999 clauses out of 20015 with flag 775000/802212 645.19/329.52 c cleaning 10001 clauses out of 20016 with flag 785000/812212 652.60/333.49 c cleaning 10003 clauses out of 20016 with flag 795001/822213 659.16/336.81 c cleaning 9999 clauses out of 20012 with flag 805000/832212 666.33/340.50 c cleaning 10003 clauses out of 20014 with flag 815001/842213 673.90/344.42 c cleaning 10002 clauses out of 20011 with flag 825001/852213 681.72/348.56 c cleaning 10001 clauses out of 20009 with flag 835001/862213 689.67/352.64 c cleaning 9995 clauses out of 20007 with flag 845000/872212 697.83/356.87 c cleaning 9998 clauses out of 20013 with flag 855001/882213 704.78/360.44 c cleaning 9997 clauses out of 20014 with flag 865000/892212 712.39/364.44 c cleaning 10005 clauses out of 20018 with flag 875001/902213 719.76/368.27 c cleaning 10003 clauses out of 20013 with flag 885001/912213 732.95/374.99 c cleaning 9999 clauses out of 20010 with flag 895001/922213 743.10/380.11 c cleaning 10003 clauses out of 20011 with flag 905001/932213 754.73/386.14 c cleaning 9998 clauses out of 20008 with flag 915001/942213 766.07/391.91 c cleaning 10002 clauses out of 20010 with flag 925001/952213 779.84/398.94 c cleaning 9996 clauses out of 20007 with flag 935000/962212 789.18/403.74 c cleaning 10001 clauses out of 20011 with flag 945000/972212 795.18/406.91 c cleaning 9999 clauses out of 20010 with flag 955000/982212 802.72/410.80 c cleaning 10000 clauses out of 20012 with flag 965001/992213 808.28/413.72 c cleaning 9996 clauses out of 20011 with flag 975000/1002212 813.22/416.33 c cleaning 9999 clauses out of 20015 with flag 985000/1012212 818.01/418.96 c cleaning 9998 clauses out of 20016 with flag 995000/1022212 821.96/421.08 c cleaning 10004 clauses out of 20019 with flag 1005001/1032213 826.72/423.54 c cleaning 10002 clauses out of 20014 with flag 1015000/1042212 831.88/426.26 c cleaning 10001 clauses out of 20014 with flag 1025002/1052214 837.27/429.15 c cleaning 9999 clauses out of 20012 with flag 1035001/1062213 842.62/431.99 c cleaning 9994 clauses out of 20012 with flag 1045000/1072212 848.17/434.80 c cleaning 9996 clauses out of 20018 with flag 1055000/1082212 853.73/437.75 c cleaning 10005 clauses out of 20023 with flag 1065001/1092213 858.90/440.54 c cleaning 10002 clauses out of 20019 with flag 1075002/1102214 865.05/443.77 c cleaning 10004 clauses out of 20015 with flag 1085000/1112212 871.20/446.90 c cleaning 9993 clauses out of 20011 with flag 1095000/1122212 877.94/450.41 c cleaning 10000 clauses out of 20018 with flag 1105000/1132212 884.53/453.95 c cleaning 10002 clauses out of 20020 with flag 1115002/1142214 891.28/457.41 c cleaning 9997 clauses out of 20016 with flag 1125000/1152212 895.43/459.61 c cleaning 10003 clauses out of 20020 with flag 1135001/1162213 900.03/462.03 c cleaning 10004 clauses out of 20017 with flag 1145001/1172213 906.02/465.24 c cleaning 9993 clauses out of 20012 with flag 1155000/1182212 912.36/468.55 c cleaning 10001 clauses out of 20019 with flag 1165000/1192212 918.28/471.62 c cleaning 10002 clauses out of 20019 with flag 1175001/1202213 923.83/474.57 c cleaning 9997 clauses out of 20016 with flag 1185000/1212212 930.80/478.28 c cleaning 10001 clauses out of 20020 with flag 1195001/1222213 937.32/481.66 c cleaning 10003 clauses out of 20019 with flag 1205001/1232213 944.06/485.13 c cleaning 9997 clauses out of 20016 with flag 1215001/1242213 950.56/488.59 c cleaning 9999 clauses out of 20018 with flag 1225000/1252212 956.09/491.54 c cleaning 10002 clauses out of 20020 with flag 1235001/1262213 962.00/494.68 c cleaning 10003 clauses out of 20018 with flag 1245001/1272213 968.10/497.85 c cleaning 10000 clauses out of 20016 with flag 1255002/1282214 973.81/500.83 c cleaning 9996 clauses out of 20015 with flag 1265001/1292213 981.12/504.75 c cleaning 9999 clauses out of 20018 with flag 1275000/1302212 989.62/509.11 c cleaning 10000 clauses out of 20019 with flag 1285000/1312212 995.52/512.26 c cleaning 9998 clauses out of 20019 with flag 1295000/1322212 1001.01/515.18 c cleaning 10002 clauses out of 20021 with flag 1305000/1332212 1006.71/518.22 c cleaning 10000 clauses out of 20019 with flag 1315000/1342212 1012.39/521.27 c cleaning 10003 clauses out of 20020 with flag 1325001/1352213 1023.90/527.13 c cleaning 10005 clauses out of 20017 with flag 1335001/1362213 1036.63/533.67 c cleaning 10000 clauses out of 20011 with flag 1345000/1372212 1047.30/539.26 c cleaning 10003 clauses out of 20012 with flag 1355001/1382213 1056.20/543.85 c cleaning 9996 clauses out of 20009 with flag 1365001/1392213 1062.69/547.21 c cleaning 9994 clauses out of 20012 with flag 1375000/1402212 1070.77/551.41 c cleaning 10001 clauses out of 20019 with flag 1385001/1412213 1076.63/554.66 c cleaning 9997 clauses out of 20017 with flag 1395000/1422212 1082.70/557.84 c cleaning 10004 clauses out of 20021 with flag 1405001/1432213 1088.37/560.83 c cleaning 10002 clauses out of 20016 with flag 1415000/1442212 1093.26/563.46 c cleaning 10002 clauses out of 20014 with flag 1425000/1452212 1099.71/566.97 c cleaning 9997 clauses out of 20012 with flag 1435000/1462212 1105.78/570.19 c cleaning 9998 clauses out of 20015 with flag 1445000/1472212 1111.24/573.02 c cleaning 9997 clauses out of 20017 with flag 1455000/1482212 1116.08/575.64 c cleaning 10003 clauses out of 20020 with flag 1465000/1492212 1120.53/578.16 c cleaning 10001 clauses out of 20018 with flag 1475001/1502213 1125.20/580.66 c cleaning 10000 clauses out of 20017 with flag 1485001/1512213 1129.46/582.98 c cleaning 10000 clauses out of 20016 with flag 1495000/1522212 1133.70/585.21 c cleaning 9997 clauses out of 20017 with flag 1505001/1532213 1137.91/587.69 c cleaning 10004 clauses out of 20020 with flag 1515001/1542213 1142.37/590.04 c cleaning 10005 clauses out of 20016 with flag 1525001/1552213 1147.83/592.91 c cleaning 9997 clauses out of 20011 with flag 1535001/1562213 1152.47/595.40 c cleaning 10002 clauses out of 20013 with flag 1545000/1572212 1157.31/598.14 c cleaning 9998 clauses out of 20011 with flag 1555000/1582212 1162.37/600.89 c cleaning 10001 clauses out of 20013 with flag 1565000/1592212 1167.83/603.75 c cleaning 10001 clauses out of 20013 with flag 1575001/1602213 1173.68/606.80 c cleaning 9996 clauses out of 20012 with flag 1585001/1612213 1179.33/609.92 c cleaning 10006 clauses out of 20017 with flag 1595002/1622214 1184.58/612.75 c cleaning 9999 clauses out of 20009 with flag 1605000/1632212 1190.01/615.64 c cleaning 9996 clauses out of 20010 with flag 1615000/1642212 1196.05/618.81 c cleaning 10001 clauses out of 20014 with flag 1625000/1652212 1201.50/621.85 c cleaning 10001 clauses out of 20013 with flag 1635000/1662212 1206.75/624.64 c cleaning 10001 clauses out of 20012 with flag 1645000/1672212 1211.59/627.27 c cleaning 9999 clauses out of 20011 with flag 1655000/1682212 1217.85/630.51 c cleaning 9998 clauses out of 20012 with flag 1665000/1692212 1220.08/631.91 c And the winner is CuttingPlanes 1217.31/632.13 c Got one! Elapsed wall clock time (in seconds):631.99 1217.31/632.13 o 86 1219.89/633.42 c cleaning 7864 clauses out of 15739 with flag 3000/1697937 1225.14/636.24 c cleaning 6931 clauses out of 13875 with flag 9000/1703937 1231.58/639.62 c cleaning 6965 clauses out of 13944 with flag 16000/1710937 1239.43/643.73 c cleaning 7486 clauses out of 14979 with flag 24000/1718937 1246.85/647.79 c cleaning 8247 clauses out of 16495 with flag 33002/1727939 1256.11/652.53 c cleaning 9120 clauses out of 18247 with flag 43001/1737938 1266.77/658.03 c cleaning 9561 clauses out of 19129 with flag 53003/1747940 1272.82/661.21 c And the winner is CuttingPlanes 1272.73/661.44 c Got one! Elapsed wall clock time (in seconds):661.3 1272.73/661.44 o 85 1276.83/663.57 c cleaning 10897 clauses out of 21804 with flag 5001/1760176 1282.49/666.62 c cleaning 8446 clauses out of 16906 with flag 11000/1766175 1288.92/670.01 c cleaning 7727 clauses out of 15460 with flag 18000/1773175 1296.56/674.03 c cleaning 7865 clauses out of 15736 with flag 26003/1781178 1304.99/678.49 c cleaning 8429 clauses out of 16868 with flag 35000/1790175 1314.98/683.70 c cleaning 9217 clauses out of 18439 with flag 45000/1800175 1316.21/684.56 c And the winner is CuttingPlanes 1316.25/684.65 c Got one! Elapsed wall clock time (in seconds):684.507 1316.25/684.65 o 84 1320.33/686.78 c cleaning 7520 clauses out of 15055 with flag 5000/1806008 1326.35/689.99 c cleaning 6758 clauses out of 13535 with flag 11000/1812008 1333.79/693.82 c cleaning 6883 clauses out of 13777 with flag 18000/1819008 1340.79/697.66 c cleaning 7443 clauses out of 14894 with flag 26000/1827008 1342.41/698.67 c And the winner is CuttingPlanes 1342.51/699.10 c Got one! Elapsed wall clock time (in seconds):698.956 1342.51/699.10 o 83 1345.89/700.89 c cleaning 6470 clauses out of 12945 with flag 4005/1832502 1351.31/703.74 c cleaning 6233 clauses out of 12471 with flag 10001/1838498 1358.95/707.76 c cleaning 6613 clauses out of 13237 with flag 17000/1845497 1366.71/711.95 c cleaning 7310 clauses out of 14627 with flag 25003/1853500 1376.32/716.92 c cleaning 8149 clauses out of 16314 with flag 34000/1862497 1386.15/722.05 c cleaning 9080 clauses out of 18165 with flag 44000/1872497 1394.76/726.54 c cleaning 9538 clauses out of 19085 with flag 54000/1882497 1404.17/731.56 c cleaning 9766 clauses out of 19548 with flag 64001/1892498 1412.77/736.07 c cleaning 9884 clauses out of 19782 with flag 74001/1902498 1416.38/738.09 c And the winner is CuttingPlanes 1416.40/738.51 c Got one! Elapsed wall clock time (in seconds):738.372 1416.40/738.51 o 82 1417.77/739.28 c cleaning 7710 clauses out of 15427 with flag 2001/1908027 1423.58/742.34 c cleaning 6855 clauses out of 13718 with flag 8002/1914028 1430.14/745.96 c cleaning 6926 clauses out of 13862 with flag 15001/1921027 1437.97/750.04 c cleaning 7466 clauses out of 14935 with flag 23000/1929026 1447.59/755.05 c cleaning 8231 clauses out of 16469 with flag 32000/1938026 1456.59/759.76 c cleaning 9116 clauses out of 18239 with flag 42001/1948027 1465.11/764.30 c cleaning 9555 clauses out of 19122 with flag 52000/1958026 1475.31/769.67 c cleaning 9774 clauses out of 19567 with flag 62000/1968026 1486.70/775.52 c cleaning 9892 clauses out of 19794 with flag 72001/1978027 1496.27/780.57 c cleaning 9945 clauses out of 19904 with flag 82003/1988029 1505.55/785.55 c cleaning 9978 clauses out of 19958 with flag 92002/1998028 1515.92/790.92 c cleaning 9985 clauses out of 19978 with flag 102000/2008026 1523.48/794.90 c cleaning 9989 clauses out of 19993 with flag 112000/2018026 1534.64/800.78 c cleaning 9999 clauses out of 20005 with flag 122001/2028027 1544.74/806.20 c cleaning 9994 clauses out of 20005 with flag 132000/2038026 1554.89/811.44 c cleaning 9993 clauses out of 20012 with flag 142001/2048027 1564.08/816.25 c cleaning 10003 clauses out of 20019 with flag 152001/2058027 1571.85/820.34 c cleaning 10001 clauses out of 20016 with flag 162001/2068027 1581.32/825.40 c cleaning 10004 clauses out of 20015 with flag 172001/2078027 1591.68/830.86 c cleaning 10001 clauses out of 20011 with flag 182001/2088027 1602.25/836.33 c cleaning 9999 clauses out of 20011 with flag 192002/2098028 1611.80/841.40 c cleaning 10000 clauses out of 20010 with flag 202000/2108026 1622.87/847.20 c cleaning 10001 clauses out of 20011 with flag 212001/2118027 1631.62/851.80 c cleaning 9996 clauses out of 20009 with flag 222000/2128026 1639.36/855.90 c cleaning 10002 clauses out of 20013 with flag 232000/2138026 1645.51/859.27 c cleaning 10001 clauses out of 20012 with flag 242001/2148027 1652.14/862.94 c cleaning 9996 clauses out of 20010 with flag 252000/2158026 1659.88/867.08 c cleaning 10002 clauses out of 20014 with flag 262000/2168026 1672.49/873.54 c cleaning 9998 clauses out of 20012 with flag 272000/2178026 1684.50/879.72 c cleaning 10003 clauses out of 20016 with flag 282002/2188028 1694.74/885.28 c cleaning 10005 clauses out of 20014 with flag 292003/2198029 1707.75/891.92 c cleaning 9995 clauses out of 20006 with flag 302000/2208026 1720.11/898.38 c cleaning 9997 clauses out of 20011 with flag 312000/2218026 1729.66/903.37 c cleaning 10000 clauses out of 20015 with flag 322001/2228027 1740.47/909.11 c cleaning 10000 clauses out of 20015 with flag 332001/2238027 1755.24/916.79 c cleaning 10000 clauses out of 20015 with flag 342001/2248027 1766.80/922.75 c cleaning 9997 clauses out of 20014 with flag 352000/2258026 1773.36/926.27 c cleaning 10002 clauses out of 20018 with flag 362001/2268027 1780.34/930.13 c cleaning 9995 clauses out of 20015 with flag 372000/2278026 1786.29/933.33 c cleaning 10002 clauses out of 20022 with flag 382002/2288028 1792.62/936.78 c cleaning 9999 clauses out of 20018 with flag 392000/2298026 1797.17/939.21 c starts : 18 1797.17/939.21 c conflicts : 2304 1797.17/939.21 c decisions : 102161 1797.17/939.21 c propagations : 237016 1797.17/939.21 c inspects : 4342868 1797.17/939.21 c shortcuts : 0 1797.17/939.21 c learnt literals : 0 1797.17/939.21 c learnt binary clauses : 0 1797.17/939.21 c learnt ternary clauses : 0 1797.17/939.21 c learnt constraints : 2303 1797.17/939.21 c ignored constraints : 0 1797.17/939.21 c root simplifications : 0 1797.17/939.21 c removed literals (reason simplification) : 0 1797.17/939.21 c reason swapping (by a shorter reason) : 0 1797.17/939.21 c Calls to reduceDB : 0 1797.17/939.21 c number of reductions to clauses (during analyze) : 0 1797.17/939.21 c number of learned constraints concerned by reduction : 0 1797.17/939.21 c number of learning phase by resolution : 0 1797.17/939.21 c number of learning phase by cutting planes : 0 1797.17/939.21 c speed (assignments/second) : 1181.0643811042455 1797.17/939.21 c non guided choices 0 1797.17/939.21 c learnt constraints type 1797.17/939.21 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 986 1797.17/939.21 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1317 1797.17/939.21 c constraints type 1797.17/939.21 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 509 1797.17/939.21 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1797.17/939.21 c constraints type 1797.17/939.21 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 509 1797.17/939.21 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1797.17/939.21 s SATISFIABLE 1797.17/939.22 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.17/939.23 c objective function=82 1797.17/939.23 c Total wall clock time (in seconds): 939.088
OK 82
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-3732293-1338684943/watcher-3732293-1338684943 -o /tmp/evaluation-result-3732293-1338684943/solver-3732293-1338684943 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732293-1338684943.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.81 3.64 3.62 4/195 14930 /proc/meminfo: memFree=24871332/32873852 swapFree=6856/6856 [pid=14930] ppid=14928 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/14930/stat : 14930 (java) R 14928 14930 4583 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 334619748 2560000 46 33554432000 1073741824 1073778376 140734961542096 140734961539224 229346733351 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/14930/statm: 625 46 37 9 0 29 0 [startup+0.0320649 s] /proc/loadavg: 3.81 3.64 3.62 4/195 14930 /proc/meminfo: memFree=24871332/32873852 swapFree=6856/6856 [pid=14930] ppid=14928 vsize=10510056 CPUtime=0.01 cores=1,3,5,7 /proc/14930/stat : 14930 (java) S 14928 14930 4583 0 -1 4202496 2433 0 1 0 0 1 0 0 20 0 2 0 334619748 10762297344 5691 33554432000 1073741824 1073778376 140737206581648 140737206572784 229359255613 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14930/statm: 2627514 5691 942 9 0 2618623 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10510056 [startup+0.100337 s] /proc/loadavg: 3.81 3.64 3.62 4/195 14930 /proc/meminfo: memFree=24871332/32873852 swapFree=6856/6856 [pid=14930] ppid=14928 vsize=11586392 CPUtime=0.07 cores=1,3,5,7 /proc/14930/stat : 14930 (java) S 14928 14930 4583 0 -1 4202496 3933 0 1 0 5 2 0 0 20 0 18 0 334619748 11864465408 12807 33554432000 1073741824 1073778376 140737206581648 140737206572784 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14930/statm: 2896598 12808 1766 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.300304 s] /proc/loadavg: 3.81 3.64 3.62 4/195 14930 /proc/meminfo: memFree=24871332/32873852 swapFree=6856/6856 [pid=14930] ppid=14928 vsize=11586392 CPUtime=0.48 cores=1,3,5,7 /proc/14930/stat : 14930 (java) S 14928 14930 4583 0 -1 4202496 7296 0 1 0 46 2 0 0 20 0 18 0 334619748 11864465408 17290 33554432000 1073741824 1073778376 140737206581648 140737206572784 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14930/statm: 2896598 17290 2222 9 0 2887285 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 11586392 [startup+0.700207 s] /proc/loadavg: 3.81 3.64 3.62 4/195 14930 /proc/meminfo: memFree=24871332/32873852 swapFree=6856/6856 [pid=14930] ppid=14928 vsize=11852648 CPUtime=0.88 cores=1,3,5,7 /proc/14930/stat : 14930 (java) S 14928 14930 4583 0 -1 4202496 7853 0 1 0 84 4 0 0 20 0 19 0 334619748 12137111552 21128 33554432000 1073741824 1073778376 140737206581648 140737206572784 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14930/statm: 2963162 21128 2252 9 0 2953849 0 Current children cumulated CPU time (s) 0.88 Current children cumulated vsize (KiB) 11852648 [startup+1.50064 s] /proc/loadavg: 3.81 3.64 3.62 7/217 14955 /proc/meminfo: memFree=24786196/32873852 swapFree=6856/6856 [pid=14930] ppid=14928 vsize=11852648 CPUtime=2.65 cores=1,3,5,7 /proc/14930/stat : 14930 (java) S 14928 14930 4583 0 -1 4202496 11875 0 1 0 260 5 0 0 20 0 22 0 334619748 12137111552 25593 33554432000 1073741824 1073778376 140737206581648 140737206572784 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14930/statm: 2963162 25593 2259 9 0 2953849 0 [pid=14930/tid=14932] ppid=14928 vsize=11852648 CPUtime=0.35 cores=1,3,5,7 /proc/14930/task/14932/stat : 14932 (java) S 14928 14930 4583 0 -1 4202560 2884 0 1 0 33 2 0 0 20 0 22 0 334619750 12137111552 25593 33554432000 1073741824 1073778376 140737206581648 140581370913944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14933] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14933/stat : 14933 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 25593 33554432000 1073741824 1073778376 140737206581648 140581339323176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14934] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14934/stat : 14934 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 25593 33554432000 1073741824 1073778376 140737206581648 140581338270376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14935] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14935/stat : 14935 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 25593 33554432000 1073741824 1073778376 140737206581648 140581337218088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14936] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14936/stat : 14936 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 25593 33554432000 1073741824 1073778376 140737206581648 140581336165288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14937] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14937/stat : 14937 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 25593 33554432000 1073741824 1073778376 140737206581648 140581335111976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14938] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14938/stat : 14938 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 25593 33554432000 1073741824 1073778376 140737206581648 140581334059176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14939] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14939/stat : 14939 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 25593 33554432000 1073741824 1073778376 140737206581648 140581333006888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14940] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14940/stat : 14940 (java) S 14928 14930 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 25573 33554432000 1073741824 1073778376 140737206581648 140581331954088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14941] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14941/stat : 14941 (java) S 14928 14930 4583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 25574 33554432000 1073741824 1073778376 140737206581648 140580716780264 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14942] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14942/stat : 14942 (java) S 14928 14930 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 25587 33554432000 1073741824 1073778376 140737206581648 140580715726328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14943] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14943/stat : 14943 (java) S 14928 14930 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 25598 33554432000 1073741824 1073778376 140737206581648 140580714673928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14944] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14944/stat : 14944 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 25598 33554432000 1073741824 1073778376 140737206581648 140580713622416 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14945] ppid=14928 vsize=11852648 CPUtime=0.46 cores=1,3,5,7 /proc/14930/task/14945/stat : 14945 (java) R 14928 14930 4583 0 -1 4202560 3500 0 0 0 46 0 0 0 20 0 22 0 334619757 12137111552 25598 33554432000 1073741824 1073778376 140737206581648 140580712569016 140581377895015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14946] ppid=14928 vsize=11852648 CPUtime=0.47 cores=1,3,5,7 /proc/14930/task/14946/stat : 14946 (java) R 14928 14930 4583 0 -1 4202560 4204 0 0 0 47 0 0 0 20 0 22 0 334619757 12137111552 25598 33554432000 1073741824 1073778376 140737206581648 140580711516216 140581375029712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14947] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14947/stat : 14947 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 25598 33554432000 1073741824 1073778376 140737206581648 140580710464120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14948] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14948/stat : 14948 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 25598 33554432000 1073741824 1073778376 140737206581648 140580709411528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14951] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14951/stat : 14951 (java) S 14928 14930 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334619787 12137111552 25598 33554432000 1073741824 1073778376 140737206581648 140580706252456 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14953] ppid=14928 vsize=11852648 CPUtime=0.58 cores=1,3,5,7 /proc/14930/task/14953/stat : 14953 (java) R 14928 14930 4583 0 -1 4202560 11 0 0 0 58 0 0 0 20 0 22 0 334619838 12137111552 25598 33554432000 1073741824 1073778376 140737206581648 140580707303832 140581209277296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14954] ppid=14928 vsize=11852648 CPUtime=0.58 cores=1,3,5,7 /proc/14930/task/14954/stat : 14954 (java) R 14928 14930 4583 0 -1 4202560 56 0 0 0 58 0 0 0 20 0 22 0 334619838 12137111552 25598 33554432000 1073741824 1073778376 140737206581648 140580708355720 140581209316870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14955] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14955/stat : 14955 (java) S 14928 14930 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334619839 12137111552 25598 33554432000 1073741824 1073778376 140737206581648 140580705199272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.65 Current children cumulated vsize (KiB) 11852648 [startup+3.10057 s] /proc/loadavg: 3.75 3.63 3.62 5/217 14955 /proc/meminfo: memFree=24772984/32873852 swapFree=6856/6856 [pid=14930] ppid=14928 vsize=11852648 CPUtime=5.9 cores=1,3,5,7 /proc/14930/stat : 14930 (java) S 14928 14930 4583 0 -1 4202496 12025 0 1 0 583 7 0 0 20 0 22 0 334619748 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140737206572784 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14930/statm: 2963162 30160 2262 9 0 2953849 0 [pid=14930/tid=14932] ppid=14928 vsize=11852648 CPUtime=0.37 cores=1,3,5,7 /proc/14930/task/14932/stat : 14932 (java) S 14928 14930 4583 0 -1 4202560 2885 0 1 0 35 2 0 0 20 0 22 0 334619750 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140581370913944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14933] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14933/stat : 14933 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140581339323176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14934] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14934/stat : 14934 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140581338270376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14935] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14935/stat : 14935 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140581337218088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14936] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14936/stat : 14936 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140581336165288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14937] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14937/stat : 14937 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140581335111976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14938] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14938/stat : 14938 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140581334059176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14939] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14939/stat : 14939 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140581333006888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14940] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14940/stat : 14940 (java) S 14928 14930 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140581331954088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14941] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14941/stat : 14941 (java) S 14928 14930 4583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140580716780264 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14942] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14942/stat : 14942 (java) S 14928 14930 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140580715726328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14943] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14943/stat : 14943 (java) S 14928 14930 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140580714673928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14944] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14944/stat : 14944 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140580713622416 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14945] ppid=14928 vsize=11852648 CPUtime=0.51 cores=1,3,5,7 /proc/14930/task/14945/stat : 14945 (java) S 14928 14930 4583 0 -1 4202560 3512 0 0 0 51 0 0 0 20 0 22 0 334619757 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140580712569016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14946] ppid=14928 vsize=11852648 CPUtime=0.58 cores=1,3,5,7 /proc/14930/task/14946/stat : 14946 (java) S 14928 14930 4583 0 -1 4202560 4298 0 0 0 58 0 0 0 20 0 22 0 334619757 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140580711516216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14947] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14947/stat : 14947 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140580710464120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14948] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14948/stat : 14948 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140580709411528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14955] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14955/stat : 14955 (java) S 14928 14930 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334619839 12137111552 30160 33554432000 1073741824 1073778376 140737206581648 140580705199272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 5.9 Current children cumulated vsize (KiB) 11852648 [startup+6.30076 s] /proc/loadavg: 3.75 3.63 3.62 4/217 14958 /proc/meminfo: memFree=24728556/32873852 swapFree=6856/6856 [pid=14930] ppid=14928 vsize=11852648 CPUtime=12.36 cores=1,3,5,7 /proc/14930/stat : 14930 (java) S 14928 14930 4583 0 -1 4202496 12144 0 1 0 1227 9 0 0 20 0 22 0 334619748 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140737206572784 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14930/statm: 2963162 39027 2287 9 0 2953849 0 [pid=14930/tid=14932] ppid=14928 vsize=11852648 CPUtime=0.37 cores=1,3,5,7 /proc/14930/task/14932/stat : 14932 (java) S 14928 14930 4583 0 -1 4202560 2885 0 1 0 35 2 0 0 20 0 22 0 334619750 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140581370913944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14933] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14933/stat : 14933 (java) S 14928 14930 4583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140581339323176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14934] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14934/stat : 14934 (java) S 14928 14930 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140581338270376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14935] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14935/stat : 14935 (java) S 14928 14930 4583 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140581337218088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14936] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14936/stat : 14936 (java) S 14928 14930 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140581336165288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14937] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14937/stat : 14937 (java) S 14928 14930 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140581335111976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14938] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14938/stat : 14938 (java) S 14928 14930 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140581334059176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14939] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14939/stat : 14939 (java) S 14928 14930 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140581333006888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14940] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14940/stat : 14940 (java) S 14928 14930 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334619752 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140581331954088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14941] ppid=14928 vsize=11852648 CPUtime=0.04 cores=1,3,5,7 /proc/14930/task/14941/stat : 14941 (java) S 14928 14930 4583 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 22 0 334619754 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140580716780264 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14942] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14942/stat : 14942 (java) S 14928 14930 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140580715726328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14943] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14943/stat : 14943 (java) S 14928 14930 4583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140580714673928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14944] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14944/stat : 14944 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140580713622416 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14945] ppid=14928 vsize=11852648 CPUtime=0.58 cores=1,3,5,7 /proc/14930/task/14945/stat : 14945 (java) S 14928 14930 4583 0 -1 4202560 3518 0 0 0 58 0 0 0 20 0 22 0 334619757 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140580712569016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14946] ppid=14928 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/14930/task/14946/stat : 14946 (java) S 14928 14930 4583 0 -1 4202560 4298 0 0 0 62 0 0 0 20 0 22 0 334619757 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140580711516216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14947] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14947/stat : 14947 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140580710464120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14948] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14948/stat : 14948 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 39027 33554432000 1073741824 1073778376 140737206581648 140580709411528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [pid=14930/tid=14936] ppid=14928 vsize=11852648 CPUtime=1.22 cores=1,3,5,7 /proc/14930/task/14936/stat : 14936 (java) S 14928 14930 4583 0 -1 4202560 53 0 0 0 120 2 0 0 20 0 22 0 334619752 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140581336165288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14937] ppid=14928 vsize=11852648 CPUtime=1.34 cores=1,3,5,7 /proc/14930/task/14937/stat : 14937 (java) S 14928 14930 4583 0 -1 4202560 57 0 0 0 132 2 0 0 20 0 22 0 334619752 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140581335111976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14938] ppid=14928 vsize=11852648 CPUtime=1.39 cores=1,3,5,7 /proc/14930/task/14938/stat : 14938 (java) S 14928 14930 4583 0 -1 4202560 65 0 0 0 136 3 0 0 20 0 22 0 334619752 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140581334059176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14939] ppid=14928 vsize=11852648 CPUtime=1.28 cores=1,3,5,7 /proc/14930/task/14939/stat : 14939 (java) S 14928 14930 4583 0 -1 4202560 56 0 0 0 126 2 0 0 20 0 22 0 334619752 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140581333006888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14940] ppid=14928 vsize=11852648 CPUtime=1.21 cores=1,3,5,7 /proc/14930/task/14940/stat : 14940 (java) S 14928 14930 4583 0 -1 4202560 64 0 0 0 119 2 0 0 20 0 22 0 334619752 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140581331954088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14941] ppid=14928 vsize=11852648 CPUtime=67.58 cores=1,3,5,7 /proc/14930/task/14941/stat : 14941 (java) S 14928 14930 4583 0 -1 4202560 239 0 0 0 6748 10 0 0 20 0 22 0 334619754 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580716780264 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14942] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14942/stat : 14942 (java) S 14928 14930 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580715726328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14943] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14943/stat : 14943 (java) S 14928 14930 4583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580714673928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14944] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14944/stat : 14944 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580713622416 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14945] ppid=14928 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/14930/task/14945/stat : 14945 (java) S 14928 14930 4583 0 -1 4202560 3527 0 0 0 98 0 0 0 20 0 22 0 334619757 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580712569016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14946] ppid=14928 vsize=11852648 CPUtime=0.91 cores=1,3,5,7 /proc/14930/task/14946/stat : 14946 (java) S 14928 14930 4583 0 -1 4202560 4302 0 0 0 91 0 0 0 20 0 22 0 334619757 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580711516216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14947] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14947/stat : 14947 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580710464120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14948] ppid=14928 vsize=11852648 CPUtime=0.27 cores=1,3,5,7 /proc/14930/task/14948/stat : 14948 (java) S 14928 14930 4583 0 -1 4202560 47 0 0 0 14 13 0 0 20 0 22 0 334619757 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580709411528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14955] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14955/stat : 14955 (java) S 14928 14930 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334619839 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580705199272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=15087] ppid=14928 vsize=11852648 CPUtime=73.44 cores=1,3,5,7 /proc/14930/task/15087/stat : 15087 (java) R 14928 14930 4583 0 -1 4202560 5 0 0 0 7343 1 0 0 20 0 22 0 334693602 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580707304016 140581209277379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=15088] ppid=14928 vsize=11852648 CPUtime=73.46 cores=1,3,5,7 /proc/14930/task/15088/stat : 15088 (java) R 14928 14930 4583 0 -1 4202560 4 0 0 0 7345 1 0 0 20 0 22 0 334693602 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580708354896 140581209316805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=15089] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/15089/stat : 15089 (java) S 14928 14930 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334693602 12137111552 958857 33554432000 1073741824 1073778376 140737206581648 140580706252328 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1575.12 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.91 3.88 3.73 6/219 15092 /proc/meminfo: memFree=20283040/32873852 swapFree=6856/6856 [pid=14930] ppid=14928 vsize=11852648 CPUtime=1688.95 cores=1,3,5,7 /proc/14930/stat : 14930 (java) S 14928 14930 4583 0 -1 4202496 14779 0 1 0 168759 136 0 0 20 0 22 0 334619748 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140737206572784 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14930/statm: 2963162 962467 2288 9 0 2953849 0 [pid=14930/tid=14932] ppid=14928 vsize=11852648 CPUtime=0.56 cores=1,3,5,7 /proc/14930/task/14932/stat : 14932 (java) S 14928 14930 4583 0 -1 4202560 3021 0 1 0 52 4 0 0 20 0 22 0 334619750 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140581370913944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14933] ppid=14928 vsize=11852648 CPUtime=1.55 cores=1,3,5,7 /proc/14930/task/14933/stat : 14933 (java) S 14928 14930 4583 0 -1 4202560 56 0 0 0 152 3 0 0 20 0 22 0 334619752 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140581339323176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14934] ppid=14928 vsize=11852648 CPUtime=1.55 cores=1,3,5,7 /proc/14930/task/14934/stat : 14934 (java) S 14928 14930 4583 0 -1 4202560 73 0 0 0 151 4 0 0 20 0 22 0 334619752 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140581338270376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14935] ppid=14928 vsize=11852648 CPUtime=1.43 cores=1,3,5,7 /proc/14930/task/14935/stat : 14935 (java) S 14928 14930 4583 0 -1 4202560 55 0 0 0 141 2 0 0 20 0 22 0 334619752 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140581337218088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14936] ppid=14928 vsize=11852648 CPUtime=1.4 cores=1,3,5,7 /proc/14930/task/14936/stat : 14936 (java) S 14928 14930 4583 0 -1 4202560 60 0 0 0 138 2 0 0 20 0 22 0 334619752 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140581336165288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14937] ppid=14928 vsize=11852648 CPUtime=1.48 cores=1,3,5,7 /proc/14930/task/14937/stat : 14937 (java) S 14928 14930 4583 0 -1 4202560 58 0 0 0 145 3 0 0 20 0 22 0 334619752 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140581335111976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14938] ppid=14928 vsize=11852648 CPUtime=1.52 cores=1,3,5,7 /proc/14930/task/14938/stat : 14938 (java) S 14928 14930 4583 0 -1 4202560 67 0 0 0 149 3 0 0 20 0 22 0 334619752 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140581334059176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14939] ppid=14928 vsize=11852648 CPUtime=1.41 cores=1,3,5,7 /proc/14930/task/14939/stat : 14939 (java) S 14928 14930 4583 0 -1 4202560 57 0 0 0 139 2 0 0 20 0 22 0 334619752 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140581333006888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14940] ppid=14928 vsize=11852648 CPUtime=1.35 cores=1,3,5,7 /proc/14930/task/14940/stat : 14940 (java) S 14928 14930 4583 0 -1 4202560 69 0 0 0 133 2 0 0 20 0 22 0 334619752 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140581331954088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14941] ppid=14928 vsize=11852648 CPUtime=74.25 cores=1,3,5,7 /proc/14930/task/14941/stat : 14941 (java) S 14928 14930 4583 0 -1 4202560 247 0 0 0 7414 11 0 0 20 0 22 0 334619754 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580716780264 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14942] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14942/stat : 14942 (java) S 14928 14930 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580715726328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14943] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14943/stat : 14943 (java) S 14928 14930 4583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580714673928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14944] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14944/stat : 14944 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580713622416 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14945] ppid=14928 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/14930/task/14945/stat : 14945 (java) S 14928 14930 4583 0 -1 4202560 3528 0 0 0 98 0 0 0 20 0 22 0 334619757 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580712569016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14946] ppid=14928 vsize=11852648 CPUtime=0.91 cores=1,3,5,7 /proc/14930/task/14946/stat : 14946 (java) S 14928 14930 4583 0 -1 4202560 4302 0 0 0 91 0 0 0 20 0 22 0 334619757 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580711516216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14947] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14947/stat : 14947 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580710464120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14948] ppid=14928 vsize=11852648 CPUtime=0.3 cores=1,3,5,7 /proc/14930/task/14948/stat : 14948 (java) S 14928 14930 4583 0 -1 4202560 51 0 0 0 16 14 0 0 20 0 22 0 334619757 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580709411528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14955] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14955/stat : 14955 (java) S 14928 14930 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334619839 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580705199272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=15087] ppid=14928 vsize=11852648 CPUtime=126.26 cores=1,3,5,7 /proc/14930/task/15087/stat : 15087 (java) R 14928 14930 4583 0 -1 4202560 5 0 0 0 12625 1 0 0 20 0 22 0 334693602 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580707304016 140581209270502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=15088] ppid=14928 vsize=11852648 CPUtime=126.29 cores=1,3,5,7 /proc/14930/task/15088/stat : 15088 (java) R 14928 14930 4583 0 -1 4202560 5 0 0 0 12628 1 0 0 20 0 22 0 334693602 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580708354768 140581209577406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=15089] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/15089/stat : 15089 (java) S 14928 14930 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334693602 12137111552 962467 33554432000 1073741824 1073778376 140737206581648 140580706252328 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1688.95 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+939.201 s] /proc/loadavg: 3.47 3.78 3.70 5/218 15095 /proc/meminfo: memFree=20239916/32873852 swapFree=6856/6856 [pid=14930] ppid=14928 vsize=11852648 CPUtime=1797.17 cores=1,3,5,7 /proc/14930/stat : 14930 (java) S 14928 14930 4583 0 -1 4202496 14840 0 1 0 179578 139 0 0 20 0 22 0 334619748 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140737206572784 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14930/statm: 2963162 965565 2289 9 0 2953849 0 [pid=14930/tid=14932] ppid=14928 vsize=11852648 CPUtime=0.56 cores=1,3,5,7 /proc/14930/task/14932/stat : 14932 (java) S 14928 14930 4583 0 -1 4202560 3028 0 1 0 52 4 0 0 20 0 22 0 334619750 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140581370913944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14933] ppid=14928 vsize=11852648 CPUtime=1.74 cores=1,3,5,7 /proc/14930/task/14933/stat : 14933 (java) S 14928 14930 4583 0 -1 4202560 61 0 0 0 171 3 0 0 20 0 22 0 334619752 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140581339323176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14934] ppid=14928 vsize=11852648 CPUtime=1.72 cores=1,3,5,7 /proc/14930/task/14934/stat : 14934 (java) S 14928 14930 4583 0 -1 4202560 78 0 0 0 168 4 0 0 20 0 22 0 334619752 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140581338270376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14935] ppid=14928 vsize=11852648 CPUtime=1.58 cores=1,3,5,7 /proc/14930/task/14935/stat : 14935 (java) S 14928 14930 4583 0 -1 4202560 56 0 0 0 156 2 0 0 20 0 22 0 334619752 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140581337218088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14936] ppid=14928 vsize=11852648 CPUtime=1.55 cores=1,3,5,7 /proc/14930/task/14936/stat : 14936 (java) S 14928 14930 4583 0 -1 4202560 60 0 0 0 153 2 0 0 20 0 22 0 334619752 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140581336165288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14937] ppid=14928 vsize=11852648 CPUtime=1.65 cores=1,3,5,7 /proc/14930/task/14937/stat : 14937 (java) S 14928 14930 4583 0 -1 4202560 65 0 0 0 162 3 0 0 20 0 22 0 334619752 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140581335111976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14938] ppid=14928 vsize=11852648 CPUtime=1.65 cores=1,3,5,7 /proc/14930/task/14938/stat : 14938 (java) S 14928 14930 4583 0 -1 4202560 70 0 0 0 162 3 0 0 20 0 22 0 334619752 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140581334059176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14939] ppid=14928 vsize=11852648 CPUtime=1.55 cores=1,3,5,7 /proc/14930/task/14939/stat : 14939 (java) S 14928 14930 4583 0 -1 4202560 61 0 0 0 153 2 0 0 20 0 22 0 334619752 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140581333006888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14940] ppid=14928 vsize=11852648 CPUtime=1.51 cores=1,3,5,7 /proc/14930/task/14940/stat : 14940 (java) S 14928 14930 4583 0 -1 4202560 76 0 0 0 149 2 0 0 20 0 22 0 334619752 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140581331954088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14941] ppid=14928 vsize=11852648 CPUtime=80.35 cores=1,3,5,7 /proc/14930/task/14941/stat : 14941 (java) S 14928 14930 4583 0 -1 4202560 253 0 0 0 8023 12 0 0 20 0 22 0 334619754 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580716780264 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14942] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14942/stat : 14942 (java) S 14928 14930 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580715726328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14943] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14943/stat : 14943 (java) S 14928 14930 4583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 334619754 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580714673928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14930/tid=14944] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14944/stat : 14944 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580713622416 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14945] ppid=14928 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/14930/task/14945/stat : 14945 (java) S 14928 14930 4583 0 -1 4202560 3531 0 0 0 98 0 0 0 20 0 22 0 334619757 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580712569016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=14946] ppid=14928 vsize=11852648 CPUtime=0.91 cores=1,3,5,7 /proc/14930/task/14946/stat : 14946 (java) S 14928 14930 4583 0 -1 4202560 4302 0 0 0 91 0 0 0 20 0 22 0 334619757 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580711516216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14947] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14947/stat : 14947 (java) S 14928 14930 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334619757 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580710464120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=14948] ppid=14928 vsize=11852648 CPUtime=0.32 cores=1,3,5,7 /proc/14930/task/14948/stat : 14948 (java) S 14928 14930 4583 0 -1 4202560 55 0 0 0 17 15 0 0 20 0 22 0 334619757 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580709411528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=14955] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/14955/stat : 14955 (java) S 14928 14930 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334619839 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580705199272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14930/tid=15087] ppid=14928 vsize=11852648 CPUtime=176.56 cores=1,3,5,7 /proc/14930/task/15087/stat : 15087 (java) R 14928 14930 4583 0 -1 4202560 11 0 0 0 17654 2 0 0 20 0 22 0 334693602 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580707304016 140581209277392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14930/tid=15088] ppid=14928 vsize=11852648 CPUtime=176.58 cores=1,3,5,7 /proc/14930/task/15088/stat : 15088 (java) R 14928 14930 4583 0 -1 4202560 8 0 0 0 17656 2 0 0 20 0 22 0 334693602 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580708354864 140581209634834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14930/tid=15089] ppid=14928 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14930/task/15089/stat : 15089 (java) S 14928 14930 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334693602 12137111552 965565 33554432000 1073741824 1073778376 140737206581648 140580706252328 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1797.17 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 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14930 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=718161 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=634751 # CPU time returned by wait4() is 1796.35 # while last known CPU time is 1797.17 # # 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): 2.85999 # lost CPU user time (s): 3.04993 # lost CPU system time (s): -0.19 Real time (s): 939.259 CPU time (s): 1800.03 CPU user time (s): 1798.83 CPU system time (s): 1.2 CPU usage (%): 191.644 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.72 system time used= 1.63475 maximum resident set size= 3862380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14871 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29765 involuntary context switches= 34655 runsolver used 4.00939 second user time and 8.40572 second system time The end
Begin job on node129 at 2012-06-03 02:55:43 IDJOB=3732293 IDBENCH=2044 IDSOLVER=2328 FILE ID=node129/3732293-1338684943 RUNJOBID= node129-1338679212-13350 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-exam.pi.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732293-1338684943/watcher-3732293-1338684943 -o /tmp/evaluation-result-3732293-1338684943/solver-3732293-1338684943 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732293-1338684943.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f RANDOM SEED=938596427 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: 24871596 kB Buffers: 458644 kB Cached: 5614320 kB SwapCached: 0 kB Active: 3591444 kB Inactive: 3531952 kB Active(anon): 1042264 kB Inactive(anon): 10760 kB Active(file): 2549180 kB Inactive(file): 3521192 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 508 kB Writeback: 0 kB AnonPages: 1056920 kB Mapped: 22532 kB Shmem: 204 kB Slab: 740880 kB SReclaimable: 183072 kB SUnreclaim: 557808 kB KernelStack: 1600 kB PageTables: 6584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 10456216 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 995328 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:11:24