Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 20 | 1800.26 | 985.244 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
MD5SUM | a6271c60ac3da107dd19024b50d39967 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | YES |
Number of variables | 4318 |
Total number of constraints | 15120 |
Number of constraints which are clauses | 15112 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 490 |
Number of terms in the objective function | 490 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 490 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 28 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 518 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.18-164.el5 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 9996466904 0.03/0.09 c Max memory 10048897024 0.03/0.09 c Total memory 10048897024 0.03/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-3454131-1307193686.opb 0.10/0.12 c reading problem ... 0.76/0.47 c ... done. Wall clock time 0.351s. 0.76/0.47 c #vars 4318 0.76/0.47 c #constraints 15120 0.76/0.47 c constraints type 0.76/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827 0.76/0.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.76/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287 0.76/0.47 c constraints type 0.76/0.47 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287 0.76/0.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827 0.76/0.47 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.06/0.53 c And the winner is Resolution 1.26/0.98 c SATISFIABLE 1.26/0.98 c OPTIMIZING... 1.26/0.98 c Got one! Elapsed wall clock time (in seconds):0.869 1.26/0.99 o 24 3.32/1.78 c cleaning 2495 clauses out of 5005 with flag 5000/5005 4.15/2.20 c And the winner is Resolution 4.35/2.50 c Got one! Elapsed wall clock time (in seconds):2.38 4.35/2.50 o 23 4.75/2.79 c cleaning 3949 clauses out of 7905 with flag 2000/10400 6.60/3.69 c cleaning 4971 clauses out of 9957 with flag 8001/16401 8.83/4.75 c cleaning 5985 clauses out of 11986 with flag 15001/23401 10.83/5.70 c cleaning 6991 clauses out of 14002 with flag 23002/31402 13.00/6.84 c cleaning 7987 clauses out of 16009 with flag 32000/40400 15.35/8.04 c cleaning 9005 clauses out of 18024 with flag 42002/50402 17.92/9.39 c cleaning 10003 clauses out of 20017 with flag 53000/61400 20.47/10.65 c cleaning 11001 clauses out of 22016 with flag 65002/73402 22.62/11.72 c And the winner is Resolution 22.70/12.04 c Got one! Elapsed wall clock time (in seconds):11.923 22.70/12.04 o 22 24.65/13.04 c cleaning 11992 clauses out of 24005 with flag 5000/86392 26.04/13.79 c cleaning 8997 clauses out of 18014 with flag 11001/92393 28.00/14.76 c cleaning 7992 clauses out of 16016 with flag 18000/99392 29.99/15.74 c cleaning 7993 clauses out of 16024 with flag 26000/107392 31.74/16.69 c cleaning 8509 clauses out of 17031 with flag 35000/116392 34.90/18.22 c cleaning 9250 clauses out of 18522 with flag 45000/126392 38.24/19.92 c cleaning 10124 clauses out of 20273 with flag 56001/137393 40.55/21.16 c cleaning 11062 clauses out of 22148 with flag 68000/149392 44.09/22.97 c cleaning 12035 clauses out of 24086 with flag 81000/162392 48.86/25.38 c cleaning 13016 clauses out of 26054 with flag 95003/176395 53.18/27.56 c cleaning 14001 clauses out of 28036 with flag 110001/191393 58.25/30.13 c cleaning 15006 clauses out of 30035 with flag 126001/207393 63.78/33.01 c cleaning 15504 clauses out of 31028 with flag 142000/223392 69.08/35.61 c cleaning 15754 clauses out of 31525 with flag 158001/239393 72.18/37.26 c cleaning 15873 clauses out of 31770 with flag 174000/255392 76.47/39.44 c cleaning 15944 clauses out of 31901 with flag 190004/271396 81.37/41.90 c cleaning 15964 clauses out of 31954 with flag 206001/287393 87.26/44.92 c cleaning 15976 clauses out of 31989 with flag 222000/303392 91.56/47.14 c cleaning 15999 clauses out of 32014 with flag 238001/319393 98.60/50.77 c cleaning 16000 clauses out of 32015 with flag 254001/335393 104.08/53.54 c cleaning 15990 clauses out of 32015 with flag 270001/351393 108.55/55.88 c cleaning 15998 clauses out of 32026 with flag 286002/367394 113.24/58.28 c cleaning 15998 clauses out of 32026 with flag 302000/383392 117.45/60.47 c cleaning 16000 clauses out of 32029 with flag 318001/399393 123.50/63.58 c cleaning 16004 clauses out of 32029 with flag 334001/415393 127.57/65.65 c cleaning 16006 clauses out of 32024 with flag 350000/431392 134.02/68.99 c cleaning 15999 clauses out of 32019 with flag 366001/447393 138.21/71.18 c cleaning 16002 clauses out of 32020 with flag 382001/463393 141.65/72.92 c cleaning 16000 clauses out of 32017 with flag 398000/479392 149.31/76.83 c cleaning 15996 clauses out of 32020 with flag 414003/495395 156.78/80.61 c cleaning 15999 clauses out of 32022 with flag 430001/511393 163.52/84.10 c cleaning 15997 clauses out of 32023 with flag 446001/527393 167.54/86.25 c cleaning 15999 clauses out of 32025 with flag 462000/543392 172.17/88.64 c cleaning 15997 clauses out of 32030 with flag 478004/559396 176.79/91.09 c cleaning 15998 clauses out of 32031 with flag 494002/575394 181.33/93.42 c cleaning 16007 clauses out of 32033 with flag 510002/591394 185.74/95.79 c cleaning 16004 clauses out of 32024 with flag 526000/607392 188.13/97.07 c And the winner is CuttingPlanes 188.27/97.15 c Got one! Elapsed wall clock time (in seconds):97.039 188.27/97.15 o 21 189.58/97.88 c cleaning 13049 clauses out of 26114 with flag 5003/617486 191.97/99.11 c cleaning 9515 clauses out of 19062 with flag 11000/623483 194.27/100.46 c cleaning 8257 clauses out of 16547 with flag 18000/630483 197.67/102.25 c cleaning 8136 clauses out of 16291 with flag 26001/638484 200.25/103.65 c cleaning 8564 clauses out of 17154 with flag 35000/647483 204.24/105.73 c cleaning 9281 clauses out of 18590 with flag 45000/657483 208.31/107.94 c cleaning 10141 clauses out of 20310 with flag 56001/668484 211.88/109.90 c cleaning 11078 clauses out of 22170 with flag 68002/680485 215.84/111.99 c cleaning 12032 clauses out of 24090 with flag 81000/693483 220.22/114.22 c cleaning 13025 clauses out of 26061 with flag 95003/707486 224.47/116.60 c cleaning 14002 clauses out of 28033 with flag 110000/722483 229.22/119.00 c cleaning 15004 clauses out of 30033 with flag 126002/738485 233.98/121.59 c cleaning 15500 clauses out of 31029 with flag 142002/754485 239.16/124.23 c cleaning 15760 clauses out of 31527 with flag 158000/770483 245.79/127.72 c cleaning 15880 clauses out of 31767 with flag 174000/786483 251.16/130.57 c cleaning 15930 clauses out of 31888 with flag 190001/802484 257.71/133.95 c cleaning 15962 clauses out of 31958 with flag 206001/818484 263.65/137.01 c cleaning 15990 clauses out of 31996 with flag 222001/834484 269.66/140.23 c cleaning 15991 clauses out of 32006 with flag 238001/850484 275.20/143.13 c cleaning 15990 clauses out of 32014 with flag 254000/866483 280.32/145.84 c cleaning 16009 clauses out of 32027 with flag 270003/882486 285.26/148.47 c cleaning 15999 clauses out of 32016 with flag 286001/898484 291.66/151.81 c cleaning 15993 clauses out of 32017 with flag 302001/914484 296.55/154.46 c cleaning 16001 clauses out of 32024 with flag 318001/930484 301.87/157.26 c cleaning 15996 clauses out of 32023 with flag 334001/946484 308.57/160.73 c cleaning 15995 clauses out of 32026 with flag 350000/962483 313.14/163.23 c cleaning 15998 clauses out of 32031 with flag 366000/978483 317.64/165.69 c cleaning 15998 clauses out of 32033 with flag 382000/994483 322.34/168.15 c cleaning 16004 clauses out of 32036 with flag 398001/1010484 327.84/171.06 c cleaning 16006 clauses out of 32032 with flag 414001/1026484 333.99/174.35 c cleaning 16004 clauses out of 32025 with flag 430000/1042483 338.48/176.76 c cleaning 15993 clauses out of 32021 with flag 446000/1058483 344.56/179.96 c cleaning 16005 clauses out of 32030 with flag 462002/1074485 350.85/183.20 c cleaning 15994 clauses out of 32024 with flag 478001/1090484 354.40/185.24 c cleaning 15996 clauses out of 32030 with flag 494001/1106484 358.07/187.20 c cleaning 15997 clauses out of 32034 with flag 510001/1122484 362.35/189.52 c cleaning 16004 clauses out of 32039 with flag 526003/1138486 368.62/192.83 c cleaning 16002 clauses out of 32032 with flag 542000/1154483 374.93/196.28 c cleaning 15997 clauses out of 32030 with flag 558000/1170483 381.79/199.88 c cleaning 16004 clauses out of 32040 with flag 574007/1186490 388.05/203.14 c cleaning 16004 clauses out of 32033 with flag 590004/1202487 394.70/206.60 c cleaning 15994 clauses out of 32025 with flag 606000/1218483 399.99/209.55 c cleaning 16002 clauses out of 32031 with flag 622000/1234483 405.04/212.22 c cleaning 16006 clauses out of 32029 with flag 638000/1250483 407.88/213.81 c And the winner is CuttingPlanes 407.91/214.11 c Got one! Elapsed wall clock time (in seconds):213.991 407.91/214.11 o 20 409.54/214.97 c cleaning 15071 clauses out of 30171 with flag 5000/1264631 411.97/216.39 c cleaning 10530 clauses out of 21100 with flag 11000/1270631 414.85/218.07 c cleaning 8774 clauses out of 17570 with flag 18000/1277631 417.89/219.73 c cleaning 8383 clauses out of 16797 with flag 26001/1285632 420.73/221.36 c cleaning 8698 clauses out of 17413 with flag 35000/1294631 423.97/223.20 c cleaning 9355 clauses out of 18719 with flag 45004/1304635 428.45/225.61 c cleaning 10170 clauses out of 20360 with flag 56000/1315631 432.10/227.69 c cleaning 11091 clauses out of 22191 with flag 68001/1327632 436.92/230.27 c cleaning 12039 clauses out of 24099 with flag 81000/1340631 441.54/232.73 c cleaning 13021 clauses out of 26060 with flag 95000/1354631 446.79/235.69 c cleaning 14011 clauses out of 28039 with flag 110000/1369631 452.81/238.82 c cleaning 14996 clauses out of 30028 with flag 126000/1385631 458.23/241.73 c cleaning 15503 clauses out of 31032 with flag 142000/1401631 463.84/244.76 c cleaning 15752 clauses out of 31529 with flag 158000/1417631 470.47/248.35 c cleaning 15879 clauses out of 31778 with flag 174001/1433632 476.48/251.50 c cleaning 15935 clauses out of 31899 with flag 190001/1449632 482.28/254.61 c cleaning 15970 clauses out of 31963 with flag 206000/1465631 487.30/257.32 c cleaning 15970 clauses out of 31994 with flag 222001/1481632 493.31/260.65 c cleaning 16001 clauses out of 32025 with flag 238002/1497633 499.73/264.05 c cleaning 15998 clauses out of 32023 with flag 254001/1513632 506.30/267.52 c cleaning 16005 clauses out of 32027 with flag 270003/1529634 512.28/270.75 c cleaning 15994 clauses out of 32019 with flag 286000/1545631 519.50/274.68 c cleaning 15981 clauses out of 32025 with flag 302000/1561631 525.49/277.80 c cleaning 16015 clauses out of 32044 with flag 318000/1577631 535.09/282.86 c cleaning 16002 clauses out of 32029 with flag 334000/1593631 544.28/287.65 c cleaning 16001 clauses out of 32027 with flag 350000/1609631 551.51/291.55 c cleaning 15993 clauses out of 32026 with flag 366000/1625631 558.87/295.43 c cleaning 16010 clauses out of 32033 with flag 382000/1641631 565.26/298.85 c cleaning 16003 clauses out of 32023 with flag 398000/1657631 571.44/302.13 c cleaning 15993 clauses out of 32020 with flag 414000/1673631 576.43/304.92 c cleaning 15993 clauses out of 32027 with flag 430000/1689631 581.20/307.58 c cleaning 15998 clauses out of 32035 with flag 446001/1705632 587.16/310.70 c cleaning 16004 clauses out of 32038 with flag 462002/1721633 593.33/314.00 c cleaning 16007 clauses out of 32033 with flag 478001/1737632 598.32/316.84 c cleaning 16006 clauses out of 32025 with flag 494000/1753631 603.05/319.46 c cleaning 15999 clauses out of 32021 with flag 510002/1769633 608.61/322.48 c cleaning 15994 clauses out of 32021 with flag 526001/1785632 615.76/326.24 c cleaning 16002 clauses out of 32027 with flag 542001/1801632 622.90/330.15 c cleaning 16000 clauses out of 32024 with flag 558000/1817631 629.65/333.72 c cleaning 15996 clauses out of 32024 with flag 574000/1833631 636.39/337.32 c cleaning 16005 clauses out of 32029 with flag 590001/1849632 641.93/340.35 c cleaning 15999 clauses out of 32025 with flag 606002/1865633 647.66/343.59 c cleaning 15999 clauses out of 32025 with flag 622001/1881632 652.80/346.35 c cleaning 16001 clauses out of 32026 with flag 638001/1897632 658.93/349.66 c cleaning 15998 clauses out of 32024 with flag 654000/1913631 666.46/353.69 c cleaning 16000 clauses out of 32026 with flag 670000/1929631 673.18/357.36 c cleaning 16010 clauses out of 32028 with flag 686002/1945633 680.30/361.13 c cleaning 16003 clauses out of 32016 with flag 702000/1961631 687.63/365.09 c cleaning 15989 clauses out of 32013 with flag 718000/1977631 692.75/367.82 c cleaning 15991 clauses out of 32024 with flag 734000/1993631 697.44/370.56 c cleaning 15997 clauses out of 32034 with flag 750001/2009632 701.96/373.03 c cleaning 16009 clauses out of 32041 with flag 766005/2025636 706.67/375.62 c cleaning 15999 clauses out of 32027 with flag 782000/2041631 713.60/379.40 c cleaning 16006 clauses out of 32028 with flag 798000/2057631 721.90/383.86 c cleaning 16006 clauses out of 32023 with flag 814001/2073632 731.19/388.79 c cleaning 15996 clauses out of 32016 with flag 830000/2089631 737.09/391.94 c cleaning 15998 clauses out of 32020 with flag 846000/2105631 743.19/395.25 c cleaning 16001 clauses out of 32022 with flag 862000/2121631 749.45/398.76 c cleaning 16001 clauses out of 32021 with flag 878000/2137631 755.74/402.10 c cleaning 15995 clauses out of 32020 with flag 894000/2153631 762.02/405.51 c cleaning 15998 clauses out of 32025 with flag 910000/2169631 768.93/409.24 c cleaning 15995 clauses out of 32027 with flag 926000/2185631 775.34/412.89 c cleaning 16000 clauses out of 32032 with flag 942000/2201631 780.22/415.57 c cleaning 15999 clauses out of 32033 with flag 958001/2217632 785.09/418.29 c cleaning 15999 clauses out of 32034 with flag 974001/2233632 790.36/421.15 c cleaning 16000 clauses out of 32035 with flag 990001/2249632 796.19/424.50 c cleaning 15997 clauses out of 32034 with flag 1006000/2265631 801.67/427.43 c cleaning 16003 clauses out of 32038 with flag 1022001/2281632 808.76/431.26 c cleaning 15993 clauses out of 32035 with flag 1038001/2297632 814.39/434.35 c cleaning 15993 clauses out of 32042 with flag 1054001/2313632 820.42/437.80 c cleaning 15998 clauses out of 32050 with flag 1070002/2329633 826.48/441.09 c cleaning 16011 clauses out of 32051 with flag 1086001/2345632 830.91/443.58 c cleaning 16003 clauses out of 32040 with flag 1102001/2361632 835.56/446.14 c cleaning 16003 clauses out of 32037 with flag 1118001/2377632 840.56/449.04 c cleaning 16000 clauses out of 32033 with flag 1134000/2393631 845.20/451.66 c cleaning 16003 clauses out of 32036 with flag 1150003/2409634 849.84/454.31 c cleaning 15999 clauses out of 32030 with flag 1166000/2425631 855.47/457.31 c cleaning 15995 clauses out of 32031 with flag 1182000/2441631 864.39/462.20 c cleaning 15997 clauses out of 32037 with flag 1198001/2457632 872.02/466.36 c cleaning 16001 clauses out of 32039 with flag 1214000/2473631 879.20/470.22 c cleaning 16004 clauses out of 32039 with flag 1230001/2489632 886.17/474.03 c cleaning 16002 clauses out of 32037 with flag 1246003/2505634 893.42/478.17 c cleaning 16002 clauses out of 32034 with flag 1262002/2521633 900.04/481.77 c cleaning 15998 clauses out of 32031 with flag 1278001/2537632 907.00/485.57 c cleaning 16001 clauses out of 32032 with flag 1294000/2553631 914.18/489.44 c cleaning 16001 clauses out of 32031 with flag 1310000/2569631 921.23/493.43 c cleaning 16006 clauses out of 32032 with flag 1326002/2585633 926.38/496.35 c cleaning 15998 clauses out of 32025 with flag 1342001/2601632 931.31/499.12 c cleaning 15998 clauses out of 32026 with flag 1358000/2617631 936.45/502.06 c cleaning 15995 clauses out of 32028 with flag 1374000/2633631 941.88/505.25 c cleaning 16005 clauses out of 32033 with flag 1390000/2649631 946.84/508.03 c cleaning 15999 clauses out of 32028 with flag 1406000/2665631 953.79/511.83 c cleaning 15999 clauses out of 32029 with flag 1422000/2681631 962.34/516.48 c cleaning 16007 clauses out of 32034 with flag 1438004/2697635 971.60/521.54 c cleaning 15995 clauses out of 32025 with flag 1454002/2713633 977.15/524.70 c cleaning 16000 clauses out of 32028 with flag 1470000/2729631 981.93/527.33 c cleaning 16006 clauses out of 32031 with flag 1486003/2745634 987.26/530.38 c cleaning 16000 clauses out of 32022 with flag 1502000/2761631 992.55/533.48 c cleaning 15996 clauses out of 32022 with flag 1518000/2777631 994.85/534.95 c cleaning 0 clauses out of 6987 with flag 0/6988 999.10/537.25 c cleaning 16004 clauses out of 32028 with flag 1534002/2793633 1004.99/540.46 c cleaning 16000 clauses out of 32022 with flag 1550000/2809631 1011.07/543.96 c cleaning 15999 clauses out of 32024 with flag 1566002/2825633 1017.42/547.40 c cleaning 16001 clauses out of 32024 with flag 1582001/2841632 1023.58/550.82 c cleaning 16002 clauses out of 32022 with flag 1598000/2857631 1029.51/554.11 c cleaning 16002 clauses out of 32027 with flag 1614007/2873638 1034.77/557.20 c cleaning 15993 clauses out of 32018 with flag 1630000/2889631 1040.51/560.41 c cleaning 15983 clauses out of 32026 with flag 1646001/2905632 1046.86/563.95 c cleaning 15999 clauses out of 32043 with flag 1662001/2921632 1054.40/568.05 c cleaning 16005 clauses out of 32043 with flag 1678000/2937631 1059.28/570.93 c cleaning 15997 clauses out of 32039 with flag 1694001/2953632 1064.39/573.80 c cleaning 16001 clauses out of 32042 with flag 1710001/2969632 1070.28/577.11 c cleaning 16000 clauses out of 32041 with flag 1726001/2985632 1075.98/580.37 c cleaning 15995 clauses out of 32040 with flag 1742000/3001631 1082.54/584.18 c cleaning 16003 clauses out of 32045 with flag 1758000/3017631 1089.36/588.00 c cleaning 15998 clauses out of 32042 with flag 1774000/3033631 1094.81/591.00 c cleaning 16005 clauses out of 32046 with flag 1790002/3049633 1101.29/594.69 c cleaning 16011 clauses out of 32039 with flag 1806000/3065631 1108.31/598.66 c cleaning 16001 clauses out of 32029 with flag 1822001/3081632 1114.83/602.29 c cleaning 16000 clauses out of 32027 with flag 1838000/3097631 1121.54/605.93 c cleaning 15997 clauses out of 32027 with flag 1854000/3113631 1128.26/609.65 c cleaning 16005 clauses out of 32030 with flag 1870000/3129631 1135.26/613.60 c cleaning 15996 clauses out of 32025 with flag 1886000/3145631 1141.18/616.98 c cleaning 16000 clauses out of 32029 with flag 1902000/3161631 1147.30/620.38 c cleaning 16002 clauses out of 32032 with flag 1918003/3177634 1153.79/623.90 c cleaning 16005 clauses out of 32027 with flag 1934000/3193631 1160.79/627.91 c cleaning 15999 clauses out of 32025 with flag 1950003/3209634 1167.12/631.44 c cleaning 15998 clauses out of 32024 with flag 1966001/3225632 1173.58/635.03 c cleaning 16005 clauses out of 32027 with flag 1982002/3241633 1179.89/638.54 c cleaning 15998 clauses out of 32022 with flag 1998002/3257633 1186.86/642.51 c cleaning 15996 clauses out of 32024 with flag 2014002/3273633 1192.99/645.94 c cleaning 16003 clauses out of 32026 with flag 2030000/3289631 1199.68/649.65 c cleaning 15996 clauses out of 32024 with flag 2046001/3305632 1204.97/652.65 c cleaning 16001 clauses out of 32027 with flag 2062000/3321631 1209.96/655.67 c cleaning 15998 clauses out of 32027 with flag 2078001/3337632 1217.61/659.84 c cleaning 16001 clauses out of 32032 with flag 2094004/3353635 1225.49/664.11 c cleaning 15995 clauses out of 32029 with flag 2110002/3369633 1232.77/668.17 c cleaning 16003 clauses out of 32033 with flag 2126001/3385632 1240.11/672.35 c cleaning 16001 clauses out of 32032 with flag 2142003/3401634 1246.79/676.08 c cleaning 16001 clauses out of 32028 with flag 2158000/3417631 1253.86/679.91 c cleaning 16002 clauses out of 32027 with flag 2174000/3433631 1260.33/683.59 c cleaning 16003 clauses out of 32027 with flag 2190002/3449633 1268.27/688.08 c cleaning 16004 clauses out of 32022 with flag 2206000/3465631 1275.52/692.06 c cleaning 16001 clauses out of 32019 with flag 2222001/3481632 1282.58/695.98 c cleaning 15993 clauses out of 32017 with flag 2238000/3497631 1289.63/699.87 c cleaning 15999 clauses out of 32025 with flag 2254001/3513632 1296.54/703.84 c cleaning 16003 clauses out of 32025 with flag 2270000/3529631 1303.39/707.60 c cleaning 16001 clauses out of 32022 with flag 2286000/3545631 1309.83/711.26 c cleaning 16001 clauses out of 32021 with flag 2302000/3561631 1316.49/714.94 c cleaning 16000 clauses out of 32021 with flag 2318001/3577632 1324.19/719.33 c cleaning 16005 clauses out of 32020 with flag 2334000/3593631 1331.62/723.43 c cleaning 15997 clauses out of 32018 with flag 2350003/3609634 1339.26/727.67 c cleaning 16002 clauses out of 32019 with flag 2366001/3625632 1346.89/731.87 c cleaning 16002 clauses out of 32016 with flag 2382000/3641631 1354.37/736.16 c cleaning 15997 clauses out of 32015 with flag 2398001/3657632 1362.02/740.39 c cleaning 15998 clauses out of 32017 with flag 2414000/3673631 1371.02/745.20 c cleaning 15997 clauses out of 32019 with flag 2430000/3689631 1381.04/750.69 c cleaning 15999 clauses out of 32023 with flag 2446001/3705632 1391.31/756.32 c cleaning 15999 clauses out of 32026 with flag 2462003/3721634 1400.35/761.24 c cleaning 15998 clauses out of 32030 with flag 2478006/3737637 1410.35/766.63 c cleaning 15988 clauses out of 32026 with flag 2494000/3753631 1419.54/771.68 c cleaning 16003 clauses out of 32040 with flag 2510002/3769633 1426.38/775.65 c cleaning 16003 clauses out of 32035 with flag 2526000/3785631 1435.18/780.43 c cleaning 15995 clauses out of 32032 with flag 2542000/3801631 1442.78/784.68 c cleaning 16006 clauses out of 32038 with flag 2558001/3817632 1450.77/789.01 c cleaning 16004 clauses out of 32032 with flag 2574001/3833632 1459.20/793.85 c cleaning 16002 clauses out of 32032 with flag 2590005/3849636 1465.60/797.49 c cleaning 15999 clauses out of 32026 with flag 2606001/3865632 1472.78/801.45 c cleaning 16002 clauses out of 32029 with flag 2622003/3881634 1480.56/805.72 c cleaning 16001 clauses out of 32027 with flag 2638003/3897634 1488.37/810.29 c cleaning 15996 clauses out of 32023 with flag 2654000/3913631 1494.82/813.85 c cleaning 16003 clauses out of 32027 with flag 2670000/3929631 1501.60/817.65 c cleaning 16002 clauses out of 32026 with flag 2686002/3945633 1509.01/821.75 c cleaning 15998 clauses out of 32024 with flag 2702002/3961633 1516.78/826.28 c cleaning 16000 clauses out of 32024 with flag 2718000/3977631 1524.75/830.60 c cleaning 16004 clauses out of 32025 with flag 2734001/3993632 1532.17/834.74 c cleaning 15996 clauses out of 32020 with flag 2750000/4009631 1539.75/838.93 c cleaning 16002 clauses out of 32025 with flag 2766001/4025632 1548.17/843.73 c cleaning 16001 clauses out of 32022 with flag 2782000/4041631 1555.51/847.88 c cleaning 15998 clauses out of 32021 with flag 2798000/4057631 1564.27/852.64 c cleaning 15998 clauses out of 32024 with flag 2814001/4073632 1572.63/857.23 c cleaning 16003 clauses out of 32027 with flag 2830002/4089633 1581.41/862.25 c cleaning 16001 clauses out of 32023 with flag 2846001/4105632 1589.43/866.70 c cleaning 16004 clauses out of 32026 with flag 2862005/4121636 1597.37/871.07 c cleaning 15992 clauses out of 32017 with flag 2878000/4137631 1605.74/875.69 c cleaning 16003 clauses out of 32030 with flag 2894005/4153636 1613.67/880.29 c cleaning 16000 clauses out of 32022 with flag 2910000/4169631 1621.82/884.75 c cleaning 16002 clauses out of 32022 with flag 2926000/4185631 1629.55/889.04 c cleaning 16001 clauses out of 32024 with flag 2942004/4201635 1637.89/893.66 c cleaning 16002 clauses out of 32019 with flag 2958000/4217631 1647.24/898.95 c cleaning 16001 clauses out of 32019 with flag 2974002/4233633 1654.97/903.28 c cleaning 15993 clauses out of 32016 with flag 2990000/4249631 1662.37/907.30 c cleaning 15995 clauses out of 32024 with flag 3006001/4265632 1668.93/911.00 c cleaning 15999 clauses out of 32029 with flag 3022001/4281632 1676.71/915.51 c cleaning 16001 clauses out of 32029 with flag 3038000/4297631 1682.89/919.04 c cleaning 16004 clauses out of 32028 with flag 3054000/4313631 1691.03/923.52 c cleaning 15999 clauses out of 32026 with flag 3070002/4329633 1697.97/927.48 c cleaning 15995 clauses out of 32025 with flag 3086000/4345631 1704.13/931.16 c cleaning 16000 clauses out of 32031 with flag 3102001/4361632 1710.06/934.53 c cleaning 16001 clauses out of 32030 with flag 3118000/4377631 1718.61/939.22 c cleaning 16001 clauses out of 32030 with flag 3134001/4393632 1727.35/944.07 c cleaning 16005 clauses out of 32030 with flag 3150002/4409633 1736.72/949.40 c cleaning 15990 clauses out of 32024 with flag 3166001/4425632 1746.07/954.42 c cleaning 16004 clauses out of 32035 with flag 3182002/4441633 1752.04/957.82 c cleaning 16001 clauses out of 32029 with flag 3198000/4457631 1758.20/961.37 c cleaning 16003 clauses out of 32029 with flag 3214001/4473632 1765.37/965.59 c cleaning 15999 clauses out of 32025 with flag 3230000/4489631 1773.14/969.82 c cleaning 16002 clauses out of 32027 with flag 3246001/4505632 1780.91/974.12 c cleaning 15998 clauses out of 32024 with flag 3262000/4521631 1788.49/978.37 c cleaning 15998 clauses out of 32026 with flag 3278000/4537631 1796.46/982.92 c cleaning 16005 clauses out of 32029 with flag 3294001/4553632 1800.04/985.12 c starts : 39 1800.04/985.12 c conflicts : 9475 1800.04/985.12 c decisions : 68209 1800.04/985.12 c propagations : 900895 1800.04/985.12 c inspects : 308300619 1800.04/985.12 c shortcuts : 0 1800.04/985.12 c learnt literals : 0 1800.04/985.12 c learnt binary clauses : 0 1800.04/985.12 c learnt ternary clauses : 0 1800.04/985.12 c learnt constraints : 9473 1800.04/985.12 c ignored constraints : 0 1800.04/985.12 c root simplifications : 0 1800.04/985.12 c removed literals (reason simplification) : 0 1800.04/985.12 c reason swapping (by a shorter reason) : 0 1800.04/985.12 c Calls to reduceDB : 1 1800.04/985.12 c number of reductions to clauses (during analyze) : 0 1800.04/985.12 c number of learned constraints concerned by reduction : 0 1800.04/985.12 c number of learning phase by resolution : 0 1800.04/985.12 c number of learning phase by cutting planes : 0 1800.04/985.12 c speed (assignments/second) : 1168.466912060347 1800.04/985.12 c non guided choices 0 1800.04/985.12 c learnt constraints type 1800.04/985.12 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 111 1800.04/985.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 12 1800.04/985.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 9350 1800.04/985.12 c constraints type 1800.04/985.12 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827 1800.04/985.12 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.04/985.12 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287 1800.04/985.12 c constraints type 1800.04/985.12 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287 1800.04/985.12 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827 1800.04/985.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.04/985.12 s SATISFIABLE 1800.04/985.14 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 x2591 x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 x2774 x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 x2832 -x2833 x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 x3118 -x3119 -x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 x3179 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 x3206 -x3207 -x3208 -x3209 -x3210 x3211 -x3212 x3213 -x3214 -x3215 x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 x3247 -x3248 x3249 -x3250 -x3251 -x3252 x3253 -x3254 x3255 -x3256 -x3257 -x3258 x3259 x3260 x3261 x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 x3271 -x3272 -x3273 -x3274 x3275 -x3276 x3277 -x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 x3362 x3363 -x3364 x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 x3388 -x3389 x3390 -x3391 -x3392 x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 -x3433 x3434 -x3435 x3436 -x3437 x3438 -x3439 -x3440 -x3441 x3442 -x3443 x3444 -x3445 x3446 -x3447 -x3448 -x3449 x3450 -x3451 x3452 -x3453 x3454 -x3455 x3456 -x3457 x3458 -x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 x3525 x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 x3608 -x3609 x3610 -x3611 x3612 -x3613 x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 x3626 -x3627 x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 x4111 -x4112 x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 x4123 -x4124 x4125 -x4126 -x4127 x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 x4144 -x4145 -x4146 x4147 x4148 x4149 x4150 x4151 -x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 x4193 -x4194 -x4195 -x4196 -x4197 x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 1800.04/985.15 c objective function=20 1800.04/985.15 c Total wall clock time (in seconds): 985.029
OK 20
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454131-1307193686/watcher-3454131-1307193686 -o /tmp/evaluation-result-3454131-1307193686/solver-3454131-1307193686 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454131-1307193686.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.61 3.54 3.64 2/397 13462 /proc/meminfo: memFree=30004688/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=30536 CPUtime=0 cores=0,2,4,6 /proc/13462/stat : 13462 (java) S 13460 13462 8078 0 -1 4202496 1243 0 0 0 0 0 0 0 24 0 2 0 830968403 31268864 963 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 7634 963 736 9 0 385 0 [pid=13462/tid=13463] ppid=13460 vsize=36924 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13463/stat : 13463 (java) S 13460 13462 8078 0 -1 4202560 256 0 1 0 0 0 0 0 25 0 2 0 830968404 37810176 1073 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237278877755 0 2147483391 0 16784584 18446744071699199166 0 0 -1 2 0 0 0 [startup+0.0570049 s] /proc/loadavg: 2.61 3.54 3.64 2/397 13462 /proc/meminfo: memFree=30004688/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=10533148 CPUtime=0.03 cores=0,2,4,6 /proc/13462/stat : 13462 (java) S 13460 13462 8078 0 -1 4202496 11408 0 1 0 2 1 0 0 24 0 13 0 830968403 10785943552 11106 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290682341 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 2633287 11106 1684 9 0 2624035 0 [pid=13462/tid=13463] ppid=13460 vsize=10533148 CPUtime=0.03 cores=0,2,4,6 /proc/13462/task/13463/stat : 13463 (java) R 13460 13462 8078 0 -1 4202560 10261 0 1 0 2 1 0 0 25 0 13 0 830968404 10785943552 11107 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 47613408588547 0 4 0 16800971 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10533148 [startup+0.101035 s] /proc/loadavg: 2.61 3.54 3.64 2/397 13462 /proc/meminfo: memFree=30004688/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=10539952 CPUtime=0.1 cores=0,2,4,6 /proc/13462/stat : 13462 (java) S 13460 13462 8078 0 -1 4202496 12970 0 1 0 8 2 0 0 24 0 18 0 830968403 10792910848 12668 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 2634988 12668 2092 9 0 2625722 0 [pid=13462/tid=13463] ppid=13460 vsize=10539952 CPUtime=0.07 cores=0,2,4,6 /proc/13462/task/13463/stat : 13463 (java) R 13460 13462 8078 0 -1 4202560 11038 0 1 0 6 1 0 0 25 0 18 0 830968404 10792910848 12669 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 47613413083987 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539952 [startup+0.300964 s] /proc/loadavg: 2.61 3.54 3.64 2/397 13462 /proc/meminfo: memFree=30004688/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=10542016 CPUtime=0.47 cores=0,2,4,6 /proc/13462/stat : 13462 (java) S 13460 13462 8078 0 -1 4202496 15982 0 1 0 45 2 0 0 24 0 18 0 830968403 10795024384 15425 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 2635504 15426 2200 9 0 2626238 0 [pid=13462/tid=13463] ppid=13460 vsize=10542016 CPUtime=0.27 cores=0,2,4,6 /proc/13462/task/13463/stat : 13463 (java) R 13460 13462 8078 0 -1 4202560 13016 0 1 0 26 1 0 0 25 0 18 0 830968404 10795024384 15431 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 46912505590309 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 10542016 [startup+0.70101 s] /proc/loadavg: 2.61 3.54 3.64 2/397 13462 /proc/meminfo: memFree=30004688/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=10549388 CPUtime=1.26 cores=0,2,4,6 /proc/13462/stat : 13462 (java) S 13460 13462 8078 0 -1 4202496 27617 0 1 0 122 4 0 0 24 0 19 0 830968403 10802573312 25470 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 2637347 25470 2237 9 0 2628081 0 [pid=13462/tid=13463] ppid=13460 vsize=10549388 CPUtime=0.45 cores=0,2,4,6 /proc/13462/task/13463/stat : 13463 (java) S 13460 13462 8078 0 -1 4202560 20541 0 1 0 42 3 0 0 25 0 19 0 830968404 10802573312 25470 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 10549388 [startup+1.50081 s] /proc/loadavg: 2.56 3.52 3.63 5/440 13514 /proc/meminfo: memFree=29723736/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=10549388 CPUtime=2.85 cores=0,2,4,6 /proc/13462/stat : 13462 (java) S 13460 13462 8078 0 -1 4202496 67902 0 1 0 277 8 0 0 24 0 22 0 830968403 10802573312 64265 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 2637347 64270 2243 9 0 2628081 0 [pid=13462/tid=13463] ppid=13460 vsize=10549388 CPUtime=0.45 cores=0,2,4,6 /proc/13462/task/13463/stat : 13463 (java) S 13460 13462 8078 0 -1 4202560 20606 0 1 0 42 3 0 0 16 0 22 0 830968404 10802573312 64275 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13467] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13467/stat : 13467 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968406 10802573312 64278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13468] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13468/stat : 13468 (java) S 13460 13462 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830968406 10802573312 64281 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13469] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13469/stat : 13469 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968406 10802573312 64287 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13470] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13470/stat : 13470 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968406 10802573312 64290 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13472] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13472/stat : 13472 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968406 10802573312 64294 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13473] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13473/stat : 13473 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968406 10802573312 64299 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13474] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13474/stat : 13474 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968406 10802573312 64302 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13475] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13475/stat : 13475 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968406 10802573312 64306 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13479] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13479/stat : 13479 (java) S 13460 13462 8078 0 -1 4202560 6 0 0 0 0 0 0 0 21 0 22 0 830968407 10802573312 64310 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 0 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13480] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13480/stat : 13480 (java) S 13460 13462 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830968408 10802573312 64313 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13481] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13481/stat : 13481 (java) S 13460 13462 8078 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830968408 10802573312 64318 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13494] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13494/stat : 13494 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968410 10802573312 64322 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290703281 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13495] ppid=13460 vsize=10549388 CPUtime=0.61 cores=0,2,4,6 /proc/13462/task/13495/stat : 13495 (java) S 13460 13462 8078 0 -1 4202560 2449 0 0 0 61 0 0 0 20 0 22 0 830968410 10802573312 64325 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13496] ppid=13460 vsize=10549388 CPUtime=0.67 cores=0,2,4,6 /proc/13462/task/13496/stat : 13496 (java) R 13460 13462 8078 0 -1 4202560 4718 0 0 0 67 0 0 0 20 0 22 0 830968410 10802573312 64329 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 47613407921280 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13462/tid=13497] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13497/stat : 13497 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968410 10802573312 64334 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13498] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13498/stat : 13498 (java) S 13460 13462 8078 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830968410 10802573312 64336 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13506] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13506/stat : 13506 (java) S 13460 13462 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830968452 10802573312 64341 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13512] ppid=13460 vsize=10549388 CPUtime=0.49 cores=0,2,4,6 /proc/13462/task/13512/stat : 13512 (java) R 13460 13462 8078 0 -1 4202560 400 0 0 0 49 0 0 0 23 0 22 0 830968503 10802573312 64345 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 46912505164271 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=13462/tid=13513] ppid=13460 vsize=10549388 CPUtime=0.49 cores=0,2,4,6 /proc/13462/task/13513/stat : 13513 (java) R 13460 13462 8078 0 -1 4202560 38330 0 0 0 46 3 0 0 25 0 22 0 830968503 10802573312 64347 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 46912505901951 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13462/tid=13514] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13514/stat : 13514 (java) S 13460 13462 8078 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 22 0 830968503 10802573312 64353 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.85 Current children cumulated vsize (KiB) 10549388 [startup+3.10147 s] /proc/loadavg: 2.56 3.52 3.63 5/443 13521 /proc/meminfo: memFree=29135192/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=10549388 CPUtime=5.6 cores=0,2,4,6 /proc/13462/stat : 13462 (java) S 13460 13462 8078 0 -1 4202496 148350 0 1 0 543 17 0 0 24 0 22 0 830968403 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 2637347 144121 2268 9 0 2628081 0 [pid=13462/tid=13463] ppid=13460 vsize=10549388 CPUtime=0.46 cores=0,2,4,6 /proc/13462/task/13463/stat : 13463 (java) S 13460 13462 8078 0 -1 4202560 20606 0 1 0 43 3 0 0 15 0 22 0 830968404 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13467] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13467/stat : 13467 (java) S 13460 13462 8078 0 -1 4202560 279 0 0 0 0 0 0 0 16 0 22 0 830968406 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13468] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13468/stat : 13468 (java) S 13460 13462 8078 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830968406 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13469] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13469/stat : 13469 (java) S 13460 13462 8078 0 -1 4202560 274 0 0 0 0 0 0 0 16 0 22 0 830968406 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13470] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13470/stat : 13470 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830968406 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13472] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13472/stat : 13472 (java) S 13460 13462 8078 0 -1 4202560 630 0 0 0 0 0 0 0 18 0 22 0 830968406 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13473] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13473/stat : 13473 (java) S 13460 13462 8078 0 -1 4202560 373 0 0 0 0 0 0 0 18 0 22 0 830968406 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13474] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13474/stat : 13474 (java) S 13460 13462 8078 0 -1 4202560 411 0 0 0 0 0 0 0 18 0 22 0 830968406 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13475] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13475/stat : 13475 (java) S 13460 13462 8078 0 -1 4202560 413 0 0 0 0 0 0 0 18 0 22 0 830968406 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13479] ppid=13460 vsize=10549388 CPUtime=0.05 cores=0,2,4,6 /proc/13462/task/13479/stat : 13479 (java) S 13460 13462 8078 0 -1 4202560 2007 0 0 0 5 0 0 0 15 0 22 0 830968407 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 0 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13480] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13480/stat : 13480 (java) S 13460 13462 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830968408 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13481] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13481/stat : 13481 (java) S 13460 13462 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830968408 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13494] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13494/stat : 13494 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968410 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290703281 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13495] ppid=13460 vsize=10549388 CPUtime=0.68 cores=0,2,4,6 /proc/13462/task/13495/stat : 13495 (java) S 13460 13462 8078 0 -1 4202560 2459 0 0 0 68 0 0 0 16 0 22 0 830968410 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13496] ppid=13460 vsize=10549388 CPUtime=0.78 cores=0,2,4,6 /proc/13462/task/13496/stat : 13496 (java) S 13460 13462 8078 0 -1 4202560 5308 0 0 0 78 0 0 0 16 0 22 0 830968410 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13497] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13497/stat : 13497 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968410 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13498] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13498/stat : 13498 (java) S 13460 13462 8078 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830968410 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13506] ppid=13460 vsize=10549388 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13506/stat : 13506 (java) S 13460 13462 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830968452 10802573312 144121 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 5.6 Current children cumulated vsize (KiB) 10549388 [startup+6.30095 s] /proc/loadavg: 2.68 3.52 3.63 5/443 13524 /proc/meminfo: memFree=27888884/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=10549900 CPUtime=11.99 cores=0,2,4,6 /proc/13462/stat : 13462 (java) S 13460 13462 8078 0 -1 4202496 164968 0 1 0 1180 19 0 0 24 0 22 0 830968403 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 2637475 160725 2269 9 0 2628209 0 [pid=13462/tid=13463] ppid=13460 vsize=10549900 CPUtime=0.46 cores=0,2,4,6 /proc/13462/task/13463/stat : 13463 (java) S 13460 13462 8078 0 -1 4202560 20606 0 1 0 43 3 0 0 15 0 22 0 830968404 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13467] ppid=13460 vsize=10549900 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13467/stat : 13467 (java) S 13460 13462 8078 0 -1 4202560 280 0 0 0 0 0 0 0 16 0 22 0 830968406 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13468] ppid=13460 vsize=10549900 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13468/stat : 13468 (java) S 13460 13462 8078 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 830968406 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13469] ppid=13460 vsize=10549900 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13469/stat : 13469 (java) S 13460 13462 8078 0 -1 4202560 281 0 0 0 0 0 0 0 16 0 22 0 830968406 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13470] ppid=13460 vsize=10549900 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13470/stat : 13470 (java) S 13460 13462 8078 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 830968406 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13472] ppid=13460 vsize=10549900 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13472/stat : 13472 (java) S 13460 13462 8078 0 -1 4202560 630 0 0 0 0 0 0 0 16 0 22 0 830968406 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13473] ppid=13460 vsize=10549900 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13473/stat : 13473 (java) S 13460 13462 8078 0 -1 4202560 378 0 0 0 0 0 0 0 15 0 22 0 830968406 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13474] ppid=13460 vsize=10549900 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13474/stat : 13474 (java) S 13460 13462 8078 0 -1 4202560 412 0 0 0 0 0 0 0 15 0 22 0 830968406 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13475] ppid=13460 vsize=10549900 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13475/stat : 13475 (java) S 13460 13462 8078 0 -1 4202560 413 0 0 0 0 0 0 0 15 0 22 0 830968406 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13479] ppid=13460 vsize=10549900 CPUtime=0.16 cores=0,2,4,6 /proc/13462/task/13479/stat : 13479 (java) S 13460 13462 8078 0 -1 4202560 3098 0 0 0 16 0 0 0 16 0 22 0 830968407 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 0 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13480] ppid=13460 vsize=10549900 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13480/stat : 13480 (java) S 13460 13462 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830968408 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13481] ppid=13460 vsize=10549900 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13481/stat : 13481 (java) S 13460 13462 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830968408 10803097600 160725 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=23369728/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=10556204 CPUtime=1617.02 cores=0,2,4,6 /proc/13462/stat : 13462 (java) S 13460 13462 8078 0 -1 4202496 618977 0 1 0 161630 72 0 0 24 0 22 0 830968403 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 2639051 609278 2270 9 0 2629785 0 [pid=13462/tid=13463] ppid=13460 vsize=10556204 CPUtime=0.47 cores=0,2,4,6 /proc/13462/task/13463/stat : 13463 (java) S 13460 13462 8078 0 -1 4202560 20798 0 1 0 44 3 0 0 15 0 22 0 830968404 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13467] ppid=13460 vsize=10556204 CPUtime=1.44 cores=0,2,4,6 /proc/13462/task/13467/stat : 13467 (java) S 13460 13462 8078 0 -1 4202560 1520 0 0 0 144 0 0 0 15 0 22 0 830968406 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13468] ppid=13460 vsize=10556204 CPUtime=1.44 cores=0,2,4,6 /proc/13462/task/13468/stat : 13468 (java) S 13460 13462 8078 0 -1 4202560 791 0 0 0 144 0 0 0 15 0 22 0 830968406 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13469] ppid=13460 vsize=10556204 CPUtime=1.61 cores=0,2,4,6 /proc/13462/task/13469/stat : 13469 (java) S 13460 13462 8078 0 -1 4202560 688 0 0 0 161 0 0 0 16 0 22 0 830968406 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13470] ppid=13460 vsize=10556204 CPUtime=1.39 cores=0,2,4,6 /proc/13462/task/13470/stat : 13470 (java) S 13460 13462 8078 0 -1 4202560 701 0 0 0 139 0 0 0 16 0 22 0 830968406 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13472] ppid=13460 vsize=10556204 CPUtime=1.31 cores=0,2,4,6 /proc/13462/task/13472/stat : 13472 (java) S 13460 13462 8078 0 -1 4202560 1262 0 0 0 131 0 0 0 15 0 22 0 830968406 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13473] ppid=13460 vsize=10556204 CPUtime=1.43 cores=0,2,4,6 /proc/13462/task/13473/stat : 13473 (java) S 13460 13462 8078 0 -1 4202560 1350 0 0 0 142 1 0 0 15 0 22 0 830968406 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13474] ppid=13460 vsize=10556204 CPUtime=1.49 cores=0,2,4,6 /proc/13462/task/13474/stat : 13474 (java) S 13460 13462 8078 0 -1 4202560 574 0 0 0 149 0 0 0 16 0 22 0 830968406 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13475] ppid=13460 vsize=10556204 CPUtime=1.37 cores=0,2,4,6 /proc/13462/task/13475/stat : 13475 (java) S 13460 13462 8078 0 -1 4202560 1024 0 0 0 137 0 0 0 16 0 22 0 830968406 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13479] ppid=13460 vsize=10556204 CPUtime=151.35 cores=0,2,4,6 /proc/13462/task/13479/stat : 13479 (java) S 13460 13462 8078 0 -1 4202560 114719 0 0 0 15121 14 0 0 15 0 22 0 830968407 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 0 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13480] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13480/stat : 13480 (java) S 13460 13462 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830968408 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13481] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13481/stat : 13481 (java) S 13460 13462 8078 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 830968408 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13494] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13494/stat : 13494 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968410 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290703281 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13495] ppid=13460 vsize=10556204 CPUtime=0.79 cores=0,2,4,6 /proc/13462/task/13495/stat : 13495 (java) S 13460 13462 8078 0 -1 4202560 2464 0 0 0 79 0 0 0 16 0 22 0 830968410 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13496] ppid=13460 vsize=10556204 CPUtime=1.6 cores=0,2,4,6 /proc/13462/task/13496/stat : 13496 (java) S 13460 13462 8078 0 -1 4202560 11745 0 0 0 159 1 0 0 15 0 22 0 830968410 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13497] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13497/stat : 13497 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968410 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13498] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13498/stat : 13498 (java) S 13460 13462 8078 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830968410 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13527] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13527/stat : 13527 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830969608 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13536] ppid=13460 vsize=10556204 CPUtime=533.58 cores=0,2,4,6 /proc/13462/task/13536/stat : 13536 (java) R 13460 13462 8078 0 -1 4202560 26 0 0 0 53358 0 0 0 19 0 22 0 830989815 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 46912505932136 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13462/tid=13537] ppid=13460 vsize=10556204 CPUtime=533.59 cores=0,2,4,6 /proc/13462/task/13537/stat : 13537 (java) R 13460 13462 8078 0 -1 4202560 10 0 0 0 53359 0 0 0 19 0 22 0 830989815 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 46912506012259 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13462/tid=13538] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13538/stat : 13538 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830989815 10809552896 609278 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1617.02 Current children cumulated vsize (KiB) 10556204 [startup+942.301 s] /proc/loadavg: 2.76 3.57 3.66 3/416 13578 /proc/meminfo: memFree=27560296/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=10556204 CPUtime=1723.95 cores=0,2,4,6 /proc/13462/stat : 13462 (java) S 13460 13462 8078 0 -1 4202496 622015 0 1 0 172322 73 0 0 24 0 22 0 830968403 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 2639051 612298 2270 9 0 2629785 0 [pid=13462/tid=13463] ppid=13460 vsize=10556204 CPUtime=0.47 cores=0,2,4,6 /proc/13462/task/13463/stat : 13463 (java) S 13460 13462 8078 0 -1 4202560 20812 0 1 0 44 3 0 0 15 0 22 0 830968404 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13467] ppid=13460 vsize=10556204 CPUtime=1.52 cores=0,2,4,6 /proc/13462/task/13467/stat : 13467 (java) S 13460 13462 8078 0 -1 4202560 1524 0 0 0 152 0 0 0 15 0 22 0 830968406 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13468] ppid=13460 vsize=10556204 CPUtime=1.52 cores=0,2,4,6 /proc/13462/task/13468/stat : 13468 (java) S 13460 13462 8078 0 -1 4202560 791 0 0 0 152 0 0 0 16 0 22 0 830968406 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13469] ppid=13460 vsize=10556204 CPUtime=1.73 cores=0,2,4,6 /proc/13462/task/13469/stat : 13469 (java) S 13460 13462 8078 0 -1 4202560 691 0 0 0 173 0 0 0 16 0 22 0 830968406 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13470] ppid=13460 vsize=10556204 CPUtime=1.57 cores=0,2,4,6 /proc/13462/task/13470/stat : 13470 (java) S 13460 13462 8078 0 -1 4202560 701 0 0 0 157 0 0 0 16 0 22 0 830968406 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13472] ppid=13460 vsize=10556204 CPUtime=1.39 cores=0,2,4,6 /proc/13462/task/13472/stat : 13472 (java) S 13460 13462 8078 0 -1 4202560 1262 0 0 0 139 0 0 0 15 0 22 0 830968406 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13473] ppid=13460 vsize=10556204 CPUtime=1.52 cores=0,2,4,6 /proc/13462/task/13473/stat : 13473 (java) S 13460 13462 8078 0 -1 4202560 1350 0 0 0 151 1 0 0 16 0 22 0 830968406 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13474] ppid=13460 vsize=10556204 CPUtime=1.57 cores=0,2,4,6 /proc/13462/task/13474/stat : 13474 (java) S 13460 13462 8078 0 -1 4202560 574 0 0 0 157 0 0 0 15 0 22 0 830968406 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13475] ppid=13460 vsize=10556204 CPUtime=1.49 cores=0,2,4,6 /proc/13462/task/13475/stat : 13475 (java) S 13460 13462 8078 0 -1 4202560 1024 0 0 0 149 0 0 0 15 0 22 0 830968406 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13479] ppid=13460 vsize=10556204 CPUtime=164.8 cores=0,2,4,6 /proc/13462/task/13479/stat : 13479 (java) S 13460 13462 8078 0 -1 4202560 117734 0 0 0 16465 15 0 0 15 0 22 0 830968407 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 0 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13480] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13480/stat : 13480 (java) S 13460 13462 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830968408 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13481] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13481/stat : 13481 (java) S 13460 13462 8078 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 830968408 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13494] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13494/stat : 13494 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968410 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290703281 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13495] ppid=13460 vsize=10556204 CPUtime=0.79 cores=0,2,4,6 /proc/13462/task/13495/stat : 13495 (java) S 13460 13462 8078 0 -1 4202560 2464 0 0 0 79 0 0 0 16 0 22 0 830968410 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13496] ppid=13460 vsize=10556204 CPUtime=1.6 cores=0,2,4,6 /proc/13462/task/13496/stat : 13496 (java) S 13460 13462 8078 0 -1 4202560 11745 0 0 0 159 1 0 0 15 0 22 0 830968410 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13497] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13497/stat : 13497 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968410 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13498] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13498/stat : 13498 (java) S 13460 13462 8078 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830968410 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13527] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13527/stat : 13527 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830969608 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13536] ppid=13460 vsize=10556204 CPUtime=579.91 cores=0,2,4,6 /proc/13462/task/13536/stat : 13536 (java) R 13460 13462 8078 0 -1 4202560 26 0 0 0 57991 0 0 0 21 0 22 0 830989815 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 46912505898739 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13462/tid=13537] ppid=13460 vsize=10556204 CPUtime=579.92 cores=0,2,4,6 /proc/13462/task/13537/stat : 13537 (java) R 13460 13462 8078 0 -1 4202560 10 0 0 0 57992 0 0 0 21 0 22 0 830989815 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 46912506012094 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13462/tid=13538] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13538/stat : 13538 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830989815 10809552896 612298 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1723.95 Current children cumulated vsize (KiB) 10556204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+985.101 s] /proc/loadavg: 2.09 3.27 3.56 3/416 13579 /proc/meminfo: memFree=27556796/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=10556204 CPUtime=1800.04 cores=0,2,4,6 /proc/13462/stat : 13462 (java) S 13460 13462 8078 0 -1 4202496 622896 0 1 0 179931 73 0 0 24 0 22 0 830968403 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 2639051 613161 2270 9 0 2629785 0 [pid=13462/tid=13463] ppid=13460 vsize=10556204 CPUtime=0.47 cores=0,2,4,6 /proc/13462/task/13463/stat : 13463 (java) S 13460 13462 8078 0 -1 4202560 20822 0 1 0 44 3 0 0 15 0 22 0 830968404 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13467] ppid=13460 vsize=10556204 CPUtime=1.59 cores=0,2,4,6 /proc/13462/task/13467/stat : 13467 (java) S 13460 13462 8078 0 -1 4202560 1524 0 0 0 159 0 0 0 15 0 22 0 830968406 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13468] ppid=13460 vsize=10556204 CPUtime=1.58 cores=0,2,4,6 /proc/13462/task/13468/stat : 13468 (java) S 13460 13462 8078 0 -1 4202560 791 0 0 0 158 0 0 0 15 0 22 0 830968406 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13469] ppid=13460 vsize=10556204 CPUtime=1.81 cores=0,2,4,6 /proc/13462/task/13469/stat : 13469 (java) S 13460 13462 8078 0 -1 4202560 691 0 0 0 181 0 0 0 16 0 22 0 830968406 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13470] ppid=13460 vsize=10556204 CPUtime=1.65 cores=0,2,4,6 /proc/13462/task/13470/stat : 13470 (java) S 13460 13462 8078 0 -1 4202560 702 0 0 0 165 0 0 0 15 0 22 0 830968406 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13472] ppid=13460 vsize=10556204 CPUtime=1.45 cores=0,2,4,6 /proc/13462/task/13472/stat : 13472 (java) S 13460 13462 8078 0 -1 4202560 1262 0 0 0 145 0 0 0 16 0 22 0 830968406 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13473] ppid=13460 vsize=10556204 CPUtime=1.59 cores=0,2,4,6 /proc/13462/task/13473/stat : 13473 (java) S 13460 13462 8078 0 -1 4202560 1350 0 0 0 158 1 0 0 15 0 22 0 830968406 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13474] ppid=13460 vsize=10556204 CPUtime=1.65 cores=0,2,4,6 /proc/13462/task/13474/stat : 13474 (java) S 13460 13462 8078 0 -1 4202560 577 0 0 0 165 0 0 0 16 0 22 0 830968406 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13475] ppid=13460 vsize=10556204 CPUtime=1.57 cores=0,2,4,6 /proc/13462/task/13475/stat : 13475 (java) S 13460 13462 8078 0 -1 4202560 1024 0 0 0 157 0 0 0 16 0 22 0 830968406 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13479] ppid=13460 vsize=10556204 CPUtime=174.58 cores=0,2,4,6 /proc/13462/task/13479/stat : 13479 (java) S 13460 13462 8078 0 -1 4202560 118597 0 0 0 17443 15 0 0 15 0 22 0 830968407 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 0 0 16800975 18446604441823495360 0 0 -1 4 0 0 0 [pid=13462/tid=13480] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13480/stat : 13480 (java) S 13460 13462 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830968408 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13481] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13481/stat : 13481 (java) S 13460 13462 8078 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 830968408 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13494] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13494/stat : 13494 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968410 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290703281 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13495] ppid=13460 vsize=10556204 CPUtime=0.79 cores=0,2,4,6 /proc/13462/task/13495/stat : 13495 (java) S 13460 13462 8078 0 -1 4202560 2464 0 0 0 79 0 0 0 16 0 22 0 830968410 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13496] ppid=13460 vsize=10556204 CPUtime=1.6 cores=0,2,4,6 /proc/13462/task/13496/stat : 13496 (java) S 13460 13462 8078 0 -1 4202560 11745 0 0 0 159 1 0 0 15 0 22 0 830968410 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 2 0 0 0 [pid=13462/tid=13497] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13497/stat : 13497 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830968410 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290695577 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 [pid=13462/tid=13498] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13498/stat : 13498 (java) S 13460 13462 8078 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 830968410 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13527] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13527/stat : 13527 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830969608 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 0 0 0 0 [pid=13462/tid=13536] ppid=13460 vsize=10556204 CPUtime=612.77 cores=0,2,4,6 /proc/13462/task/13536/stat : 13536 (java) R 13460 13462 8078 0 -1 4202560 26 0 0 0 61277 0 0 0 19 0 22 0 830989815 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 46912505931946 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13462/tid=13537] ppid=13460 vsize=10556204 CPUtime=612.79 cores=0,2,4,6 /proc/13462/task/13537/stat : 13537 (java) R 13460 13462 8078 0 -1 4202560 10 0 0 0 61279 0 0 0 19 0 22 0 830989815 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 46912506012259 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13462/tid=13538] ppid=13460 vsize=10556204 CPUtime=0 cores=0,2,4,6 /proc/13462/task/13538/stat : 13538 (java) S 13460 13462 8078 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830989815 10809552896 613161 33554432000 1073741824 1073778376 140735030439552 18446744073709551615 237290696192 0 4 0 16800975 18446604441823495360 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 10556204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+985.221 s] /proc/loadavg: 2.09 3.27 3.56 3/416 13579 /proc/meminfo: memFree=27556796/32950904 swapFree=56615552/67111528 [pid=13462] ppid=13460 vsize=0 CPUtime=1800.23 cores=0,2,4,6 /proc/13462/stat : 13462 (java) Z 13460 13462 8078 0 -1 4203548 622927 0 1 0 179943 80 0 0 17 0 2 0 830968403 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13462/statm: 0 0 0 0 0 0 0 [pid=13462/tid=13536] ppid=13460 vsize=0 CPUtime=612.87 cores=0,2,4,6 /proc/13462/task/13536/stat : 13536 (java) R 13460 13462 8078 0 -1 4203588 26 0 0 0 61280 7 0 0 20 0 2 0 830989815 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 985.244 CPU time (s): 1800.26 CPU user time (s): 1799.43 CPU system time (s): 0.826874 CPU usage (%): 182.722 Max. virtual memory (cumulated for all children) (KiB): 10563168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.826874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 622927 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31109 involuntary context switches= 19030 runsolver used 3.88541 second user time and 8.85965 second system time The end
Begin job on node121 at 2011-06-04 15:21:27 IDJOB=3454131 IDBENCH=25017 IDSOLVER=1950 FILE ID=node121/3454131-1307193686 RUNJOBID= node121-1307193686-13448 PBS_JOBID= 13508819 Free space on /tmp= 73956 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454131-1307193686/watcher-3454131-1307193686 -o /tmp/evaluation-result-3454131-1307193686/solver-3454131-1307193686 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454131-1307193686.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED=1334855515 node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 30004860 kB Buffers: 331332 kB Cached: 506080 kB SwapCached: 9896 kB Active: 2228392 kB Inactive: 456956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 30004860 kB SwapTotal: 67111528 kB SwapFree: 56615552 kB Dirty: 1860 kB Writeback: 0 kB AnonPages: 1845172 kB Mapped: 12576 kB Slab: 142088 kB PageTables: 51976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 83505120 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73956 MiB End job on node121 at 2011-06-04 15:37:54