Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 58635 | 1800.59 | 957.551 |
| Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb |
| MD5SUM | 457d573eb873a5d33dddcaaf7d992dd1 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 57391 |
| Best CPU time to get the best result obtained on this benchmark | 1800.5 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 3945 |
| Total number of constraints | 8604 |
| Number of constraints which are clauses | 8604 |
| 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 | 59 |
| Number of terms in the objective function | 1872 |
| Biggest coefficient in the objective function | 2110 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 3036193 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 2110 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 3036193 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3736349-1338716756.opb 0.10/0.12 c reading problem ... 0.51/0.38 c ... done. Wall clock time 0.262s. 0.51/0.38 c #vars 3945 0.51/0.38 c #constraints 8582 0.51/0.38 c constraints type 0.51/0.38 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071 0.51/0.38 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6506 0.51/0.38 c constraints type 0.51/0.38 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506 0.51/0.38 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071 0.82/0.46 c And the winner is Resolution 1.09/0.89 c SATISFIABLE 1.09/0.89 c OPTIMIZING... 1.09/0.89 c Got one! Elapsed wall clock time (in seconds):0.771 1.09/0.89 o 70191 1.11/0.94 c And the winner is Resolution 1.98/1.42 c Got one! Elapsed wall clock time (in seconds):1.301 1.98/1.42 o 68889 1.98/1.44 c And the winner is Resolution 2.14/1.93 c Got one! Elapsed wall clock time (in seconds):1.812 2.14/1.93 o 67587 2.14/1.94 c And the winner is Resolution 2.31/2.44 c Got one! Elapsed wall clock time (in seconds):2.322 2.31/2.44 o 66285 2.31/2.45 c And the winner is Resolution 2.36/2.95 c Got one! Elapsed wall clock time (in seconds):2.829 2.36/2.95 o 64983 2.36/2.96 c And the winner is Resolution 2.40/3.45 c Got one! Elapsed wall clock time (in seconds):3.337 2.40/3.45 o 63681 4.98/4.67 c cleaning 2560 clauses out of 5130 with flag 5000/5130 7.44/5.83 c And the winner is CuttingPlanes 7.60/5.96 c Got one! Elapsed wall clock time (in seconds):5.845 7.60/5.96 o 62399 7.96/6.19 c cleaning 4246 clauses out of 8493 with flag 1000/11053 10.99/7.65 c cleaning 5110 clauses out of 10247 with flag 7000/17053 14.17/9.27 c cleaning 6065 clauses out of 12138 with flag 14001/24054 16.44/10.36 c And the winner is Resolution 16.58/10.47 c Got one! Elapsed wall clock time (in seconds):10.352 16.58/10.47 o 62329 16.66/10.58 c cleaning 5797 clauses out of 11614 with flag 1000/29595 19.04/11.79 c cleaning 5893 clauses out of 11817 with flag 7000/35595 22.05/13.30 c cleaning 6459 clauses out of 12924 with flag 14000/42595 25.81/15.16 c cleaning 7226 clauses out of 14465 with flag 22000/50595 30.80/17.61 c cleaning 8110 clauses out of 16239 with flag 31000/59595 35.21/19.89 c cleaning 9053 clauses out of 18129 with flag 41000/69595 39.59/22.09 c cleaning 9532 clauses out of 19077 with flag 51001/79596 44.75/24.61 c cleaning 9766 clauses out of 19544 with flag 61000/89595 49.31/26.97 c cleaning 9883 clauses out of 19778 with flag 71000/99595 53.86/29.27 c cleaning 9942 clauses out of 19895 with flag 81000/109595 58.67/31.67 c cleaning 9966 clauses out of 19953 with flag 91000/119595 63.43/34.00 c cleaning 9984 clauses out of 19987 with flag 101000/129595 63.97/34.32 c And the winner is CuttingPlanes 64.04/34.58 c Got one! Elapsed wall clock time (in seconds):34.459 64.04/34.58 o 61329 64.07/34.65 c And the winner is CuttingPlanes 64.20/35.08 c Got one! Elapsed wall clock time (in seconds):34.965 64.20/35.08 o 61123 65.83/35.97 c cleaning 7727 clauses out of 15470 with flag 4000/135062 68.58/37.39 c cleaning 6865 clauses out of 13743 with flag 10000/141062 71.73/38.99 c cleaning 6930 clauses out of 13879 with flag 17001/148063 75.69/40.96 c cleaning 7469 clauses out of 14948 with flag 25000/156062 79.84/43.09 c cleaning 8232 clauses out of 16479 with flag 34000/165062 84.78/45.54 c cleaning 9117 clauses out of 18248 with flag 44001/175063 88.93/47.67 c cleaning 9559 clauses out of 19131 with flag 54001/185063 93.68/50.00 c cleaning 9779 clauses out of 19572 with flag 64001/195063 98.41/52.50 c cleaning 9892 clauses out of 19792 with flag 74000/205062 103.59/55.06 c cleaning 9945 clauses out of 19900 with flag 84000/215062 108.53/57.53 c cleaning 9970 clauses out of 19955 with flag 94000/225062 113.07/59.85 c cleaning 9990 clauses out of 19986 with flag 104001/235063 118.01/62.33 c cleaning 9996 clauses out of 19995 with flag 114000/245062 122.76/64.72 c cleaning 9991 clauses out of 19999 with flag 124000/255062 126.90/66.83 c cleaning 10003 clauses out of 20013 with flag 134005/265067 131.45/69.16 c cleaning 9999 clauses out of 20005 with flag 144000/275062 136.18/71.59 c cleaning 9989 clauses out of 20006 with flag 154000/285062 137.91/72.48 c And the winner is CuttingPlanes 138.09/72.67 c Got one! Elapsed wall clock time (in seconds):72.549 138.09/72.67 o 59847 138.95/73.10 c cleaning 7707 clauses out of 15420 with flag 2000/290465 141.69/74.59 c cleaning 6845 clauses out of 13715 with flag 8002/296467 145.03/76.30 c cleaning 6929 clauses out of 13868 with flag 15000/303465 148.94/78.29 c cleaning 7465 clauses out of 14940 with flag 23001/311466 153.28/80.44 c cleaning 8223 clauses out of 16475 with flag 32001/320466 158.19/82.90 c cleaning 9120 clauses out of 18251 with flag 42000/330465 162.74/85.28 c cleaning 9556 clauses out of 19131 with flag 52000/340465 167.43/87.66 c cleaning 9787 clauses out of 19578 with flag 62003/350468 172.44/90.14 c cleaning 9878 clauses out of 19790 with flag 72002/360467 177.37/92.63 c cleaning 9950 clauses out of 19911 with flag 82001/370466 182.10/95.08 c cleaning 9974 clauses out of 19960 with flag 92000/380465 187.18/97.65 c cleaning 9986 clauses out of 19986 with flag 102000/390465 192.50/100.37 c cleaning 9990 clauses out of 20000 with flag 112000/400465 197.62/102.90 c cleaning 10001 clauses out of 20011 with flag 122001/410466 201.93/105.14 c cleaning 9999 clauses out of 20009 with flag 132000/420465 206.60/107.53 c cleaning 9996 clauses out of 20010 with flag 142000/430465 211.74/110.12 c cleaning 9998 clauses out of 20014 with flag 152000/440465 216.86/112.72 c cleaning 9996 clauses out of 20016 with flag 162000/450465 221.96/115.34 c cleaning 10006 clauses out of 20020 with flag 172000/460465 226.85/117.82 c cleaning 9998 clauses out of 20014 with flag 182000/470465 232.15/120.57 c cleaning 9998 clauses out of 20016 with flag 192000/480465 237.27/123.12 c cleaning 10001 clauses out of 20018 with flag 202000/490465 241.79/125.42 c cleaning 10002 clauses out of 20018 with flag 212001/500466 246.65/127.98 c cleaning 9998 clauses out of 20016 with flag 222001/510466 251.55/130.44 c cleaning 9996 clauses out of 20017 with flag 232000/520465 255.45/132.42 c cleaning 10002 clauses out of 20022 with flag 242001/530466 259.35/134.42 c cleaning 10002 clauses out of 20020 with flag 252001/540466 263.60/136.63 c cleaning 10001 clauses out of 20018 with flag 262001/550466 266.12/137.97 c And the winner is CuttingPlanes 266.28/138.32 c Got one! Elapsed wall clock time (in seconds):138.203 266.28/138.32 o 59685 268.62/139.52 c cleaning 10223 clauses out of 20460 with flag 5000/560909 271.51/141.06 c cleaning 8118 clauses out of 16239 with flag 11002/566911 275.01/142.83 c cleaning 7554 clauses out of 15120 with flag 18001/573910 278.65/144.77 c cleaning 7781 clauses out of 15565 with flag 26000/581909 283.35/147.13 c cleaning 8379 clauses out of 16785 with flag 35001/590910 288.65/149.81 c cleaning 9199 clauses out of 18406 with flag 45001/600910 293.55/152.30 c cleaning 9600 clauses out of 19207 with flag 55001/610910 298.17/154.74 c cleaning 9795 clauses out of 19606 with flag 65000/620909 303.06/157.27 c cleaning 9903 clauses out of 19811 with flag 75000/630909 305.94/158.73 c And the winner is CuttingPlanes 306.03/158.99 c Got one! Elapsed wall clock time (in seconds):158.872 306.03/158.99 o 58751 308.23/160.16 c cleaning 10291 clauses out of 20594 with flag 5000/641595 311.10/161.65 c cleaning 8144 clauses out of 16304 with flag 11001/647596 314.53/163.43 c cleaning 7571 clauses out of 15159 with flag 18000/654595 318.41/165.47 c cleaning 7779 clauses out of 15588 with flag 26000/662595 322.69/167.67 c cleaning 8400 clauses out of 16810 with flag 35001/671596 327.58/170.14 c cleaning 9191 clauses out of 18410 with flag 45001/681596 332.82/172.81 c cleaning 9601 clauses out of 19218 with flag 55000/691595 337.88/175.42 c cleaning 9804 clauses out of 19617 with flag 65000/701595 342.97/178.06 c cleaning 9904 clauses out of 19814 with flag 75001/711596 344.45/178.85 c And the winner is CuttingPlanes 344.57/179.21 c Got one! Elapsed wall clock time (in seconds):179.093 344.57/179.21 o 58635 345.74/179.89 c cleaning 7916 clauses out of 15846 with flag 3000/717532 348.76/181.48 c cleaning 6958 clauses out of 13930 with flag 9000/723532 352.24/183.29 c cleaning 6976 clauses out of 13972 with flag 16000/730532 355.91/185.19 c cleaning 7491 clauses out of 14996 with flag 24000/738532 360.38/187.41 c cleaning 8251 clauses out of 16505 with flag 33000/747532 365.17/189.94 c cleaning 9124 clauses out of 18254 with flag 43000/757532 370.25/192.60 c cleaning 9555 clauses out of 19130 with flag 53000/767532 375.30/195.17 c cleaning 9781 clauses out of 19575 with flag 63000/777532 380.56/197.88 c cleaning 9884 clauses out of 19794 with flag 73000/787532 385.36/200.35 c cleaning 9950 clauses out of 19910 with flag 83000/797532 390.02/202.72 c cleaning 9976 clauses out of 19961 with flag 93001/807533 394.88/205.26 c cleaning 9985 clauses out of 19984 with flag 103000/817532 399.94/207.82 c cleaning 9980 clauses out of 19999 with flag 113000/827532 404.92/210.42 c cleaning 9993 clauses out of 20019 with flag 123000/837532 409.18/212.65 c cleaning 10007 clauses out of 20026 with flag 133000/847532 414.04/215.19 c cleaning 10004 clauses out of 20022 with flag 143003/857535 418.90/217.67 c cleaning 9998 clauses out of 20015 with flag 153000/867532 423.48/220.04 c cleaning 9995 clauses out of 20017 with flag 163000/877532 427.94/222.32 c cleaning 10008 clauses out of 20023 with flag 173001/887533 432.58/224.75 c cleaning 9996 clauses out of 20014 with flag 183000/897532 437.44/227.29 c cleaning 10004 clauses out of 20019 with flag 193001/907533 442.00/229.68 c cleaning 10001 clauses out of 20014 with flag 203000/917532 446.64/232.02 c cleaning 9998 clauses out of 20015 with flag 213002/927534 451.11/234.37 c cleaning 10001 clauses out of 20017 with flag 223002/937534 455.34/236.52 c cleaning 10000 clauses out of 20015 with flag 233001/947533 459.27/238.61 c cleaning 10003 clauses out of 20015 with flag 243001/957533 462.92/240.56 c cleaning 10002 clauses out of 20013 with flag 253002/967534 467.17/242.74 c cleaning 9998 clauses out of 20010 with flag 263001/977533 472.23/245.32 c cleaning 9994 clauses out of 20011 with flag 273000/987532 477.37/248.03 c cleaning 10002 clauses out of 20017 with flag 283000/997532 482.42/250.61 c cleaning 9985 clauses out of 20015 with flag 293000/1007532 487.28/253.10 c cleaning 10005 clauses out of 20030 with flag 303000/1017532 492.30/255.74 c cleaning 10005 clauses out of 20026 with flag 313001/1027533 497.05/258.25 c cleaning 10004 clauses out of 20021 with flag 323001/1037533 501.69/260.66 c cleaning 10000 clauses out of 20016 with flag 333000/1047532 506.72/263.22 c cleaning 10002 clauses out of 20017 with flag 343001/1057533 511.34/265.61 c cleaning 9998 clauses out of 20014 with flag 353000/1067532 515.87/268.02 c cleaning 10001 clauses out of 20017 with flag 363001/1077533 520.08/270.29 c cleaning 10000 clauses out of 20015 with flag 373000/1087532 524.70/272.61 c cleaning 9992 clauses out of 20015 with flag 383000/1097532 529.33/275.08 c cleaning 10004 clauses out of 20023 with flag 393000/1107532 534.24/277.64 c cleaning 10005 clauses out of 20019 with flag 403000/1117532 538.86/280.07 c cleaning 9992 clauses out of 20015 with flag 413001/1127533 543.66/282.52 c cleaning 10002 clauses out of 20022 with flag 423000/1137532 548.28/284.92 c cleaning 9999 clauses out of 20020 with flag 433000/1147532 553.17/287.55 c cleaning 9993 clauses out of 20021 with flag 443000/1157532 557.80/289.97 c cleaning 10007 clauses out of 20028 with flag 453000/1167532 562.40/292.31 c cleaning 10002 clauses out of 20021 with flag 463000/1177532 566.80/294.67 c cleaning 10000 clauses out of 20019 with flag 473000/1187532 571.69/297.24 c cleaning 10004 clauses out of 20020 with flag 483001/1197533 576.50/299.71 c cleaning 10006 clauses out of 20015 with flag 493000/1207532 581.49/302.33 c cleaning 9996 clauses out of 20010 with flag 503001/1217533 586.68/305.02 c cleaning 10000 clauses out of 20013 with flag 513000/1227532 591.96/307.80 c cleaning 10000 clauses out of 20013 with flag 523000/1237532 596.77/310.33 c cleaning 9998 clauses out of 20014 with flag 533001/1247533 601.76/312.91 c cleaning 9994 clauses out of 20015 with flag 543000/1257532 606.76/315.50 c cleaning 10003 clauses out of 20021 with flag 553000/1267532 611.63/318.15 c cleaning 10004 clauses out of 20018 with flag 563000/1277532 616.83/320.80 c cleaning 9989 clauses out of 20014 with flag 573000/1287532 621.81/323.44 c cleaning 10003 clauses out of 20025 with flag 583000/1297532 626.77/326.05 c cleaning 10003 clauses out of 20022 with flag 593000/1307532 632.03/328.81 c cleaning 10001 clauses out of 20021 with flag 603002/1317534 637.40/331.64 c cleaning 10009 clauses out of 20019 with flag 613001/1327533 642.58/334.33 c cleaning 9993 clauses out of 20009 with flag 623000/1337532 647.76/337.05 c cleaning 10000 clauses out of 20016 with flag 633000/1347532 652.79/339.79 c cleaning 10000 clauses out of 20020 with flag 643004/1357536 657.77/342.31 c cleaning 10000 clauses out of 20016 with flag 653000/1367532 662.55/344.89 c cleaning 9999 clauses out of 20016 with flag 663000/1377532 667.74/347.58 c cleaning 10003 clauses out of 20019 with flag 673002/1387534 672.37/350.10 c cleaning 9996 clauses out of 20014 with flag 683000/1397532 676.94/352.42 c cleaning 10002 clauses out of 20018 with flag 693000/1407532 681.10/354.69 c cleaning 9999 clauses out of 20017 with flag 703001/1417533 685.66/357.08 c cleaning 10002 clauses out of 20017 with flag 713000/1427532 690.29/359.57 c cleaning 9997 clauses out of 20016 with flag 723001/1437533 695.46/362.21 c cleaning 10004 clauses out of 20018 with flag 733000/1447532 700.63/364.90 c cleaning 10003 clauses out of 20014 with flag 743000/1457532 705.42/367.46 c cleaning 10000 clauses out of 20012 with flag 753001/1467533 710.64/370.27 c cleaning 9997 clauses out of 20011 with flag 763000/1477532 715.81/372.94 c cleaning 10000 clauses out of 20014 with flag 773000/1487532 720.77/375.53 c cleaning 9997 clauses out of 20014 with flag 783000/1497532 724.93/377.74 c cleaning 10000 clauses out of 20017 with flag 793000/1507532 729.38/380.12 c cleaning 10002 clauses out of 20017 with flag 803000/1517532 733.55/382.33 c cleaning 9998 clauses out of 20015 with flag 813000/1527532 737.70/384.50 c cleaning 10003 clauses out of 20017 with flag 823000/1537532 741.86/386.72 c cleaning 9996 clauses out of 20014 with flag 833000/1547532 746.08/389.09 c cleaning 9999 clauses out of 20019 with flag 843001/1557533 750.44/391.33 c cleaning 9995 clauses out of 20019 with flag 853000/1567532 754.80/393.62 c cleaning 10004 clauses out of 20024 with flag 863000/1577532 758.95/395.86 c cleaning 9993 clauses out of 20020 with flag 873000/1587532 763.58/398.34 c cleaning 10008 clauses out of 20027 with flag 883000/1597532 768.72/401.00 c cleaning 10005 clauses out of 20020 with flag 893001/1607533 773.48/403.59 c cleaning 10005 clauses out of 20018 with flag 903004/1617536 778.43/406.13 c cleaning 10000 clauses out of 20011 with flag 913002/1627534 783.44/408.87 c cleaning 9995 clauses out of 20010 with flag 923001/1637533 788.61/411.58 c cleaning 9998 clauses out of 20015 with flag 933001/1647533 793.95/414.31 c cleaning 10002 clauses out of 20016 with flag 943000/1657532 798.91/417.00 c cleaning 10001 clauses out of 20015 with flag 953001/1667533 804.70/420.02 c cleaning 10001 clauses out of 20014 with flag 963001/1677533 809.65/422.68 c cleaning 10000 clauses out of 20012 with flag 973000/1687532 814.01/424.91 c cleaning 9995 clauses out of 20012 with flag 983000/1697532 817.77/426.96 c cleaning 9998 clauses out of 20017 with flag 993000/1707532 821.96/429.22 c cleaning 10000 clauses out of 20020 with flag 1003001/1717533 825.91/431.31 c cleaning 10001 clauses out of 20019 with flag 1013000/1727532 830.65/433.80 c cleaning 9996 clauses out of 20018 with flag 1023000/1737532 835.40/436.33 c cleaning 10002 clauses out of 20022 with flag 1033000/1747532 840.22/438.99 c cleaning 10005 clauses out of 20025 with flag 1043005/1757537 845.55/441.72 c cleaning 9992 clauses out of 20015 with flag 1053000/1767532 850.48/444.31 c cleaning 9999 clauses out of 20024 with flag 1063001/1777533 855.42/446.99 c cleaning 10002 clauses out of 20025 with flag 1073001/1787533 860.42/449.67 c cleaning 10004 clauses out of 20023 with flag 1083001/1797533 865.37/452.24 c cleaning 10001 clauses out of 20018 with flag 1093000/1807532 870.11/454.75 c cleaning 9996 clauses out of 20018 with flag 1103001/1817533 874.84/457.22 c cleaning 10006 clauses out of 20021 with flag 1113000/1827532 879.84/459.91 c cleaning 10003 clauses out of 20019 with flag 1123004/1837536 884.56/462.42 c cleaning 9995 clauses out of 20012 with flag 1133000/1847532 889.50/465.04 c cleaning 10004 clauses out of 20018 with flag 1143001/1857533 894.24/467.55 c cleaning 9995 clauses out of 20013 with flag 1153000/1867532 899.20/470.21 c cleaning 10002 clauses out of 20018 with flag 1163000/1877532 903.93/472.78 c cleaning 9998 clauses out of 20017 with flag 1173001/1887533 908.68/475.21 c cleaning 10004 clauses out of 20019 with flag 1183001/1897533 913.21/477.65 c cleaning 10001 clauses out of 20015 with flag 1193001/1907533 918.20/480.30 c cleaning 9999 clauses out of 20015 with flag 1203002/1917534 922.75/482.77 c cleaning 9995 clauses out of 20014 with flag 1213000/1927532 927.49/485.25 c cleaning 10001 clauses out of 20020 with flag 1223001/1937533 932.42/487.81 c cleaning 10000 clauses out of 20020 with flag 1233002/1947534 937.40/490.58 c cleaning 9994 clauses out of 20018 with flag 1243000/1957532 942.34/493.15 c cleaning 9998 clauses out of 20024 with flag 1253000/1967532 947.26/495.75 c cleaning 10010 clauses out of 20029 with flag 1263003/1977535 952.42/498.42 c cleaning 10003 clauses out of 20017 with flag 1273001/1987533 957.59/501.22 c cleaning 10001 clauses out of 20015 with flag 1283002/1997534 962.55/503.83 c cleaning 9999 clauses out of 20012 with flag 1293000/2007532 967.47/506.45 c cleaning 9996 clauses out of 20013 with flag 1303000/2017532 972.41/509.04 c cleaning 10001 clauses out of 20017 with flag 1313000/2027532 977.59/511.83 c cleaning 10001 clauses out of 20017 with flag 1323001/2037533 982.71/514.59 c cleaning 10006 clauses out of 20019 with flag 1333004/2047536 988.05/517.37 c cleaning 9997 clauses out of 20009 with flag 1343000/2057532 992.97/519.96 c cleaning 10000 clauses out of 20012 with flag 1353000/2067532 997.95/522.69 c cleaning 10001 clauses out of 20012 with flag 1363000/2077532 1003.26/525.42 c cleaning 9998 clauses out of 20011 with flag 1373000/2087532 1008.38/528.12 c cleaning 9999 clauses out of 20013 with flag 1383000/2097532 1012.31/530.28 c cleaning 9988 clauses out of 20014 with flag 1393000/2107532 1016.66/532.65 c cleaning 10008 clauses out of 20027 with flag 1403001/2117533 1021.19/535.06 c cleaning 9999 clauses out of 20018 with flag 1413000/2127532 1026.11/537.64 c cleaning 9999 clauses out of 20019 with flag 1423000/2137532 1031.42/540.43 c cleaning 10004 clauses out of 20023 with flag 1433003/2147535 1036.77/543.34 c cleaning 9992 clauses out of 20016 with flag 1443000/2157532 1041.89/546.07 c cleaning 10000 clauses out of 20024 with flag 1453000/2167532 1046.81/548.67 c cleaning 10000 clauses out of 20024 with flag 1463000/2177532 1051.93/551.31 c cleaning 10009 clauses out of 20024 with flag 1473000/2187532 1057.48/554.30 c cleaning 9998 clauses out of 20017 with flag 1483002/2197534 1062.59/557.03 c cleaning 10005 clauses out of 20019 with flag 1493002/2207534 1068.33/560.06 c cleaning 9997 clauses out of 20012 with flag 1503000/2217532 1073.63/562.86 c cleaning 9989 clauses out of 20015 with flag 1513000/2227532 1079.78/566.12 c cleaning 10007 clauses out of 20027 with flag 1523001/2237533 1084.11/568.44 c cleaning 10002 clauses out of 20019 with flag 1533000/2247532 1088.41/570.74 c cleaning 10001 clauses out of 20017 with flag 1543000/2257532 1092.94/573.16 c cleaning 10000 clauses out of 20017 with flag 1553001/2267533 1097.67/575.72 c cleaning 10002 clauses out of 20017 with flag 1563001/2277533 1102.17/578.11 c cleaning 10002 clauses out of 20016 with flag 1573002/2287534 1106.46/580.49 c cleaning 9997 clauses out of 20013 with flag 1583001/2297533 1110.96/582.88 c cleaning 9997 clauses out of 20015 with flag 1593000/2307532 1115.51/585.39 c cleaning 10003 clauses out of 20020 with flag 1603002/2317534 1120.01/587.79 c cleaning 10001 clauses out of 20016 with flag 1613001/2327533 1124.71/590.23 c cleaning 10002 clauses out of 20015 with flag 1623001/2337533 1129.82/592.92 c cleaning 10000 clauses out of 20012 with flag 1633000/2347532 1134.74/595.67 c cleaning 9998 clauses out of 20012 with flag 1643000/2357532 1139.65/598.22 c cleaning 9998 clauses out of 20015 with flag 1653001/2367533 1144.36/600.77 c cleaning 9995 clauses out of 20016 with flag 1663000/2377532 1149.05/603.29 c cleaning 10000 clauses out of 20021 with flag 1673000/2387532 1154.18/606.07 c cleaning 9990 clauses out of 20021 with flag 1683000/2397532 1159.27/608.74 c cleaning 10008 clauses out of 20031 with flag 1693000/2407532 1164.56/611.51 c cleaning 10006 clauses out of 20027 with flag 1703004/2417536 1169.46/614.14 c cleaning 10001 clauses out of 20018 with flag 1713001/2427533 1174.58/616.93 c cleaning 10000 clauses out of 20018 with flag 1723002/2437534 1179.67/619.60 c cleaning 9998 clauses out of 20016 with flag 1733000/2447532 1184.96/622.44 c cleaning 9997 clauses out of 20018 with flag 1743000/2457532 1190.05/625.10 c cleaning 10003 clauses out of 20021 with flag 1753000/2467532 1195.17/627.90 c cleaning 10000 clauses out of 20020 with flag 1763002/2477534 1199.68/630.31 c cleaning 10000 clauses out of 20019 with flag 1773001/2487533 1203.99/632.69 c cleaning 10002 clauses out of 20018 with flag 1783000/2497532 1208.28/634.94 c cleaning 9997 clauses out of 20016 with flag 1793000/2507532 1212.80/637.45 c cleaning 10005 clauses out of 20019 with flag 1803000/2517532 1217.30/639.85 c cleaning 9997 clauses out of 20014 with flag 1813000/2527532 1221.81/642.29 c cleaning 10005 clauses out of 20019 with flag 1823002/2537534 1226.32/644.69 c cleaning 10000 clauses out of 20013 with flag 1833001/2547533 1231.02/647.28 c cleaning 10000 clauses out of 20013 with flag 1843001/2557533 1235.72/649.70 c cleaning 10000 clauses out of 20012 with flag 1853000/2567532 1240.40/652.24 c cleaning 9999 clauses out of 20012 with flag 1863000/2577532 1245.09/654.74 c cleaning 9999 clauses out of 20013 with flag 1873000/2587532 1249.81/657.37 c cleaning 9997 clauses out of 20014 with flag 1883000/2597532 1254.27/659.74 c cleaning 10005 clauses out of 20017 with flag 1893000/2607532 1258.55/662.09 c cleaning 10001 clauses out of 20013 with flag 1903001/2617533 1263.06/664.48 c cleaning 9998 clauses out of 20011 with flag 1913000/2627532 1267.75/667.03 c cleaning 9999 clauses out of 20014 with flag 1923001/2637533 1272.25/669.44 c cleaning 9994 clauses out of 20014 with flag 1933000/2647532 1276.72/671.82 c cleaning 10007 clauses out of 20021 with flag 1943001/2657533 1281.43/674.32 c cleaning 10002 clauses out of 20015 with flag 1953002/2667534 1286.51/677.16 c cleaning 10000 clauses out of 20012 with flag 1963001/2677533 1291.62/679.84 c cleaning 9992 clauses out of 20011 with flag 1973000/2687532 1296.70/682.54 c cleaning 9997 clauses out of 20019 with flag 1983000/2697532 1301.58/685.13 c cleaning 10006 clauses out of 20022 with flag 1993000/2707532 1306.88/688.06 c cleaning 10000 clauses out of 20016 with flag 2003000/2717532 1312.19/690.83 c cleaning 9994 clauses out of 20016 with flag 2013000/2727532 1317.27/693.52 c cleaning 10007 clauses out of 20023 with flag 2023001/2737533 1322.15/696.16 c cleaning 10001 clauses out of 20015 with flag 2033000/2747532 1327.84/699.27 c cleaning 9999 clauses out of 20014 with flag 2043000/2757532 1332.30/701.68 c cleaning 10003 clauses out of 20016 with flag 2053001/2767533 1335.98/703.63 c cleaning 9998 clauses out of 20013 with flag 2063001/2777533 1339.88/705.70 c cleaning 9998 clauses out of 20014 with flag 2073000/2787532 1343.97/708.05 c cleaning 10002 clauses out of 20016 with flag 2083000/2797532 1348.44/710.44 c cleaning 10000 clauses out of 20015 with flag 2093001/2807533 1353.13/712.92 c cleaning 10000 clauses out of 20014 with flag 2103000/2817532 1357.59/715.36 c cleaning 9998 clauses out of 20014 with flag 2113000/2827532 1362.46/718.02 c cleaning 10007 clauses out of 20017 with flag 2123001/2837533 1366.35/720.12 c cleaning 10001 clauses out of 20009 with flag 2133000/2847532 1370.44/722.39 c cleaning 9997 clauses out of 20008 with flag 2143000/2857532 1374.72/724.60 c cleaning 9994 clauses out of 20011 with flag 2153000/2867532 1379.20/727.12 c cleaning 10000 clauses out of 20017 with flag 2163000/2877532 1383.48/729.48 c cleaning 9996 clauses out of 20017 with flag 2173000/2887532 1387.94/731.87 c cleaning 10004 clauses out of 20022 with flag 2183001/2897533 1392.20/734.20 c cleaning 9999 clauses out of 20018 with flag 2193001/2907533 1396.91/736.77 c cleaning 10004 clauses out of 20019 with flag 2203001/2917533 1401.39/739.14 c cleaning 9997 clauses out of 20015 with flag 2213001/2927533 1405.66/741.49 c cleaning 10001 clauses out of 20017 with flag 2223000/2937532 1410.13/743.81 c cleaning 9997 clauses out of 20016 with flag 2233000/2947532 1414.80/746.41 c cleaning 10001 clauses out of 20019 with flag 2243000/2957532 1419.07/748.78 c cleaning 10000 clauses out of 20018 with flag 2253000/2967532 1423.95/751.31 c cleaning 10003 clauses out of 20018 with flag 2263000/2977532 1428.80/753.90 c cleaning 10002 clauses out of 20016 with flag 2273001/2987533 1433.67/756.62 c cleaning 9997 clauses out of 20013 with flag 2283000/2997532 1438.74/759.35 c cleaning 10003 clauses out of 20017 with flag 2293001/3007533 1444.41/762.31 c cleaning 10001 clauses out of 20017 with flag 2303004/3017536 1450.06/765.38 c cleaning 9992 clauses out of 20012 with flag 2313000/3027532 1455.73/768.46 c cleaning 10002 clauses out of 20021 with flag 2323001/3037533 1460.80/771.18 c cleaning 10000 clauses out of 20020 with flag 2333002/3047534 1465.84/773.85 c cleaning 9998 clauses out of 20018 with flag 2343000/3057532 1470.91/776.54 c cleaning 10002 clauses out of 20020 with flag 2353000/3067532 1476.18/779.46 c cleaning 9999 clauses out of 20019 with flag 2363001/3077533 1481.25/782.20 c cleaning 9993 clauses out of 20019 with flag 2373000/3087532 1486.29/784.81 c cleaning 9998 clauses out of 20027 with flag 2383001/3097533 1491.57/787.67 c cleaning 10001 clauses out of 20030 with flag 2393002/3107534 1497.40/790.86 c cleaning 10006 clauses out of 20029 with flag 2403002/3117534 1502.85/793.73 c cleaning 9999 clauses out of 20021 with flag 2413000/3127532 1508.30/796.66 c cleaning 10002 clauses out of 20023 with flag 2423001/3137533 1513.74/799.57 c cleaning 10005 clauses out of 20020 with flag 2433000/3147532 1518.38/802.19 c cleaning 10002 clauses out of 20015 with flag 2443000/3157532 1523.03/804.62 c cleaning 9994 clauses out of 20013 with flag 2453000/3167532 1527.86/807.28 c cleaning 10003 clauses out of 20019 with flag 2463000/3177532 1533.32/810.10 c cleaning 9991 clauses out of 20016 with flag 2473000/3187532 1538.93/813.28 c cleaning 10003 clauses out of 20028 with flag 2483003/3197535 1543.57/815.78 c cleaning 10003 clauses out of 20024 with flag 2493002/3207534 1548.39/818.36 c cleaning 9999 clauses out of 20021 with flag 2503002/3217534 1553.20/820.90 c cleaning 10001 clauses out of 20020 with flag 2513000/3227532 1558.18/823.72 c cleaning 10001 clauses out of 20021 with flag 2523002/3237534 1563.00/826.38 c cleaning 9996 clauses out of 20018 with flag 2533000/3247532 1567.81/828.94 c cleaning 10002 clauses out of 20025 with flag 2543003/3257535 1572.82/831.60 c cleaning 10000 clauses out of 20020 with flag 2553000/3267532 1577.78/834.45 c cleaning 10003 clauses out of 20020 with flag 2563000/3277532 1582.39/836.99 c cleaning 10000 clauses out of 20017 with flag 2573000/3287532 1587.40/839.60 c cleaning 10006 clauses out of 20019 with flag 2583002/3297534 1592.21/842.26 c cleaning 9999 clauses out of 20011 with flag 2593000/3307532 1597.40/845.15 c cleaning 9990 clauses out of 20012 with flag 2603000/3317532 1602.20/847.73 c cleaning 10006 clauses out of 20023 with flag 2613001/3327533 1607.02/850.39 c cleaning 9999 clauses out of 20016 with flag 2623000/3337532 1612.82/853.41 c cleaning 9995 clauses out of 20017 with flag 2633000/3347532 1617.96/856.37 c cleaning 10008 clauses out of 20023 with flag 2643001/3357533 1623.17/859.11 c cleaning 9994 clauses out of 20014 with flag 2653000/3367532 1627.37/861.43 c cleaning 9997 clauses out of 20020 with flag 2663000/3377532 1631.36/863.67 c cleaning 9996 clauses out of 20023 with flag 2673000/3387532 1635.69/866.18 c cleaning 10001 clauses out of 20028 with flag 2683001/3397533 1639.87/868.45 c cleaning 10006 clauses out of 20026 with flag 2693000/3407532 1644.06/870.71 c cleaning 9995 clauses out of 20021 with flag 2703001/3417533 1648.24/873.02 c cleaning 10004 clauses out of 20025 with flag 2713000/3427532 1652.60/875.57 c cleaning 10005 clauses out of 20022 with flag 2723001/3437533 1656.80/877.88 c cleaning 9998 clauses out of 20017 with flag 2733001/3447533 1661.18/880.20 c cleaning 9994 clauses out of 20019 with flag 2743001/3457533 1665.16/882.46 c cleaning 10002 clauses out of 20024 with flag 2753000/3467532 1669.69/885.00 c cleaning 10002 clauses out of 20023 with flag 2763001/3477533 1673.67/887.26 c cleaning 9998 clauses out of 20020 with flag 2773000/3487532 1677.85/889.55 c cleaning 10004 clauses out of 20027 with flag 2783005/3497537 1682.03/891.82 c cleaning 9992 clauses out of 20019 with flag 2793001/3507533 1686.37/894.33 c cleaning 9997 clauses out of 20026 with flag 2803000/3517532 1690.35/896.58 c cleaning 9997 clauses out of 20029 with flag 2813000/3527532 1694.52/898.85 c cleaning 10007 clauses out of 20032 with flag 2823000/3537532 1698.69/901.13 c cleaning 10004 clauses out of 20025 with flag 2833000/3547532 1703.02/903.67 c cleaning 9997 clauses out of 20021 with flag 2843000/3557532 1707.20/905.93 c cleaning 9996 clauses out of 20024 with flag 2853000/3567532 1711.36/908.21 c cleaning 10009 clauses out of 20030 with flag 2863002/3577534 1715.34/910.49 c cleaning 9997 clauses out of 20019 with flag 2873000/3587532 1719.90/913.03 c cleaning 10001 clauses out of 20022 with flag 2883000/3597532 1723.87/915.29 c cleaning 10002 clauses out of 20021 with flag 2893000/3607532 1728.05/917.55 c cleaning 10000 clauses out of 20019 with flag 2903000/3617532 1732.20/919.82 c cleaning 9995 clauses out of 20019 with flag 2913000/3627532 1736.53/922.33 c cleaning 10000 clauses out of 20025 with flag 2923001/3637533 1740.69/924.60 c cleaning 10003 clauses out of 20024 with flag 2933000/3647532 1744.66/926.88 c cleaning 9996 clauses out of 20021 with flag 2943000/3657532 1748.82/929.13 c cleaning 10004 clauses out of 20025 with flag 2953000/3667532 1753.19/931.64 c cleaning 10001 clauses out of 20026 with flag 2963005/3677537 1757.37/933.91 c cleaning 10001 clauses out of 20020 with flag 2973000/3687532 1761.35/936.16 c cleaning 10000 clauses out of 20020 with flag 2983001/3697533 1765.91/938.65 c cleaning 10007 clauses out of 20019 with flag 2993000/3707532 1771.44/941.77 c cleaning 9999 clauses out of 20013 with flag 3003001/3717533 1776.61/944.55 c cleaning 9999 clauses out of 20013 with flag 3013000/3727532 1781.39/947.20 c cleaning 10004 clauses out of 20014 with flag 3023000/3737532 1786.34/949.89 c cleaning 9997 clauses out of 20010 with flag 3033000/3747532 1792.04/953.05 c cleaning 10002 clauses out of 20013 with flag 3043000/3757532 1796.81/955.65 c cleaning 9997 clauses out of 20011 with flag 3053000/3767532 1800.19/957.51 c starts : 24 1800.19/957.51 c conflicts : 1828 1800.19/957.51 c decisions : 68675 1800.19/957.51 c propagations : 703699 1800.19/957.51 c inspects : 31481279 1800.19/957.51 c shortcuts : 0 1800.19/957.51 c learnt literals : 0 1800.19/957.51 c learnt binary clauses : 0 1800.19/957.51 c learnt ternary clauses : 0 1800.19/957.51 c learnt constraints : 1824 1800.19/957.51 c ignored constraints : 0 1800.19/957.51 c root simplifications : 0 1800.19/957.51 c removed literals (reason simplification) : 0 1800.19/957.51 c reason swapping (by a shorter reason) : 0 1800.19/957.51 c Calls to reduceDB : 0 1800.19/957.51 c number of reductions to clauses (during analyze) : 0 1800.19/957.51 c number of learned constraints concerned by reduction : 0 1800.19/957.51 c number of learning phase by resolution : 0 1800.19/957.51 c number of learning phase by cutting planes : 0 1800.19/957.51 c speed (assignments/second) : 904.1545943376227 1800.19/957.51 c non guided choices 0 1800.19/957.51 c learnt constraints type 1800.19/957.51 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 3 1800.19/957.51 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1821 1800.19/957.51 c constraints type 1800.19/957.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071 1800.19/957.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6506 1800.19/957.51 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.19/957.51 c constraints type 1800.19/957.51 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506 1800.19/957.51 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071 1800.19/957.51 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.19/957.51 s SATISFIABLE 1800.19/957.52 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 x213 x214 x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 x3636 x3637 -x3638 -x3639 -x3640 -x3641 x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 x3938 x3939 x3940 x3941 x3942 x3943 -x3944 -x3945 1800.19/957.53 c objective function=58635 1800.19/957.53 c Total wall clock time (in seconds): 957.408
OK 58635
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736349-1338716756/watcher-3736349-1338716756 -o /tmp/evaluation-result-3736349-1338716756/solver-3736349-1338716756 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736349-1338716756.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.99 3.64 3.43 4/196 13177 /proc/meminfo: memFree=23834580/32873648 swapFree=6864/6864 [pid=13177] ppid=13175 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/13177/stat : 13177 (java) D 13175 13177 12644 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 337800980 9515008 176 33554432000 1073741824 1073778376 140734342423328 140734342406056 270707540880 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/13177/statm: 2323 176 133 9 0 71 0 [startup+0.10302 s] /proc/loadavg: 3.99 3.64 3.43 4/196 13177 /proc/meminfo: memFree=23834580/32873648 swapFree=6864/6864 [pid=13177] ppid=13175 vsize=11586392 CPUtime=0.1 cores=1,3,5,7 /proc/13177/stat : 13177 (java) S 13175 13177 12644 0 -1 4202496 5259 0 1 0 8 2 0 0 20 0 18 0 337800980 11864465408 13597 33554432000 1073741824 1073778376 140733239070944 140733239062080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13177/statm: 2896598 13597 2116 9 0 2887285 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11586392 [startup+0.20018 s] /proc/loadavg: 3.99 3.64 3.43 4/196 13177 /proc/meminfo: memFree=23834580/32873648 swapFree=6864/6864 [pid=13177] ppid=13175 vsize=11586392 CPUtime=0.28 cores=1,3,5,7 /proc/13177/stat : 13177 (java) S 13175 13177 12644 0 -1 4202496 5990 0 1 0 26 2 0 0 20 0 18 0 337800980 11864465408 15133 33554432000 1073741824 1073778376 140733239070944 140733239062080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13177/statm: 2896598 15133 2209 9 0 2887285 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11586392 [startup+0.300202 s] /proc/loadavg: 3.99 3.64 3.43 4/196 13177 /proc/meminfo: memFree=23834580/32873648 swapFree=6864/6864 [pid=13177] ppid=13175 vsize=11586392 CPUtime=0.51 cores=1,3,5,7 /proc/13177/stat : 13177 (java) S 13175 13177 12644 0 -1 4202496 6735 0 1 0 49 2 0 0 20 0 18 0 337800980 11864465408 17006 33554432000 1073741824 1073778376 140733239070944 140733239062080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13177/statm: 2896598 17006 2224 9 0 2887285 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 11586392 [startup+0.700187 s] /proc/loadavg: 3.99 3.64 3.43 4/196 13177 /proc/meminfo: memFree=23834580/32873648 swapFree=6864/6864 [pid=13177] ppid=13175 vsize=11852648 CPUtime=1.09 cores=1,3,5,7 /proc/13177/stat : 13177 (java) S 13175 13177 12644 0 -1 4202496 10917 0 1 0 104 5 0 0 20 0 19 0 337800980 12137111552 23703 33554432000 1073741824 1073778376 140733239070944 140733239062080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13177/statm: 2963162 23703 2258 9 0 2953849 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 11852648 [startup+1.50062 s] /proc/loadavg: 3.83 3.61 3.42 6/216 13202 /proc/meminfo: memFree=23727604/32873648 swapFree=6864/6864 [pid=13177] ppid=13175 vsize=11852648 CPUtime=2.14 cores=1,3,5,7 /proc/13177/stat : 13177 (java) S 13175 13177 12644 0 -1 4202496 18341 0 1 0 204 10 0 0 20 0 19 0 337800980 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 140733239062080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13177/statm: 2963162 30565 2261 9 0 2953849 0 [pid=13177/tid=13179] ppid=13175 vsize=11852648 CPUtime=0.39 cores=1,3,5,7 /proc/13177/task/13179/stat : 13179 (java) S 13175 13177 12644 0 -1 4202560 3404 0 1 0 37 2 0 0 20 0 19 0 337800981 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693224678552 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13180] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13180/stat : 13180 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693213739944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13181] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13181/stat : 13181 (java) S 13175 13177 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693212687400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13182] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13182/stat : 13182 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693211634344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13183] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13183/stat : 13183 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693210581800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13184] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13184/stat : 13184 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693209528744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13185] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13185/stat : 13185 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693208476200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13186] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13186/stat : 13186 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693055568040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13187] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13187/stat : 13187 (java) S 13175 13177 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693054515496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13188] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13188/stat : 13188 (java) S 13175 13177 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337800984 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693042105192 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13189] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13189/stat : 13189 (java) S 13175 13177 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337800985 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693041051512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13190] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13190/stat : 13190 (java) S 13175 13177 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337800985 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693039998344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13191] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13191/stat : 13191 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800987 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693038947088 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13192] ppid=13175 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/13177/task/13192/stat : 13192 (java) S 13175 13177 12644 0 -1 4202560 5725 0 0 0 59 0 0 0 20 0 19 0 337800987 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693037893944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13193] ppid=13175 vsize=11852648 CPUtime=0.58 cores=1,3,5,7 /proc/13177/task/13193/stat : 13193 (java) S 13175 13177 12644 0 -1 4202560 7898 0 0 0 56 2 0 0 20 0 19 0 337800987 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693036841400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13194] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13194/stat : 13194 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800987 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693035788536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13195] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13195/stat : 13195 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800987 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693034736200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13198] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13198/stat : 13198 (java) S 13175 13177 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337801023 12137111552 30565 33554432000 1073741824 1073778376 140733239070944 139693031576872 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.14 Current children cumulated vsize (KiB) 11852648 [startup+3.1007 s] /proc/loadavg: 3.83 3.61 3.42 3/215 13208 /proc/meminfo: memFree=23716620/32873648 swapFree=6864/6864 [pid=13177] ppid=13175 vsize=11852648 CPUtime=2.4 cores=1,3,5,7 /proc/13177/stat : 13177 (java) S 13175 13177 12644 0 -1 4202496 18369 0 1 0 228 12 0 0 20 0 19 0 337800980 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 140733239062080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13177/statm: 2963162 34151 2262 9 0 2953849 0 [pid=13177/tid=13179] ppid=13175 vsize=11852648 CPUtime=0.42 cores=1,3,5,7 /proc/13177/task/13179/stat : 13179 (java) S 13175 13177 12644 0 -1 4202560 3405 0 1 0 40 2 0 0 20 0 19 0 337800981 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693224678568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13180] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13180/stat : 13180 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693213739944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13181] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13181/stat : 13181 (java) S 13175 13177 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693212687400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13182] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13182/stat : 13182 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693211634344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13183] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13183/stat : 13183 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693210581800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13184] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13184/stat : 13184 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693209528744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13185] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13185/stat : 13185 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693208476200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13186] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13186/stat : 13186 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693055568040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13187] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13187/stat : 13187 (java) S 13175 13177 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337800983 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693054515496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13188] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13188/stat : 13188 (java) S 13175 13177 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337800984 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693042105192 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13189] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13189/stat : 13189 (java) S 13175 13177 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337800985 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693041051512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13190] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13190/stat : 13190 (java) S 13175 13177 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337800985 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693039998344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13191] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13191/stat : 13191 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800987 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693038947088 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13192] ppid=13175 vsize=11852648 CPUtime=0.66 cores=1,3,5,7 /proc/13177/task/13192/stat : 13192 (java) S 13175 13177 12644 0 -1 4202560 5725 0 0 0 66 0 0 0 20 0 19 0 337800987 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693037893944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13193] ppid=13175 vsize=11852648 CPUtime=0.66 cores=1,3,5,7 /proc/13177/task/13193/stat : 13193 (java) S 13175 13177 12644 0 -1 4202560 7899 0 0 0 64 2 0 0 20 0 19 0 337800987 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693036841400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13194] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13194/stat : 13194 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800987 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693035788536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13195] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13195/stat : 13195 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337800987 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693034736200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13198] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13198/stat : 13198 (java) S 13175 13177 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337801023 12137111552 34151 33554432000 1073741824 1073778376 140733239070944 139693031576872 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.4 Current children cumulated vsize (KiB) 11852648 heavy processes: [startup+6.30066 s] /proc/loadavg: 3.83 3.61 3.42 5/218 13217 /proc/meminfo: memFree=22712680/32873648 swapFree=6864/6864 [pid=13177] ppid=13175 vsize=11852648 CPUtime=8.38 cores=1,3,5,7 /proc/13177/stat : 13177 (java) S 13175 13177 12644 0 -1 4202496 19063 0 1 0 804 34 0 0 20 0 22 0 337800980 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 140733239062080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13177/statm: 2963162 327035 2291 9 0 2953849 0 [pid=13177/tid=13179] ppid=13175 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/13177/task/13179/stat : 13179 (java) S 13175 13177 12644 0 -1 4202560 3406 0 1 0 41 2 0 0 20 0 22 0 337800981 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693224678552 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13180] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13180/stat : 13180 (java) S 13175 13177 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337800983 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693213739944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13181] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13181/stat : 13181 (java) S 13175 13177 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337800983 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693212687400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13182] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13182/stat : 13182 (java) S 13175 13177 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337800983 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693211634344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13183] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13183/stat : 13183 (java) S 13175 13177 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337800983 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693210581800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13184] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13184/stat : 13184 (java) S 13175 13177 12644 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 337800983 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693209528744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13185] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13185/stat : 13185 (java) S 13175 13177 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337800983 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693208476200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13186] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13186/stat : 13186 (java) S 13175 13177 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337800983 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693055568040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13187] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13187/stat : 13187 (java) S 13175 13177 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337800983 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693054515496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13188] ppid=13175 vsize=11852648 CPUtime=0.05 cores=1,3,5,7 /proc/13177/task/13188/stat : 13188 (java) S 13175 13177 12644 0 -1 4202560 36 0 0 0 5 0 0 0 20 0 22 0 337800984 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693042105192 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13189] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13189/stat : 13189 (java) S 13175 13177 12644 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 337800985 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693041051512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13190] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13190/stat : 13190 (java) S 13175 13177 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337800985 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693039998344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13191] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13191/stat : 13191 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337800987 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693038947088 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13192] ppid=13175 vsize=11852648 CPUtime=0.86 cores=1,3,5,7 /proc/13177/task/13192/stat : 13192 (java) S 13175 13177 12644 0 -1 4202560 5749 0 0 0 86 0 0 0 20 0 22 0 337800987 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693037893944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13193] ppid=13175 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/13177/task/13193/stat : 13193 (java) S 13175 13177 12644 0 -1 4202560 7911 0 0 0 105 2 0 0 20 0 22 0 337800987 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693036841400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13194] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13194/stat : 13194 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337800987 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693035788536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13195] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13195/stat : 13195 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337800987 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693034736200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13217] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13217/stat : 13217 (java) S 13175 13177 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337801326 12137111552 327035 33554432000 1073741824 1073778376 140733239070944 139693033682088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 8.38 Current children cumulated vsize (KiB) 11852648 ################ # More data... # ################ [pid=13177/tid=13240] ppid=13175 vsize=11852648 CPUtime=561.74 cores=1,3,5,7 /proc/13177/task/13240/stat : 13240 (java) R 13175 13177 12644 0 -1 4202560 88 0 0 0 56166 8 0 0 20 0 22 0 337818902 12137111552 610039 33554432000 1073741824 1073778376 140733239070944 139693030523600 139693090646606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13241] ppid=13175 vsize=11852648 CPUtime=561.7 cores=1,3,5,7 /proc/13177/task/13241/stat : 13241 (java) R 13175 13177 12644 0 -1 4202560 154 0 0 0 56156 14 0 0 20 0 22 0 337818902 12137111552 610039 33554432000 1073741824 1073778376 140733239070944 139693031573664 139693090716167 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13242] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13242/stat : 13242 (java) S 13175 13177 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337818902 12137111552 610039 33554432000 1073741824 1073778376 140733239070944 139693032629416 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1555.38 Current children cumulated vsize (KiB) 11852648 [startup+882.307 s] /proc/loadavg: 3.69 3.72 3.60 5/220 14494 /proc/meminfo: memFree=23109508/32873648 swapFree=6864/6864 [pid=13177] ppid=13175 vsize=11852648 CPUtime=1664.97 cores=1,3,5,7 /proc/13177/stat : 13177 (java) S 13175 13177 12644 0 -1 4202496 20615 0 1 0 166387 110 0 0 20 0 22 0 337800980 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 140733239062080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13177/statm: 2963162 618762 2293 9 0 2953849 0 [pid=13177/tid=13179] ppid=13175 vsize=11852648 CPUtime=0.51 cores=1,3,5,7 /proc/13177/task/13179/stat : 13179 (java) S 13175 13177 12644 0 -1 4202560 3588 0 1 0 47 4 0 0 20 0 22 0 337800981 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693224678536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13180] ppid=13175 vsize=11852648 CPUtime=1.47 cores=1,3,5,7 /proc/13177/task/13180/stat : 13180 (java) S 13175 13177 12644 0 -1 4202560 69 0 0 0 144 3 0 0 20 0 22 0 337800983 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693213739944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13181] ppid=13175 vsize=11852648 CPUtime=1.35 cores=1,3,5,7 /proc/13177/task/13181/stat : 13181 (java) S 13175 13177 12644 0 -1 4202560 38 0 0 0 133 2 0 0 20 0 22 0 337800983 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693212687400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13182] ppid=13175 vsize=11852648 CPUtime=1.37 cores=1,3,5,7 /proc/13177/task/13182/stat : 13182 (java) S 13175 13177 12644 0 -1 4202560 48 0 0 0 137 0 0 0 20 0 22 0 337800983 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693211634344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13183] ppid=13175 vsize=11852648 CPUtime=1.37 cores=1,3,5,7 /proc/13177/task/13183/stat : 13183 (java) S 13175 13177 12644 0 -1 4202560 68 0 0 0 135 2 0 0 20 0 22 0 337800983 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693210581800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13184] ppid=13175 vsize=11852648 CPUtime=1.39 cores=1,3,5,7 /proc/13177/task/13184/stat : 13184 (java) S 13175 13177 12644 0 -1 4202560 71 0 0 0 137 2 0 0 20 0 22 0 337800983 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693209528744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13185] ppid=13175 vsize=11852648 CPUtime=1.37 cores=1,3,5,7 /proc/13177/task/13185/stat : 13185 (java) S 13175 13177 12644 0 -1 4202560 68 0 0 0 135 2 0 0 20 0 22 0 337800983 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693208476200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13186] ppid=13175 vsize=11852648 CPUtime=1.32 cores=1,3,5,7 /proc/13177/task/13186/stat : 13186 (java) S 13175 13177 12644 0 -1 4202560 62 0 0 0 130 2 0 0 20 0 22 0 337800983 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693055568040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13187] ppid=13175 vsize=11852648 CPUtime=1.32 cores=1,3,5,7 /proc/13177/task/13187/stat : 13187 (java) S 13175 13177 12644 0 -1 4202560 67 0 0 0 131 1 0 0 20 0 22 0 337800983 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693054515496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13188] ppid=13175 vsize=11852648 CPUtime=96.38 cores=1,3,5,7 /proc/13177/task/13188/stat : 13188 (java) S 13175 13177 12644 0 -1 4202560 266 0 0 0 9624 14 0 0 20 0 22 0 337800984 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693042105192 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13189] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13189/stat : 13189 (java) S 13175 13177 12644 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 337800985 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693041051512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13190] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13190/stat : 13190 (java) S 13175 13177 12644 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 337800985 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693039998344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13191] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13191/stat : 13191 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337800987 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693038947088 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13192] ppid=13175 vsize=11852648 CPUtime=0.95 cores=1,3,5,7 /proc/13177/task/13192/stat : 13192 (java) S 13175 13177 12644 0 -1 4202560 5752 0 0 0 95 0 0 0 20 0 22 0 337800987 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693037893944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13193] ppid=13175 vsize=11852648 CPUtime=1.44 cores=1,3,5,7 /proc/13177/task/13193/stat : 13193 (java) S 13175 13177 12644 0 -1 4202560 7926 0 0 0 142 2 0 0 20 0 22 0 337800987 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693036841400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13194] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13194/stat : 13194 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337800987 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693035788536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13195] ppid=13175 vsize=11852648 CPUtime=0.33 cores=1,3,5,7 /proc/13177/task/13195/stat : 13195 (java) S 13175 13177 12644 0 -1 4202560 51 0 0 0 14 19 0 0 20 0 22 0 337800987 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693034736200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0 [pid=13177/tid=13223] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13223/stat : 13223 (java) S 13175 13177 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337802028 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693033682344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13240] ppid=13175 vsize=11852648 CPUtime=610.55 cores=1,3,5,7 /proc/13177/task/13240/stat : 13240 (java) R 13175 13177 12644 0 -1 4202560 91 0 0 0 61046 9 0 0 20 0 22 0 337818902 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693030523600 139693090646564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13241] ppid=13175 vsize=11852648 CPUtime=610.51 cores=1,3,5,7 /proc/13177/task/13241/stat : 13241 (java) R 13175 13177 12644 0 -1 4202560 154 0 0 0 61036 15 0 0 20 0 22 0 337818902 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693031574032 139693090462822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13242] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13242/stat : 13242 (java) S 13175 13177 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337818902 12137111552 618762 33554432000 1073741824 1073778376 140733239070944 139693032629416 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1664.97 Current children cumulated vsize (KiB) 11852648 [startup+942.301 s] /proc/loadavg: 3.78 3.73 3.62 5/220 14517 /proc/meminfo: memFree=23091456/32873648 swapFree=6864/6864 [pid=13177] ppid=13175 vsize=11852648 CPUtime=1772.21 cores=1,3,5,7 /proc/13177/stat : 13177 (java) S 13175 13177 12644 0 -1 4202496 20674 0 1 0 177108 113 0 0 20 0 22 0 337800980 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 140733239062080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13177/statm: 2963162 620831 2293 9 0 2953849 0 [pid=13177/tid=13179] ppid=13175 vsize=11852648 CPUtime=0.52 cores=1,3,5,7 /proc/13177/task/13179/stat : 13179 (java) S 13175 13177 12644 0 -1 4202560 3610 0 1 0 48 4 0 0 20 0 22 0 337800981 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693224678536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13180] ppid=13175 vsize=11852648 CPUtime=1.58 cores=1,3,5,7 /proc/13177/task/13180/stat : 13180 (java) S 13175 13177 12644 0 -1 4202560 71 0 0 0 155 3 0 0 20 0 22 0 337800983 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693213739944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13181] ppid=13175 vsize=11852648 CPUtime=1.47 cores=1,3,5,7 /proc/13177/task/13181/stat : 13181 (java) S 13175 13177 12644 0 -1 4202560 39 0 0 0 145 2 0 0 20 0 22 0 337800983 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693212687400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13182] ppid=13175 vsize=11852648 CPUtime=1.5 cores=1,3,5,7 /proc/13177/task/13182/stat : 13182 (java) S 13175 13177 12644 0 -1 4202560 48 0 0 0 150 0 0 0 20 0 22 0 337800983 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693211634344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13183] ppid=13175 vsize=11852648 CPUtime=1.49 cores=1,3,5,7 /proc/13177/task/13183/stat : 13183 (java) S 13175 13177 12644 0 -1 4202560 68 0 0 0 146 3 0 0 20 0 22 0 337800983 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693210581800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13184] ppid=13175 vsize=11852648 CPUtime=1.5 cores=1,3,5,7 /proc/13177/task/13184/stat : 13184 (java) S 13175 13177 12644 0 -1 4202560 76 0 0 0 148 2 0 0 20 0 22 0 337800983 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693209528744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13185] ppid=13175 vsize=11852648 CPUtime=1.47 cores=1,3,5,7 /proc/13177/task/13185/stat : 13185 (java) S 13175 13177 12644 0 -1 4202560 70 0 0 0 145 2 0 0 20 0 22 0 337800983 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693208476200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13186] ppid=13175 vsize=11852648 CPUtime=1.47 cores=1,3,5,7 /proc/13177/task/13186/stat : 13186 (java) S 13175 13177 12644 0 -1 4202560 68 0 0 0 145 2 0 0 20 0 22 0 337800983 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693055568040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13187] ppid=13175 vsize=11852648 CPUtime=1.44 cores=1,3,5,7 /proc/13177/task/13187/stat : 13187 (java) S 13175 13177 12644 0 -1 4202560 72 0 0 0 143 1 0 0 20 0 22 0 337800983 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693054515496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13188] ppid=13175 vsize=11852648 CPUtime=109.5 cores=1,3,5,7 /proc/13177/task/13188/stat : 13188 (java) S 13175 13177 12644 0 -1 4202560 274 0 0 0 10936 14 0 0 20 0 22 0 337800984 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693042105192 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13189] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13189/stat : 13189 (java) S 13175 13177 12644 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 337800985 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693041051512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13190] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13190/stat : 13190 (java) S 13175 13177 12644 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 337800985 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693039998344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13191] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13191/stat : 13191 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337800987 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693038947088 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13192] ppid=13175 vsize=11852648 CPUtime=0.95 cores=1,3,5,7 /proc/13177/task/13192/stat : 13192 (java) S 13175 13177 12644 0 -1 4202560 5752 0 0 0 95 0 0 0 20 0 22 0 337800987 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693037893944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13193] ppid=13175 vsize=11852648 CPUtime=1.44 cores=1,3,5,7 /proc/13177/task/13193/stat : 13193 (java) S 13175 13177 12644 0 -1 4202560 7926 0 0 0 142 2 0 0 20 0 22 0 337800987 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693036841400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13194] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13194/stat : 13194 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337800987 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693035788536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13195] ppid=13175 vsize=11852648 CPUtime=0.35 cores=1,3,5,7 /proc/13177/task/13195/stat : 13195 (java) S 13175 13177 12644 0 -1 4202560 55 0 0 0 15 20 0 0 20 0 22 0 337800987 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693034736200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0 [pid=13177/tid=13223] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13223/stat : 13223 (java) S 13175 13177 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337802028 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693033682344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13240] ppid=13175 vsize=11852648 CPUtime=657.14 cores=1,3,5,7 /proc/13177/task/13240/stat : 13240 (java) R 13175 13177 12644 0 -1 4202560 95 0 0 0 65703 11 0 0 20 0 22 0 337818902 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693030523720 139693090664605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13241] ppid=13175 vsize=11852648 CPUtime=657.09 cores=1,3,5,7 /proc/13177/task/13241/stat : 13241 (java) R 13175 13177 12644 0 -1 4202560 154 0 0 0 65693 16 0 0 20 0 22 0 337818902 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693031573664 139693090462803 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13242] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13242/stat : 13242 (java) S 13175 13177 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337818902 12137111552 620831 33554432000 1073741824 1073778376 140733239070944 139693032629416 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1772.21 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+957.501 s] /proc/loadavg: 3.75 3.73 3.62 5/220 14517 /proc/meminfo: memFree=23017608/32873648 swapFree=6864/6864 [pid=13177] ppid=13175 vsize=11852648 CPUtime=1800.19 cores=1,3,5,7 /proc/13177/stat : 13177 (java) S 13175 13177 12644 0 -1 4202496 20719 0 1 0 179904 115 0 0 20 0 22 0 337800980 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 140733239062080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13177/statm: 2963162 638245 2293 9 0 2953849 0 [pid=13177/tid=13179] ppid=13175 vsize=11852648 CPUtime=0.52 cores=1,3,5,7 /proc/13177/task/13179/stat : 13179 (java) S 13175 13177 12644 0 -1 4202560 3615 0 1 0 48 4 0 0 20 0 22 0 337800981 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693224678536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13180] ppid=13175 vsize=11852648 CPUtime=1.59 cores=1,3,5,7 /proc/13177/task/13180/stat : 13180 (java) S 13175 13177 12644 0 -1 4202560 73 0 0 0 156 3 0 0 20 0 22 0 337800983 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693213739944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13181] ppid=13175 vsize=11852648 CPUtime=1.48 cores=1,3,5,7 /proc/13177/task/13181/stat : 13181 (java) S 13175 13177 12644 0 -1 4202560 39 0 0 0 146 2 0 0 20 0 22 0 337800983 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693212687400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13182] ppid=13175 vsize=11852648 CPUtime=1.51 cores=1,3,5,7 /proc/13177/task/13182/stat : 13182 (java) S 13175 13177 12644 0 -1 4202560 48 0 0 0 151 0 0 0 20 0 22 0 337800983 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693211634344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13183] ppid=13175 vsize=11852648 CPUtime=1.51 cores=1,3,5,7 /proc/13177/task/13183/stat : 13183 (java) S 13175 13177 12644 0 -1 4202560 71 0 0 0 148 3 0 0 20 0 22 0 337800983 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693210581800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13184] ppid=13175 vsize=11852648 CPUtime=1.51 cores=1,3,5,7 /proc/13177/task/13184/stat : 13184 (java) S 13175 13177 12644 0 -1 4202560 76 0 0 0 149 2 0 0 20 0 22 0 337800983 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693209528744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13185] ppid=13175 vsize=11852648 CPUtime=1.5 cores=1,3,5,7 /proc/13177/task/13185/stat : 13185 (java) S 13175 13177 12644 0 -1 4202560 70 0 0 0 148 2 0 0 20 0 22 0 337800983 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693208476200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13186] ppid=13175 vsize=11852648 CPUtime=1.48 cores=1,3,5,7 /proc/13177/task/13186/stat : 13186 (java) S 13175 13177 12644 0 -1 4202560 68 0 0 0 145 3 0 0 20 0 22 0 337800983 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693055568040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13187] ppid=13175 vsize=11852648 CPUtime=1.46 cores=1,3,5,7 /proc/13177/task/13187/stat : 13187 (java) S 13175 13177 12644 0 -1 4202560 73 0 0 0 145 1 0 0 20 0 22 0 337800983 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693054515496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13188] ppid=13175 vsize=11852648 CPUtime=111.98 cores=1,3,5,7 /proc/13177/task/13188/stat : 13188 (java) S 13175 13177 12644 0 -1 4202560 275 0 0 0 11184 14 0 0 20 0 22 0 337800984 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693042105192 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13189] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13189/stat : 13189 (java) S 13175 13177 12644 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 337800985 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693041051512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13190] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13190/stat : 13190 (java) S 13175 13177 12644 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 337800985 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693039998344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13191] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13191/stat : 13191 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337800987 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693038947088 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13192] ppid=13175 vsize=11852648 CPUtime=0.95 cores=1,3,5,7 /proc/13177/task/13192/stat : 13192 (java) S 13175 13177 12644 0 -1 4202560 5752 0 0 0 95 0 0 0 20 0 22 0 337800987 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693037893944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13193] ppid=13175 vsize=11852648 CPUtime=1.44 cores=1,3,5,7 /proc/13177/task/13193/stat : 13193 (java) S 13175 13177 12644 0 -1 4202560 7926 0 0 0 142 2 0 0 20 0 22 0 337800987 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693036841400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13194] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13194/stat : 13194 (java) S 13175 13177 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337800987 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693035788536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13177/tid=13195] ppid=13175 vsize=11852648 CPUtime=0.36 cores=1,3,5,7 /proc/13177/task/13195/stat : 13195 (java) S 13175 13177 12644 0 -1 4202560 55 0 0 0 16 20 0 0 20 0 22 0 337800987 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693034736200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0 [pid=13177/tid=13223] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13223/stat : 13223 (java) S 13175 13177 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337802028 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693033682344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13177/tid=13240] ppid=13175 vsize=11852648 CPUtime=669.83 cores=1,3,5,7 /proc/13177/task/13240/stat : 13240 (java) R 13175 13177 12644 0 -1 4202560 97 0 0 0 66971 12 0 0 20 0 22 0 337818902 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693030523600 139693090558991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13177/tid=13241] ppid=13175 vsize=11852648 CPUtime=669.78 cores=1,3,5,7 /proc/13177/task/13241/stat : 13241 (java) R 13175 13177 12644 0 -1 4202560 185 0 0 0 66960 18 0 0 20 0 22 0 337818902 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693031573664 139693090672020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13177/tid=13242] ppid=13175 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/13177/task/13242/stat : 13242 (java) S 13175 13177 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337818902 12137111552 638245 33554432000 1073741824 1073778376 140733239070944 139693032629416 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 957.551 CPU time (s): 1800.59 CPU user time (s): 1799.07 CPU system time (s): 1.52277 CPU usage (%): 188.041 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.07 system time used= 1.52277 maximum resident set size= 2553100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20751 page faults= 1 swaps= 0 block input operations= 0 block output operations= 976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33893 involuntary context switches= 39342 runsolver used 3.32249 second user time and 8.77267 second system time The end
Begin job on node125 at 2012-06-03 11:45:56 IDJOB=3736349 IDBENCH=25048 IDSOLVER=2328 FILE ID=node125/3736349-1338716756 RUNJOBID= node125-1338714015-12661 PBS_JOBID= 14636751 Free space on /tmp= 70428 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736349-1338716756/watcher-3736349-1338716756 -o /tmp/evaluation-result-3736349-1338716756/solver-3736349-1338716756 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736349-1338716756.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 457d573eb873a5d33dddcaaf7d992dd1 RANDOM SEED=608653280 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 23834852 kB Buffers: 608292 kB Cached: 5044580 kB SwapCached: 2308 kB Active: 4961492 kB Inactive: 3165352 kB Active(anon): 2465128 kB Inactive(anon): 9240 kB Active(file): 2496364 kB Inactive(file): 3156112 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102524 kB Dirty: 644 kB Writeback: 0 kB AnonPages: 2478276 kB Mapped: 22208 kB Shmem: 96 kB Slab: 767124 kB SReclaimable: 210864 kB SUnreclaim: 556260 kB KernelStack: 1624 kB PageTables: 8552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10457160 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2433024 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70440 MiB End job on node125 at 2012-06-03 12:01:55