Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 27 | 1800.34 | 999.019 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb |
MD5SUM | c19adaf233257cdd6134391794b23c65 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 3.2785 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3187 |
Total number of constraints | 8922 |
Number of constraints which are clauses | 8922 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 1527 |
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 | 1527 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1527 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.08 c version 2.3.1.v20110525 0.06/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.08 c java.vm.version 19.1-b02 0.06/0.08 c java.vm.vendor Sun Microsystems Inc. 0.06/0.08 c sun.arch.data.model 64 0.06/0.08 c java.version 1.6.0_24 0.06/0.08 c os.name Linux 0.06/0.08 c os.version 2.6.18-164.el5 0.06/0.08 c os.arch amd64 0.06/0.08 c Free memory 9996466904 0.06/0.08 c Max memory 10048897024 0.06/0.08 c Total memory 10048897024 0.06/0.08 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3454111-1307193562.opb 0.11/0.11 c reading problem ... 0.81/0.40 c ... done. Wall clock time 0.287s. 0.81/0.40 c #vars 3187 0.81/0.40 c #constraints 8922 0.81/0.40 c constraints type 0.81/0.40 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1668 0.81/0.40 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7161 0.81/0.40 c constraints type 0.81/0.40 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7161 0.81/0.40 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1668 0.81/0.45 c And the winner is Resolution 1.02/0.91 c SATISFIABLE 1.02/0.91 c OPTIMIZING... 1.02/0.91 c Got one! Elapsed wall clock time (in seconds):0.803 1.02/0.91 o 35 1.02/0.93 c And the winner is Resolution 1.16/1.43 c Got one! Elapsed wall clock time (in seconds):1.317 1.16/1.43 o 34 1.43/1.53 c And the winner is Resolution 1.80/1.95 c Got one! Elapsed wall clock time (in seconds):1.84 1.80/1.95 o 32 1.99/2.09 c And the winner is Resolution 2.28/2.46 c Got one! Elapsed wall clock time (in seconds):2.35 2.28/2.46 o 30 4.39/3.41 c And the winner is Resolution 4.39/3.47 c Got one! Elapsed wall clock time (in seconds):3.359 4.39/3.47 o 29 4.76/3.66 c cleaning 3105 clauses out of 6216 with flag 1000/6216 7.25/4.86 c cleaning 4552 clauses out of 9111 with flag 7000/12216 10.24/6.38 c cleaning 5775 clauses out of 11559 with flag 14000/19216 13.62/8.01 c cleaning 6886 clauses out of 13784 with flag 22000/27216 17.09/9.75 c cleaning 7946 clauses out of 15899 with flag 31001/36217 20.86/11.68 c cleaning 8971 clauses out of 17953 with flag 41001/46217 24.82/13.65 c cleaning 9486 clauses out of 18981 with flag 51000/56216 28.77/15.61 c cleaning 9739 clauses out of 19495 with flag 61000/66216 30.55/16.57 c And the winner is CuttingPlanes 30.68/17.02 c Got one! Elapsed wall clock time (in seconds):16.916 30.68/17.02 o 28 31.06/17.20 c cleaning 7441 clauses out of 14892 with flag 1000/71352 33.20/18.39 c cleaning 6718 clauses out of 13451 with flag 7000/77352 35.98/19.77 c cleaning 6863 clauses out of 13736 with flag 14003/84355 39.11/21.34 c cleaning 7425 clauses out of 14870 with flag 22000/92352 42.83/23.27 c cleaning 8218 clauses out of 16445 with flag 31000/101352 47.02/25.37 c cleaning 9108 clauses out of 18228 with flag 41001/111353 50.92/27.36 c cleaning 9556 clauses out of 19120 with flag 51001/121353 54.85/29.33 c cleaning 9779 clauses out of 19563 with flag 61000/131352 58.76/31.40 c cleaning 9888 clauses out of 19785 with flag 71001/141353 62.89/33.41 c cleaning 9943 clauses out of 19897 with flag 81001/151353 67.01/35.54 c cleaning 9967 clauses out of 19953 with flag 91000/161352 71.33/37.75 c cleaning 9985 clauses out of 19986 with flag 101000/171352 75.41/39.83 c cleaning 9990 clauses out of 20001 with flag 111000/181352 79.36/41.82 c cleaning 10001 clauses out of 20012 with flag 121001/191353 83.03/43.71 c cleaning 9999 clauses out of 20012 with flag 131002/201354 86.75/45.61 c cleaning 9995 clauses out of 20011 with flag 141000/211352 90.61/47.62 c cleaning 10001 clauses out of 20017 with flag 151001/221353 94.91/49.86 c cleaning 10002 clauses out of 20019 with flag 161004/231356 99.22/52.01 c cleaning 9999 clauses out of 20013 with flag 171000/241352 103.12/54.06 c cleaning 10000 clauses out of 20015 with flag 181001/251353 107.20/56.13 c cleaning 10004 clauses out of 20015 with flag 191001/261353 111.50/58.33 c cleaning 9997 clauses out of 20010 with flag 201000/271352 115.57/60.42 c cleaning 10001 clauses out of 20013 with flag 211000/281352 119.43/62.49 c cleaning 9999 clauses out of 20013 with flag 221001/291353 123.67/64.65 c cleaning 10002 clauses out of 20013 with flag 231000/301352 127.75/66.74 c cleaning 9999 clauses out of 20011 with flag 241000/311352 131.64/68.73 c cleaning 9992 clauses out of 20012 with flag 251000/321352 135.72/70.80 c cleaning 10005 clauses out of 20020 with flag 261000/331352 139.95/73.03 c cleaning 10002 clauses out of 20016 with flag 271001/341353 144.03/75.16 c cleaning 10001 clauses out of 20013 with flag 281000/351352 148.30/77.32 c cleaning 10003 clauses out of 20013 with flag 291001/361353 152.18/79.33 c cleaning 9990 clauses out of 20009 with flag 301000/371352 156.23/81.44 c cleaning 10003 clauses out of 20022 with flag 311003/381355 160.28/83.56 c cleaning 10002 clauses out of 20016 with flag 321000/391352 164.33/85.68 c cleaning 9998 clauses out of 20015 with flag 331001/401353 168.19/87.70 c cleaning 9999 clauses out of 20016 with flag 341000/411352 172.20/89.77 c cleaning 9993 clauses out of 20017 with flag 351000/421352 176.67/92.09 c cleaning 10001 clauses out of 20024 with flag 361000/431352 181.33/94.45 c cleaning 10007 clauses out of 20024 with flag 371001/441353 185.42/96.59 c cleaning 10003 clauses out of 20016 with flag 381000/451352 190.03/98.94 c cleaning 10004 clauses out of 20013 with flag 391000/461352 194.07/101.11 c cleaning 9997 clauses out of 20009 with flag 401000/471352 198.92/103.52 c cleaning 10000 clauses out of 20012 with flag 411000/481352 203.37/105.83 c cleaning 9995 clauses out of 20012 with flag 421000/491352 208.15/108.30 c cleaning 10002 clauses out of 20017 with flag 431000/501352 212.40/110.54 c cleaning 9996 clauses out of 20015 with flag 441000/511352 216.65/112.79 c cleaning 10002 clauses out of 20019 with flag 451000/521352 221.49/115.23 c cleaning 9996 clauses out of 20017 with flag 461000/531352 226.08/117.65 c cleaning 9995 clauses out of 20022 with flag 471001/541353 230.54/119.92 c cleaning 10008 clauses out of 20027 with flag 481001/551353 234.83/122.12 c cleaning 10000 clauses out of 20018 with flag 491000/561352 237.03/123.37 c And the winner is CuttingPlanes 237.17/123.84 c Got one! Elapsed wall clock time (in seconds):123.736 237.17/123.84 o 27 239.08/124.80 c cleaning 10160 clauses out of 20325 with flag 5002/571659 241.63/126.23 c cleaning 8072 clauses out of 16163 with flag 11000/577657 244.46/127.73 c cleaning 7537 clauses out of 15091 with flag 18000/584657 247.68/129.40 c cleaning 7770 clauses out of 15554 with flag 26000/592657 251.30/131.32 c cleaning 8383 clauses out of 16785 with flag 35001/601658 255.45/133.57 c cleaning 9197 clauses out of 18401 with flag 45000/611657 259.47/135.64 c cleaning 9588 clauses out of 19204 with flag 55000/621657 263.30/137.68 c cleaning 9798 clauses out of 19616 with flag 65000/631657 267.35/139.79 c cleaning 9908 clauses out of 19818 with flag 75000/641657 271.65/142.00 c cleaning 9951 clauses out of 19911 with flag 85001/651658 275.49/144.09 c cleaning 9972 clauses out of 19959 with flag 95000/661657 279.71/146.22 c cleaning 9989 clauses out of 19988 with flag 105001/671658 283.93/148.44 c cleaning 9994 clauses out of 19998 with flag 115000/681657 288.06/150.69 c cleaning 10001 clauses out of 20005 with flag 125001/691658 292.28/152.89 c cleaning 9997 clauses out of 20004 with flag 135001/701658 296.49/155.10 c cleaning 9999 clauses out of 20006 with flag 145000/711657 300.93/157.32 c cleaning 9998 clauses out of 20007 with flag 155000/721657 305.21/159.61 c cleaning 9998 clauses out of 20009 with flag 165000/731657 309.27/161.74 c cleaning 10001 clauses out of 20012 with flag 175001/741658 313.05/163.75 c cleaning 9998 clauses out of 20011 with flag 185001/751658 317.06/165.86 c cleaning 10004 clauses out of 20012 with flag 195000/761657 321.19/168.02 c cleaning 9996 clauses out of 20008 with flag 205000/771657 325.00/170.09 c cleaning 10003 clauses out of 20013 with flag 215001/781658 329.22/172.20 c cleaning 9996 clauses out of 20009 with flag 225000/791657 333.03/174.20 c cleaning 9996 clauses out of 20013 with flag 235000/801657 336.76/176.24 c cleaning 10001 clauses out of 20017 with flag 245000/811657 340.61/178.23 c cleaning 9993 clauses out of 20016 with flag 255000/821657 344.38/180.26 c cleaning 10004 clauses out of 20023 with flag 265000/831657 348.19/182.20 c cleaning 10003 clauses out of 20020 with flag 275001/841658 352.11/184.32 c cleaning 10007 clauses out of 20016 with flag 285000/851657 356.32/186.55 c cleaning 9988 clauses out of 20010 with flag 295001/861658 360.53/188.72 c cleaning 10005 clauses out of 20022 with flag 305001/871658 364.54/190.86 c cleaning 9998 clauses out of 20016 with flag 315000/881657 368.65/193.04 c cleaning 9986 clauses out of 20018 with flag 325000/891657 372.85/195.24 c cleaning 10010 clauses out of 20032 with flag 335000/901657 377.25/197.50 c cleaning 10004 clauses out of 20023 with flag 345001/911658 381.05/199.57 c cleaning 10003 clauses out of 20020 with flag 355002/921659 384.95/201.69 c cleaning 10000 clauses out of 20015 with flag 365000/931657 388.95/203.76 c cleaning 10000 clauses out of 20017 with flag 375002/941659 392.78/205.79 c cleaning 9998 clauses out of 20015 with flag 385000/951657 396.75/207.89 c cleaning 10005 clauses out of 20019 with flag 395002/961659 400.84/210.06 c cleaning 9998 clauses out of 20012 with flag 405000/971657 404.81/212.17 c cleaning 10003 clauses out of 20014 with flag 415000/981657 408.80/214.24 c cleaning 9990 clauses out of 20011 with flag 425000/991657 412.79/216.40 c cleaning 10004 clauses out of 20023 with flag 435002/1001659 417.08/218.65 c cleaning 10001 clauses out of 20017 with flag 445000/1011657 421.06/220.77 c cleaning 9999 clauses out of 20016 with flag 455000/1021657 425.05/222.89 c cleaning 9999 clauses out of 20017 with flag 465000/1031657 429.23/225.10 c cleaning 9998 clauses out of 20018 with flag 475000/1041657 433.32/227.26 c cleaning 10001 clauses out of 20020 with flag 485000/1051657 437.70/229.50 c cleaning 9998 clauses out of 20019 with flag 495000/1061657 441.68/231.69 c cleaning 9999 clauses out of 20021 with flag 505000/1071657 446.06/233.96 c cleaning 10007 clauses out of 20022 with flag 515000/1081657 450.53/236.36 c cleaning 10004 clauses out of 20015 with flag 525000/1091657 454.71/238.59 c cleaning 10002 clauses out of 20012 with flag 535001/1101658 459.11/240.87 c cleaning 9995 clauses out of 20009 with flag 545000/1111657 463.49/243.19 c cleaning 9997 clauses out of 20014 with flag 555000/1121657 467.93/245.53 c cleaning 9994 clauses out of 20017 with flag 565000/1131657 471.90/247.68 c cleaning 10001 clauses out of 20024 with flag 575001/1141658 476.07/249.83 c cleaning 10005 clauses out of 20023 with flag 585001/1151658 480.08/251.97 c cleaning 10002 clauses out of 20017 with flag 595000/1161657 484.30/254.26 c cleaning 10001 clauses out of 20016 with flag 605001/1171658 488.45/256.48 c cleaning 10002 clauses out of 20016 with flag 615002/1181659 492.23/258.50 c cleaning 9996 clauses out of 20012 with flag 625000/1191657 496.59/260.74 c cleaning 10001 clauses out of 20017 with flag 635001/1201658 501.18/263.21 c cleaning 10001 clauses out of 20016 with flag 645001/1211658 504.93/265.26 c cleaning 10004 clauses out of 20019 with flag 655005/1221662 508.69/267.29 c cleaning 9996 clauses out of 20010 with flag 665000/1231657 512.41/269.28 c cleaning 10002 clauses out of 20014 with flag 675000/1241657 516.62/271.51 c cleaning 10001 clauses out of 20013 with flag 685001/1251658 520.56/273.68 c cleaning 10002 clauses out of 20011 with flag 695000/1261657 524.88/275.90 c cleaning 9997 clauses out of 20009 with flag 705000/1271657 529.01/278.16 c cleaning 9995 clauses out of 20012 with flag 715000/1281657 533.24/280.46 c cleaning 10006 clauses out of 20018 with flag 725001/1291658 537.58/282.74 c cleaning 9999 clauses out of 20011 with flag 735000/1301657 541.86/285.00 c cleaning 9991 clauses out of 20012 with flag 745000/1311657 546.18/287.34 c cleaning 9998 clauses out of 20021 with flag 755000/1321657 550.57/289.71 c cleaning 9995 clauses out of 20023 with flag 765000/1331657 554.69/291.98 c cleaning 10005 clauses out of 20028 with flag 775000/1341657 559.00/294.23 c cleaning 10005 clauses out of 20024 with flag 785001/1351658 563.31/296.51 c cleaning 10001 clauses out of 20018 with flag 795000/1361657 567.48/298.86 c cleaning 10002 clauses out of 20017 with flag 805000/1371657 571.59/301.03 c cleaning 9998 clauses out of 20017 with flag 815002/1381659 575.69/303.30 c cleaning 9998 clauses out of 20017 with flag 825000/1391657 580.18/305.61 c cleaning 10000 clauses out of 20019 with flag 835000/1401657 584.36/307.99 c cleaning 9994 clauses out of 20019 with flag 845000/1411657 588.67/310.24 c cleaning 10003 clauses out of 20025 with flag 855000/1421657 592.76/312.48 c cleaning 9995 clauses out of 20022 with flag 865000/1431657 596.85/314.65 c cleaning 10005 clauses out of 20030 with flag 875003/1441660 600.96/316.93 c cleaning 10009 clauses out of 20023 with flag 885001/1451658 605.04/319.19 c cleaning 9997 clauses out of 20013 with flag 895000/1461657 609.33/321.40 c cleaning 10003 clauses out of 20016 with flag 905000/1471657 613.41/323.60 c cleaning 9999 clauses out of 20013 with flag 915000/1481657 617.73/326.04 c cleaning 9999 clauses out of 20016 with flag 925002/1491659 622.61/328.63 c cleaning 9996 clauses out of 20015 with flag 935000/1501657 627.09/331.09 c cleaning 10005 clauses out of 20021 with flag 945002/1511659 631.53/333.40 c cleaning 10002 clauses out of 20017 with flag 955003/1521660 636.02/335.90 c cleaning 9996 clauses out of 20012 with flag 965000/1531657 640.67/338.42 c cleaning 9997 clauses out of 20016 with flag 975000/1541657 645.55/341.08 c cleaning 10005 clauses out of 20023 with flag 985004/1551661 650.36/343.63 c cleaning 9993 clauses out of 20014 with flag 995000/1561657 655.24/346.32 c cleaning 10001 clauses out of 20022 with flag 1005001/1571658 659.88/348.86 c cleaning 10003 clauses out of 20020 with flag 1015000/1581657 664.32/351.25 c cleaning 10003 clauses out of 20017 with flag 1025000/1591657 668.75/353.67 c cleaning 10000 clauses out of 20015 with flag 1035001/1601658 673.23/356.13 c cleaning 10001 clauses out of 20014 with flag 1045000/1611657 677.69/358.55 c cleaning 9997 clauses out of 20014 with flag 1055001/1621658 682.09/360.94 c cleaning 10000 clauses out of 20017 with flag 1065001/1631658 686.32/363.22 c cleaning 10004 clauses out of 20016 with flag 1075000/1641657 690.78/365.78 c cleaning 9999 clauses out of 20013 with flag 1085001/1651658 695.41/368.23 c cleaning 9999 clauses out of 20014 with flag 1095001/1661658 699.87/370.67 c cleaning 10003 clauses out of 20014 with flag 1105000/1671657 704.27/373.08 c cleaning 9999 clauses out of 20011 with flag 1115000/1681657 708.73/375.57 c cleaning 10001 clauses out of 20012 with flag 1125000/1691657 713.18/377.91 c cleaning 9996 clauses out of 20011 with flag 1135000/1701657 717.61/380.38 c cleaning 9999 clauses out of 20017 with flag 1145002/1711659 721.83/382.68 c cleaning 9998 clauses out of 20017 with flag 1155001/1721658 726.47/385.23 c cleaning 10003 clauses out of 20018 with flag 1165000/1731657 730.68/387.59 c cleaning 9995 clauses out of 20015 with flag 1175000/1741657 735.48/390.11 c cleaning 10005 clauses out of 20021 with flag 1185001/1751658 740.32/392.77 c cleaning 9999 clauses out of 20016 with flag 1195001/1761658 745.11/395.46 c cleaning 9998 clauses out of 20016 with flag 1205000/1771657 749.71/397.98 c cleaning 9998 clauses out of 20018 with flag 1215000/1781657 754.35/400.47 c cleaning 10005 clauses out of 20021 with flag 1225001/1791658 758.71/402.84 c cleaning 9999 clauses out of 20015 with flag 1235000/1801657 763.32/405.43 c cleaning 10000 clauses out of 20019 with flag 1245003/1811660 767.92/407.91 c cleaning 9998 clauses out of 20017 with flag 1255001/1821658 772.34/410.35 c cleaning 9992 clauses out of 20018 with flag 1265000/1831657 776.90/412.85 c cleaning 10003 clauses out of 20026 with flag 1275000/1841657 781.53/415.46 c cleaning 10004 clauses out of 20023 with flag 1285000/1851657 786.51/418.11 c cleaning 9999 clauses out of 20020 with flag 1295001/1861658 791.29/420.70 c cleaning 10001 clauses out of 20021 with flag 1305001/1871658 796.07/423.34 c cleaning 10003 clauses out of 20022 with flag 1315003/1881660 800.86/426.01 c cleaning 10001 clauses out of 20017 with flag 1325001/1891658 805.03/428.36 c cleaning 9994 clauses out of 20016 with flag 1335001/1901658 809.41/430.72 c cleaning 10000 clauses out of 20022 with flag 1345001/1911658 813.78/433.15 c cleaning 9999 clauses out of 20021 with flag 1355000/1921657 818.76/435.92 c cleaning 10005 clauses out of 20023 with flag 1365001/1931658 823.13/438.32 c cleaning 9999 clauses out of 20017 with flag 1375000/1941657 827.30/440.62 c cleaning 10004 clauses out of 20018 with flag 1385000/1951657 831.66/443.09 c cleaning 9997 clauses out of 20014 with flag 1395000/1961657 836.44/445.75 c cleaning 10005 clauses out of 20019 with flag 1405002/1971659 841.00/448.26 c cleaning 10001 clauses out of 20012 with flag 1415000/1981657 845.75/450.87 c cleaning 9994 clauses out of 20011 with flag 1425000/1991657 850.50/453.48 c cleaning 10003 clauses out of 20018 with flag 1435001/2001658 856.09/456.55 c cleaning 9999 clauses out of 20015 with flag 1445001/2011658 861.00/459.23 c cleaning 9995 clauses out of 20015 with flag 1455000/2021657 865.54/461.74 c cleaning 10005 clauses out of 20021 with flag 1465001/2031658 870.13/464.27 c cleaning 9998 clauses out of 20015 with flag 1475000/2041657 874.83/466.90 c cleaning 10004 clauses out of 20017 with flag 1485000/2051657 879.37/469.41 c cleaning 10002 clauses out of 20015 with flag 1495002/2061659 883.72/471.88 c cleaning 9998 clauses out of 20011 with flag 1505000/2071657 888.23/474.36 c cleaning 10002 clauses out of 20013 with flag 1515000/2081657 893.15/477.16 c cleaning 10000 clauses out of 20012 with flag 1525001/2091658 898.08/479.82 c cleaning 9997 clauses out of 20011 with flag 1535000/2101657 903.00/482.58 c cleaning 9999 clauses out of 20015 with flag 1545001/2111658 908.32/485.42 c cleaning 10002 clauses out of 20016 with flag 1555001/2121658 913.22/488.22 c cleaning 9994 clauses out of 20016 with flag 1565003/2131660 917.94/490.83 c cleaning 9999 clauses out of 20019 with flag 1575000/2141657 922.65/493.48 c cleaning 10000 clauses out of 20021 with flag 1585001/2151658 927.16/496.00 c cleaning 10001 clauses out of 20021 with flag 1595001/2161658 932.06/498.76 c cleaning 9996 clauses out of 20019 with flag 1605000/2171657 936.76/501.39 c cleaning 10003 clauses out of 20023 with flag 1615000/2181657 941.30/503.85 c cleaning 10005 clauses out of 20020 with flag 1625000/2191657 945.97/506.41 c cleaning 10000 clauses out of 20015 with flag 1635000/2201657 950.87/509.31 c cleaning 9998 clauses out of 20015 with flag 1645000/2211657 955.74/511.98 c cleaning 10000 clauses out of 20018 with flag 1655001/2221658 960.64/514.66 c cleaning 9998 clauses out of 20017 with flag 1665000/2231657 965.53/517.32 c cleaning 9998 clauses out of 20019 with flag 1675000/2241657 970.62/520.31 c cleaning 10001 clauses out of 20022 with flag 1685001/2251658 975.69/523.03 c cleaning 10000 clauses out of 20020 with flag 1695000/2261657 980.60/525.78 c cleaning 10000 clauses out of 20021 with flag 1705001/2271658 985.67/528.53 c cleaning 10000 clauses out of 20021 with flag 1715001/2281658 990.73/531.44 c cleaning 9998 clauses out of 20020 with flag 1725000/2291657 995.81/534.22 c cleaning 9999 clauses out of 20022 with flag 1735000/2301657 1000.89/537.06 c cleaning 10003 clauses out of 20026 with flag 1745003/2311660 1005.97/539.87 c cleaning 10005 clauses out of 20023 with flag 1755003/2321660 1011.23/542.82 c cleaning 10003 clauses out of 20016 with flag 1765001/2331658 1015.70/545.39 c cleaning 9998 clauses out of 20012 with flag 1775000/2341657 1020.37/547.93 c cleaning 10003 clauses out of 20015 with flag 1785001/2351658 1025.04/550.50 c cleaning 10000 clauses out of 20011 with flag 1795000/2361657 1030.09/553.47 c cleaning 9994 clauses out of 20012 with flag 1805001/2371658 1035.15/556.20 c cleaning 10001 clauses out of 20017 with flag 1815000/2381657 1039.84/558.85 c cleaning 10000 clauses out of 20017 with flag 1825001/2391658 1044.67/561.53 c cleaning 10004 clauses out of 20019 with flag 1835003/2401660 1049.69/564.48 c cleaning 9997 clauses out of 20012 with flag 1845000/2411657 1054.74/567.24 c cleaning 9991 clauses out of 20015 with flag 1855000/2421657 1059.59/569.97 c cleaning 10008 clauses out of 20025 with flag 1865001/2431658 1064.45/572.61 c cleaning 9994 clauses out of 20016 with flag 1875000/2441657 1069.26/575.48 c cleaning 10000 clauses out of 20022 with flag 1885000/2451657 1074.11/578.12 c cleaning 9999 clauses out of 20022 with flag 1895000/2461657 1078.78/580.75 c cleaning 10003 clauses out of 20023 with flag 1905000/2471657 1083.40/583.38 c cleaning 10003 clauses out of 20021 with flag 1915001/2481658 1088.25/586.18 c cleaning 10003 clauses out of 20018 with flag 1925001/2491658 1092.89/588.79 c cleaning 10001 clauses out of 20015 with flag 1935001/2501658 1097.74/591.41 c cleaning 10000 clauses out of 20014 with flag 1945001/2511658 1102.57/594.12 c cleaning 9997 clauses out of 20013 with flag 1955000/2521657 1107.55/597.04 c cleaning 10004 clauses out of 20016 with flag 1965000/2531657 1112.17/599.69 c cleaning 9998 clauses out of 20012 with flag 1975000/2541657 1117.00/602.34 c cleaning 9997 clauses out of 20015 with flag 1985001/2551658 1121.65/604.99 c cleaning 10001 clauses out of 20017 with flag 1995000/2561657 1126.80/607.93 c cleaning 10002 clauses out of 20016 with flag 2005000/2571657 1131.46/610.56 c cleaning 9993 clauses out of 20014 with flag 2015000/2581657 1136.04/613.11 c cleaning 10007 clauses out of 20022 with flag 2025001/2591658 1140.45/615.64 c cleaning 9999 clauses out of 20014 with flag 2035000/2601657 1145.23/618.48 c cleaning 9998 clauses out of 20016 with flag 2045001/2611658 1149.84/621.07 c cleaning 10003 clauses out of 20018 with flag 2055001/2621658 1154.69/623.73 c cleaning 10004 clauses out of 20014 with flag 2065000/2631657 1160.05/626.73 c cleaning 9998 clauses out of 20010 with flag 2075000/2641657 1165.00/629.61 c cleaning 9999 clauses out of 20012 with flag 2085000/2651657 1169.39/632.12 c cleaning 9999 clauses out of 20014 with flag 2095001/2661658 1173.80/634.64 c cleaning 10001 clauses out of 20015 with flag 2105001/2671658 1178.37/637.20 c cleaning 9994 clauses out of 20013 with flag 2115000/2681657 1182.90/639.93 c cleaning 10004 clauses out of 20020 with flag 2125001/2691658 1187.69/642.63 c cleaning 9998 clauses out of 20016 with flag 2135001/2701658 1192.27/645.25 c cleaning 9999 clauses out of 20017 with flag 2145000/2711657 1196.65/647.77 c cleaning 9997 clauses out of 20018 with flag 2155000/2721657 1201.37/650.52 c cleaning 10004 clauses out of 20021 with flag 2165000/2731657 1205.74/653.08 c cleaning 10000 clauses out of 20017 with flag 2175000/2741657 1210.35/655.65 c cleaning 10003 clauses out of 20017 with flag 2185000/2751657 1214.89/658.21 c cleaning 9996 clauses out of 20014 with flag 2195000/2761657 1219.62/661.10 c cleaning 10001 clauses out of 20018 with flag 2205000/2771657 1224.17/663.65 c cleaning 10003 clauses out of 20017 with flag 2215000/2781657 1228.54/666.12 c cleaning 10002 clauses out of 20014 with flag 2225000/2791657 1233.13/668.74 c cleaning 9996 clauses out of 20012 with flag 2235000/2801657 1237.99/671.61 c cleaning 10003 clauses out of 20018 with flag 2245002/2811659 1242.58/674.26 c cleaning 10001 clauses out of 20014 with flag 2255001/2821658 1247.52/677.03 c cleaning 9998 clauses out of 20012 with flag 2265000/2831657 1251.87/679.57 c cleaning 10002 clauses out of 20018 with flag 2275004/2841661 1256.55/682.39 c cleaning 9998 clauses out of 20013 with flag 2285001/2851658 1261.29/685.04 c cleaning 10000 clauses out of 20014 with flag 2295000/2861657 1266.05/687.73 c cleaning 9998 clauses out of 20014 with flag 2305000/2871657 1270.60/690.33 c cleaning 10001 clauses out of 20016 with flag 2315000/2881657 1275.46/693.29 c cleaning 10003 clauses out of 20015 with flag 2325000/2891657 1280.40/696.04 c cleaning 9993 clauses out of 20012 with flag 2335000/2901657 1285.12/698.78 c cleaning 9997 clauses out of 20019 with flag 2345000/2911657 1290.05/701.54 c cleaning 10008 clauses out of 20024 with flag 2355002/2921659 1295.29/704.64 c cleaning 10001 clauses out of 20014 with flag 2365000/2931657 1300.41/707.50 c cleaning 9999 clauses out of 20013 with flag 2375000/2941657 1305.14/710.27 c cleaning 10001 clauses out of 20015 with flag 2385001/2951658 1310.05/713.07 c cleaning 9993 clauses out of 20013 with flag 2395000/2961657 1315.33/716.14 c cleaning 10001 clauses out of 20021 with flag 2405001/2971658 1320.21/718.93 c cleaning 10002 clauses out of 20022 with flag 2415003/2981660 1325.12/721.75 c cleaning 9997 clauses out of 20017 with flag 2425000/2991657 1330.04/724.53 c cleaning 9996 clauses out of 20020 with flag 2435000/3001657 1335.66/727.83 c cleaning 10001 clauses out of 20024 with flag 2445000/3011657 1341.17/730.90 c cleaning 10004 clauses out of 20023 with flag 2455000/3021657 1346.50/733.94 c cleaning 10004 clauses out of 20021 with flag 2465002/3031659 1351.82/736.95 c cleaning 10003 clauses out of 20015 with flag 2475000/3041657 1357.20/740.15 c cleaning 9999 clauses out of 20013 with flag 2485001/3051658 1362.51/743.13 c cleaning 9995 clauses out of 20013 with flag 2495000/3061657 1367.61/746.06 c cleaning 9996 clauses out of 20018 with flag 2505000/3071657 1372.93/749.02 c cleaning 10002 clauses out of 20023 with flag 2515001/3081658 1378.52/752.39 c cleaning 10001 clauses out of 20020 with flag 2525000/3091657 1383.60/755.26 c cleaning 9998 clauses out of 20019 with flag 2535000/3101657 1388.88/758.27 c cleaning 9999 clauses out of 20021 with flag 2545000/3111657 1394.20/761.25 c cleaning 10000 clauses out of 20022 with flag 2555000/3121657 1399.79/764.55 c cleaning 10006 clauses out of 20022 with flag 2565000/3131657 1405.05/767.50 c cleaning 9998 clauses out of 20016 with flag 2575000/3141657 1410.14/770.42 c cleaning 9996 clauses out of 20018 with flag 2585000/3151657 1415.42/773.45 c cleaning 10004 clauses out of 20023 with flag 2595001/3161658 1421.20/776.83 c cleaning 10004 clauses out of 20019 with flag 2605001/3171658 1426.50/779.88 c cleaning 9995 clauses out of 20014 with flag 2615000/3181657 1432.16/783.09 c cleaning 10001 clauses out of 20021 with flag 2625002/3191659 1437.84/786.28 c cleaning 9995 clauses out of 20018 with flag 2635000/3201657 1443.42/789.56 c cleaning 10006 clauses out of 20023 with flag 2645000/3211657 1448.70/792.51 c cleaning 9997 clauses out of 20017 with flag 2655000/3221657 1453.19/795.16 c cleaning 9998 clauses out of 20021 with flag 2665001/3231658 1458.06/797.95 c cleaning 9995 clauses out of 20022 with flag 2675000/3241657 1463.02/800.93 c cleaning 10007 clauses out of 20027 with flag 2685000/3251657 1467.69/803.68 c cleaning 10004 clauses out of 20020 with flag 2695000/3261657 1472.39/806.38 c cleaning 10004 clauses out of 20017 with flag 2705001/3271658 1477.02/809.05 c cleaning 9996 clauses out of 20012 with flag 2715000/3281657 1482.37/812.21 c cleaning 9999 clauses out of 20017 with flag 2725001/3291658 1487.03/815.01 c cleaning 10000 clauses out of 20017 with flag 2735000/3301657 1492.29/817.91 c cleaning 9998 clauses out of 20018 with flag 2745001/3311658 1497.15/820.74 c cleaning 10005 clauses out of 20019 with flag 2755000/3321657 1502.52/824.00 c cleaning 9993 clauses out of 20014 with flag 2765000/3331657 1507.35/826.76 c cleaning 9999 clauses out of 20021 with flag 2775000/3341657 1512.40/829.62 c cleaning 10002 clauses out of 20022 with flag 2785000/3351657 1517.07/832.36 c cleaning 10002 clauses out of 20021 with flag 2795001/3361658 1522.21/835.42 c cleaning 10002 clauses out of 20020 with flag 2805002/3371659 1527.27/838.31 c cleaning 9997 clauses out of 20016 with flag 2815000/3381657 1532.13/841.13 c cleaning 10001 clauses out of 20020 with flag 2825001/3391658 1536.79/843.89 c cleaning 10001 clauses out of 20019 with flag 2835001/3401658 1541.94/847.01 c cleaning 9994 clauses out of 20017 with flag 2845000/3411657 1546.97/849.83 c cleaning 10004 clauses out of 20023 with flag 2855000/3421657 1551.82/852.69 c cleaning 9999 clauses out of 20019 with flag 2865000/3431657 1556.87/855.52 c cleaning 10001 clauses out of 20021 with flag 2875001/3441658 1561.79/858.59 c cleaning 9992 clauses out of 20019 with flag 2885000/3451657 1566.67/861.39 c cleaning 10002 clauses out of 20027 with flag 2895000/3461657 1571.49/864.11 c cleaning 9994 clauses out of 20025 with flag 2905000/3471657 1576.17/866.84 c cleaning 10000 clauses out of 20031 with flag 2915000/3481657 1581.25/869.99 c cleaning 10006 clauses out of 20032 with flag 2925001/3491658 1586.08/872.80 c cleaning 9996 clauses out of 20025 with flag 2935000/3501657 1591.16/875.65 c cleaning 10006 clauses out of 20029 with flag 2945000/3511657 1595.76/878.37 c cleaning 10001 clauses out of 20023 with flag 2955000/3521657 1600.86/881.44 c cleaning 9994 clauses out of 20022 with flag 2965000/3531657 1605.70/884.22 c cleaning 10004 clauses out of 20028 with flag 2975000/3541657 1610.32/886.97 c cleaning 10000 clauses out of 20024 with flag 2985000/3551657 1615.16/889.70 c cleaning 10001 clauses out of 20024 with flag 2995000/3561657 1620.45/892.94 c cleaning 10000 clauses out of 20024 with flag 3005001/3571658 1624.89/895.55 c cleaning 10006 clauses out of 20024 with flag 3015001/3581658 1630.12/898.51 c cleaning 10000 clauses out of 20018 with flag 3025001/3591658 1634.95/901.37 c cleaning 9998 clauses out of 20017 with flag 3035000/3601657 1640.05/904.49 c cleaning 10003 clauses out of 20020 with flag 3045001/3611658 1645.08/907.33 c cleaning 10002 clauses out of 20017 with flag 3055001/3621658 1650.31/910.32 c cleaning 9995 clauses out of 20014 with flag 3065000/3631657 1655.54/913.35 c cleaning 10002 clauses out of 20020 with flag 3075001/3641658 1660.62/916.48 c cleaning 10002 clauses out of 20019 with flag 3085002/3651659 1665.45/919.26 c cleaning 10001 clauses out of 20017 with flag 3095002/3661659 1670.48/922.16 c cleaning 10004 clauses out of 20015 with flag 3105001/3671658 1675.10/924.80 c cleaning 9992 clauses out of 20010 with flag 3115000/3681657 1679.99/927.89 c cleaning 10004 clauses out of 20019 with flag 3125001/3691658 1685.01/930.70 c cleaning 9997 clauses out of 20014 with flag 3135000/3701657 1689.83/933.51 c cleaning 10001 clauses out of 20017 with flag 3145000/3711657 1694.65/936.34 c cleaning 9998 clauses out of 20016 with flag 3155000/3721657 1699.76/939.45 c cleaning 9997 clauses out of 20018 with flag 3165000/3731657 1704.73/942.38 c cleaning 10004 clauses out of 20022 with flag 3175001/3741658 1709.55/945.12 c cleaning 10007 clauses out of 20018 with flag 3185001/3751658 1713.96/947.74 c cleaning 10001 clauses out of 20011 with flag 3195001/3761658 1718.83/950.70 c cleaning 9993 clauses out of 20009 with flag 3205000/3771657 1723.24/953.37 c cleaning 10002 clauses out of 20017 with flag 3215001/3781658 1727.87/956.01 c cleaning 10001 clauses out of 20014 with flag 3225000/3791657 1732.48/958.79 c cleaning 9998 clauses out of 20013 with flag 3235000/3801657 1737.54/961.86 c cleaning 10004 clauses out of 20015 with flag 3245000/3811657 1742.38/964.64 c cleaning 9998 clauses out of 20011 with flag 3255000/3821657 1746.96/967.35 c cleaning 10001 clauses out of 20013 with flag 3265000/3831657 1751.56/970.03 c cleaning 9997 clauses out of 20012 with flag 3275000/3841657 1756.60/973.13 c cleaning 9997 clauses out of 20015 with flag 3285000/3851657 1761.61/976.03 c cleaning 9999 clauses out of 20020 with flag 3295002/3861659 1766.62/978.96 c cleaning 9999 clauses out of 20019 with flag 3305000/3871657 1771.78/981.91 c cleaning 10005 clauses out of 20021 with flag 3315001/3881658 1777.02/985.15 c cleaning 9999 clauses out of 20015 with flag 3325000/3891657 1782.00/988.07 c cleaning 9993 clauses out of 20016 with flag 3335000/3901657 1786.99/991.00 c cleaning 10003 clauses out of 20024 with flag 3345001/3911658 1792.15/993.94 c cleaning 10002 clauses out of 20020 with flag 3355000/3921657 1797.58/997.23 c cleaning 10000 clauses out of 20019 with flag 3365001/3931658 1800.17/998.92 c starts : 28 1800.17/998.92 c conflicts : 4575 1800.17/998.92 c decisions : 146790 1800.17/998.92 c propagations : 994291 1800.17/998.92 c inspects : 65605567 1800.17/998.92 c shortcuts : 0 1800.17/998.92 c learnt literals : 0 1800.17/998.92 c learnt binary clauses : 0 1800.17/998.92 c learnt ternary clauses : 0 1800.17/998.92 c learnt constraints : 4573 1800.17/998.92 c ignored constraints : 0 1800.17/998.92 c root simplifications : 0 1800.17/998.92 c removed literals (reason simplification) : 0 1800.17/998.92 c reason swapping (by a shorter reason) : 0 1800.17/998.92 c Calls to reduceDB : 0 1800.17/998.92 c number of reductions to clauses (during analyze) : 0 1800.17/998.92 c number of learned constraints concerned by reduction : 0 1800.17/998.92 c number of learning phase by resolution : 0 1800.17/998.92 c number of learning phase by cutting planes : 0 1800.17/998.92 c speed (assignments/second) : 1136.2325829612707 1800.17/998.92 c non guided choices 0 1800.17/998.93 c learnt constraints type 1800.17/998.93 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 54 1800.17/998.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 171 1800.17/998.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4348 1800.17/998.93 c constraints type 1800.17/998.93 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1668 1800.17/998.93 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.17/998.93 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7161 1800.17/998.93 c constraints type 1800.17/998.93 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7161 1800.17/998.93 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1668 1800.17/998.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.17/998.93 s SATISFIABLE 1800.17/998.94 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 x133 x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 x871 x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 x3064 x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 x3160 x3161 -x3162 -x3163 -x3164 -x3165 x3166 x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 x3178 x3179 x3180 x3181 -x3182 -x3183 x3184 x3185 x3186 x3187 1800.17/998.94 c objective function=27 1800.17/998.94 c Total wall clock time (in seconds): 998.83
OK 27
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-3454111-1307193562/watcher-3454111-1307193562 -o /tmp/evaluation-result-3454111-1307193562/solver-3454111-1307193562 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454111-1307193562.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.83 3.93 3.83 2/506 23255 /proc/meminfo: memFree=21244520/32951124 swapFree=46575304/67111528 [pid=23255] ppid=23253 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 3650 0 1 0 0 0 0 0 22 0 2 0 563547448 10694979584 3351 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/23255/statm: 2611079 3365 917 9 0 2602235 0 [pid=23255/tid=23256] ppid=23253 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23256/stat : 23256 (java) R 23253 23255 17058 0 -1 4202560 6980 0 1 0 0 0 0 0 24 0 2 0 563547448 10694979584 7796 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 1 0 0 0 [startup+0.0751041 s] /proc/loadavg: 3.83 3.93 3.83 2/506 23255 /proc/meminfo: memFree=21244520/32951124 swapFree=46575304/67111528 [pid=23255] ppid=23253 vsize=10473088 CPUtime=0.06 cores=1,3,5,7 /proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 11954 0 1 0 5 1 0 0 22 0 18 0 563547448 10724442112 11650 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/23255/statm: 2618272 11650 1755 9 0 2609006 0 [pid=23255/tid=23256] ppid=23253 vsize=10473088 CPUtime=0.06 cores=1,3,5,7 /proc/23255/task/23256/stat : 23256 (java) R 23253 23255 17058 0 -1 4202560 10779 0 1 0 5 1 0 0 25 0 18 0 563547448 10724442112 11651 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 47870409641059 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10473088 [startup+0.101102 s] /proc/loadavg: 3.83 3.93 3.83 2/506 23255 /proc/meminfo: memFree=21244520/32951124 swapFree=46575304/67111528 [pid=23255] ppid=23253 vsize=10539784 CPUtime=0.11 cores=1,3,5,7 /proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 13085 0 1 0 9 2 0 0 22 0 18 0 563547448 10792738816 12780 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/23255/statm: 2634946 12780 2093 9 0 2625680 0 [pid=23255/tid=23256] ppid=23253 vsize=10539784 CPUtime=0.08 cores=1,3,5,7 /proc/23255/task/23256/stat : 23256 (java) R 23253 23255 17058 0 -1 4202560 11151 0 1 0 7 1 0 0 18 0 18 0 563547448 10792738816 12781 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 47870408684597 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10539784 [startup+0.30139 s] /proc/loadavg: 3.83 3.93 3.83 2/506 23255 /proc/meminfo: memFree=21244520/32951124 swapFree=46575304/67111528 [pid=23255] ppid=23253 vsize=10540580 CPUtime=0.51 cores=1,3,5,7 /proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 16614 0 1 0 49 2 0 0 22 0 18 0 563547448 10793553920 15731 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/23255/statm: 2635145 15732 2202 9 0 2625879 0 [pid=23255/tid=23256] ppid=23253 vsize=10540580 CPUtime=0.28 cores=1,3,5,7 /proc/23255/task/23256/stat : 23256 (java) R 23253 23255 17058 0 -1 4202560 13361 0 1 0 27 1 0 0 18 0 18 0 563547448 10793553920 15733 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912505565861 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 10540580 [startup+0.701004 s] /proc/loadavg: 3.83 3.93 3.83 2/506 23255 /proc/meminfo: memFree=21244520/32951124 swapFree=46575304/67111528 [pid=23255] ppid=23253 vsize=10550692 CPUtime=1.02 cores=1,3,5,7 /proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 24169 0 1 0 98 4 0 0 22 0 19 0 563547448 10803908608 21792 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/23255/statm: 2637673 21792 2231 9 0 2628407 0 [pid=23255/tid=23256] ppid=23253 vsize=10550692 CPUtime=0.38 cores=1,3,5,7 /proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 16958 0 1 0 36 2 0 0 19 0 19 0 563547448 10803908608 21792 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.02 Current children cumulated vsize (KiB) 10550692 [startup+1.50082 s] /proc/loadavg: 3.83 3.93 3.83 3/528 23288 /proc/meminfo: memFree=21158828/32951124 swapFree=46575304/67111528 [pid=23255] ppid=23253 vsize=10550692 CPUtime=1.43 cores=1,3,5,7 /proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 25168 0 1 0 139 4 0 0 22 0 22 0 563547448 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/23255/statm: 2637673 22533 2238 9 0 2628407 0 [pid=23255/tid=23256] ppid=23253 vsize=10550692 CPUtime=0.41 cores=1,3,5,7 /proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17270 0 1 0 39 2 0 0 17 0 22 0 563547448 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23258] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23259] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23260] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23262] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23263] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23265] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23266] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23267] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23268] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 563547451 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23269] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 563547451 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23270] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563547451 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23271] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23272] ppid=23253 vsize=10550692 CPUtime=0.38 cores=1,3,5,7 /proc/23255/task/23272/stat : 23272 (java) R 23253 23255 17058 0 -1 4202560 2903 0 0 0 38 0 0 0 16 0 22 0 563547453 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 47870404025456 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=23255/tid=23273] ppid=23253 vsize=10550692 CPUtime=0.35 cores=1,3,5,7 /proc/23255/task/23273/stat : 23273 (java) R 23253 23255 17058 0 -1 4202560 3247 0 0 0 35 0 0 0 16 0 22 0 563547453 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 47870408176450 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=23255/tid=23274] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23274/stat : 23274 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23275] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23275/stat : 23275 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563547453 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23278] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23278/stat : 23278 (java) S 23253 23255 17058 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 563547490 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 10550692 [startup+3.10153 s] /proc/loadavg: 3.83 3.93 3.83 5/529 23297 /proc/meminfo: memFree=20882780/32951124 swapFree=46575304/67111528 [pid=23255] ppid=23253 vsize=10552760 CPUtime=3.79 cores=1,3,5,7 /proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 48659 0 1 0 372 7 0 0 22 0 22 0 563547448 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/23255/statm: 2638190 44620 2243 9 0 2628924 0 [pid=23255/tid=23256] ppid=23253 vsize=10552760 CPUtime=0.43 cores=1,3,5,7 /proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17556 0 1 0 40 3 0 0 15 0 22 0 563547448 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23258] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23259] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23260] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23262] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23263] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23265] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23266] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23267] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23268] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23269] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 563547451 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23270] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563547451 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23271] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23272] ppid=23253 vsize=10552760 CPUtime=0.72 cores=1,3,5,7 /proc/23255/task/23272/stat : 23272 (java) S 23253 23255 17058 0 -1 4202560 5692 0 0 0 71 1 0 0 15 0 22 0 563547453 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23273] ppid=23253 vsize=10552760 CPUtime=0.68 cores=1,3,5,7 /proc/23255/task/23273/stat : 23273 (java) S 23253 23255 17058 0 -1 4202560 3952 0 0 0 68 0 0 0 15 0 22 0 563547453 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23274] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23274/stat : 23274 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23275] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23275/stat : 23275 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563547453 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23278] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23278/stat : 23278 (java) S 23253 23255 17058 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 563547490 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.79 Current children cumulated vsize (KiB) 10552760 [startup+6.30097 s] /proc/loadavg: 3.68 3.90 3.82 5/531 23303 /proc/meminfo: memFree=19298812/32951124 swapFree=46575304/67111528 [pid=23255] ppid=23253 vsize=10552760 CPUtime=10.24 cores=1,3,5,7 /proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 242233 0 1 0 997 27 0 0 22 0 22 0 563547448 10806026240 238175 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/23255/statm: 2638190 238185 2268 9 0 2628924 0 [pid=23255/tid=23256] ppid=23253 vsize=10552760 CPUtime=0.43 cores=1,3,5,7 /proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17699 0 1 0 40 3 0 0 15 0 22 0 563547448 10806026240 238187 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23258] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 207 0 0 0 0 0 0 0 16 0 22 0 563547450 10806026240 238188 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23259] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 169 0 0 0 0 0 0 0 16 0 22 0 563547450 10806026240 238194 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23260] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 22 0 563547450 10806026240 238200 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23262] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563547450 10806026240 238200 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23263] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 22 0 563547450 10806026240 238205 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23265] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 441 0 0 0 0 0 0 0 18 0 22 0 563547450 10806026240 238212 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23266] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 395 0 0 0 0 0 0 0 18 0 22 0 563547450 10806026240 238212 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23267] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 557 0 0 0 0 0 0 0 18 0 22 0 563547450 10806026240 238216 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23268] ppid=23253 vsize=10552760 CPUtime=0.05 cores=1,3,5,7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 1945 0 0 0 5 0 0 0 15 0 22 0 563547451 10806026240 238223 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23269] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 238225 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23270] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 238226 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23271] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 238233 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23272] ppid=23253 vsize=10552760 CPUtime=0.81 cores=1,3,5,7 /proc/23255/task/23272/stat : 23272 (java) S 23253 23255 17058 0 -1 4202560 5696 0 0 0 80 1 0 0 15 0 22 0 563547453 10806026240 238237 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23273] ppid=23253 vsize=10552760 CPUtime=0.82 cores=1,3,5,7 /proc/23255/task/23273/stat : 23273 (java) S 23253 23255 17058 0 -1 4202560 3961 0 0 0 82 0 0 0 16 0 22 0 563547453 10806026240 238237 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 ################ # More data... # ################ [pid=23255/tid=23316] ppid=23253 vsize=10552760 CPUtime=599.54 cores=1,3,5,7 /proc/23255/task/23316/stat : 23316 (java) R 23253 23255 17058 0 -1 4202560 51 0 0 0 59954 0 0 0 16 0 22 0 563559833 10806026240 494966 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912505789652 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=23255/tid=23317] ppid=23253 vsize=10552760 CPUtime=599.58 cores=1,3,5,7 /proc/23255/task/23317/stat : 23317 (java) R 23253 23255 17058 0 -1 4202560 14384 0 0 0 59957 1 0 0 15 0 22 0 563559833 10806026240 494966 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912506139106 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=23255/tid=23318] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23318/stat : 23318 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563559833 10806026240 494966 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 10552760 [startup+942.301 s] /proc/loadavg: 3.18 3.63 3.75 3/504 23370 /proc/meminfo: memFree=19391920/32951124 swapFree=46575304/67111528 [pid=23255] ppid=23253 vsize=10552760 CPUtime=1704.73 cores=1,3,5,7 /proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 502055 0 1 0 170410 63 0 0 22 0 22 0 563547448 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/23255/statm: 2638190 497498 2270 9 0 2628924 0 [pid=23255/tid=23256] ppid=23253 vsize=10552760 CPUtime=0.44 cores=1,3,5,7 /proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17920 0 1 0 41 3 0 0 15 0 22 0 563547448 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23258] ppid=23253 vsize=10552760 CPUtime=1.4 cores=1,3,5,7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 1361 0 0 0 139 1 0 0 15 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23259] ppid=23253 vsize=10552760 CPUtime=1.59 cores=1,3,5,7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 990 0 0 0 159 0 0 0 16 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23260] ppid=23253 vsize=10552760 CPUtime=1.36 cores=1,3,5,7 /proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 745 0 0 0 136 0 0 0 16 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23262] ppid=23253 vsize=10552760 CPUtime=1.48 cores=1,3,5,7 /proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 612 0 0 0 148 0 0 0 16 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23263] ppid=23253 vsize=10552760 CPUtime=1.43 cores=1,3,5,7 /proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 435 0 0 0 143 0 0 0 16 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23265] ppid=23253 vsize=10552760 CPUtime=1.41 cores=1,3,5,7 /proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 1394 0 0 0 141 0 0 0 15 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23266] ppid=23253 vsize=10552760 CPUtime=1.37 cores=1,3,5,7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 650 0 0 0 137 0 0 0 15 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23267] ppid=23253 vsize=10552760 CPUtime=1.36 cores=1,3,5,7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 1206 0 0 0 136 0 0 0 15 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23268] ppid=23253 vsize=10552760 CPUtime=180.23 cores=1,3,5,7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 107253 0 0 0 18011 12 0 0 15 0 22 0 563547451 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23269] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23270] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23271] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23272] ppid=23253 vsize=10552760 CPUtime=1.12 cores=1,3,5,7 /proc/23255/task/23272/stat : 23272 (java) S 23253 23255 17058 0 -1 4202560 5754 0 0 0 111 1 0 0 15 0 22 0 563547453 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23273] ppid=23253 vsize=10552760 CPUtime=0.87 cores=1,3,5,7 /proc/23255/task/23273/stat : 23273 (java) S 23253 23255 17058 0 -1 4202560 3961 0 0 0 87 0 0 0 15 0 22 0 563547453 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23274] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23274/stat : 23274 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23275] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23275/stat : 23275 (java) S 23253 23255 17058 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 563547453 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23303] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23303/stat : 23303 (java) S 23253 23255 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 563547795 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23316] ppid=23253 vsize=10552760 CPUtime=641.71 cores=1,3,5,7 /proc/23255/task/23316/stat : 23316 (java) R 23253 23255 17058 0 -1 4202560 71 0 0 0 64171 0 0 0 21 0 22 0 563559833 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912505877861 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=23255/tid=23317] ppid=23253 vsize=10552760 CPUtime=641.75 cores=1,3,5,7 /proc/23255/task/23317/stat : 23317 (java) R 23253 23255 17058 0 -1 4202560 14384 0 0 0 64174 1 0 0 21 0 22 0 563559833 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912506020407 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=23255/tid=23318] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23318/stat : 23318 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563559833 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1704.73 Current children cumulated vsize (KiB) 10552760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+998.901 s] /proc/loadavg: 2.32 3.30 3.62 3/504 23372 /proc/meminfo: memFree=19372184/32951124 swapFree=46575304/67111528 [pid=23255] ppid=23253 vsize=10552760 CPUtime=1800.17 cores=1,3,5,7 /proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 507070 0 1 0 179953 64 0 0 22 0 22 0 563547448 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/23255/statm: 2638190 502485 2270 9 0 2628924 0 [pid=23255/tid=23256] ppid=23253 vsize=10552760 CPUtime=0.44 cores=1,3,5,7 /proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17920 0 1 0 41 3 0 0 15 0 22 0 563547448 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23258] ppid=23253 vsize=10552760 CPUtime=1.49 cores=1,3,5,7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 1361 0 0 0 148 1 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23259] ppid=23253 vsize=10552760 CPUtime=1.73 cores=1,3,5,7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 992 0 0 0 173 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23260] ppid=23253 vsize=10552760 CPUtime=1.48 cores=1,3,5,7 /proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 746 0 0 0 148 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23262] ppid=23253 vsize=10552760 CPUtime=1.64 cores=1,3,5,7 /proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 620 0 0 0 164 0 0 0 15 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23263] ppid=23253 vsize=10552760 CPUtime=1.55 cores=1,3,5,7 /proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 441 0 0 0 155 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23265] ppid=23253 vsize=10552760 CPUtime=1.5 cores=1,3,5,7 /proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 1399 0 0 0 150 0 0 0 15 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23266] ppid=23253 vsize=10552760 CPUtime=1.46 cores=1,3,5,7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 651 0 0 0 146 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23267] ppid=23253 vsize=10552760 CPUtime=1.49 cores=1,3,5,7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 1209 0 0 0 148 1 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23268] ppid=23253 vsize=10552760 CPUtime=198.41 cores=1,3,5,7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 112218 0 0 0 19828 13 0 0 16 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23269] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23270] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23271] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23272] ppid=23253 vsize=10552760 CPUtime=1.12 cores=1,3,5,7 /proc/23255/task/23272/stat : 23272 (java) S 23253 23255 17058 0 -1 4202560 5754 0 0 0 111 1 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23273] ppid=23253 vsize=10552760 CPUtime=0.87 cores=1,3,5,7 /proc/23255/task/23273/stat : 23273 (java) S 23253 23255 17058 0 -1 4202560 3961 0 0 0 87 0 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23274] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23274/stat : 23274 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23275] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23275/stat : 23275 (java) S 23253 23255 17058 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23303] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23303/stat : 23303 (java) S 23253 23255 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 563547795 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23316] ppid=23253 vsize=10552760 CPUtime=679.87 cores=1,3,5,7 /proc/23255/task/23316/stat : 23316 (java) R 23253 23255 17058 0 -1 4202560 91 0 0 0 67987 0 0 0 18 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912505915167 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=23255/tid=23317] ppid=23253 vsize=10552760 CPUtime=679.91 cores=1,3,5,7 /proc/23255/task/23317/stat : 23317 (java) R 23253 23255 17058 0 -1 4202560 14384 0 0 0 67990 1 0 0 19 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912506143528 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=23255/tid=23318] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23318/stat : 23318 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 10552760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+998.901 s] /proc/loadavg: 2.32 3.30 3.62 3/504 23372 /proc/meminfo: memFree=19372184/32951124 swapFree=46575304/67111528 [pid=23255] ppid=23253 vsize=10552760 CPUtime=1800.17 cores=1,3,5,7 /proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 507070 0 1 0 179953 64 0 0 22 0 22 0 563547448 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/23255/statm: 2638190 502485 2270 9 0 2628924 0 [pid=23255/tid=23256] ppid=23253 vsize=10552760 CPUtime=0.44 cores=1,3,5,7 /proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17920 0 1 0 41 3 0 0 15 0 22 0 563547448 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23258] ppid=23253 vsize=10552760 CPUtime=1.49 cores=1,3,5,7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 1361 0 0 0 148 1 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 [pid=23255/tid=23259] ppid=23253 vsize=10552760 CPUtime=1.73 cores=1,3,5,7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 992 0 0 0 173 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23260] ppid=23253 vsize=10552760 CPUtime=1.48 cores=1,3,5,7 /proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 746 0 0 0 148 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23262] ppid=23253 vsize=10552760 CPUtime=1.64 cores=1,3,5,7 /proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 620 0 0 0 164 0 0 0 15 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23263] ppid=23253 vsize=10552760 CPUtime=1.55 cores=1,3,5,7 /proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 441 0 0 0 155 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23265] ppid=23253 vsize=10552760 CPUtime=1.5 cores=1,3,5,7 /proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 1399 0 0 0 150 0 0 0 15 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23266] ppid=23253 vsize=10552760 CPUtime=1.46 cores=1,3,5,7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 651 0 0 0 146 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23267] ppid=23253 vsize=10552760 CPUtime=1.49 cores=1,3,5,7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 1209 0 0 0 148 1 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23268] ppid=23253 vsize=10552760 CPUtime=198.41 cores=1,3,5,7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 112218 0 0 0 19828 13 0 0 16 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23269] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23270] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23271] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23272] ppid=23253 vsize=10552760 CPUtime=1.12 cores=1,3,5,7 /proc/23255/task/23272/stat : 23272 (java) S 23253 23255 17058 0 -1 4202560 5754 0 0 0 111 1 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0 [pid=23255/tid=23273] ppid=23253 vsize=10552760 CPUtime=0.87 cores=1,3,5,7 /proc/23255/task/23273/stat : 23273 (java) S 23253 23255 17058 0 -1 4202560 3961 0 0 0 87 0 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23274] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23274/stat : 23274 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23275] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23275/stat : 23275 (java) S 23253 23255 17058 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0 [pid=23255/tid=23303] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23303/stat : 23303 (java) S 23253 23255 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 563547795 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0 [pid=23255/tid=23316] ppid=23253 vsize=10552760 CPUtime=679.87 cores=1,3,5,7 /proc/23255/task/23316/stat : 23316 (java) R 23253 23255 17058 0 -1 4202560 91 0 0 0 67987 0 0 0 18 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912505915167 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=23255/tid=23317] ppid=23253 vsize=10552760 CPUtime=679.91 cores=1,3,5,7 /proc/23255/task/23317/stat : 23317 (java) R 23253 23255 17058 0 -1 4202560 14384 0 0 0 67990 1 0 0 19 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912506143528 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=23255/tid=23318] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7 /proc/23255/task/23318/stat : 23318 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 10552760 Child status: 143 Real time (s): 999.019 CPU time (s): 1800.34 CPU user time (s): 1799.62 CPU system time (s): 0.716891 CPU usage (%): 180.21 Max. virtual memory (cumulated for all children) (KiB): 10552760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.716891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 507100 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= 34047 involuntary context switches= 20420 runsolver used 4.96324 second user time and 11.4653 second system time The end
Begin job on node107 at 2011-06-04 15:19:22 IDJOB=3454111 IDBENCH=24997 IDSOLVER=1950 FILE ID=node107/3454111-1307193562 RUNJOBID= node107-1307192650-22987 PBS_JOBID= 13508844 Free space on /tmp= 73884 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454111-1307193562/watcher-3454111-1307193562 -o /tmp/evaluation-result-3454111-1307193562/solver-3454111-1307193562 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454111-1307193562.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c19adaf233257cdd6134391794b23c65 RANDOM SEED=166252499 node107.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.829 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.65 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.67 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.74 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.829 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 : 5359.47 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.829 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21244800 kB Buffers: 340436 kB Cached: 2178120 kB SwapCached: 22548 kB Active: 9319104 kB Inactive: 2035704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21244800 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 1396 kB Writeback: 0 kB AnonPages: 8830900 kB Mapped: 40848 kB Slab: 187788 kB PageTables: 95240 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 155459736 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= 73884 MiB End job on node107 at 2011-06-04 15:36:03