Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 420 | 1800.42 | 1001.44 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-prom2.r.opb |
MD5SUM | fe2fc6a37df33476d3a38f976836359f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 278 |
Best CPU time to get the best result obtained on this benchmark | 1.78873 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 278 |
Optimality of the best value was proved | YES |
Number of variables | 2611 |
Total number of constraints | 1924 |
Number of constraints which are clauses | 1924 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 2611 |
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 | 2611 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2611 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.09 c See www.sat4j.org for details. 0.01/0.09 c version 2.3.1.v20110525 0.01/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.09 c java.vm.version 19.1-b02 0.01/0.09 c java.vm.vendor Sun Microsystems Inc. 0.01/0.09 c sun.arch.data.model 64 0.01/0.09 c java.version 1.6.0_24 0.01/0.09 c os.name Linux 0.01/0.09 c os.version 2.6.18-164.el5 0.01/0.09 c os.arch amd64 0.01/0.09 c Free memory 9996466904 0.01/0.09 c Max memory 10048897024 0.01/0.09 c Total memory 10048897024 0.01/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3455289-1307192092.opb 0.09/0.12 c reading problem ... 0.50/0.32 c ... done. Wall clock time 0.198s. 0.50/0.32 c #vars 2611 0.50/0.32 c #constraints 1924 0.50/0.32 c constraints type 0.50/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1861 0.50/0.32 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 63 0.50/0.32 c constraints type 0.50/0.32 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 63 0.50/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1861 0.50/0.36 c And the winner is Resolution 0.77/0.83 c SATISFIABLE 0.77/0.83 c OPTIMIZING... 0.77/0.83 c Got one! Elapsed wall clock time (in seconds):0.708 0.77/0.83 o 439 1.03/0.96 c And the winner is Resolution 1.35/1.34 c Got one! Elapsed wall clock time (in seconds):1.226 1.35/1.34 o 426 1.35/1.38 c And the winner is Resolution 1.52/1.86 c Got one! Elapsed wall clock time (in seconds):1.738 1.52/1.86 o 425 3.81/2.97 c cleaning 2598 clauses out of 5203 with flag 5001/5203 6.51/4.27 c cleaning 4299 clauses out of 8605 with flag 11001/11203 9.64/5.72 c cleaning 5651 clauses out of 11305 with flag 18000/18202 13.05/7.30 c cleaning 6825 clauses out of 13655 with flag 26001/26203 16.64/9.04 c cleaning 7909 clauses out of 15829 with flag 35000/35202 20.64/11.04 c cleaning 8956 clauses out of 17921 with flag 45001/45203 24.58/13.05 c cleaning 9479 clauses out of 18965 with flag 55001/55203 28.96/15.25 c cleaning 9739 clauses out of 19485 with flag 65000/65202 33.32/17.49 c cleaning 9870 clauses out of 19747 with flag 75001/75203 37.71/19.67 c cleaning 9934 clauses out of 19877 with flag 85001/85203 42.88/22.20 c cleaning 9966 clauses out of 19942 with flag 95000/95202 47.05/24.32 c cleaning 9983 clauses out of 19976 with flag 105000/105202 51.23/26.46 c cleaning 9993 clauses out of 19994 with flag 115001/115203 55.95/28.82 c cleaning 9996 clauses out of 20002 with flag 125002/125204 60.10/30.95 c cleaning 9997 clauses out of 20004 with flag 135000/135202 64.06/32.97 c cleaning 10000 clauses out of 20008 with flag 145001/145203 67.77/34.89 c cleaning 9996 clauses out of 20007 with flag 155000/155202 71.52/36.71 c cleaning 9998 clauses out of 20012 with flag 165001/165203 75.27/38.62 c cleaning 10003 clauses out of 20013 with flag 175000/175202 78.01/40.08 c And the winner is CuttingPlanes 78.01/40.09 c Got one! Elapsed wall clock time (in seconds):39.974 78.01/40.09 o 424 80.23/41.11 c cleaning 10392 clauses out of 20798 with flag 5000/185990 82.55/42.37 c cleaning 8199 clauses out of 16407 with flag 11001/191991 85.09/43.64 c cleaning 7599 clauses out of 15208 with flag 18001/198991 88.23/45.27 c cleaning 7800 clauses out of 15609 with flag 26001/206991 91.79/47.08 c cleaning 8400 clauses out of 16808 with flag 35000/215990 95.90/49.12 c cleaning 9198 clauses out of 18408 with flag 45000/225990 99.63/51.09 c cleaning 9599 clauses out of 19212 with flag 55002/235992 103.56/53.03 c cleaning 9795 clauses out of 19611 with flag 65000/245990 107.30/54.98 c cleaning 9905 clauses out of 19817 with flag 75001/255991 111.82/57.27 c cleaning 9950 clauses out of 19912 with flag 85001/265991 115.91/59.34 c cleaning 9975 clauses out of 19961 with flag 95000/275990 119.44/61.17 c cleaning 9985 clauses out of 19987 with flag 105001/285991 122.98/62.99 c cleaning 9999 clauses out of 20001 with flag 115000/295990 127.46/65.25 c cleaning 9998 clauses out of 20003 with flag 125001/305991 131.59/67.39 c cleaning 9996 clauses out of 20004 with flag 135000/315990 135.72/69.45 c cleaning 10000 clauses out of 20009 with flag 145001/325991 139.65/71.47 c cleaning 9995 clauses out of 20008 with flag 155000/335990 143.74/73.51 c cleaning 9999 clauses out of 20013 with flag 165000/345990 147.46/75.44 c cleaning 10001 clauses out of 20014 with flag 175000/355990 151.59/77.54 c cleaning 10002 clauses out of 20014 with flag 185001/365991 155.92/79.73 c cleaning 9998 clauses out of 20012 with flag 195001/375991 159.81/81.79 c cleaning 10000 clauses out of 20013 with flag 205000/385990 163.93/83.80 c cleaning 10005 clauses out of 20014 with flag 215001/395991 167.66/85.81 c cleaning 9997 clauses out of 20008 with flag 225000/405990 171.58/87.78 c cleaning 9996 clauses out of 20011 with flag 235000/415990 175.46/89.78 c cleaning 10000 clauses out of 20016 with flag 245001/425991 179.39/91.70 c cleaning 9994 clauses out of 20015 with flag 255000/435990 183.31/93.73 c cleaning 10007 clauses out of 20021 with flag 265000/445990 188.23/96.27 c cleaning 9998 clauses out of 20014 with flag 275000/455990 192.70/98.52 c cleaning 10005 clauses out of 20016 with flag 285000/465990 196.63/100.51 c cleaning 9997 clauses out of 20011 with flag 295000/475990 199.77/102.21 c cleaning 10001 clauses out of 20014 with flag 305000/485990 203.70/104.14 c cleaning 9998 clauses out of 20014 with flag 315001/495991 207.18/105.97 c cleaning 10001 clauses out of 20015 with flag 325000/505990 210.94/107.82 c cleaning 9999 clauses out of 20014 with flag 335000/515990 214.42/109.67 c cleaning 10000 clauses out of 20016 with flag 345001/525991 217.94/111.42 c cleaning 10001 clauses out of 20016 with flag 355001/535991 221.65/113.33 c cleaning 9998 clauses out of 20014 with flag 365000/545990 225.32/115.20 c cleaning 9997 clauses out of 20017 with flag 375001/555991 229.23/117.27 c cleaning 10001 clauses out of 20019 with flag 385000/565990 233.34/119.35 c cleaning 10002 clauses out of 20018 with flag 395000/575990 237.60/121.51 c cleaning 10004 clauses out of 20017 with flag 405001/585991 241.90/123.71 c cleaning 9998 clauses out of 20012 with flag 415000/595990 246.40/126.09 c cleaning 9998 clauses out of 20014 with flag 425000/605990 250.89/128.30 c cleaning 10003 clauses out of 20016 with flag 435000/615990 254.93/130.43 c cleaning 10001 clauses out of 20013 with flag 445000/625990 259.03/132.56 c cleaning 9996 clauses out of 20012 with flag 455000/635990 263.52/134.88 c cleaning 10001 clauses out of 20018 with flag 465002/645992 268.01/137.11 c cleaning 10000 clauses out of 20016 with flag 475001/655991 271.84/139.13 c cleaning 9997 clauses out of 20015 with flag 485000/665990 275.37/140.93 c cleaning 10000 clauses out of 20018 with flag 495000/675990 278.86/142.74 c cleaning 9998 clauses out of 20019 with flag 505001/685991 282.54/144.66 c cleaning 10000 clauses out of 20021 with flag 515001/695991 286.17/146.58 c cleaning 10004 clauses out of 20021 with flag 525001/705991 289.86/148.45 c cleaning 9999 clauses out of 20017 with flag 535001/715991 293.74/150.42 c cleaning 10002 clauses out of 20018 with flag 545001/725991 297.43/152.38 c cleaning 9999 clauses out of 20016 with flag 555001/735991 301.25/154.38 c cleaning 9999 clauses out of 20016 with flag 565000/745990 305.12/156.35 c cleaning 10005 clauses out of 20018 with flag 575001/755991 309.00/158.36 c cleaning 10000 clauses out of 20013 with flag 585001/765991 312.70/160.28 c cleaning 10003 clauses out of 20012 with flag 595000/775990 316.71/162.35 c cleaning 9999 clauses out of 20010 with flag 605001/785991 320.97/164.57 c cleaning 10000 clauses out of 20011 with flag 615001/795991 325.23/166.76 c cleaning 9996 clauses out of 20010 with flag 625000/805990 329.29/168.81 c cleaning 9996 clauses out of 20014 with flag 635000/815990 333.27/170.95 c cleaning 9996 clauses out of 20018 with flag 645000/825990 337.32/173.05 c cleaning 10006 clauses out of 20023 with flag 655001/835991 341.16/175.07 c cleaning 9996 clauses out of 20016 with flag 665000/845990 345.23/177.17 c cleaning 10008 clauses out of 20021 with flag 675001/855991 349.38/179.33 c cleaning 9998 clauses out of 20013 with flag 685001/865991 353.18/181.35 c cleaning 10003 clauses out of 20015 with flag 695001/875991 357.21/183.44 c cleaning 9997 clauses out of 20012 with flag 705001/885991 361.23/185.54 c cleaning 9995 clauses out of 20015 with flag 715001/895991 365.16/187.61 c cleaning 9999 clauses out of 20019 with flag 725000/905990 369.18/189.74 c cleaning 10006 clauses out of 20020 with flag 735000/915990 373.19/191.80 c cleaning 9996 clauses out of 20015 with flag 745001/925991 377.39/194.06 c cleaning 9999 clauses out of 20018 with flag 755000/935990 381.69/196.30 c cleaning 10000 clauses out of 20019 with flag 765000/945990 385.48/198.34 c cleaning 9995 clauses out of 20019 with flag 775000/955990 389.27/200.39 c cleaning 10002 clauses out of 20024 with flag 785000/965990 391.12/201.38 c And the winner is CuttingPlanes 391.24/201.64 c Got one! Elapsed wall clock time (in seconds):201.519 391.24/201.64 o 423 391.57/201.85 c cleaning 7571 clauses out of 15147 with flag 1001/971115 394.25/203.34 c cleaning 6782 clauses out of 13575 with flag 7000/977114 397.04/204.89 c cleaning 6893 clauses out of 13793 with flag 14000/984114 400.43/206.66 c cleaning 7443 clauses out of 14900 with flag 22000/992114 404.21/208.61 c cleaning 8222 clauses out of 16458 with flag 31001/1001115 408.29/210.86 c cleaning 9109 clauses out of 18236 with flag 41001/1011115 412.27/212.97 c cleaning 9559 clauses out of 19126 with flag 51000/1021114 416.65/215.26 c cleaning 9779 clauses out of 19568 with flag 61001/1031115 421.24/217.61 c cleaning 9887 clauses out of 19788 with flag 71000/1041114 425.93/220.17 c cleaning 9946 clauses out of 19901 with flag 81000/1051114 430.11/222.38 c cleaning 9970 clauses out of 19956 with flag 91001/1061115 434.13/224.48 c cleaning 9989 clauses out of 19986 with flag 101001/1071115 438.07/226.60 c cleaning 9994 clauses out of 19997 with flag 111001/1081115 442.18/228.73 c cleaning 9994 clauses out of 20002 with flag 121000/1091114 446.16/230.86 c cleaning 10000 clauses out of 20009 with flag 131001/1101115 450.54/233.13 c cleaning 10001 clauses out of 20008 with flag 141000/1111114 454.51/235.20 c cleaning 9994 clauses out of 20008 with flag 151001/1121115 458.18/237.21 c cleaning 9999 clauses out of 20013 with flag 161000/1131114 461.76/239.19 c cleaning 9999 clauses out of 20015 with flag 171001/1141115 466.13/241.46 c cleaning 10002 clauses out of 20016 with flag 181001/1151115 470.31/243.67 c cleaning 10002 clauses out of 20014 with flag 191001/1161115 474.77/246.07 c cleaning 10001 clauses out of 20012 with flag 201001/1171115 479.54/248.57 c cleaning 10000 clauses out of 20010 with flag 211000/1181114 483.30/250.51 c cleaning 9993 clauses out of 20010 with flag 221000/1191114 486.87/252.43 c cleaning 9999 clauses out of 20017 with flag 231000/1201114 490.72/254.51 c cleaning 10003 clauses out of 20018 with flag 241000/1211114 494.28/256.44 c cleaning 9998 clauses out of 20016 with flag 251001/1221115 497.84/258.37 c cleaning 10003 clauses out of 20018 with flag 261001/1231115 501.80/260.50 c cleaning 10003 clauses out of 20015 with flag 271001/1241115 506.04/262.79 c cleaning 10002 clauses out of 20011 with flag 281000/1251114 510.20/264.96 c cleaning 10002 clauses out of 20009 with flag 291000/1261114 514.36/267.12 c cleaning 9996 clauses out of 20008 with flag 301001/1271115 518.12/269.16 c cleaning 9994 clauses out of 20012 with flag 311001/1281115 521.95/271.24 c cleaning 10000 clauses out of 20017 with flag 321000/1291114 525.71/273.25 c cleaning 9999 clauses out of 20017 with flag 331000/1301114 529.45/275.23 c cleaning 9998 clauses out of 20018 with flag 341000/1311114 532.98/277.17 c cleaning 10007 clauses out of 20020 with flag 351000/1321114 536.76/279.20 c cleaning 10001 clauses out of 20013 with flag 361000/1331114 540.09/281.04 c cleaning 10004 clauses out of 20013 with flag 371001/1341115 543.61/282.97 c cleaning 9992 clauses out of 20008 with flag 381000/1351114 547.54/285.06 c cleaning 10006 clauses out of 20016 with flag 391000/1361114 551.73/287.38 c cleaning 9998 clauses out of 20010 with flag 401000/1371114 555.86/289.57 c cleaning 10002 clauses out of 20013 with flag 411001/1381115 559.78/291.62 c cleaning 10000 clauses out of 20011 with flag 421001/1391115 563.31/293.61 c cleaning 10000 clauses out of 20011 with flag 431001/1401115 567.51/295.86 c cleaning 10001 clauses out of 20011 with flag 441001/1411115 571.43/297.98 c cleaning 9998 clauses out of 20010 with flag 451001/1421115 575.38/300.00 c cleaning 10002 clauses out of 20012 with flag 461001/1431115 579.13/302.01 c cleaning 9999 clauses out of 20009 with flag 471000/1441114 582.94/304.16 c cleaning 10002 clauses out of 20010 with flag 481000/1451114 587.07/306.33 c cleaning 9995 clauses out of 20009 with flag 491001/1461115 591.19/308.54 c cleaning 10001 clauses out of 20014 with flag 501001/1471115 595.53/310.87 c cleaning 9995 clauses out of 20013 with flag 511001/1481115 599.91/313.20 c cleaning 10000 clauses out of 20017 with flag 521000/1491114 603.24/315.08 c cleaning 10002 clauses out of 20017 with flag 531000/1501114 606.98/317.02 c cleaning 10000 clauses out of 20016 with flag 541001/1511115 610.90/319.12 c cleaning 10000 clauses out of 20015 with flag 551000/1521114 614.87/321.32 c cleaning 9998 clauses out of 20016 with flag 561001/1531115 618.62/323.34 c cleaning 9997 clauses out of 20017 with flag 571000/1541114 622.33/325.37 c cleaning 10001 clauses out of 20020 with flag 581000/1551114 626.65/327.60 c cleaning 10003 clauses out of 20019 with flag 591000/1561114 630.83/329.96 c cleaning 10004 clauses out of 20016 with flag 601000/1571114 635.20/332.27 c cleaning 10000 clauses out of 20012 with flag 611000/1581114 639.31/334.48 c cleaning 9997 clauses out of 20012 with flag 621000/1591114 643.02/336.49 c cleaning 9999 clauses out of 20016 with flag 631001/1601115 646.83/338.53 c cleaning 9999 clauses out of 20016 with flag 641000/1611114 650.36/340.43 c cleaning 10004 clauses out of 20018 with flag 651001/1621115 654.07/342.42 c cleaning 10001 clauses out of 20013 with flag 661000/1631114 657.81/344.46 c cleaning 9996 clauses out of 20012 with flag 671000/1641114 661.79/346.61 c cleaning 9993 clauses out of 20016 with flag 681000/1651114 665.52/348.66 c cleaning 10002 clauses out of 20023 with flag 691000/1661114 669.63/350.82 c cleaning 10002 clauses out of 20021 with flag 701000/1671114 673.54/352.97 c cleaning 9999 clauses out of 20019 with flag 711000/1681114 677.54/355.18 c cleaning 10005 clauses out of 20021 with flag 721001/1691115 681.47/357.20 c cleaning 10001 clauses out of 20015 with flag 731000/1701114 685.19/359.28 c cleaning 10002 clauses out of 20015 with flag 741001/1711115 689.10/361.35 c cleaning 9995 clauses out of 20012 with flag 751000/1721114 693.06/363.58 c cleaning 10002 clauses out of 20018 with flag 761001/1731115 696.78/365.58 c cleaning 9996 clauses out of 20015 with flag 771000/1741114 700.68/367.62 c cleaning 9999 clauses out of 20019 with flag 781000/1751114 704.18/369.54 c cleaning 10002 clauses out of 20020 with flag 791000/1761114 707.77/371.59 c cleaning 10004 clauses out of 20018 with flag 801000/1771114 711.67/373.67 c cleaning 9998 clauses out of 20014 with flag 811000/1781114 715.56/375.71 c cleaning 9999 clauses out of 20017 with flag 821001/1791115 719.27/377.76 c cleaning 10004 clauses out of 20017 with flag 831000/1801114 723.21/379.92 c cleaning 10000 clauses out of 20015 with flag 841002/1811116 726.90/381.95 c cleaning 10000 clauses out of 20013 with flag 851000/1821114 730.64/383.96 c cleaning 9997 clauses out of 20014 with flag 861001/1831115 734.49/386.02 c cleaning 9997 clauses out of 20016 with flag 871000/1841114 738.24/388.21 c cleaning 10000 clauses out of 20019 with flag 881000/1851114 742.32/390.39 c cleaning 10004 clauses out of 20019 with flag 891000/1861114 746.61/392.63 c cleaning 10003 clauses out of 20015 with flag 901000/1871114 750.92/394.93 c cleaning 10002 clauses out of 20014 with flag 911002/1881116 755.18/397.37 c cleaning 9998 clauses out of 20012 with flag 921002/1891116 759.05/399.43 c cleaning 9998 clauses out of 20013 with flag 931001/1901115 762.95/401.56 c cleaning 10003 clauses out of 20014 with flag 941000/1911114 767.00/403.72 c cleaning 9997 clauses out of 20011 with flag 951000/1921114 771.26/406.13 c cleaning 10001 clauses out of 20014 with flag 961000/1931114 775.11/408.30 c cleaning 10000 clauses out of 20013 with flag 971000/1941114 778.99/410.35 c cleaning 10000 clauses out of 20013 with flag 981000/1951114 782.61/412.40 c cleaning 9996 clauses out of 20014 with flag 991001/1961115 786.47/414.60 c cleaning 9998 clauses out of 20018 with flag 1001001/1971115 790.31/416.64 c cleaning 9998 clauses out of 20020 with flag 1011001/1981115 793.95/418.67 c cleaning 10005 clauses out of 20022 with flag 1021001/1991115 798.00/420.81 c cleaning 9997 clauses out of 20016 with flag 1031000/2001114 802.04/423.17 c cleaning 9998 clauses out of 20020 with flag 1041001/2011115 805.88/425.30 c cleaning 10001 clauses out of 20021 with flag 1051000/2021114 809.90/427.47 c cleaning 10000 clauses out of 20021 with flag 1061001/2031115 813.92/429.64 c cleaning 9995 clauses out of 20020 with flag 1071000/2041114 817.96/432.00 c cleaning 10004 clauses out of 20025 with flag 1081000/2051114 821.99/434.14 c cleaning 10001 clauses out of 20022 with flag 1091001/2061115 825.81/436.29 c cleaning 10003 clauses out of 20020 with flag 1101000/2071114 829.84/438.45 c cleaning 10001 clauses out of 20017 with flag 1111000/2081114 834.06/440.84 c cleaning 9996 clauses out of 20016 with flag 1121000/2091114 838.07/443.08 c cleaning 10004 clauses out of 20021 with flag 1131001/2101115 842.29/445.34 c cleaning 9995 clauses out of 20016 with flag 1141000/2111114 843.50/446.10 c And the winner is CuttingPlanes 843.51/446.26 c Got one! Elapsed wall clock time (in seconds):446.143 843.51/446.26 o 422 844.77/446.91 c cleaning 7554 clauses out of 15115 with flag 3000/2116208 847.65/448.64 c cleaning 6777 clauses out of 13561 with flag 9000/2122208 850.69/450.38 c cleaning 6885 clauses out of 13784 with flag 16000/2129208 854.12/452.24 c cleaning 7447 clauses out of 14899 with flag 24000/2137208 858.33/454.54 c cleaning 8221 clauses out of 16452 with flag 33000/2146208 862.94/457.13 c cleaning 9111 clauses out of 18232 with flag 43001/2156209 866.96/459.35 c cleaning 9554 clauses out of 19120 with flag 53000/2166208 871.34/461.74 c cleaning 9781 clauses out of 19567 with flag 63001/2176209 875.96/464.25 c cleaning 9886 clauses out of 19785 with flag 73000/2186208 880.51/466.86 c cleaning 9944 clauses out of 19900 with flag 83001/2196209 886.08/469.81 c cleaning 9974 clauses out of 19955 with flag 93000/2206208 890.26/472.19 c cleaning 9983 clauses out of 19981 with flag 103000/2216208 894.23/474.38 c cleaning 9991 clauses out of 19998 with flag 113000/2226208 898.80/476.91 c cleaning 9996 clauses out of 20007 with flag 123000/2236208 903.17/479.31 c cleaning 10003 clauses out of 20012 with flag 133001/2246209 907.34/481.67 c cleaning 9997 clauses out of 20008 with flag 143000/2256208 911.74/484.03 c cleaning 10001 clauses out of 20011 with flag 153000/2266208 915.67/486.35 c cleaning 9994 clauses out of 20010 with flag 163000/2276208 919.65/488.56 c cleaning 10002 clauses out of 20017 with flag 173001/2286209 924.01/490.96 c cleaning 9997 clauses out of 20014 with flag 183000/2296208 928.18/493.22 c cleaning 10004 clauses out of 20018 with flag 193001/2306209 932.53/495.75 c cleaning 9995 clauses out of 20013 with flag 203000/2316208 936.49/498.00 c cleaning 9997 clauses out of 20018 with flag 213000/2326208 940.45/500.15 c cleaning 10003 clauses out of 20021 with flag 223000/2336208 944.42/502.34 c cleaning 10004 clauses out of 20018 with flag 233000/2346208 948.58/504.74 c cleaning 10000 clauses out of 20015 with flag 243001/2356209 952.34/506.88 c cleaning 9999 clauses out of 20014 with flag 253000/2366208 956.50/509.14 c cleaning 10003 clauses out of 20016 with flag 263001/2376209 960.67/511.51 c cleaning 9997 clauses out of 20013 with flag 273001/2386209 965.41/514.11 c cleaning 10003 clauses out of 20015 with flag 283000/2396208 969.56/516.47 c cleaning 9998 clauses out of 20013 with flag 293001/2406209 973.51/518.64 c cleaning 10004 clauses out of 20015 with flag 303001/2416209 977.45/520.88 c cleaning 9995 clauses out of 20010 with flag 313000/2426208 981.58/523.28 c cleaning 9998 clauses out of 20016 with flag 323001/2436209 985.50/525.47 c cleaning 10000 clauses out of 20017 with flag 333000/2446208 989.63/527.73 c cleaning 10003 clauses out of 20018 with flag 343001/2456209 993.56/529.96 c cleaning 10004 clauses out of 20015 with flag 353001/2466209 997.87/532.49 c cleaning 9996 clauses out of 20010 with flag 363000/2476208 1001.97/534.76 c cleaning 10000 clauses out of 20015 with flag 373001/2486209 1006.07/537.04 c cleaning 9998 clauses out of 20015 with flag 383001/2496209 1009.98/539.28 c cleaning 10003 clauses out of 20017 with flag 393001/2506209 1014.64/541.90 c cleaning 10000 clauses out of 20014 with flag 403001/2516209 1018.94/544.36 c cleaning 10001 clauses out of 20014 with flag 413001/2526209 1023.43/546.80 c cleaning 10003 clauses out of 20013 with flag 423001/2536209 1027.52/549.15 c cleaning 9998 clauses out of 20010 with flag 433001/2546209 1031.78/551.61 c cleaning 10000 clauses out of 20012 with flag 443001/2556209 1035.66/553.81 c cleaning 9995 clauses out of 20011 with flag 453000/2566208 1039.73/556.19 c cleaning 9998 clauses out of 20016 with flag 463000/2576208 1044.20/558.61 c cleaning 9996 clauses out of 20019 with flag 473001/2586209 1048.41/561.10 c cleaning 10000 clauses out of 20022 with flag 483000/2596208 1052.47/563.40 c cleaning 10001 clauses out of 20023 with flag 493001/2606209 1056.33/565.67 c cleaning 10000 clauses out of 20023 with flag 503002/2616210 1060.38/567.99 c cleaning 10000 clauses out of 20021 with flag 513000/2626208 1064.77/570.54 c cleaning 10004 clauses out of 20021 with flag 523000/2636208 1069.01/572.99 c cleaning 10001 clauses out of 20017 with flag 533000/2646208 1073.43/575.44 c cleaning 10000 clauses out of 20017 with flag 543001/2656209 1077.45/577.80 c cleaning 9996 clauses out of 20016 with flag 553000/2666208 1081.98/580.44 c cleaning 9999 clauses out of 20020 with flag 563000/2676208 1086.19/582.87 c cleaning 10004 clauses out of 20021 with flag 573000/2686208 1090.43/585.28 c cleaning 10000 clauses out of 20017 with flag 583000/2696208 1094.59/587.69 c cleaning 10003 clauses out of 20017 with flag 593000/2706208 1099.33/590.48 c cleaning 9999 clauses out of 20015 with flag 603001/2716209 1104.14/593.18 c cleaning 10007 clauses out of 20015 with flag 613000/2726208 1108.33/595.55 c cleaning 9997 clauses out of 20009 with flag 623001/2736209 1112.34/597.89 c cleaning 9993 clauses out of 20012 with flag 633001/2746209 1116.87/600.60 c cleaning 10002 clauses out of 20019 with flag 643001/2756209 1120.90/602.86 c cleaning 10001 clauses out of 20017 with flag 653001/2766209 1125.05/605.24 c cleaning 10002 clauses out of 20016 with flag 663001/2776209 1129.44/607.71 c cleaning 9996 clauses out of 20013 with flag 673000/2786208 1133.76/610.34 c cleaning 10003 clauses out of 20017 with flag 683000/2796208 1138.55/613.02 c cleaning 9998 clauses out of 20015 with flag 693001/2806209 1143.55/615.90 c cleaning 9999 clauses out of 20017 with flag 703001/2816209 1148.51/618.60 c cleaning 10002 clauses out of 20017 with flag 713000/2826208 1152.80/621.21 c cleaning 10002 clauses out of 20016 with flag 723001/2836209 1156.97/623.63 c cleaning 9999 clauses out of 20014 with flag 733001/2846209 1161.13/626.08 c cleaning 10000 clauses out of 20014 with flag 743000/2856208 1165.30/628.48 c cleaning 9995 clauses out of 20014 with flag 753000/2866208 1169.94/631.20 c cleaning 10000 clauses out of 20020 with flag 763001/2876209 1173.90/633.55 c cleaning 10002 clauses out of 20019 with flag 773000/2886208 1178.04/635.97 c cleaning 9996 clauses out of 20017 with flag 783000/2896208 1183.17/638.82 c cleaning 10003 clauses out of 20022 with flag 793001/2906209 1188.40/641.99 c cleaning 9998 clauses out of 20018 with flag 803000/2916208 1193.53/644.88 c cleaning 10000 clauses out of 20021 with flag 813001/2926209 1198.68/647.81 c cleaning 10004 clauses out of 20021 with flag 823001/2936209 1204.02/650.70 c cleaning 9999 clauses out of 20017 with flag 833001/2946209 1208.63/653.60 c cleaning 9999 clauses out of 20018 with flag 843001/2956209 1212.96/656.09 c And the winner is CuttingPlanes 1213.14/656.32 c Got one! Elapsed wall clock time (in seconds):656.195 1213.14/656.32 o 421 1215.10/657.39 c cleaning 11942 clauses out of 23893 with flag 5001/2970083 1218.23/659.25 c cleaning 8971 clauses out of 17951 with flag 11001/2976083 1221.78/661.32 c cleaning 7985 clauses out of 15980 with flag 18001/2983083 1225.79/663.81 c cleaning 7995 clauses out of 15995 with flag 26001/2991083 1229.72/666.19 c cleaning 8496 clauses out of 17000 with flag 35001/3000083 1234.50/668.88 c cleaning 9247 clauses out of 18503 with flag 45000/3010082 1239.25/671.58 c cleaning 9626 clauses out of 19257 with flag 55001/3020083 1244.15/674.40 c cleaning 9811 clauses out of 19630 with flag 65000/3030082 1248.93/677.11 c cleaning 9908 clauses out of 19820 with flag 75001/3040083 1253.45/679.72 c cleaning 9947 clauses out of 19911 with flag 85000/3050082 1257.80/682.23 c cleaning 9975 clauses out of 19965 with flag 95001/3060083 1262.69/685.19 c cleaning 9990 clauses out of 19989 with flag 105000/3070082 1269.45/688.85 c cleaning 9997 clauses out of 19999 with flag 115000/3080082 1274.12/691.55 c cleaning 9999 clauses out of 20002 with flag 125000/3090082 1279.09/694.33 c cleaning 9995 clauses out of 20003 with flag 135000/3100082 1284.17/697.35 c cleaning 10000 clauses out of 20009 with flag 145001/3110083 1288.53/699.84 c cleaning 9992 clauses out of 20009 with flag 155001/3120083 1292.83/702.32 c cleaning 10000 clauses out of 20017 with flag 165001/3130083 1297.18/704.81 c cleaning 10003 clauses out of 20017 with flag 175001/3140083 1302.17/707.86 c cleaning 10000 clauses out of 20014 with flag 185001/3150083 1307.47/710.85 c cleaning 10000 clauses out of 20014 with flag 195001/3160083 1311.95/713.47 c cleaning 9998 clauses out of 20014 with flag 205001/3170083 1316.09/715.84 c cleaning 9998 clauses out of 20016 with flag 215001/3180083 1320.65/718.67 c cleaning 10002 clauses out of 20018 with flag 225001/3190083 1324.94/721.11 c cleaning 9998 clauses out of 20016 with flag 235001/3200083 1329.08/723.54 c cleaning 10002 clauses out of 20017 with flag 245000/3210082 1333.41/726.05 c cleaning 9999 clauses out of 20015 with flag 255000/3220082 1338.22/728.91 c cleaning 10002 clauses out of 20016 with flag 265000/3230082 1342.81/731.54 c cleaning 10000 clauses out of 20015 with flag 275001/3240083 1347.91/734.44 c cleaning 10003 clauses out of 20014 with flag 285000/3250082 1352.26/736.93 c cleaning 9998 clauses out of 20012 with flag 295001/3260083 1356.69/739.67 c cleaning 10003 clauses out of 20014 with flag 305001/3270083 1361.23/742.22 c cleaning 9994 clauses out of 20010 with flag 315000/3280082 1365.78/744.81 c cleaning 10000 clauses out of 20016 with flag 325000/3290082 1369.90/747.26 c cleaning 9998 clauses out of 20016 with flag 335000/3300082 1374.14/749.86 c cleaning 10004 clauses out of 20018 with flag 345000/3310082 1378.47/752.37 c cleaning 9995 clauses out of 20014 with flag 355000/3320082 1383.02/754.95 c cleaning 10002 clauses out of 20020 with flag 365001/3330083 1387.35/757.47 c cleaning 9996 clauses out of 20018 with flag 375001/3340083 1392.17/760.30 c cleaning 10003 clauses out of 20022 with flag 385001/3350083 1396.30/762.78 c cleaning 10006 clauses out of 20019 with flag 395001/3360083 1401.04/765.47 c cleaning 10001 clauses out of 20013 with flag 405001/3370083 1405.57/768.01 c cleaning 10000 clauses out of 20012 with flag 415001/3380083 1410.20/770.89 c cleaning 9997 clauses out of 20011 with flag 425000/3390082 1414.93/773.56 c cleaning 9999 clauses out of 20015 with flag 435001/3400083 1419.65/776.25 c cleaning 10002 clauses out of 20016 with flag 445001/3410083 1423.98/778.73 c cleaning 10003 clauses out of 20013 with flag 455000/3420082 1428.19/781.39 c cleaning 9999 clauses out of 20011 with flag 465001/3430083 1432.52/783.81 c cleaning 9994 clauses out of 20011 with flag 475000/3440082 1436.63/786.20 c cleaning 10004 clauses out of 20017 with flag 485000/3450082 1440.75/788.63 c cleaning 9999 clauses out of 20014 with flag 495001/3460083 1445.34/791.40 c cleaning 10000 clauses out of 20015 with flag 505001/3470083 1449.66/793.91 c cleaning 9998 clauses out of 20014 with flag 515000/3480082 1453.79/796.36 c cleaning 10003 clauses out of 20018 with flag 525002/3490084 1458.30/798.93 c cleaning 9993 clauses out of 20014 with flag 535001/3500083 1462.89/801.76 c cleaning 10004 clauses out of 20022 with flag 545002/3510084 1467.20/804.20 c cleaning 9999 clauses out of 20017 with flag 555001/3520083 1471.51/806.75 c cleaning 9996 clauses out of 20017 with flag 565000/3530082 1476.02/809.33 c cleaning 10002 clauses out of 20021 with flag 575000/3540082 1480.62/812.12 c cleaning 10001 clauses out of 20020 with flag 585001/3550083 1484.92/814.63 c cleaning 10005 clauses out of 20018 with flag 595000/3560082 1490.24/817.61 c cleaning 10003 clauses out of 20014 with flag 605001/3570083 1494.55/820.18 c cleaning 10000 clauses out of 20010 with flag 615000/3580082 1499.34/823.06 c cleaning 9998 clauses out of 20010 with flag 625000/3590082 1503.44/825.44 c cleaning 9999 clauses out of 20012 with flag 635000/3600082 1507.54/827.86 c cleaning 9999 clauses out of 20014 with flag 645001/3610083 1511.84/830.33 c cleaning 9995 clauses out of 20015 with flag 655001/3620083 1516.43/833.19 c cleaning 10001 clauses out of 20019 with flag 665000/3630082 1520.93/835.77 c cleaning 10005 clauses out of 20019 with flag 675001/3640083 1525.27/838.22 c cleaning 9996 clauses out of 20013 with flag 685000/3650082 1529.53/840.76 c cleaning 9999 clauses out of 20017 with flag 695000/3660082 1534.10/843.61 c cleaning 9998 clauses out of 20019 with flag 705001/3670083 1538.39/846.08 c cleaning 10001 clauses out of 20021 with flag 715001/3680083 1542.48/848.45 c cleaning 10002 clauses out of 20020 with flag 725001/3690083 1546.58/850.87 c cleaning 9998 clauses out of 20017 with flag 735000/3700082 1551.19/853.63 c cleaning 9997 clauses out of 20019 with flag 745000/3710082 1555.43/856.12 c cleaning 10004 clauses out of 20023 with flag 755001/3720083 1559.51/858.55 c cleaning 10006 clauses out of 20019 with flag 765001/3730083 1563.80/861.01 c cleaning 10002 clauses out of 20013 with flag 775001/3740083 1568.18/863.80 c cleaning 9998 clauses out of 20010 with flag 785000/3750082 1572.47/866.28 c cleaning 9997 clauses out of 20012 with flag 795000/3760082 1576.96/868.84 c cleaning 9997 clauses out of 20015 with flag 805000/3770082 1581.07/871.28 c cleaning 9997 clauses out of 20018 with flag 815000/3780082 1585.99/874.23 c cleaning 10000 clauses out of 20021 with flag 825000/3790082 1590.31/876.77 c cleaning 9999 clauses out of 20021 with flag 835000/3800082 1594.55/879.28 c cleaning 10001 clauses out of 20022 with flag 845000/3810082 1598.83/881.77 c cleaning 9999 clauses out of 20022 with flag 855001/3820083 1603.58/884.66 c cleaning 9999 clauses out of 20022 with flag 865000/3830082 1607.85/887.15 c cleaning 10004 clauses out of 20023 with flag 875000/3840082 1612.14/889.64 c cleaning 10004 clauses out of 20019 with flag 885000/3850082 1617.01/892.41 c cleaning 10003 clauses out of 20016 with flag 895001/3860083 1622.15/895.50 c cleaning 10002 clauses out of 20012 with flag 905000/3870082 1626.41/898.04 c cleaning 9997 clauses out of 20010 with flag 915000/3880082 1630.47/900.49 c cleaning 9999 clauses out of 20013 with flag 925000/3890082 1634.74/902.94 c cleaning 10004 clauses out of 20014 with flag 935000/3900082 1639.47/905.80 c cleaning 9999 clauses out of 20011 with flag 945001/3910083 1643.94/908.43 c cleaning 10000 clauses out of 20011 with flag 955000/3920082 1648.79/911.29 c cleaning 10000 clauses out of 20011 with flag 965000/3930082 1653.24/913.88 c cleaning 9998 clauses out of 20011 with flag 975000/3940082 1658.16/916.81 c cleaning 10001 clauses out of 20013 with flag 985000/3950082 1662.41/919.33 c cleaning 10001 clauses out of 20013 with flag 995001/3960083 1666.70/921.89 c cleaning 9998 clauses out of 20011 with flag 1005000/3970082 1671.11/924.46 c cleaning 10001 clauses out of 20014 with flag 1015001/3980083 1676.43/927.68 c cleaning 9995 clauses out of 20013 with flag 1025001/3990083 1682.27/930.92 c cleaning 9999 clauses out of 20018 with flag 1035001/4000083 1687.11/933.77 c cleaning 9998 clauses out of 20019 with flag 1045001/4010083 1692.55/936.85 c cleaning 9998 clauses out of 20020 with flag 1055000/4020082 1698.06/940.11 c cleaning 10003 clauses out of 20023 with flag 1065001/4030083 1702.89/942.94 c cleaning 10001 clauses out of 20019 with flag 1075000/4040082 1707.32/945.60 c cleaning 10000 clauses out of 20019 with flag 1085001/4050083 1711.35/947.99 c cleaning 10000 clauses out of 20018 with flag 1095000/4060082 1715.84/950.70 c cleaning 10006 clauses out of 20019 with flag 1105001/4070083 1719.87/953.17 c cleaning 9998 clauses out of 20013 with flag 1115001/4080083 1724.09/955.68 c cleaning 9993 clauses out of 20014 with flag 1125000/4090082 1728.36/958.19 c cleaning 10000 clauses out of 20021 with flag 1135000/4100082 1733.20/961.12 c cleaning 10004 clauses out of 20021 with flag 1145000/4110082 1734.43/962.13 c And the winner is CuttingPlanes 1734.50/962.43 c Got one! Elapsed wall clock time (in seconds):962.314 1734.50/962.43 o 420 1736.21/963.31 c cleaning 7650 clauses out of 15312 with flag 4001/4115377 1739.45/965.31 c cleaning 6828 clauses out of 13661 with flag 10000/4121376 1742.87/967.44 c cleaning 6909 clauses out of 13833 with flag 17000/4128376 1747.13/970.15 c cleaning 7455 clauses out of 14924 with flag 25000/4136376 1751.95/972.94 c cleaning 8230 clauses out of 16469 with flag 34000/4145376 1756.57/975.71 c cleaning 9113 clauses out of 18239 with flag 44000/4155376 1761.99/978.75 c cleaning 9558 clauses out of 19127 with flag 54001/4165377 1767.06/981.88 c cleaning 9780 clauses out of 19569 with flag 64001/4175377 1771.88/984.60 c cleaning 9890 clauses out of 19789 with flag 74001/4185377 1776.90/987.50 c cleaning 9945 clauses out of 19899 with flag 84001/4195377 1781.90/990.42 c cleaning 9971 clauses out of 19953 with flag 94000/4205376 1787.17/993.66 c cleaning 9984 clauses out of 19983 with flag 104001/4215377 1791.97/996.41 c cleaning 9995 clauses out of 19998 with flag 114000/4225376 1797.38/999.59 c cleaning 9995 clauses out of 20003 with flag 124000/4235376 1800.19/1001.32 c starts : 28 1800.19/1001.32 c conflicts : 4724 1800.19/1001.32 c decisions : 83457 1800.19/1001.32 c propagations : 271778 1800.19/1001.32 c inspects : 34098709 1800.19/1001.32 c shortcuts : 0 1800.19/1001.32 c learnt literals : 0 1800.19/1001.32 c learnt binary clauses : 0 1800.19/1001.32 c learnt ternary clauses : 0 1800.19/1001.32 c learnt constraints : 4723 1800.19/1001.32 c ignored constraints : 0 1800.19/1001.32 c root simplifications : 0 1800.19/1001.32 c removed literals (reason simplification) : 0 1800.19/1001.32 c reason swapping (by a shorter reason) : 0 1800.19/1001.32 c Calls to reduceDB : 0 1800.19/1001.32 c number of reductions to clauses (during analyze) : 0 1800.19/1001.32 c number of learned constraints concerned by reduction : 0 1800.19/1001.32 c number of learning phase by resolution : 0 1800.19/1001.32 c number of learning phase by cutting planes : 0 1800.19/1001.32 c speed (assignments/second) : 6991.793367806334 1800.19/1001.32 c non guided choices 0 1800.19/1001.33 c learnt constraints type 1800.19/1001.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2295 1800.19/1001.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2428 1800.19/1001.33 c constraints type 1800.19/1001.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1861 1800.19/1001.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.19/1001.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 63 1800.19/1001.33 c constraints type 1800.19/1001.33 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 63 1800.19/1001.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1861 1800.19/1001.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.19/1001.33 s SATISFIABLE 1800.19/1001.34 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 1800.19/1001.34 c objective function=420 1800.19/1001.34 c Total wall clock time (in seconds): 1001.226
OK 420
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-3455289-1307192092/watcher-3455289-1307192092 -o /tmp/evaluation-result-3455289-1307192092/solver-3455289-1307192092 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455289-1307192092.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: 1.90 2.45 3.14 3/488 458 /proc/meminfo: memFree=27147120/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=252 CPUtime=0 cores=0,2,4,6 /proc/458/stat : 458 (java) R 456 458 28154 0 -1 4194304 78 0 0 0 0 0 0 0 22 0 1 0 830807659 258048 32 33554432000 1073741824 1073778376 140736873799776 18446744073709551615 210199723655 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/458/statm: 63 32 24 9 0 22 0 [pid=458/tid=470] ppid=456 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/458/task/470/stat : 470 (java) R 456 458 28154 0 -1 4202560 5795 0 1 0 0 0 0 0 24 0 2 0 830807659 10694979584 6611 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0222821 s] /proc/loadavg: 1.90 2.45 3.14 3/488 458 /proc/meminfo: memFree=27147120/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=10444316 CPUtime=0.01 cores=0,2,4,6 /proc/458/stat : 458 (java) S 456 458 28154 0 -1 4202496 9359 0 1 0 0 1 0 0 22 0 2 0 830807659 10694979584 9061 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/458/statm: 2611079 9080 917 9 0 2602235 0 [pid=458/tid=470] ppid=456 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/458/task/470/stat : 470 (java) R 456 458 28154 0 -1 4202560 8278 0 1 0 0 0 0 0 24 0 2 0 830807659 10694979584 9094 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10444316 [startup+0.100222 s] /proc/loadavg: 1.90 2.45 3.14 3/488 458 /proc/meminfo: memFree=27147120/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=10540412 CPUtime=0.09 cores=0,2,4,6 /proc/458/stat : 458 (java) S 456 458 28154 0 -1 4202496 12924 0 1 0 8 1 0 0 22 0 18 0 830807659 10793381888 12605 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/458/statm: 2635103 12608 2083 9 0 2625837 0 [pid=458/tid=470] ppid=456 vsize=10540412 CPUtime=0.07 cores=0,2,4,6 /proc/458/task/470/stat : 470 (java) R 456 458 28154 0 -1 4202560 11012 0 1 0 6 1 0 0 25 0 18 0 830807659 10793381888 12608 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216474059 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10540412 [startup+0.300192 s] /proc/loadavg: 1.90 2.45 3.14 3/488 458 /proc/meminfo: memFree=27147120/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=10541836 CPUtime=0.5 cores=0,2,4,6 /proc/458/stat : 458 (java) S 456 458 28154 0 -1 4202496 16499 0 1 0 48 2 0 0 22 0 18 0 830807659 10794840064 15877 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/458/statm: 2635459 15878 2201 9 0 2626193 0 [pid=458/tid=470] ppid=456 vsize=10541836 CPUtime=0.27 cores=0,2,4,6 /proc/458/task/470/stat : 470 (java) R 456 458 28154 0 -1 4202560 13544 0 1 0 25 2 0 0 18 0 18 0 830807659 10794840064 15879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 46912505600966 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 10541836 [startup+0.701255 s] /proc/loadavg: 1.90 2.45 3.14 3/488 458 /proc/meminfo: memFree=27147120/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=10548608 CPUtime=0.77 cores=0,2,4,6 /proc/458/stat : 458 (java) S 456 458 28154 0 -1 4202496 19897 0 1 0 74 3 0 0 22 0 19 0 830807659 10801774592 18125 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/458/statm: 2637152 18125 2225 9 0 2627886 0 [pid=458/tid=470] ppid=456 vsize=10548608 CPUtime=0.29 cores=0,2,4,6 /proc/458/task/470/stat : 470 (java) S 456 458 28154 0 -1 4202560 14457 0 1 0 27 2 0 0 19 0 19 0 830807659 10801774592 18125 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.77 Current children cumulated vsize (KiB) 10548608 [startup+1.50107 s] /proc/loadavg: 1.99 2.46 3.14 6/530 525 /proc/meminfo: memFree=27015240/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=10548608 CPUtime=1.52 cores=0,2,4,6 /proc/458/stat : 458 (java) S 456 458 28154 0 -1 4202496 21937 0 1 0 149 3 0 0 22 0 19 0 830807659 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/458/statm: 2637152 19325 2236 9 0 2627886 0 [pid=458/tid=470] ppid=456 vsize=10548608 CPUtime=0.32 cores=0,2,4,6 /proc/458/task/470/stat : 470 (java) S 456 458 28154 0 -1 4202560 14964 0 1 0 30 2 0 0 16 0 19 0 830807659 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=480] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/480/stat : 480 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830807661 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=483] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/483/stat : 483 (java) S 456 458 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830807661 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=485] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/485/stat : 485 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830807661 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=488] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/488/stat : 488 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830807661 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=490] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/490/stat : 490 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830807661 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=492] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/492/stat : 492 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830807661 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=493] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/493/stat : 493 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830807661 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=494] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/494/stat : 494 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830807661 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=495] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/495/stat : 495 (java) S 456 458 28154 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 830807662 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 0 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=497] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/497/stat : 497 (java) S 456 458 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830807663 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=500] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/500/stat : 500 (java) S 456 458 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830807663 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=504] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/504/stat : 504 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830807666 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216470961 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=505] ppid=456 vsize=10548608 CPUtime=0.34 cores=0,2,4,6 /proc/458/task/505/stat : 505 (java) S 456 458 28154 0 -1 4202560 2127 0 0 0 34 0 0 0 15 0 19 0 830807666 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=509] ppid=456 vsize=10548608 CPUtime=0.36 cores=0,2,4,6 /proc/458/task/509/stat : 509 (java) S 456 458 28154 0 -1 4202560 2924 0 0 0 36 0 0 0 17 0 19 0 830807666 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=511] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/511/stat : 511 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830807666 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=512] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/512/stat : 512 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830807666 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=520] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/520/stat : 520 (java) S 456 458 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830807693 10801774592 19325 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 10548608 [startup+3.10072 s] /proc/loadavg: 1.99 2.46 3.14 6/529 534 /proc/meminfo: memFree=26979164/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=10548608 CPUtime=4.24 cores=0,2,4,6 /proc/458/stat : 458 (java) S 456 458 28154 0 -1 4202496 31417 0 1 0 419 5 0 0 22 0 22 0 830807659 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/458/statm: 2637152 28530 2264 9 0 2627886 0 [pid=458/tid=470] ppid=456 vsize=10548608 CPUtime=0.32 cores=0,2,4,6 /proc/458/task/470/stat : 470 (java) S 456 458 28154 0 -1 4202560 15204 0 1 0 30 2 0 0 15 0 22 0 830807659 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=480] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/480/stat : 480 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830807661 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=483] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/483/stat : 483 (java) S 456 458 28154 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830807661 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=485] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/485/stat : 485 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830807661 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=488] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/488/stat : 488 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830807661 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=490] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/490/stat : 490 (java) S 456 458 28154 0 -1 4202560 208 0 0 0 0 0 0 0 18 0 22 0 830807661 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=492] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/492/stat : 492 (java) S 456 458 28154 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 22 0 830807661 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=493] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/493/stat : 493 (java) S 456 458 28154 0 -1 4202560 667 0 0 0 0 0 0 0 18 0 22 0 830807661 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=494] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/494/stat : 494 (java) S 456 458 28154 0 -1 4202560 318 0 0 0 0 0 0 0 18 0 22 0 830807661 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=495] ppid=456 vsize=10548608 CPUtime=0.01 cores=0,2,4,6 /proc/458/task/495/stat : 495 (java) S 456 458 28154 0 -1 4202560 1877 0 0 0 1 0 0 0 17 0 22 0 830807662 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 0 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=497] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/497/stat : 497 (java) S 456 458 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830807663 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=500] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/500/stat : 500 (java) S 456 458 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830807663 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=504] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/504/stat : 504 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830807666 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216470961 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=505] ppid=456 vsize=10548608 CPUtime=0.49 cores=0,2,4,6 /proc/458/task/505/stat : 505 (java) S 456 458 28154 0 -1 4202560 2155 0 0 0 49 0 0 0 15 0 22 0 830807666 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=509] ppid=456 vsize=10548608 CPUtime=0.47 cores=0,2,4,6 /proc/458/task/509/stat : 509 (java) S 456 458 28154 0 -1 4202560 3205 0 0 0 47 0 0 0 15 0 22 0 830807666 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=511] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/511/stat : 511 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830807666 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=512] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/512/stat : 512 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830807666 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=520] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/520/stat : 520 (java) S 456 458 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830807693 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=532] ppid=456 vsize=10548608 CPUtime=1.2 cores=0,2,4,6 /proc/458/task/532/stat : 532 (java) R 456 458 28154 0 -1 4202560 2483 0 0 0 120 0 0 0 19 0 22 0 830807845 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 46912505800455 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=458/tid=533] ppid=456 vsize=10548608 CPUtime=1.2 cores=0,2,4,6 /proc/458/task/533/stat : 533 (java) R 456 458 28154 0 -1 4202560 2652 0 0 0 120 0 0 0 19 0 22 0 830807845 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 46912505821168 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=458/tid=534] ppid=456 vsize=10548608 CPUtime=0 cores=0,2,4,6 /proc/458/task/534/stat : 534 (java) S 456 458 28154 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830807846 10801774592 28530 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4.24 Current children cumulated vsize (KiB) 10548608 [startup+6.30118 s] /proc/loadavg: 1.99 2.46 3.14 6/532 540 /proc/meminfo: memFree=26493880/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=10561344 CPUtime=11 cores=0,2,4,6 /proc/458/stat : 458 (java) S 456 458 28154 0 -1 4202496 47071 0 1 0 1093 7 0 0 22 0 22 0 830807659 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/458/statm: 2640336 41367 2264 9 0 2631070 0 [pid=458/tid=470] ppid=456 vsize=10561344 CPUtime=0.32 cores=0,2,4,6 /proc/458/task/470/stat : 470 (java) S 456 458 28154 0 -1 4202560 15204 0 1 0 30 2 0 0 15 0 22 0 830807659 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=480] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/480/stat : 480 (java) S 456 458 28154 0 -1 4202560 885 0 0 0 0 0 0 0 15 0 22 0 830807661 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=483] ppid=456 vsize=10561344 CPUtime=0.01 cores=0,2,4,6 /proc/458/task/483/stat : 483 (java) S 456 458 28154 0 -1 4202560 680 0 0 0 1 0 0 0 15 0 22 0 830807661 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=485] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/485/stat : 485 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830807661 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=488] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/488/stat : 488 (java) S 456 458 28154 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 22 0 830807661 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=490] ppid=456 vsize=10561344 CPUtime=0.01 cores=0,2,4,6 /proc/458/task/490/stat : 490 (java) S 456 458 28154 0 -1 4202560 1226 0 0 0 1 0 0 0 17 0 22 0 830807661 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=492] ppid=456 vsize=10561344 CPUtime=0.01 cores=0,2,4,6 /proc/458/task/492/stat : 492 (java) S 456 458 28154 0 -1 4202560 806 0 0 0 1 0 0 0 15 0 22 0 830807661 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=493] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/493/stat : 493 (java) S 456 458 28154 0 -1 4202560 787 0 0 0 0 0 0 0 17 0 22 0 830807661 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=494] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/494/stat : 494 (java) S 456 458 28154 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 22 0 830807661 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=495] ppid=456 vsize=10561344 CPUtime=0.06 cores=0,2,4,6 /proc/458/task/495/stat : 495 (java) S 456 458 28154 0 -1 4202560 4764 0 0 0 5 1 0 0 16 0 22 0 830807662 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 0 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=497] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/497/stat : 497 (java) S 456 458 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830807663 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=500] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/500/stat : 500 (java) S 456 458 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830807663 10814816256 41367 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=23965540/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=10561344 CPUtime=1599.54 cores=0,2,4,6 /proc/458/stat : 458 (java) S 456 458 28154 0 -1 4202496 490962 0 1 0 159880 74 0 0 22 0 22 0 830807659 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/458/statm: 2640336 483879 2266 9 0 2631070 0 [pid=458/tid=470] ppid=456 vsize=10561344 CPUtime=0.37 cores=0,2,4,6 /proc/458/task/470/stat : 470 (java) S 456 458 28154 0 -1 4202560 15667 0 1 0 35 2 0 0 15 0 22 0 830807659 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=480] ppid=456 vsize=10561344 CPUtime=1.79 cores=0,2,4,6 /proc/458/task/480/stat : 480 (java) S 456 458 28154 0 -1 4202560 1513 0 0 0 179 0 0 0 16 0 22 0 830807661 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=483] ppid=456 vsize=10561344 CPUtime=1.76 cores=0,2,4,6 /proc/458/task/483/stat : 483 (java) S 456 458 28154 0 -1 4202560 1027 0 0 0 176 0 0 0 16 0 22 0 830807661 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=485] ppid=456 vsize=10561344 CPUtime=1.72 cores=0,2,4,6 /proc/458/task/485/stat : 485 (java) S 456 458 28154 0 -1 4202560 872 0 0 0 172 0 0 0 15 0 22 0 830807661 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=488] ppid=456 vsize=10561344 CPUtime=2.07 cores=0,2,4,6 /proc/458/task/488/stat : 488 (java) S 456 458 28154 0 -1 4202560 974 0 0 0 207 0 0 0 16 0 22 0 830807661 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=490] ppid=456 vsize=10561344 CPUtime=1.61 cores=0,2,4,6 /proc/458/task/490/stat : 490 (java) S 456 458 28154 0 -1 4202560 2612 0 0 0 161 0 0 0 15 0 22 0 830807661 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=492] ppid=456 vsize=10561344 CPUtime=1.67 cores=0,2,4,6 /proc/458/task/492/stat : 492 (java) S 456 458 28154 0 -1 4202560 1212 0 0 0 167 0 0 0 15 0 22 0 830807661 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=493] ppid=456 vsize=10561344 CPUtime=1.86 cores=0,2,4,6 /proc/458/task/493/stat : 493 (java) S 456 458 28154 0 -1 4202560 2248 0 0 0 186 0 0 0 16 0 22 0 830807661 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=494] ppid=456 vsize=10561344 CPUtime=1.74 cores=0,2,4,6 /proc/458/task/494/stat : 494 (java) S 456 458 28154 0 -1 4202560 973 0 0 0 174 0 0 0 15 0 22 0 830807661 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=495] ppid=456 vsize=10561344 CPUtime=168.57 cores=0,2,4,6 /proc/458/task/495/stat : 495 (java) R 456 458 28154 0 -1 4202560 107908 0 0 0 16840 17 0 0 16 0 22 0 830807662 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 47917273497716 0 0 0 16800975 0 0 0 -1 4 0 0 0 [pid=458/tid=497] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/497/stat : 497 (java) S 456 458 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830807663 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=500] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/500/stat : 500 (java) S 456 458 28154 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 22 0 830807663 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=504] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/504/stat : 504 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830807666 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216470961 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=505] ppid=456 vsize=10561344 CPUtime=0.93 cores=0,2,4,6 /proc/458/task/505/stat : 505 (java) S 456 458 28154 0 -1 4202560 7633 0 0 0 92 1 0 0 15 0 22 0 830807666 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=509] ppid=456 vsize=10561344 CPUtime=1.12 cores=0,2,4,6 /proc/458/task/509/stat : 509 (java) S 456 458 28154 0 -1 4202560 5668 0 0 0 112 0 0 0 15 0 22 0 830807666 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=511] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/511/stat : 511 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830807666 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=512] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/512/stat : 512 (java) S 456 458 28154 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830807666 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=534] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/534/stat : 534 (java) S 456 458 28154 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830807846 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=622] ppid=456 vsize=10561344 CPUtime=156.87 cores=0,2,4,6 /proc/458/task/622/stat : 622 (java) S 456 458 28154 0 -1 4202560 3 0 0 0 15687 0 0 0 17 0 22 0 830873292 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=623] ppid=456 vsize=10561344 CPUtime=156.89 cores=0,2,4,6 /proc/458/task/623/stat : 623 (java) S 456 458 28154 0 -1 4202560 0 0 0 0 15689 0 0 0 17 0 22 0 830873292 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=624] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/624/stat : 624 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830873292 10814816256 483879 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1599.54 Current children cumulated vsize (KiB) 10561344 [startup+942.301 s] /proc/loadavg: 3.20 3.36 3.35 6/532 634 /proc/meminfo: memFree=23946492/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=10561344 CPUtime=1701.69 cores=0,2,4,6 /proc/458/stat : 458 (java) S 456 458 28154 0 -1 4202496 494429 0 1 0 170094 75 0 0 22 0 22 0 830807659 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/458/statm: 2640336 487321 2266 9 0 2631070 0 [pid=458/tid=470] ppid=456 vsize=10561344 CPUtime=0.37 cores=0,2,4,6 /proc/458/task/470/stat : 470 (java) S 456 458 28154 0 -1 4202560 15687 0 1 0 35 2 0 0 15 0 22 0 830807659 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=480] ppid=456 vsize=10561344 CPUtime=1.94 cores=0,2,4,6 /proc/458/task/480/stat : 480 (java) S 456 458 28154 0 -1 4202560 1516 0 0 0 194 0 0 0 15 0 22 0 830807661 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=483] ppid=456 vsize=10561344 CPUtime=1.98 cores=0,2,4,6 /proc/458/task/483/stat : 483 (java) S 456 458 28154 0 -1 4202560 1041 0 0 0 198 0 0 0 16 0 22 0 830807661 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=485] ppid=456 vsize=10561344 CPUtime=1.9 cores=0,2,4,6 /proc/458/task/485/stat : 485 (java) S 456 458 28154 0 -1 4202560 872 0 0 0 190 0 0 0 16 0 22 0 830807661 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=488] ppid=456 vsize=10561344 CPUtime=2.28 cores=0,2,4,6 /proc/458/task/488/stat : 488 (java) S 456 458 28154 0 -1 4202560 977 0 0 0 228 0 0 0 15 0 22 0 830807661 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=490] ppid=456 vsize=10561344 CPUtime=1.78 cores=0,2,4,6 /proc/458/task/490/stat : 490 (java) S 456 458 28154 0 -1 4202560 2612 0 0 0 178 0 0 0 16 0 22 0 830807661 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=492] ppid=456 vsize=10561344 CPUtime=1.81 cores=0,2,4,6 /proc/458/task/492/stat : 492 (java) S 456 458 28154 0 -1 4202560 1217 0 0 0 181 0 0 0 16 0 22 0 830807661 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=493] ppid=456 vsize=10561344 CPUtime=1.97 cores=0,2,4,6 /proc/458/task/493/stat : 493 (java) S 456 458 28154 0 -1 4202560 2249 0 0 0 197 0 0 0 16 0 22 0 830807661 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=494] ppid=456 vsize=10561344 CPUtime=1.87 cores=0,2,4,6 /proc/458/task/494/stat : 494 (java) S 456 458 28154 0 -1 4202560 973 0 0 0 187 0 0 0 16 0 22 0 830807661 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=495] ppid=456 vsize=10561344 CPUtime=186.98 cores=0,2,4,6 /proc/458/task/495/stat : 495 (java) S 456 458 28154 0 -1 4202560 111326 0 0 0 18681 17 0 0 15 0 22 0 830807662 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 0 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=497] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/497/stat : 497 (java) S 456 458 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830807663 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=500] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/500/stat : 500 (java) S 456 458 28154 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 22 0 830807663 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=504] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/504/stat : 504 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830807666 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216470961 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=505] ppid=456 vsize=10561344 CPUtime=0.93 cores=0,2,4,6 /proc/458/task/505/stat : 505 (java) S 456 458 28154 0 -1 4202560 7633 0 0 0 92 1 0 0 15 0 22 0 830807666 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=509] ppid=456 vsize=10561344 CPUtime=1.12 cores=0,2,4,6 /proc/458/task/509/stat : 509 (java) S 456 458 28154 0 -1 4202560 5668 0 0 0 112 0 0 0 15 0 22 0 830807666 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=511] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/511/stat : 511 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830807666 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=512] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/512/stat : 512 (java) S 456 458 28154 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830807666 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=534] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/534/stat : 534 (java) S 456 458 28154 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830807846 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=622] ppid=456 vsize=10561344 CPUtime=198.07 cores=0,2,4,6 /proc/458/task/622/stat : 622 (java) R 456 458 28154 0 -1 4202560 4 0 0 0 19807 0 0 0 19 0 22 0 830873292 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 46912505749456 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=458/tid=623] ppid=456 vsize=10561344 CPUtime=198.1 cores=0,2,4,6 /proc/458/task/623/stat : 623 (java) R 456 458 28154 0 -1 4202560 0 0 0 0 19810 0 0 0 19 0 22 0 830873292 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 46912505821132 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=458/tid=624] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/624/stat : 624 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830873292 10814816256 487321 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1701.69 Current children cumulated vsize (KiB) 10561344 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1001.3 s] /proc/loadavg: 3.32 3.35 3.34 5/532 641 /proc/meminfo: memFree=23912064/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=10561344 CPUtime=1800.19 cores=0,2,4,6 /proc/458/stat : 458 (java) S 456 458 28154 0 -1 4202496 499004 0 1 0 179943 76 0 0 22 0 22 0 830807659 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/458/statm: 2640336 491864 2266 9 0 2631070 0 [pid=458/tid=470] ppid=456 vsize=10561344 CPUtime=0.39 cores=0,2,4,6 /proc/458/task/470/stat : 470 (java) S 456 458 28154 0 -1 4202560 15688 0 1 0 37 2 0 0 15 0 22 0 830807659 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=480] ppid=456 vsize=10561344 CPUtime=2.08 cores=0,2,4,6 /proc/458/task/480/stat : 480 (java) S 456 458 28154 0 -1 4202560 1517 0 0 0 208 0 0 0 16 0 22 0 830807661 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=483] ppid=456 vsize=10561344 CPUtime=2.19 cores=0,2,4,6 /proc/458/task/483/stat : 483 (java) S 456 458 28154 0 -1 4202560 1041 0 0 0 219 0 0 0 16 0 22 0 830807661 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=485] ppid=456 vsize=10561344 CPUtime=2.11 cores=0,2,4,6 /proc/458/task/485/stat : 485 (java) S 456 458 28154 0 -1 4202560 872 0 0 0 211 0 0 0 15 0 22 0 830807661 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=488] ppid=456 vsize=10561344 CPUtime=2.42 cores=0,2,4,6 /proc/458/task/488/stat : 488 (java) S 456 458 28154 0 -1 4202560 977 0 0 0 242 0 0 0 15 0 22 0 830807661 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=490] ppid=456 vsize=10561344 CPUtime=1.94 cores=0,2,4,6 /proc/458/task/490/stat : 490 (java) S 456 458 28154 0 -1 4202560 2612 0 0 0 194 0 0 0 15 0 22 0 830807661 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=492] ppid=456 vsize=10561344 CPUtime=1.98 cores=0,2,4,6 /proc/458/task/492/stat : 492 (java) S 456 458 28154 0 -1 4202560 1217 0 0 0 198 0 0 0 16 0 22 0 830807661 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=493] ppid=456 vsize=10561344 CPUtime=2.12 cores=0,2,4,6 /proc/458/task/493/stat : 493 (java) S 456 458 28154 0 -1 4202560 2252 0 0 0 212 0 0 0 15 0 22 0 830807661 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=494] ppid=456 vsize=10561344 CPUtime=2.04 cores=0,2,4,6 /proc/458/task/494/stat : 494 (java) S 456 458 28154 0 -1 4202560 976 0 0 0 204 0 0 0 16 0 22 0 830807661 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 0 0 0 0 [pid=458/tid=495] ppid=456 vsize=10561344 CPUtime=206.48 cores=0,2,4,6 /proc/458/task/495/stat : 495 (java) S 456 458 28154 0 -1 4202560 115866 0 0 0 20630 18 0 0 16 0 22 0 830807662 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 0 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=497] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/497/stat : 497 (java) S 456 458 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830807663 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=500] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/500/stat : 500 (java) S 456 458 28154 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 22 0 830807663 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=504] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/504/stat : 504 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830807666 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216470961 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=505] ppid=456 vsize=10561344 CPUtime=0.93 cores=0,2,4,6 /proc/458/task/505/stat : 505 (java) S 456 458 28154 0 -1 4202560 7633 0 0 0 92 1 0 0 15 0 22 0 830807666 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=509] ppid=456 vsize=10561344 CPUtime=1.12 cores=0,2,4,6 /proc/458/task/509/stat : 509 (java) S 456 458 28154 0 -1 4202560 5668 0 0 0 112 0 0 0 15 0 22 0 830807666 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=511] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/511/stat : 511 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830807666 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463257 0 4 0 16800975 18446604448013108160 0 0 -1 2 0 0 0 [pid=458/tid=512] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/512/stat : 512 (java) S 456 458 28154 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 830807666 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 6 0 0 0 [pid=458/tid=534] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/534/stat : 534 (java) S 456 458 28154 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830807846 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 [pid=458/tid=637] ppid=456 vsize=10561344 CPUtime=26.21 cores=0,2,4,6 /proc/458/task/637/stat : 637 (java) R 456 458 28154 0 -1 4202560 13 0 0 0 2621 0 0 0 19 0 22 0 830903904 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 46912505734383 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=458/tid=638] ppid=456 vsize=10561344 CPUtime=26.21 cores=0,2,4,6 /proc/458/task/638/stat : 638 (java) R 456 458 28154 0 -1 4202560 0 0 0 0 2621 0 0 0 18 0 22 0 830903904 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 46912506111205 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=458/tid=639] ppid=456 vsize=10561344 CPUtime=0 cores=0,2,4,6 /proc/458/task/639/stat : 639 (java) S 456 458 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830903905 10814816256 491864 33554432000 1073741824 1073778376 140734769285440 18446744073709551615 210216463872 0 4 0 16800975 18446604448013108160 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 10561344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1001.43 s] /proc/loadavg: 3.32 3.35 3.34 5/532 641 /proc/meminfo: memFree=23912064/32951124 swapFree=63649284/67111528 [pid=458] ppid=456 vsize=0 CPUtime=1800.39 cores=0,2,4,6 /proc/458/stat : 458 (java) Z 456 458 28154 0 -1 4203548 499034 0 1 0 179955 84 0 0 17 0 2 0 830807659 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/458/statm: 0 0 0 0 0 0 0 [pid=458/tid=638] ppid=456 vsize=0 CPUtime=26.31 cores=0,2,4,6 /proc/458/task/638/stat : 638 (java) R 456 458 28154 0 -1 4203588 0 0 0 0 2624 7 0 0 19 0 2 0 830903904 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1001.44 CPU time (s): 1800.42 CPU user time (s): 1799.55 CPU system time (s): 0.862868 CPU usage (%): 179.782 Max. virtual memory (cumulated for all children) (KiB): 10565728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.862868 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 499034 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= 35160 involuntary context switches= 18988 runsolver used 5.38118 second user time and 11.8162 second system time The end
Begin job on node130 at 2011-06-04 14:54:52 IDJOB=3455289 IDBENCH=2872 IDSOLVER=1950 FILE ID=node130/3455289-1307192092 RUNJOBID= node130-1307192092-435 PBS_JOBID= 13508832 Free space on /tmp= 73856 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455289-1307192092/watcher-3455289-1307192092 -o /tmp/evaluation-result-3455289-1307192092/solver-3455289-1307192092 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455289-1307192092.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fe2fc6a37df33476d3a38f976836359f RANDOM SEED=786564705 node130.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.838 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.67 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.81 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27147284 kB Buffers: 290788 kB Cached: 450840 kB SwapCached: 9700 kB Active: 5141244 kB Inactive: 380548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27147284 kB SwapTotal: 67111528 kB SwapFree: 63649284 kB Dirty: 816 kB Writeback: 0 kB AnonPages: 4778808 kB Mapped: 30692 kB Slab: 158436 kB PageTables: 53784 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145091200 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= 73856 MiB End job on node130 at 2011-06-04 15:11:35