Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Res//CP 2.3.0 | SAT (TO) | 14 | 1800.41 | 962.681 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb |
| MD5SUM | b0c7ff7d1fa11c8e15b9d528879223a9 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 0.447931 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 14 |
| Optimality of the best value was proved | YES |
| Number of variables | 3659 |
| Total number of constraints | 9385 |
| Number of constraints which are clauses | 9385 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 1787 |
| 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 | 1787 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1787 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.1.v20110525 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.18-164.el5 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 9996466904 0.05/0.09 c Max memory 10048897024 0.05/0.09 c Total memory 10048897024 0.05/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454121-1307193583.opb 0.10/0.11 c reading problem ... 0.78/0.43 c ... done. Wall clock time 0.314s. 0.78/0.43 c #vars 3659 0.78/0.43 c #constraints 9382 0.78/0.43 c constraints type 0.78/0.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1893 0.78/0.43 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7390 0.78/0.43 c constraints type 0.78/0.43 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7390 0.78/0.43 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1893 0.78/0.49 c And the winner is Resolution 1.16/0.94 c SATISFIABLE 1.16/0.94 c OPTIMIZING... 1.16/0.94 c Got one! Elapsed wall clock time (in seconds):0.825 1.16/0.94 o 19 2.44/1.32 c And the winner is CuttingPlanes 2.54/1.46 c Got one! Elapsed wall clock time (in seconds):1.344 2.54/1.46 o 18 4.20/2.22 c And the winner is Resolution 4.33/2.47 c Got one! Elapsed wall clock time (in seconds):2.358 4.33/2.47 o 17 6.69/3.67 c cleaning 2870 clauses out of 5749 with flag 3001/5749 10.95/5.76 c cleaning 4436 clauses out of 8878 with flag 9000/11748 15.98/8.27 c cleaning 5712 clauses out of 11443 with flag 16001/18749 21.78/11.15 c cleaning 6860 clauses out of 13730 with flag 24000/26748 27.38/13.92 c And the winner is Resolution 27.47/14.03 c Got one! Elapsed wall clock time (in seconds):13.914 27.47/14.03 o 16 30.05/15.37 c cleaning 9913 clauses out of 19842 with flag 5000/39720 33.20/16.97 c cleaning 7964 clauses out of 15932 with flag 11003/45723 37.15/18.94 c cleaning 7481 clauses out of 14966 with flag 18001/52721 41.51/21.11 c cleaning 7740 clauses out of 15485 with flag 26001/60721 46.64/23.72 c cleaning 8366 clauses out of 16744 with flag 35000/69720 52.19/26.57 c cleaning 9187 clauses out of 18380 with flag 45002/79722 52.94/26.91 c And the winner is Resolution 52.99/27.14 c Got one! Elapsed wall clock time (in seconds):27.027 52.99/27.14 o 15 55.73/28.57 c cleaning 7548 clauses out of 15104 with flag 5000/85633 60.28/30.82 c cleaning 6766 clauses out of 13556 with flag 11000/91633 64.97/33.29 c cleaning 6892 clauses out of 13791 with flag 18001/98634 70.31/35.93 c cleaning 7440 clauses out of 14898 with flag 26000/106633 75.65/38.65 c cleaning 8226 clauses out of 16461 with flag 35003/115636 82.79/42.24 c cleaning 9106 clauses out of 18232 with flag 45000/125633 88.52/45.14 c cleaning 9557 clauses out of 19127 with flag 55001/135634 95.41/48.62 c cleaning 9780 clauses out of 19569 with flag 65000/145633 102.13/52.04 c cleaning 9886 clauses out of 19789 with flag 75000/155633 108.65/55.35 c cleaning 9939 clauses out of 19904 with flag 85001/165634 115.53/58.81 c cleaning 9980 clauses out of 19965 with flag 95001/175634 121.84/62.09 c cleaning 9987 clauses out of 19985 with flag 105001/185634 128.54/65.41 c cleaning 9997 clauses out of 19997 with flag 115000/195633 134.67/68.57 c cleaning 9990 clauses out of 20000 with flag 125000/205633 141.71/72.14 c cleaning 9999 clauses out of 20012 with flag 135002/215635 148.42/75.56 c cleaning 9998 clauses out of 20011 with flag 145000/225633 154.91/78.80 c cleaning 10002 clauses out of 20014 with flag 155001/235634 161.20/82.06 c cleaning 9994 clauses out of 20012 with flag 165001/245634 167.63/85.39 c cleaning 10002 clauses out of 20018 with flag 175001/255634 174.31/88.72 c cleaning 10001 clauses out of 20015 with flag 185000/265633 181.20/92.21 c cleaning 9998 clauses out of 20014 with flag 195000/275633 187.49/95.45 c cleaning 10001 clauses out of 20016 with flag 205000/285633 193.51/98.56 c cleaning 10001 clauses out of 20017 with flag 215002/295635 199.99/101.88 c cleaning 9998 clauses out of 20014 with flag 225000/305633 207.49/105.69 c cleaning 10005 clauses out of 20017 with flag 235001/315634 214.52/109.29 c cleaning 9993 clauses out of 20011 with flag 245000/325633 221.31/112.70 c cleaning 10001 clauses out of 20018 with flag 255000/335633 227.78/116.01 c cleaning 10001 clauses out of 20017 with flag 265000/345633 234.63/119.51 c cleaning 9988 clauses out of 20016 with flag 275000/355633 240.88/122.70 c cleaning 10009 clauses out of 20028 with flag 285000/365633 247.24/126.01 c cleaning 10005 clauses out of 20019 with flag 295000/375633 253.68/129.35 c cleaning 10004 clauses out of 20015 with flag 305001/385634 260.71/132.96 c cleaning 10000 clauses out of 20010 with flag 315000/395633 267.42/136.39 c cleaning 9998 clauses out of 20011 with flag 325001/405634 273.56/139.58 c cleaning 9989 clauses out of 20012 with flag 335000/415633 279.58/142.68 c cleaning 10007 clauses out of 20023 with flag 345000/425633 285.39/145.69 c cleaning 9997 clauses out of 20016 with flag 355000/435633 291.41/148.71 c cleaning 9999 clauses out of 20019 with flag 365000/445633 297.92/152.17 c cleaning 10001 clauses out of 20020 with flag 375000/455633 305.15/155.80 c cleaning 10005 clauses out of 20020 with flag 385001/465634 311.96/159.34 c cleaning 9999 clauses out of 20014 with flag 395000/475633 318.80/162.83 c cleaning 10000 clauses out of 20016 with flag 405001/485634 325.48/166.32 c cleaning 9998 clauses out of 20016 with flag 415001/495634 332.48/169.90 c cleaning 9996 clauses out of 20017 with flag 425000/505633 339.48/173.51 c cleaning 9995 clauses out of 20022 with flag 435001/515634 346.30/177.07 c cleaning 10008 clauses out of 20026 with flag 445000/525633 352.98/180.55 c cleaning 9994 clauses out of 20018 with flag 455000/535633 359.57/183.96 c cleaning 10003 clauses out of 20025 with flag 465001/545634 365.97/187.27 c cleaning 10006 clauses out of 20022 with flag 475001/555634 372.77/190.71 c cleaning 9998 clauses out of 20016 with flag 485001/565634 378.86/193.98 c cleaning 10005 clauses out of 20020 with flag 495003/575636 385.64/197.44 c cleaning 9997 clauses out of 20013 with flag 505001/585634 392.42/200.93 c cleaning 10003 clauses out of 20015 with flag 515000/595633 399.20/204.47 c cleaning 9999 clauses out of 20014 with flag 525002/605635 405.46/207.70 c cleaning 10004 clauses out of 20013 with flag 535000/615633 412.25/211.28 c cleaning 9998 clauses out of 20010 with flag 545001/625634 415.37/212.90 c And the winner is CuttingPlanes 415.38/213.05 c Got one! Elapsed wall clock time (in seconds):212.94 415.38/213.05 o 14 416.47/213.68 c cleaning 7828 clauses out of 15666 with flag 2000/631288 420.41/215.78 c cleaning 6912 clauses out of 13838 with flag 8000/637288 425.25/218.38 c cleaning 6952 clauses out of 13926 with flag 15000/644288 431.00/221.39 c cleaning 7484 clauses out of 14976 with flag 23002/652290 436.54/224.26 c cleaning 8235 clauses out of 16490 with flag 32000/661288 443.31/227.74 c cleaning 9121 clauses out of 18256 with flag 42001/671289 450.08/231.39 c cleaning 9561 clauses out of 19135 with flag 52001/681289 457.21/235.05 c cleaning 9783 clauses out of 19575 with flag 62002/691290 463.74/238.43 c cleaning 9886 clauses out of 19790 with flag 72000/701288 470.71/242.03 c cleaning 9944 clauses out of 19905 with flag 82001/711289 477.67/245.77 c cleaning 9971 clauses out of 19960 with flag 92000/721288 484.20/249.11 c cleaning 9989 clauses out of 19990 with flag 102001/731289 491.31/252.90 c cleaning 9993 clauses out of 20000 with flag 112000/741288 497.84/256.30 c cleaning 9997 clauses out of 20008 with flag 122001/751289 505.19/260.10 c cleaning 10000 clauses out of 20012 with flag 132002/761290 511.68/263.56 c cleaning 9996 clauses out of 20010 with flag 142000/771288 518.79/267.30 c cleaning 10002 clauses out of 20015 with flag 152001/781289 524.26/270.11 c cleaning 10000 clauses out of 20012 with flag 162000/791288 529.79/273.10 c cleaning 10003 clauses out of 20012 with flag 172000/801288 536.08/276.41 c cleaning 9998 clauses out of 20009 with flag 182000/811288 542.56/279.84 c cleaning 9995 clauses out of 20011 with flag 192000/821288 549.83/283.68 c cleaning 9998 clauses out of 20016 with flag 202000/831288 557.74/287.84 c cleaning 10004 clauses out of 20018 with flag 212000/841288 564.20/291.23 c cleaning 9998 clauses out of 20015 with flag 222001/851289 571.47/295.09 c cleaning 10005 clauses out of 20017 with flag 232001/861289 578.52/298.78 c cleaning 10001 clauses out of 20012 with flag 242001/871289 585.80/302.66 c cleaning 10000 clauses out of 20012 with flag 252002/881290 592.45/306.16 c cleaning 9999 clauses out of 20010 with flag 262000/891288 599.29/309.79 c cleaning 9999 clauses out of 20011 with flag 272000/901288 606.73/313.60 c cleaning 9999 clauses out of 20013 with flag 282001/911289 613.80/317.43 c cleaning 10001 clauses out of 20013 with flag 292000/921288 620.45/320.94 c cleaning 9997 clauses out of 20012 with flag 302000/931288 627.20/324.37 c cleaning 10001 clauses out of 20016 with flag 312001/941289 633.87/327.84 c cleaning 10002 clauses out of 20014 with flag 322000/951288 640.49/331.49 c cleaning 9995 clauses out of 20012 with flag 332000/961288 647.51/335.11 c cleaning 9999 clauses out of 20017 with flag 342000/971288 654.14/338.65 c cleaning 10003 clauses out of 20018 with flag 352000/981288 660.79/342.17 c cleaning 9999 clauses out of 20015 with flag 362000/991288 667.19/345.69 c cleaning 10000 clauses out of 20016 with flag 372000/1001288 673.59/349.05 c cleaning 10001 clauses out of 20016 with flag 382000/1011288 680.00/352.47 c cleaning 10007 clauses out of 20016 with flag 392001/1021289 686.81/356.07 c cleaning 9997 clauses out of 20008 with flag 402000/1031288 693.83/359.85 c cleaning 10000 clauses out of 20011 with flag 412000/1041288 700.64/363.41 c cleaning 10001 clauses out of 20011 with flag 422000/1051288 707.44/367.06 c cleaning 10002 clauses out of 20012 with flag 432002/1061290 713.84/370.40 c cleaning 9996 clauses out of 20008 with flag 442000/1071288 720.48/374.01 c cleaning 9998 clauses out of 20012 with flag 452000/1081288 726.84/377.46 c cleaning 9995 clauses out of 20014 with flag 462000/1091288 733.62/381.03 c cleaning 10001 clauses out of 20019 with flag 472000/1101288 740.01/384.45 c cleaning 9998 clauses out of 20018 with flag 482000/1111288 746.41/387.99 c cleaning 10003 clauses out of 20020 with flag 492000/1121288 752.79/391.31 c cleaning 10004 clauses out of 20019 with flag 502002/1131290 759.17/394.76 c cleaning 10000 clauses out of 20014 with flag 512001/1141289 765.35/398.03 c cleaning 10004 clauses out of 20015 with flag 522002/1151290 772.33/401.89 c cleaning 9993 clauses out of 20009 with flag 532000/1161288 778.89/405.37 c cleaning 9992 clauses out of 20016 with flag 542000/1171288 785.86/409.00 c cleaning 10005 clauses out of 20025 with flag 552001/1181289 792.83/412.78 c cleaning 10000 clauses out of 20019 with flag 562000/1191288 800.00/416.66 c cleaning 9996 clauses out of 20021 with flag 572002/1201290 806.78/420.26 c cleaning 10002 clauses out of 20023 with flag 582000/1211288 813.51/423.85 c cleaning 9997 clauses out of 20021 with flag 592000/1221288 820.67/427.66 c cleaning 10005 clauses out of 20024 with flag 602000/1231288 827.62/431.41 c cleaning 10000 clauses out of 20019 with flag 612000/1241288 834.77/435.20 c cleaning 10006 clauses out of 20021 with flag 622002/1251290 841.76/438.97 c cleaning 10003 clauses out of 20015 with flag 632002/1261290 848.88/442.73 c cleaning 9997 clauses out of 20010 with flag 642000/1271288 855.42/446.39 c cleaning 10004 clauses out of 20013 with flag 652000/1281288 862.97/450.33 c cleaning 10000 clauses out of 20009 with flag 662000/1291288 870.12/454.12 c cleaning 9996 clauses out of 20009 with flag 672000/1301288 876.48/457.57 c cleaning 9999 clauses out of 20013 with flag 682000/1311288 883.00/461.11 c cleaning 10000 clauses out of 20014 with flag 692000/1321288 889.55/464.60 c cleaning 9999 clauses out of 20015 with flag 702001/1331289 895.88/468.05 c cleaning 10001 clauses out of 20015 with flag 712000/1341288 902.81/471.71 c cleaning 10001 clauses out of 20014 with flag 722000/1351288 910.52/475.98 c cleaning 9995 clauses out of 20013 with flag 732000/1361288 917.65/479.70 c cleaning 10001 clauses out of 20018 with flag 742000/1371288 924.38/483.36 c cleaning 10001 clauses out of 20018 with flag 752001/1381289 931.10/486.94 c cleaning 9998 clauses out of 20016 with flag 762000/1391288 938.20/490.80 c cleaning 10000 clauses out of 20019 with flag 772001/1401289 945.31/494.61 c cleaning 9997 clauses out of 20018 with flag 782000/1411288 952.26/498.31 c cleaning 10006 clauses out of 20021 with flag 792000/1421288 959.74/502.33 c cleaning 10003 clauses out of 20015 with flag 802000/1431288 966.26/505.97 c cleaning 9996 clauses out of 20012 with flag 812000/1441288 972.75/509.42 c cleaning 9999 clauses out of 20016 with flag 822000/1451288 979.65/513.11 c cleaning 10000 clauses out of 20017 with flag 832000/1461288 987.15/517.13 c cleaning 10004 clauses out of 20018 with flag 842001/1471289 994.62/521.29 c cleaning 10000 clauses out of 20014 with flag 852001/1481289 1002.32/525.33 c cleaning 10001 clauses out of 20014 with flag 862001/1491289 1008.82/528.89 c cleaning 10001 clauses out of 20015 with flag 872003/1501291 1016.31/532.83 c cleaning 9997 clauses out of 20011 with flag 882000/1511288 1023.60/536.88 c cleaning 10000 clauses out of 20014 with flag 892000/1521288 1030.66/540.66 c cleaning 10003 clauses out of 20015 with flag 902001/1531289 1037.77/544.42 c cleaning 9998 clauses out of 20013 with flag 912002/1541290 1044.63/548.16 c cleaning 10004 clauses out of 20013 with flag 922000/1551288 1051.68/552.08 c cleaning 9998 clauses out of 20014 with flag 932005/1561293 1059.17/556.08 c cleaning 10003 clauses out of 20011 with flag 942000/1571288 1066.05/559.75 c cleaning 9994 clauses out of 20009 with flag 952001/1581289 1072.96/563.45 c cleaning 10001 clauses out of 20016 with flag 962002/1591290 1079.81/567.29 c cleaning 9997 clauses out of 20014 with flag 972001/1601289 1087.09/571.10 c cleaning 10000 clauses out of 20016 with flag 982000/1611288 1093.97/574.85 c cleaning 9999 clauses out of 20016 with flag 992000/1621288 1101.08/578.64 c cleaning 9998 clauses out of 20018 with flag 1002001/1631289 1108.09/582.51 c cleaning 10000 clauses out of 20019 with flag 1012000/1641288 1116.16/586.88 c cleaning 10001 clauses out of 20022 with flag 1022003/1651291 1123.62/590.87 c cleaning 9993 clauses out of 20018 with flag 1032000/1661288 1131.49/595.10 c cleaning 9999 clauses out of 20025 with flag 1042000/1671288 1139.48/599.48 c cleaning 10006 clauses out of 20026 with flag 1052000/1681288 1147.30/603.64 c cleaning 10000 clauses out of 20020 with flag 1062000/1691288 1154.93/607.79 c cleaning 10006 clauses out of 20021 with flag 1072001/1701289 1162.36/611.70 c cleaning 9994 clauses out of 20014 with flag 1082000/1711288 1170.17/616.05 c cleaning 10001 clauses out of 20020 with flag 1092000/1721288 1177.96/620.21 c cleaning 10001 clauses out of 20020 with flag 1102001/1731289 1185.38/624.20 c cleaning 9997 clauses out of 20018 with flag 1112000/1741288 1192.63/628.16 c cleaning 9998 clauses out of 20021 with flag 1122000/1751288 1200.38/632.48 c cleaning 10004 clauses out of 20024 with flag 1132001/1761289 1207.78/636.43 c cleaning 10001 clauses out of 20019 with flag 1142000/1771288 1214.99/640.39 c cleaning 10004 clauses out of 20019 with flag 1152001/1781289 1222.40/644.35 c cleaning 9997 clauses out of 20014 with flag 1162000/1791288 1230.35/648.77 c cleaning 9999 clauses out of 20017 with flag 1172000/1801288 1237.77/652.75 c cleaning 9999 clauses out of 20020 with flag 1182002/1811290 1244.58/656.49 c cleaning 10000 clauses out of 20020 with flag 1192001/1821289 1251.78/660.32 c cleaning 10000 clauses out of 20019 with flag 1202000/1831288 1258.72/664.24 c cleaning 10002 clauses out of 20019 with flag 1212000/1841288 1265.92/668.11 c cleaning 9999 clauses out of 20017 with flag 1222000/1851288 1272.72/671.86 c cleaning 9999 clauses out of 20018 with flag 1232000/1861288 1279.52/675.54 c cleaning 10003 clauses out of 20019 with flag 1242000/1871288 1286.65/679.57 c cleaning 10003 clauses out of 20017 with flag 1252001/1881289 1293.44/683.20 c cleaning 9998 clauses out of 20016 with flag 1262003/1891291 1300.03/686.85 c cleaning 10000 clauses out of 20017 with flag 1272002/1901290 1306.60/690.42 c cleaning 9999 clauses out of 20016 with flag 1282001/1911289 1313.31/694.29 c cleaning 10004 clauses out of 20017 with flag 1292001/1921289 1320.28/698.02 c cleaning 9999 clauses out of 20013 with flag 1302001/1931289 1326.85/701.65 c cleaning 10004 clauses out of 20013 with flag 1312000/1941288 1333.62/705.33 c cleaning 10001 clauses out of 20010 with flag 1322001/1951289 1340.92/709.46 c cleaning 9993 clauses out of 20008 with flag 1332000/1961288 1348.26/713.48 c cleaning 10001 clauses out of 20015 with flag 1342000/1971288 1355.42/717.31 c cleaning 10003 clauses out of 20014 with flag 1352000/1981288 1362.58/721.25 c cleaning 9987 clauses out of 20011 with flag 1362000/1991288 1369.86/725.31 c cleaning 10002 clauses out of 20024 with flag 1372000/2001288 1377.04/729.27 c cleaning 10002 clauses out of 20023 with flag 1382001/2011289 1383.97/733.09 c cleaning 10004 clauses out of 20021 with flag 1392001/2021289 1391.14/736.99 c cleaning 10004 clauses out of 20019 with flag 1402003/2031291 1397.98/740.87 c cleaning 9999 clauses out of 20012 with flag 1412000/2041288 1405.52/744.94 c cleaning 9997 clauses out of 20013 with flag 1422000/2051288 1412.86/749.01 c cleaning 10003 clauses out of 20017 with flag 1432001/2061289 1420.20/752.98 c cleaning 9998 clauses out of 20014 with flag 1442001/2071289 1428.44/757.53 c cleaning 9995 clauses out of 20015 with flag 1452000/2081288 1436.17/761.71 c cleaning 10002 clauses out of 20020 with flag 1462000/2091288 1444.50/766.22 c cleaning 10001 clauses out of 20018 with flag 1472000/2101288 1452.85/770.73 c cleaning 10002 clauses out of 20017 with flag 1482000/2111288 1461.33/775.46 c cleaning 10001 clauses out of 20015 with flag 1492000/2121288 1469.03/779.69 c cleaning 10002 clauses out of 20014 with flag 1502000/2131288 1476.75/783.86 c cleaning 9995 clauses out of 20012 with flag 1512000/2141288 1484.48/788.03 c cleaning 9991 clauses out of 20017 with flag 1522000/2151288 1492.50/792.51 c cleaning 10003 clauses out of 20026 with flag 1532000/2161288 1500.01/796.65 c cleaning 10007 clauses out of 20027 with flag 1542004/2171292 1507.34/800.68 c cleaning 9991 clauses out of 20016 with flag 1552000/2181288 1514.46/804.56 c cleaning 10006 clauses out of 20027 with flag 1562002/2191290 1521.68/808.67 c cleaning 9997 clauses out of 20019 with flag 1572000/2201288 1529.00/812.61 c cleaning 10004 clauses out of 20022 with flag 1582000/2211288 1536.92/816.96 c cleaning 10003 clauses out of 20018 with flag 1592000/2221288 1544.44/821.08 c cleaning 10001 clauses out of 20016 with flag 1602001/2231289 1552.86/825.71 c cleaning 10000 clauses out of 20014 with flag 1612000/2241288 1560.18/829.72 c cleaning 9998 clauses out of 20014 with flag 1622000/2251288 1567.29/833.70 c cleaning 9997 clauses out of 20016 with flag 1632000/2261288 1574.79/837.75 c cleaning 9998 clauses out of 20019 with flag 1642000/2271288 1582.20/841.92 c cleaning 10008 clauses out of 20022 with flag 1652001/2281289 1589.71/846.06 c cleaning 10001 clauses out of 20013 with flag 1662000/2291288 1597.44/850.21 c cleaning 9999 clauses out of 20014 with flag 1672002/2301290 1604.73/854.29 c cleaning 9995 clauses out of 20014 with flag 1682001/2311289 1612.55/858.64 c cleaning 9996 clauses out of 20018 with flag 1692000/2321288 1619.86/862.62 c cleaning 9997 clauses out of 20023 with flag 1702001/2331289 1627.17/866.65 c cleaning 10004 clauses out of 20025 with flag 1712000/2341288 1634.67/870.70 c cleaning 10003 clauses out of 20021 with flag 1722000/2351288 1642.48/875.12 c cleaning 10001 clauses out of 20019 with flag 1732001/2361289 1649.41/878.93 c cleaning 9997 clauses out of 20017 with flag 1742000/2371288 1656.67/882.93 c cleaning 10000 clauses out of 20020 with flag 1752000/2381288 1663.57/886.76 c cleaning 9999 clauses out of 20020 with flag 1762000/2391288 1671.37/891.11 c cleaning 10002 clauses out of 20022 with flag 1772001/2401289 1678.46/895.01 c cleaning 10004 clauses out of 20019 with flag 1782000/2411288 1685.19/898.78 c cleaning 9996 clauses out of 20015 with flag 1792000/2421288 1692.46/902.70 c cleaning 9999 clauses out of 20020 with flag 1802001/2431289 1699.94/906.92 c cleaning 9994 clauses out of 20020 with flag 1812000/2441288 1707.23/910.90 c cleaning 10002 clauses out of 20026 with flag 1822000/2451288 1714.32/914.85 c cleaning 10002 clauses out of 20024 with flag 1832000/2461288 1721.41/918.77 c cleaning 9997 clauses out of 20022 with flag 1842000/2471288 1728.82/922.94 c cleaning 10005 clauses out of 20025 with flag 1852000/2481288 1736.07/926.92 c cleaning 10000 clauses out of 20020 with flag 1862000/2491288 1743.55/931.02 c cleaning 9999 clauses out of 20021 with flag 1872001/2501289 1750.65/934.99 c cleaning 10005 clauses out of 20022 with flag 1882001/2511289 1757.98/939.16 c cleaning 10000 clauses out of 20017 with flag 1892001/2521289 1765.06/943.03 c cleaning 9992 clauses out of 20016 with flag 1902000/2531288 1772.38/947.06 c cleaning 10006 clauses out of 20025 with flag 1912001/2541289 1779.44/950.98 c cleaning 9994 clauses out of 20019 with flag 1922001/2551289 1786.82/955.17 c cleaning 9994 clauses out of 20024 with flag 1932000/2561288 1794.48/959.38 c cleaning 10008 clauses out of 20031 with flag 1942001/2571289 1800.21/962.53 c starts : 21 1800.21/962.53 c conflicts : 3193 1800.21/962.53 c decisions : 157017 1800.21/962.53 c propagations : 1006258 1800.21/962.53 c inspects : 29520389 1800.21/962.53 c shortcuts : 0 1800.21/962.53 c learnt literals : 0 1800.21/962.53 c learnt binary clauses : 0 1800.21/962.53 c learnt ternary clauses : 0 1800.21/962.53 c learnt constraints : 3191 1800.21/962.53 c ignored constraints : 0 1800.21/962.53 c root simplifications : 0 1800.21/962.53 c removed literals (reason simplification) : 0 1800.21/962.53 c reason swapping (by a shorter reason) : 0 1800.21/962.53 c Calls to reduceDB : 0 1800.21/962.53 c number of reductions to clauses (during analyze) : 0 1800.21/962.54 c number of learned constraints concerned by reduction : 0 1800.21/962.54 c number of learning phase by resolution : 0 1800.21/962.54 c number of learning phase by cutting planes : 0 1800.21/962.54 c speed (assignments/second) : 1342.6117911399667 1800.21/962.54 c non guided choices 0 1800.21/962.54 c learnt constraints type 1800.21/962.54 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 83 1800.21/962.54 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 57 1800.21/962.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3051 1800.21/962.54 c constraints type 1800.21/962.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1893 1800.21/962.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.21/962.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7390 1800.21/962.54 c constraints type 1800.21/962.54 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7390 1800.21/962.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1893 1800.21/962.54 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.21/962.54 s SATISFIABLE 1800.21/962.55 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 1800.21/962.55 c objective function=14 1800.21/962.55 c Total wall clock time (in seconds): 962.437
OK 14
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454121-1307193583/watcher-3454121-1307193583 -o /tmp/evaluation-result-3454121-1307193583/solver-3454121-1307193583 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454121-1307193583.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.47 3.36 3.59 3/414 10622 /proc/meminfo: memFree=26010092/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/10622/stat : 10622 (java) S 10620 10622 6914 0 -1 4202496 3552 0 1 0 0 0 0 0 24 0 2 0 286967702 10694979584 3254 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 2611079 3265 917 9 0 2602235 0 [pid=10622/tid=10624] ppid=10620 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10624/stat : 10624 (java) R 10620 10622 6914 0 -1 4202560 5460 0 1 0 0 0 0 0 18 0 2 0 286967702 10694979584 6276 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0688589 s] /proc/loadavg: 2.47 3.36 3.59 3/414 10622 /proc/meminfo: memFree=26010092/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=10538624 CPUtime=0.05 cores=0,2,4,6 /proc/10622/stat : 10622 (java) S 10620 10622 6914 0 -1 4202496 11815 0 1 0 4 1 0 0 24 0 18 0 286967702 10791550976 11512 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 2634656 11513 1742 9 0 2625390 0 [pid=10622/tid=10624] ppid=10620 vsize=10538624 CPUtime=0.05 cores=0,2,4,6 /proc/10622/task/10624/stat : 10624 (java) R 10620 10622 6914 0 -1 4202560 10644 0 1 0 4 1 0 0 22 0 18 0 286967702 10791550976 11515 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892391883 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10538624 [startup+0.10087 s] /proc/loadavg: 2.47 3.36 3.59 3/414 10622 /proc/meminfo: memFree=26010092/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=10540252 CPUtime=0.1 cores=0,2,4,6 /proc/10622/stat : 10622 (java) S 10620 10622 6914 0 -1 4202496 13007 0 1 0 9 1 0 0 24 0 18 0 286967702 10793218048 12704 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 2635063 12705 2093 9 0 2625797 0 [pid=10622/tid=10624] ppid=10620 vsize=10540252 CPUtime=0.08 cores=0,2,4,6 /proc/10622/task/10624/stat : 10624 (java) R 10620 10622 6914 0 -1 4202560 11114 0 1 0 7 1 0 0 18 0 18 0 286967702 10793218048 12707 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892391883 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540252 [startup+0.305042 s] /proc/loadavg: 2.47 3.36 3.59 3/414 10622 /proc/meminfo: memFree=26010092/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=10544080 CPUtime=0.5 cores=0,2,4,6 /proc/10622/stat : 10622 (java) S 10620 10622 6914 0 -1 4202496 16896 0 1 0 48 2 0 0 24 0 18 0 286967702 10797137920 16108 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 2636020 16109 2201 9 0 2626754 0 [pid=10622/tid=10624] ppid=10620 vsize=10544080 CPUtime=0.29 cores=0,2,4,6 /proc/10622/task/10624/stat : 10624 (java) R 10620 10622 6914 0 -1 4202560 13051 0 1 0 28 1 0 0 18 0 18 0 286967702 10797137920 16109 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 46912505597434 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 10544080 [startup+0.700792 s] /proc/loadavg: 2.47 3.36 3.59 3/414 10622 /proc/meminfo: memFree=26010092/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=10548792 CPUtime=1.16 cores=0,2,4,6 /proc/10622/stat : 10622 (java) S 10620 10622 6914 0 -1 4202496 24368 0 1 0 113 3 0 0 24 0 19 0 286967702 10801963008 21306 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 2637198 21306 2237 9 0 2627932 0 [pid=10622/tid=10624] ppid=10620 vsize=10548792 CPUtime=0.42 cores=0,2,4,6 /proc/10622/task/10624/stat : 10624 (java) S 10620 10622 6914 0 -1 4202560 17419 0 1 0 40 2 0 0 19 0 19 0 286967702 10801963008 21306 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 10548792 [startup+1.50154 s] /proc/loadavg: 2.47 3.36 3.59 7/455 10672 /proc/meminfo: memFree=25874568/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=10556600 CPUtime=2.68 cores=0,2,4,6 /proc/10622/stat : 10622 (java) S 10620 10622 6914 0 -1 4202496 32380 0 1 0 264 4 0 0 24 0 22 0 286967702 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 2639150 26385 2244 9 0 2629884 0 [pid=10622/tid=10624] ppid=10620 vsize=10556600 CPUtime=0.45 cores=0,2,4,6 /proc/10622/task/10624/stat : 10624 (java) S 10620 10622 6914 0 -1 4202560 17777 0 1 0 43 2 0 0 16 0 22 0 286967702 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 [pid=10622/tid=10635] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10635/stat : 10635 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286967704 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10636] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10636/stat : 10636 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10637] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10637/stat : 10637 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10638] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10638/stat : 10638 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10639] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10639/stat : 10639 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10640] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10640/stat : 10640 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10641] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10641/stat : 10641 (java) S 10620 10622 6914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10642] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10642/stat : 10642 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286967704 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10644] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10644/stat : 10644 (java) S 10620 10622 6914 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 286967705 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 0 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10647] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10647/stat : 10647 (java) S 10620 10622 6914 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 286967705 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10648] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10648/stat : 10648 (java) S 10620 10622 6914 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 286967705 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10649] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10649/stat : 10649 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286967707 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892388785 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10651] ppid=10620 vsize=10556600 CPUtime=0.66 cores=0,2,4,6 /proc/10622/task/10651/stat : 10651 (java) S 10620 10622 6914 0 -1 4202560 5429 0 0 0 66 0 0 0 15 0 22 0 286967707 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10653] ppid=10620 vsize=10556600 CPUtime=0.65 cores=0,2,4,6 /proc/10622/task/10653/stat : 10653 (java) R 10620 10622 6914 0 -1 4202560 6078 0 0 0 64 1 0 0 15 0 22 0 286967707 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 47430692236313 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=10622/tid=10655] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10655/stat : 10655 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286967707 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10657] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10657/stat : 10657 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 286967707 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10672] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10672/stat : 10672 (java) S 10620 10622 6914 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 286967798 10809958400 26385 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.68 Current children cumulated vsize (KiB) 10556600 [startup+3.10126 s] /proc/loadavg: 2.60 3.37 3.59 5/455 10681 /proc/meminfo: memFree=25649812/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=10556600 CPUtime=5.66 cores=0,2,4,6 /proc/10622/stat : 10622 (java) S 10620 10622 6914 0 -1 4202496 165613 0 1 0 546 20 0 0 24 0 22 0 286967702 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 2639150 159522 2244 9 0 2629884 0 [pid=10622/tid=10624] ppid=10620 vsize=10556600 CPUtime=0.46 cores=0,2,4,6 /proc/10622/task/10624/stat : 10624 (java) S 10620 10622 6914 0 -1 4202560 17943 0 1 0 44 2 0 0 15 0 22 0 286967702 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10635] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10635/stat : 10635 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286967704 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10636] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10636/stat : 10636 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10637] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10637/stat : 10637 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10638] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10638/stat : 10638 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10639] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10639/stat : 10639 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10640] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10640/stat : 10640 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10641] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10641/stat : 10641 (java) S 10620 10622 6914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 286967704 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10642] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10642/stat : 10642 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286967704 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10644] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10644/stat : 10644 (java) S 10620 10622 6914 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 286967705 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 0 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10647] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10647/stat : 10647 (java) S 10620 10622 6914 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 286967705 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10648] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10648/stat : 10648 (java) S 10620 10622 6914 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 286967705 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10649] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10649/stat : 10649 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286967707 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892388785 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10651] ppid=10620 vsize=10556600 CPUtime=0.72 cores=0,2,4,6 /proc/10622/task/10651/stat : 10651 (java) S 10620 10622 6914 0 -1 4202560 5438 0 0 0 72 0 0 0 16 0 22 0 286967707 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10653] ppid=10620 vsize=10556600 CPUtime=0.78 cores=0,2,4,6 /proc/10622/task/10653/stat : 10653 (java) S 10620 10622 6914 0 -1 4202560 6094 0 0 0 77 1 0 0 15 0 22 0 286967707 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 [pid=10622/tid=10655] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10655/stat : 10655 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286967707 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10657] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10657/stat : 10657 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 286967707 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10678] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10678/stat : 10678 (java) S 10620 10622 6914 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 286967849 10809958400 159522 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 5.66 Current children cumulated vsize (KiB) 10556600 [startup+6.3007 s] /proc/loadavg: 2.60 3.37 3.59 6/458 10694 /proc/meminfo: memFree=24216976/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=10556600 CPUtime=12.17 cores=0,2,4,6 /proc/10622/stat : 10622 (java) S 10620 10622 6914 0 -1 4202496 328784 0 1 0 1179 38 0 0 24 0 22 0 286967702 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 2639150 322686 2268 9 0 2629884 0 [pid=10622/tid=10624] ppid=10620 vsize=10556600 CPUtime=0.46 cores=0,2,4,6 /proc/10622/task/10624/stat : 10624 (java) S 10620 10622 6914 0 -1 4202560 17943 0 1 0 44 2 0 0 15 0 22 0 286967702 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10635] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10635/stat : 10635 (java) S 10620 10622 6914 0 -1 4202560 614 0 0 0 0 0 0 0 18 0 22 0 286967704 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10636] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10636/stat : 10636 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 286967704 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10637] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10637/stat : 10637 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 286967704 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10638] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10638/stat : 10638 (java) S 10620 10622 6914 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 22 0 286967704 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10639] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10639/stat : 10639 (java) S 10620 10622 6914 0 -1 4202560 352 0 0 0 0 0 0 0 18 0 22 0 286967704 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10640] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10640/stat : 10640 (java) S 10620 10622 6914 0 -1 4202560 377 0 0 0 0 0 0 0 15 0 22 0 286967704 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 [pid=10622/tid=10641] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10641/stat : 10641 (java) S 10620 10622 6914 0 -1 4202560 354 0 0 0 0 0 0 0 15 0 22 0 286967704 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10642] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10642/stat : 10642 (java) S 10620 10622 6914 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 22 0 286967704 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10644] ppid=10620 vsize=10556600 CPUtime=0.05 cores=0,2,4,6 /proc/10622/task/10644/stat : 10644 (java) S 10620 10622 6914 0 -1 4202560 1823 0 0 0 5 0 0 0 16 0 22 0 286967705 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 0 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 [pid=10622/tid=10647] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10647/stat : 10647 (java) S 10620 10622 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 286967705 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 [pid=10622/tid=10648] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10648/stat : 10648 (java) S 10620 10622 6914 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 286967705 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10649] ppid=10620 vsize=10556600 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10649/stat : 10649 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286967707 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892388785 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10651] ppid=10620 vsize=10556600 CPUtime=0.8 cores=0,2,4,6 /proc/10622/task/10651/stat : 10651 (java) S 10620 10622 6914 0 -1 4202560 5460 0 0 0 80 0 0 0 15 0 22 0 286967707 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10653] ppid=10620 vsize=10556600 CPUtime=0.87 cores=0,2,4,6 /proc/10622/task/10653/stat : 10653 (java) S 10620 10622 6914 0 -1 4202560 6109 0 0 0 86 1 0 0 15 0 22 0 286967707 10809958400 322686 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=21880788/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=10564636 CPUtime=1655.47 cores=0,2,4,6 /proc/10622/stat : 10622 (java) S 10620 10622 6914 0 -1 4202496 758122 0 1 0 165457 90 0 0 24 0 22 0 286967702 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 2641159 750664 2270 9 0 2631893 0 [pid=10622/tid=10624] ppid=10620 vsize=10564636 CPUtime=0.47 cores=0,2,4,6 /proc/10622/task/10624/stat : 10624 (java) S 10620 10622 6914 0 -1 4202560 18112 0 1 0 45 2 0 0 15 0 22 0 286967702 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10635] ppid=10620 vsize=10564636 CPUtime=0.88 cores=0,2,4,6 /proc/10622/task/10635/stat : 10635 (java) S 10620 10622 6914 0 -1 4202560 1359 0 0 0 88 0 0 0 15 0 22 0 286967704 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10636] ppid=10620 vsize=10564636 CPUtime=0.88 cores=0,2,4,6 /proc/10622/task/10636/stat : 10636 (java) S 10620 10622 6914 0 -1 4202560 1160 0 0 0 88 0 0 0 15 0 22 0 286967704 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10637] ppid=10620 vsize=10564636 CPUtime=0.82 cores=0,2,4,6 /proc/10622/task/10637/stat : 10637 (java) S 10620 10622 6914 0 -1 4202560 726 0 0 0 82 0 0 0 16 0 22 0 286967704 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10638] ppid=10620 vsize=10564636 CPUtime=0.72 cores=0,2,4,6 /proc/10622/task/10638/stat : 10638 (java) S 10620 10622 6914 0 -1 4202560 617 0 0 0 72 0 0 0 15 0 22 0 286967704 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 [pid=10622/tid=10639] ppid=10620 vsize=10564636 CPUtime=0.78 cores=0,2,4,6 /proc/10622/task/10639/stat : 10639 (java) S 10620 10622 6914 0 -1 4202560 1067 0 0 0 78 0 0 0 16 0 22 0 286967704 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10640] ppid=10620 vsize=10564636 CPUtime=0.82 cores=0,2,4,6 /proc/10622/task/10640/stat : 10640 (java) S 10620 10622 6914 0 -1 4202560 581 0 0 0 82 0 0 0 15 0 22 0 286967704 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 [pid=10622/tid=10641] ppid=10620 vsize=10564636 CPUtime=0.96 cores=0,2,4,6 /proc/10622/task/10641/stat : 10641 (java) S 10620 10622 6914 0 -1 4202560 1371 0 0 0 96 0 0 0 16 0 22 0 286967704 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10642] ppid=10620 vsize=10564636 CPUtime=0.9 cores=0,2,4,6 /proc/10622/task/10642/stat : 10642 (java) S 10620 10622 6914 0 -1 4202560 1141 0 0 0 90 0 0 0 15 0 22 0 286967704 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10644] ppid=10620 vsize=10564636 CPUtime=111.17 cores=0,2,4,6 /proc/10622/task/10644/stat : 10644 (java) S 10620 10622 6914 0 -1 4202560 83112 0 0 0 11106 11 0 0 15 0 22 0 286967705 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 0 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 [pid=10622/tid=10647] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10647/stat : 10647 (java) S 10620 10622 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 286967705 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 [pid=10622/tid=10648] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10648/stat : 10648 (java) S 10620 10622 6914 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 286967705 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 [pid=10622/tid=10649] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10649/stat : 10649 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286967707 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892388785 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10651] ppid=10620 vsize=10564636 CPUtime=1.2 cores=0,2,4,6 /proc/10622/task/10651/stat : 10651 (java) S 10620 10622 6914 0 -1 4202560 8061 0 0 0 120 0 0 0 15 0 22 0 286967707 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10653] ppid=10620 vsize=10564636 CPUtime=1.2 cores=0,2,4,6 /proc/10622/task/10653/stat : 10653 (java) S 10620 10622 6914 0 -1 4202560 6318 0 0 0 119 1 0 0 15 0 22 0 286967707 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 [pid=10622/tid=10655] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10655/stat : 10655 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286967707 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10657] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10657/stat : 10657 (java) S 10620 10622 6914 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 286967707 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10700] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10700/stat : 10700 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286970417 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10706] ppid=10620 vsize=10564636 CPUtime=566.42 cores=0,2,4,6 /proc/10622/task/10706/stat : 10706 (java) R 10620 10622 6914 0 -1 4202560 193 0 0 0 56641 1 0 0 25 0 22 0 286989008 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 46912506026971 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10622/tid=10707] ppid=10620 vsize=10564636 CPUtime=566.37 cores=0,2,4,6 /proc/10622/task/10707/stat : 10707 (java) R 10620 10622 6914 0 -1 4202560 32981 0 0 0 56634 3 0 0 25 0 22 0 286989008 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 46912506200177 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10622/tid=10708] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10708/stat : 10708 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 286989008 10818187264 750664 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1655.47 Current children cumulated vsize (KiB) 10564636 [startup+942.301 s] /proc/loadavg: 3.30 3.47 3.54 5/458 10727 /proc/meminfo: memFree=21812916/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=10564636 CPUtime=1763.67 cores=0,2,4,6 /proc/10622/stat : 10622 (java) S 10620 10622 6914 0 -1 4202496 771264 0 1 0 176275 92 0 0 24 0 22 0 286967702 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 2641159 763732 2270 9 0 2631893 0 [pid=10622/tid=10624] ppid=10620 vsize=10564636 CPUtime=0.47 cores=0,2,4,6 /proc/10622/task/10624/stat : 10624 (java) S 10620 10622 6914 0 -1 4202560 18112 0 1 0 45 2 0 0 15 0 22 0 286967702 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10635] ppid=10620 vsize=10564636 CPUtime=0.94 cores=0,2,4,6 /proc/10622/task/10635/stat : 10635 (java) S 10620 10622 6914 0 -1 4202560 1360 0 0 0 94 0 0 0 15 0 22 0 286967704 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10636] ppid=10620 vsize=10564636 CPUtime=0.93 cores=0,2,4,6 /proc/10622/task/10636/stat : 10636 (java) S 10620 10622 6914 0 -1 4202560 1161 0 0 0 93 0 0 0 15 0 22 0 286967704 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 [pid=10622/tid=10637] ppid=10620 vsize=10564636 CPUtime=0.91 cores=0,2,4,6 /proc/10622/task/10637/stat : 10637 (java) S 10620 10622 6914 0 -1 4202560 727 0 0 0 91 0 0 0 16 0 22 0 286967704 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10638] ppid=10620 vsize=10564636 CPUtime=0.75 cores=0,2,4,6 /proc/10622/task/10638/stat : 10638 (java) S 10620 10622 6914 0 -1 4202560 618 0 0 0 75 0 0 0 15 0 22 0 286967704 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 [pid=10622/tid=10639] ppid=10620 vsize=10564636 CPUtime=0.89 cores=0,2,4,6 /proc/10622/task/10639/stat : 10639 (java) S 10620 10622 6914 0 -1 4202560 2217 0 0 0 89 0 0 0 15 0 22 0 286967704 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10640] ppid=10620 vsize=10564636 CPUtime=0.89 cores=0,2,4,6 /proc/10622/task/10640/stat : 10640 (java) S 10620 10622 6914 0 -1 4202560 587 0 0 0 89 0 0 0 15 0 22 0 286967704 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10641] ppid=10620 vsize=10564636 CPUtime=1.04 cores=0,2,4,6 /proc/10622/task/10641/stat : 10641 (java) S 10620 10622 6914 0 -1 4202560 2583 0 0 0 104 0 0 0 15 0 22 0 286967704 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10642] ppid=10620 vsize=10564636 CPUtime=0.98 cores=0,2,4,6 /proc/10622/task/10642/stat : 10642 (java) S 10620 10622 6914 0 -1 4202560 1793 0 0 0 98 0 0 0 15 0 22 0 286967704 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10644] ppid=10620 vsize=10564636 CPUtime=123.21 cores=0,2,4,6 /proc/10622/task/10644/stat : 10644 (java) S 10620 10622 6914 0 -1 4202560 93213 0 0 0 12308 13 0 0 15 0 22 0 286967705 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 0 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 [pid=10622/tid=10647] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10647/stat : 10647 (java) S 10620 10622 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 286967705 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 [pid=10622/tid=10648] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10648/stat : 10648 (java) S 10620 10622 6914 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 286967705 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 [pid=10622/tid=10649] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10649/stat : 10649 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286967707 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892388785 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10651] ppid=10620 vsize=10564636 CPUtime=1.2 cores=0,2,4,6 /proc/10622/task/10651/stat : 10651 (java) S 10620 10622 6914 0 -1 4202560 8061 0 0 0 120 0 0 0 15 0 22 0 286967707 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10653] ppid=10620 vsize=10564636 CPUtime=1.2 cores=0,2,4,6 /proc/10622/task/10653/stat : 10653 (java) S 10620 10622 6914 0 -1 4202560 6318 0 0 0 119 1 0 0 15 0 22 0 286967707 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 [pid=10622/tid=10655] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10655/stat : 10655 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286967707 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10657] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10657/stat : 10657 (java) S 10620 10622 6914 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 286967707 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10700] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10700/stat : 10700 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286970417 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10706] ppid=10620 vsize=10564636 CPUtime=614.2 cores=0,2,4,6 /proc/10622/task/10706/stat : 10706 (java) R 10620 10622 6914 0 -1 4202560 208 0 0 0 61418 2 0 0 23 0 22 0 286989008 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 46912505911938 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10622/tid=10707] ppid=10620 vsize=10564636 CPUtime=614.15 cores=0,2,4,6 /proc/10622/task/10707/stat : 10707 (java) R 10620 10622 6914 0 -1 4202560 32981 0 0 0 61412 3 0 0 23 0 22 0 286989008 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 46912506236608 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10622/tid=10708] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10708/stat : 10708 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 286989008 10818187264 763732 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1763.67 Current children cumulated vsize (KiB) 10564636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+962.516 s] /proc/loadavg: 3.36 3.47 3.54 5/458 10728 /proc/meminfo: memFree=21808404/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=10564636 CPUtime=1800.21 cores=0,2,4,6 /proc/10622/stat : 10622 (java) S 10620 10622 6914 0 -1 4202496 771275 0 1 0 179928 93 0 0 24 0 22 0 286967702 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 2641159 763734 2270 9 0 2631893 0 [pid=10622/tid=10624] ppid=10620 vsize=10564636 CPUtime=0.47 cores=0,2,4,6 /proc/10622/task/10624/stat : 10624 (java) S 10620 10622 6914 0 -1 4202560 18112 0 1 0 45 2 0 0 15 0 22 0 286967702 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10635] ppid=10620 vsize=10564636 CPUtime=0.96 cores=0,2,4,6 /proc/10622/task/10635/stat : 10635 (java) S 10620 10622 6914 0 -1 4202560 1361 0 0 0 96 0 0 0 15 0 22 0 286967704 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10636] ppid=10620 vsize=10564636 CPUtime=0.98 cores=0,2,4,6 /proc/10622/task/10636/stat : 10636 (java) S 10620 10622 6914 0 -1 4202560 1161 0 0 0 98 0 0 0 16 0 22 0 286967704 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 [pid=10622/tid=10637] ppid=10620 vsize=10564636 CPUtime=0.93 cores=0,2,4,6 /proc/10622/task/10637/stat : 10637 (java) S 10620 10622 6914 0 -1 4202560 727 0 0 0 93 0 0 0 15 0 22 0 286967704 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10638] ppid=10620 vsize=10564636 CPUtime=0.77 cores=0,2,4,6 /proc/10622/task/10638/stat : 10638 (java) S 10620 10622 6914 0 -1 4202560 618 0 0 0 77 0 0 0 15 0 22 0 286967704 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10639] ppid=10620 vsize=10564636 CPUtime=0.91 cores=0,2,4,6 /proc/10622/task/10639/stat : 10639 (java) S 10620 10622 6914 0 -1 4202560 2218 0 0 0 91 0 0 0 15 0 22 0 286967704 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10640] ppid=10620 vsize=10564636 CPUtime=0.92 cores=0,2,4,6 /proc/10622/task/10640/stat : 10640 (java) S 10620 10622 6914 0 -1 4202560 587 0 0 0 92 0 0 0 16 0 22 0 286967704 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10641] ppid=10620 vsize=10564636 CPUtime=1.07 cores=0,2,4,6 /proc/10622/task/10641/stat : 10641 (java) S 10620 10622 6914 0 -1 4202560 2583 0 0 0 107 0 0 0 15 0 22 0 286967704 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10642] ppid=10620 vsize=10564636 CPUtime=0.99 cores=0,2,4,6 /proc/10622/task/10642/stat : 10642 (java) S 10620 10622 6914 0 -1 4202560 1793 0 0 0 99 0 0 0 15 0 22 0 286967704 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10644] ppid=10620 vsize=10564636 CPUtime=127.22 cores=0,2,4,6 /proc/10622/task/10644/stat : 10644 (java) S 10620 10622 6914 0 -1 4202560 93215 0 0 0 12709 13 0 0 15 0 22 0 286967705 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 0 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 [pid=10622/tid=10647] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10647/stat : 10647 (java) S 10620 10622 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 286967705 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 [pid=10622/tid=10648] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10648/stat : 10648 (java) S 10620 10622 6914 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 286967705 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 0 0 0 0 [pid=10622/tid=10649] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10649/stat : 10649 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286967707 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892388785 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10651] ppid=10620 vsize=10564636 CPUtime=1.2 cores=0,2,4,6 /proc/10622/task/10651/stat : 10651 (java) S 10620 10622 6914 0 -1 4202560 8061 0 0 0 120 0 0 0 15 0 22 0 286967707 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 2 0 0 0 [pid=10622/tid=10653] ppid=10620 vsize=10564636 CPUtime=1.2 cores=0,2,4,6 /proc/10622/task/10653/stat : 10653 (java) S 10620 10622 6914 0 -1 4202560 6318 0 0 0 119 1 0 0 15 0 22 0 286967707 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 4 0 0 0 [pid=10622/tid=10655] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10655/stat : 10655 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286967707 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381081 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10657] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10657/stat : 10657 (java) R 10620 10622 6914 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 286967707 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=10622/tid=10700] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10700/stat : 10700 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286970417 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 [pid=10622/tid=10706] ppid=10620 vsize=10564636 CPUtime=630.37 cores=0,2,4,6 /proc/10622/task/10706/stat : 10706 (java) R 10620 10622 6914 0 -1 4202560 213 0 0 0 63035 2 0 0 23 0 22 0 286989008 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 46912505791572 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10622/tid=10707] ppid=10620 vsize=10564636 CPUtime=630.32 cores=0,2,4,6 /proc/10622/task/10707/stat : 10707 (java) R 10620 10622 6914 0 -1 4202560 32981 0 0 0 63029 3 0 0 23 0 22 0 286989008 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 46912506200118 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10622/tid=10708] ppid=10620 vsize=10564636 CPUtime=0 cores=0,2,4,6 /proc/10622/task/10708/stat : 10708 (java) S 10620 10622 6914 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 286989008 10818187264 763734 33554432000 1073741824 1073778376 140733452693456 18446744073709551615 218892381696 0 4 0 16800975 18446604449375660224 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 10564636 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+962.621 s] /proc/loadavg: 3.36 3.47 3.54 5/458 10728 /proc/meminfo: memFree=21808404/32950928 swapFree=52006644/67111528 [pid=10622] ppid=10620 vsize=0 CPUtime=1800.34 cores=0,2,4,6 /proc/10622/stat : 10622 (java) Z 10620 10622 6914 0 -1 4203548 771305 0 1 0 179936 98 0 0 17 0 2 0 286967702 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10622/statm: 0 0 0 0 0 0 0 [pid=10622/tid=10707] ppid=10620 vsize=0 CPUtime=630.39 cores=0,2,4,6 /proc/10622/task/10707/stat : 10707 (java) R 10620 10622 6914 0 -1 4203588 32981 0 0 0 63031 8 0 0 23 0 2 0 286989008 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 962.681 CPU time (s): 1800.41 CPU user time (s): 1799.36 CPU system time (s): 1.04584 CPU usage (%): 187.02 Max. virtual memory (cumulated for all children) (KiB): 10564636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.36 system time used= 1.04584 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 771305 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30448 involuntary context switches= 15250 runsolver used 4.37134 second user time and 9.47756 second system time The end
Begin job on node112 at 2011-06-04 15:19:43 IDJOB=3454121 IDBENCH=25007 IDSOLVER=1950 FILE ID=node112/3454121-1307193583 RUNJOBID= node112-1307193583-10603 PBS_JOBID= 13508820 Free space on /tmp= 73912 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454121-1307193583/watcher-3454121-1307193583 -o /tmp/evaluation-result-3454121-1307193583/solver-3454121-1307193583 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454121-1307193583.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9 RANDOM SEED=454190812 node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5180.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 26010992 kB Buffers: 337984 kB Cached: 5641156 kB SwapCached: 31280 kB Active: 937472 kB Inactive: 5722408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 26010992 kB SwapTotal: 67111528 kB SwapFree: 52006644 kB Dirty: 852 kB Writeback: 0 kB AnonPages: 657244 kB Mapped: 12204 kB Slab: 155516 kB PageTables: 59308 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 98627516 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73912 MiB End job on node112 at 2011-06-04 15:35:47