Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | SAT (TO) | 24 | 1800.29 | 1796.76 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
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 | 22 |
Best CPU time to get the best result obtained on this benchmark | 1800.97 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 5499 |
Total number of constraints | 19319 |
Number of constraints which are clauses | 19312 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 613 |
Number of terms in the objective function | 613 |
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 | 613 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 643 |
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.07/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.14 c See www.sat4j.org for details. 0.07/0.15 c version 2.2.0.v20100526 0.07/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.07/0.15 c java.vm.version 11.2-b01 0.07/0.15 c java.vm.vendor Sun Microsystems Inc. 0.07/0.15 c sun.arch.data.model 32 0.07/0.15 c java.version 1.6.0_12 0.07/0.15 c os.name Linux 0.07/0.15 c os.version 2.6.18-164.el5 0.07/0.15 c os.arch i386 0.07/0.15 c Free memory 1393557488 0.07/0.15 c Max memory 1395916800 0.07/0.15 c Total memory 1395916800 0.07/0.15 c Number of processors 2 0.22/0.21 c Pseudo Boolean Optimization 0.22/0.21 c --- Begin Solver configuration --- 0.22/0.21 c Stops conflict analysis at the first Unique Implication Point 0.22/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@161d36b 0.22/0.21 c Learn all clauses as in MiniSAT 0.22/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.21 c Expensive reason simplification 0.22/0.21 c Armin Biere (Picosat) restarts strategy 0.22/0.21 c Glucose learned constraints deletion strategy 0.22/0.21 c timeout=2147483s 0.22/0.21 c DB Simplification allowed=false 0.22/0.21 c --- End Solver configuration --- 0.22/0.21 c solving HOME/instance-2658725-1276642071.opb 0.22/0.21 c reading problem ... 1.71/1.16 c ... done. Wall clock time 0.945s. 1.71/1.16 c #vars 5499 1.71/1.16 c #constraints 19319 1.71/1.16 c constraints type 1.71/1.16 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 1.71/1.16 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.71/1.16 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 1.98/1.34 c SATISFIABLE 1.98/1.34 c OPTIMIZING... 1.98/1.34 c Got one! Elapsed wall clock time (in seconds):1.124 1.98/1.34 o 27 2.33/1.51 c Got one! Elapsed wall clock time (in seconds):1.298 2.33/1.51 o 26 4.42/3.39 c cleaning 2497 clauses out of 5001 with flag 5001/5001 4.76/3.60 c Got one! Elapsed wall clock time (in seconds):3.392 4.76/3.60 o 25 6.39/5.21 c cleaning 4245 clauses out of 8505 with flag 11002/11002 8.49/7.37 c cleaning 5615 clauses out of 11259 with flag 18001/18001 11.01/9.88 c cleaning 6816 clauses out of 13643 with flag 26000/26000 13.93/12.71 c cleaning 7899 clauses out of 15830 with flag 35003/35003 16.34/15.19 c cleaning 8956 clauses out of 17928 with flag 45000/45000 19.34/18.15 c cleaning 9978 clauses out of 19972 with flag 56000/56000 23.04/21.81 c cleaning 10984 clauses out of 21994 with flag 68000/68000 27.05/25.86 c cleaning 11996 clauses out of 24011 with flag 81001/81001 30.96/29.71 c cleaning 12998 clauses out of 26016 with flag 95002/95002 35.67/34.48 c cleaning 13995 clauses out of 28018 with flag 110002/110002 41.18/39.90 c cleaning 14997 clauses out of 30022 with flag 126001/126001 46.69/45.44 c cleaning 15998 clauses out of 32024 with flag 143000/143000 52.00/50.73 c cleaning 16997 clauses out of 34027 with flag 161001/161001 57.10/55.84 c cleaning 18003 clauses out of 36029 with flag 180000/180000 64.51/63.26 c cleaning 18995 clauses out of 38026 with flag 200000/200000 72.32/71.01 c cleaning 19507 clauses out of 39031 with flag 220000/220000 80.23/78.95 c cleaning 19750 clauses out of 39527 with flag 240003/240003 85.84/84.58 c cleaning 19882 clauses out of 39774 with flag 260000/260000 92.16/90.85 c cleaning 19924 clauses out of 39896 with flag 280004/280004 98.77/97.48 c cleaning 19968 clauses out of 39968 with flag 300000/300000 106.08/104.70 c cleaning 19990 clauses out of 40003 with flag 320003/320003 111.99/110.68 c cleaning 19986 clauses out of 40011 with flag 340001/340001 119.50/118.19 c cleaning 19994 clauses out of 40024 with flag 360000/360000 128.31/126.97 c cleaning 19996 clauses out of 40030 with flag 380000/380000 135.52/134.13 c cleaning 19997 clauses out of 40035 with flag 400001/400001 142.43/141.03 c cleaning 20003 clauses out of 40037 with flag 420000/420000 148.63/147.21 c cleaning 20000 clauses out of 40034 with flag 440000/440000 155.54/154.10 c cleaning 20007 clauses out of 40036 with flag 460002/460002 164.65/163.21 c cleaning 19992 clauses out of 40028 with flag 480001/480001 170.06/168.67 c cleaning 19989 clauses out of 40036 with flag 500001/500001 175.37/173.96 c cleaning 19998 clauses out of 40047 with flag 520001/520001 184.77/183.39 c cleaning 20018 clauses out of 40048 with flag 540000/540000 194.88/193.45 c cleaning 20006 clauses out of 40030 with flag 560000/560000 204.59/203.10 c cleaning 19999 clauses out of 40024 with flag 580000/580000 211.80/210.33 c cleaning 19998 clauses out of 40027 with flag 600002/600002 217.70/216.27 c cleaning 19997 clauses out of 40029 with flag 620002/620002 224.31/222.85 c cleaning 19994 clauses out of 40030 with flag 640000/640000 230.92/229.44 c cleaning 20001 clauses out of 40036 with flag 660000/660000 236.93/235.41 c cleaning 20002 clauses out of 40035 with flag 680000/680000 243.93/242.44 c cleaning 20006 clauses out of 40033 with flag 700000/700000 250.43/248.93 c cleaning 19999 clauses out of 40029 with flag 720002/720002 257.85/256.31 c cleaning 19995 clauses out of 40029 with flag 740001/740001 264.75/263.21 c cleaning 19992 clauses out of 40033 with flag 760000/760000 272.36/270.80 c cleaning 20002 clauses out of 40044 with flag 780003/780003 279.17/277.68 c cleaning 20004 clauses out of 40042 with flag 800003/800003 287.07/285.56 c cleaning 19997 clauses out of 40035 with flag 820000/820000 294.50/292.92 c cleaning 19999 clauses out of 40038 with flag 840000/840000 301.11/299.59 c cleaning 19992 clauses out of 40040 with flag 860001/860001 309.52/307.90 c cleaning 20005 clauses out of 40047 with flag 880000/880000 317.43/315.89 c cleaning 20008 clauses out of 40042 with flag 900000/900000 322.94/321.32 c cleaning 19994 clauses out of 40034 with flag 920000/920000 331.34/329.76 c cleaning 20004 clauses out of 40041 with flag 940001/940001 338.55/336.96 c cleaning 20002 clauses out of 40036 with flag 960000/960000 345.26/343.67 c cleaning 20006 clauses out of 40034 with flag 980000/980000 353.07/351.42 c cleaning 19987 clauses out of 40029 with flag 1000001/1000001 359.98/358.35 c cleaning 20004 clauses out of 40043 with flag 1020002/1020002 366.59/364.97 c cleaning 19993 clauses out of 40037 with flag 1040000/1040000 373.51/371.87 c cleaning 20000 clauses out of 40044 with flag 1060000/1060000 380.02/378.30 c cleaning 19997 clauses out of 40044 with flag 1080000/1080000 389.21/387.59 c cleaning 19973 clauses out of 40047 with flag 1100000/1100000 397.64/395.97 c cleaning 20021 clauses out of 40074 with flag 1120000/1120000 407.23/405.52 c cleaning 19989 clauses out of 40053 with flag 1140000/1140000 416.15/414.49 c cleaning 19997 clauses out of 40065 with flag 1160001/1160001 425.45/423.77 c cleaning 19995 clauses out of 40067 with flag 1180000/1180000 431.47/429.71 c cleaning 19999 clauses out of 40073 with flag 1200001/1200001 437.08/435.38 c cleaning 20000 clauses out of 40073 with flag 1220000/1220000 442.69/440.90 c cleaning 19992 clauses out of 40074 with flag 1240001/1240001 448.30/446.57 c cleaning 20002 clauses out of 40081 with flag 1260000/1260000 453.40/451.62 c cleaning 19982 clauses out of 40079 with flag 1280000/1280000 458.84/457.01 c cleaning 19995 clauses out of 40102 with flag 1300005/1300005 464.04/462.20 c cleaning 20004 clauses out of 40106 with flag 1320004/1320004 469.36/467.52 c cleaning 20016 clauses out of 40101 with flag 1340003/1340003 476.06/474.26 c cleaning 20025 clauses out of 40083 with flag 1360001/1360001 483.17/481.34 c cleaning 20017 clauses out of 40058 with flag 1380001/1380001 490.78/488.90 c cleaning 20001 clauses out of 40041 with flag 1400001/1400001 497.90/496.09 c cleaning 19995 clauses out of 40040 with flag 1420001/1420001 504.51/502.61 c cleaning 20000 clauses out of 40045 with flag 1440001/1440001 510.91/509.09 c cleaning 20012 clauses out of 40045 with flag 1460001/1460001 518.83/516.91 c cleaning 20002 clauses out of 40036 with flag 1480004/1480004 526.24/524.34 c cleaning 19996 clauses out of 40030 with flag 1500000/1500000 533.05/531.16 c cleaning 20004 clauses out of 40035 with flag 1520001/1520001 538.95/537.08 c cleaning 19984 clauses out of 40031 with flag 1540001/1540001 544.56/542.67 c cleaning 19997 clauses out of 40048 with flag 1560002/1560002 550.46/548.60 c cleaning 19998 clauses out of 40050 with flag 1580001/1580001 556.87/554.93 c cleaning 20000 clauses out of 40053 with flag 1600002/1600002 562.98/561.06 c cleaning 19999 clauses out of 40053 with flag 1620002/1620002 570.59/568.62 c cleaning 20008 clauses out of 40053 with flag 1640001/1640001 578.59/576.68 c cleaning 20006 clauses out of 40046 with flag 1660002/1660002 586.90/584.94 c cleaning 19990 clauses out of 40038 with flag 1680000/1680000 595.32/593.32 c cleaning 19993 clauses out of 40049 with flag 1700001/1700001 603.43/601.47 c cleaning 19999 clauses out of 40055 with flag 1720000/1720000 611.15/609.13 c cleaning 19998 clauses out of 40056 with flag 1740000/1740000 618.56/616.59 c cleaning 20001 clauses out of 40060 with flag 1760002/1760002 625.07/623.04 c cleaning 20003 clauses out of 40058 with flag 1780001/1780001 631.57/629.58 c cleaning 19998 clauses out of 40054 with flag 1800000/1800000 637.79/635.79 c cleaning 19997 clauses out of 40056 with flag 1820000/1820000 644.08/642.05 c cleaning 20005 clauses out of 40060 with flag 1840001/1840001 649.79/647.72 c cleaning 20002 clauses out of 40055 with flag 1860001/1860001 655.79/653.75 c cleaning 19991 clauses out of 40052 with flag 1880000/1880000 661.90/659.82 c cleaning 19999 clauses out of 40061 with flag 1900000/1900000 667.71/665.66 c cleaning 20004 clauses out of 40063 with flag 1920001/1920001 673.01/670.94 c cleaning 20004 clauses out of 40058 with flag 1940000/1940000 678.41/676.37 c cleaning 20002 clauses out of 40056 with flag 1960002/1960002 684.21/682.17 c cleaning 19997 clauses out of 40052 with flag 1980000/1980000 689.83/687.76 c cleaning 20000 clauses out of 40057 with flag 2000002/2000002 696.43/694.39 c cleaning 20008 clauses out of 40055 with flag 2020000/2020000 702.64/700.58 c cleaning 20004 clauses out of 40047 with flag 2040000/2040000 708.35/706.28 c cleaning 20003 clauses out of 40043 with flag 2060000/2060000 714.35/712.21 c cleaning 19990 clauses out of 40040 with flag 2080000/2080000 724.46/722.34 c cleaning 19997 clauses out of 40052 with flag 2100002/2100002 732.59/730.42 c cleaning 20007 clauses out of 40054 with flag 2120001/2120001 738.39/736.22 c cleaning 20012 clauses out of 40047 with flag 2140001/2140001 743.70/741.51 c cleaning 20004 clauses out of 40034 with flag 2160000/2160000 749.31/747.10 c cleaning 20004 clauses out of 40031 with flag 2180001/2180001 757.01/754.52 c cleaning 19992 clauses out of 40026 with flag 2200000/2200000 766.08/763.57 c cleaning 19991 clauses out of 40034 with flag 2220000/2220000 775.00/772.48 c cleaning 19998 clauses out of 40044 with flag 2240001/2240001 782.82/780.25 c cleaning 20006 clauses out of 40047 with flag 2260002/2260002 791.92/789.31 c cleaning 20000 clauses out of 40039 with flag 2280000/2280000 798.22/795.66 c cleaning 19991 clauses out of 40040 with flag 2300001/2300001 804.24/801.62 c cleaning 19993 clauses out of 40049 with flag 2320001/2320001 810.64/808.02 c cleaning 19999 clauses out of 40056 with flag 2340001/2340001 816.65/814.03 c cleaning 20003 clauses out of 40056 with flag 2360000/2360000 822.45/819.83 c cleaning 20001 clauses out of 40054 with flag 2380001/2380001 828.35/825.77 c cleaning 19996 clauses out of 40053 with flag 2400001/2400001 834.05/831.43 c cleaning 20003 clauses out of 40056 with flag 2420000/2420000 839.25/836.63 c cleaning 20011 clauses out of 40054 with flag 2440001/2440001 845.26/842.69 c cleaning 20000 clauses out of 40043 with flag 2460001/2460001 852.56/849.93 c cleaning 19997 clauses out of 40042 with flag 2480000/2480000 860.68/858.06 c cleaning 20002 clauses out of 40047 with flag 2500002/2500002 867.49/864.89 c cleaning 19990 clauses out of 40043 with flag 2520000/2520000 874.10/871.47 c cleaning 20007 clauses out of 40055 with flag 2540002/2540002 879.70/877.07 c Got one! Elapsed wall clock time (in seconds):876.854 879.70/877.07 o 24 881.31/878.61 c cleaning 20009 clauses out of 40046 with flag 2560000/2560000 894.42/891.77 c cleaning 20006 clauses out of 40041 with flag 2580004/2580004 907.13/904.49 c cleaning 20006 clauses out of 40035 with flag 2600004/2600004 919.14/916.42 c cleaning 19989 clauses out of 40026 with flag 2620001/2620001 931.95/929.20 c cleaning 20010 clauses out of 40037 with flag 2640001/2640001 944.66/941.95 c cleaning 20003 clauses out of 40026 with flag 2660000/2660000 958.58/955.85 c cleaning 20001 clauses out of 40023 with flag 2680000/2680000 970.28/967.56 c cleaning 19997 clauses out of 40023 with flag 2700001/2700001 982.18/979.47 c cleaning 19999 clauses out of 40025 with flag 2720000/2720000 993.99/991.28 c cleaning 19991 clauses out of 40028 with flag 2740002/2740002 1006.29/1003.53 c cleaning 19990 clauses out of 40035 with flag 2760000/2760000 1018.81/1016.02 c cleaning 20002 clauses out of 40048 with flag 2780003/2780003 1024.52/1021.76 c cleaning 19996 clauses out of 40043 with flag 2800000/2800000 1030.43/1027.68 c cleaning 20004 clauses out of 40047 with flag 2820000/2820000 1036.33/1033.55 c cleaning 20000 clauses out of 40044 with flag 2840001/2840001 1042.64/1039.86 c cleaning 19993 clauses out of 40043 with flag 2860000/2860000 1048.74/1045.96 c cleaning 20000 clauses out of 40050 with flag 2880000/2880000 1054.95/1052.12 c cleaning 20001 clauses out of 40050 with flag 2900000/2900000 1061.15/1058.37 c cleaning 19997 clauses out of 40049 with flag 2920000/2920000 1067.36/1064.51 c cleaning 20000 clauses out of 40053 with flag 2940001/2940001 1073.06/1070.20 c cleaning 19997 clauses out of 40052 with flag 2960000/2960000 1079.26/1076.48 c cleaning 20004 clauses out of 40055 with flag 2980000/2980000 1085.27/1082.41 c cleaning 20005 clauses out of 40053 with flag 3000002/3000002 1091.66/1088.83 c cleaning 19997 clauses out of 40047 with flag 3020001/3020001 1097.48/1094.65 c cleaning 19999 clauses out of 40050 with flag 3040001/3040001 1103.48/1100.60 c cleaning 19999 clauses out of 40051 with flag 3060001/3060001 1109.49/1106.65 c cleaning 19997 clauses out of 40052 with flag 3080001/3080001 1115.88/1113.06 c cleaning 19998 clauses out of 40055 with flag 3100001/3100001 1122.19/1119.32 c cleaning 20007 clauses out of 40058 with flag 3120002/3120002 1130.00/1127.12 c cleaning 20008 clauses out of 40050 with flag 3140001/3140001 1136.70/1133.84 c cleaning 19994 clauses out of 40042 with flag 3160001/3160001 1144.01/1141.17 c cleaning 20007 clauses out of 40050 with flag 3180003/3180003 1149.91/1147.05 c cleaning 19997 clauses out of 40040 with flag 3200000/3200000 1159.33/1156.41 c cleaning 19992 clauses out of 40043 with flag 3220000/3220000 1169.63/1166.72 c cleaning 19980 clauses out of 40051 with flag 3240000/3240000 1175.04/1172.19 c cleaning 20007 clauses out of 40072 with flag 3260001/3260001 1180.25/1177.35 c cleaning 20011 clauses out of 40067 with flag 3280003/3280003 1185.75/1182.84 c cleaning 20005 clauses out of 40053 with flag 3300000/3300000 1192.55/1189.63 c cleaning 20002 clauses out of 40048 with flag 3320000/3320000 1202.06/1199.19 c cleaning 19999 clauses out of 40046 with flag 3340000/3340000 1210.07/1207.12 c cleaning 20010 clauses out of 40049 with flag 3360002/3360002 1218.18/1215.23 c cleaning 20002 clauses out of 40041 with flag 3380004/3380004 1227.09/1224.16 c cleaning 20003 clauses out of 40036 with flag 3400001/3400001 1233.60/1230.64 c cleaning 20000 clauses out of 40034 with flag 3420002/3420002 1239.21/1236.23 c cleaning 20002 clauses out of 40034 with flag 3440002/3440002 1245.11/1242.16 c cleaning 19991 clauses out of 40031 with flag 3460001/3460001 1250.82/1247.84 c cleaning 19999 clauses out of 40039 with flag 3480000/3480000 1257.03/1254.04 c cleaning 20003 clauses out of 40041 with flag 3500001/3500001 1263.33/1260.33 c cleaning 19995 clauses out of 40037 with flag 3520000/3520000 1269.73/1266.73 c cleaning 19998 clauses out of 40042 with flag 3540000/3540000 1276.14/1273.19 c cleaning 19991 clauses out of 40044 with flag 3560000/3560000 1285.35/1282.36 c cleaning 19994 clauses out of 40053 with flag 3580000/3580000 1295.56/1292.59 c cleaning 19994 clauses out of 40059 with flag 3600000/3600000 1304.87/1301.86 c cleaning 20009 clauses out of 40066 with flag 3620001/3620001 1313.70/1310.65 c cleaning 20004 clauses out of 40057 with flag 3640001/3640001 1323.20/1320.12 c cleaning 19995 clauses out of 40053 with flag 3660001/3660001 1332.61/1329.51 c cleaning 19998 clauses out of 40058 with flag 3680001/3680001 1342.41/1339.35 c cleaning 20004 clauses out of 40059 with flag 3700000/3700000 1352.61/1349.57 c cleaning 20001 clauses out of 40056 with flag 3720001/3720001 1362.22/1359.16 c cleaning 19984 clauses out of 40054 with flag 3740000/3740000 1372.42/1369.37 c cleaning 20013 clauses out of 40071 with flag 3760001/3760001 1382.53/1379.45 c cleaning 20004 clauses out of 40057 with flag 3780000/3780000 1388.63/1385.51 c cleaning 20006 clauses out of 40054 with flag 3800001/3800001 1394.03/1390.94 c cleaning 20000 clauses out of 40049 with flag 3820002/3820002 1398.95/1395.89 c cleaning 20009 clauses out of 40047 with flag 3840000/3840000 1404.66/1401.52 c cleaning 20002 clauses out of 40038 with flag 3860000/3860000 1410.16/1407.07 c cleaning 20002 clauses out of 40039 with flag 3880003/3880003 1415.47/1412.31 c cleaning 19997 clauses out of 40034 with flag 3900000/3900000 1420.87/1417.77 c cleaning 20002 clauses out of 40038 with flag 3920001/3920001 1425.98/1422.86 c cleaning 19999 clauses out of 40035 with flag 3940000/3940000 1431.78/1428.64 c cleaning 20000 clauses out of 40036 with flag 3960000/3960000 1437.89/1434.71 c cleaning 20003 clauses out of 40040 with flag 3980004/3980004 1443.19/1440.05 c cleaning 19993 clauses out of 40033 with flag 4000000/4000000 1448.39/1445.27 c cleaning 19996 clauses out of 40041 with flag 4020001/4020001 1453.70/1450.51 c cleaning 20006 clauses out of 40044 with flag 4040000/4040000 1459.40/1456.28 c cleaning 19996 clauses out of 40039 with flag 4060001/4060001 1464.51/1461.37 c cleaning 20003 clauses out of 40042 with flag 4080000/4080000 1470.21/1467.08 c cleaning 19999 clauses out of 40039 with flag 4100000/4100000 1477.71/1474.51 c cleaning 20009 clauses out of 40042 with flag 4120002/4120002 1486.92/1483.78 c cleaning 19973 clauses out of 40031 with flag 4140000/4140000 1496.43/1493.22 c cleaning 20016 clauses out of 40063 with flag 4160005/4160005 1504.43/1501.24 c cleaning 19996 clauses out of 40042 with flag 4180000/4180000 1514.24/1511.06 c cleaning 20005 clauses out of 40046 with flag 4200000/4200000 1521.95/1518.74 c cleaning 20001 clauses out of 40041 with flag 4220000/4220000 1530.66/1527.45 c cleaning 19999 clauses out of 40040 with flag 4240000/4240000 1539.06/1535.87 c cleaning 19961 clauses out of 40041 with flag 4260000/4260000 1547.96/1544.73 c cleaning 20021 clauses out of 40081 with flag 4280001/4280001 1556.47/1553.22 c cleaning 20009 clauses out of 40060 with flag 4300001/4300001 1564.37/1561.11 c cleaning 20012 clauses out of 40051 with flag 4320001/4320001 1572.88/1569.62 c cleaning 20000 clauses out of 40039 with flag 4340001/4340001 1581.48/1578.27 c cleaning 19987 clauses out of 40038 with flag 4360000/4360000 1590.88/1587.68 c cleaning 19999 clauses out of 40051 with flag 4380000/4380000 1599.99/1596.70 c cleaning 20004 clauses out of 40054 with flag 4400002/4400002 1608.59/1605.38 c cleaning 19995 clauses out of 40048 with flag 4420000/4420000 1617.29/1614.03 c cleaning 20010 clauses out of 40053 with flag 4440000/4440000 1624.60/1621.38 c cleaning 20001 clauses out of 40046 with flag 4460003/4460003 1631.50/1628.27 c cleaning 19999 clauses out of 40042 with flag 4480000/4480000 1638.90/1635.63 c cleaning 20006 clauses out of 40045 with flag 4500002/4500002 1645.80/1642.56 c cleaning 19994 clauses out of 40039 with flag 4520002/4520002 1652.80/1649.56 c cleaning 20008 clauses out of 40046 with flag 4540003/4540003 1661.70/1658.42 c cleaning 19991 clauses out of 40036 with flag 4560001/4560001 1670.81/1667.52 c cleaning 20002 clauses out of 40044 with flag 4580000/4580000 1680.60/1677.38 c cleaning 19983 clauses out of 40042 with flag 4600000/4600000 1688.21/1684.97 c cleaning 20001 clauses out of 40060 with flag 4620001/4620001 1693.33/1690.07 c cleaning 20004 clauses out of 40059 with flag 4640001/4640001 1700.43/1697.20 c cleaning 19970 clauses out of 40054 with flag 4660000/4660000 1706.63/1703.31 c cleaning 20030 clauses out of 40085 with flag 4680001/4680001 1712.05/1708.70 c cleaning 20011 clauses out of 40057 with flag 4700003/4700003 1721.15/1717.80 c cleaning 20007 clauses out of 40045 with flag 4720002/4720002 1732.05/1728.77 c cleaning 19985 clauses out of 40036 with flag 4740000/4740000 1737.67/1734.31 c cleaning 19998 clauses out of 40051 with flag 4760000/4760000 1742.77/1739.49 c cleaning 20000 clauses out of 40054 with flag 4780001/4780001 1747.88/1744.51 c cleaning 20001 clauses out of 40055 with flag 4800002/4800002 1756.59/1753.24 c cleaning 20017 clauses out of 40057 with flag 4820005/4820005 1765.50/1762.13 c cleaning 19999 clauses out of 40036 with flag 4840001/4840001 1774.79/1771.49 c cleaning 19986 clauses out of 40036 with flag 4860000/4860000 1782.89/1779.51 c cleaning 20000 clauses out of 40050 with flag 4880000/4880000 1791.40/1788.03 c cleaning 20003 clauses out of 40050 with flag 4900000/4900000 1796.91/1793.50 c cleaning 20002 clauses out of 40051 with flag 4920004/4920004 1800.03/1796.61 c starts : 276 1800.03/1796.61 c conflicts : 4930839 1800.03/1796.61 c decisions : 15032384 1800.03/1796.61 c propagations : 1391039212 1800.03/1796.61 c inspects : 4659544242 1800.03/1796.61 c learnt literals : 0 1800.03/1796.61 c learnt binary clauses : 1 1800.03/1796.61 c learnt ternary clauses : 0 1800.03/1796.61 c learnt clauses : 4930839 1800.03/1796.61 c ignored clauses : 0 1800.03/1796.61 c root simplifications : 0 1800.03/1796.61 c removed literals (reason simplification) : 189840021 1800.03/1796.61 c reason swapping (by a shorter reason) : 0 1800.03/1796.61 c Calls to reduceDB : 252 1800.03/1796.61 c number of reductions to clauses (during analyze) : 0 1800.03/1796.61 c number of learned constraints concerned by reduction : 0 1800.03/1796.61 c number of learning phase by resolution : 0 1800.03/1796.61 c number of learning phase by cutting planes : 0 1800.03/1796.61 c speed (assignments/second) : 1512747.3620105595 1800.03/1796.61 c non guided choices 35901 1800.03/1796.67 c learnt constraints type 1800.03/1796.67 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 30999 1800.03/1796.67 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1 1800.03/1796.67 c constraints type 1800.03/1796.67 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 1800.03/1796.67 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.03/1796.67 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 1800.03/1796.67 s SATISFIABLE 1800.03/1796.70 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 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 x4348 x4349 -x4350 -x4351 -x4352 -x4353 x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500 x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 x4811 -x4812 x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 x4849 x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 x5042 -x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 x5125 -x5126 x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 x5147 x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 x5308 -x5309 x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 x5344 -x5345 -x5346 x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 x5432 -x5433 -x5434 -x5435 -x5436 x5437 -x5438 x5439 -x5440 -x5441 x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 x5473 -x5474 -x5475 -x5476 x5477 -x5478 -x5479 -x5480 -x5481 -x5482 x5483 x5484 x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5491 -x5492 x5493 -x5494 -x5495 -x5496 x5497 -x5498 -x5499 1800.23/1796.72 c objective function=24 1800.23/1796.72 c Total wall clock time (in seconds): 1796.504
OK 24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658725-1276642071/watcher-2658725-1276642071 -o /tmp/evaluation-result-2658725-1276642071/solver-2658725-1276642071 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658725-1276642071.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.10 1.03 1.01 3/106 4919 /proc/meminfo: memFree=1811780/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1832 CPUtime=0 /proc/4919/stat : 4919 (java6) R 4917 4919 4320 0 -1 4194304 205 0 0 0 0 0 0 0 19 0 1 0 39811008 1875968 109 1992294400 134512640 134550932 4289656448 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4919/statm: 507 114 88 10 0 112 0 [startup+0.0314821 s] /proc/loadavg: 1.10 1.03 1.01 3/106 4919 /proc/meminfo: memFree=1811780/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1518368 CPUtime=0.01 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 2680 0 1 0 0 1 0 0 15 0 4 0 39811008 1554808832 2125 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 379592 2130 446 10 0 377303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1518368 [startup+0.100481 s] /proc/loadavg: 1.10 1.03 1.01 3/106 4919 /proc/meminfo: memFree=1811780/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1524024 CPUtime=0.07 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 3937 0 1 0 5 2 0 0 15 0 12 0 39811008 1560600576 3376 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 381006 3376 1073 10 0 378308 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1524024 [startup+0.300476 s] /proc/loadavg: 1.10 1.03 1.01 3/106 4919 /proc/meminfo: memFree=1811780/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1526200 CPUtime=0.33 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 5324 0 1 0 29 4 0 0 15 0 12 0 39811008 1562828800 4761 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 381550 4761 1361 10 0 378852 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1526200 [startup+0.700467 s] /proc/loadavg: 1.10 1.03 1.01 3/106 4919 /proc/meminfo: memFree=1811780/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1531212 CPUtime=1.08 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 8061 0 1 0 103 5 0 0 15 0 12 0 39811008 1567961088 7180 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 382803 7181 1402 10 0 380105 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 1531212 [startup+1.50145 s] /proc/loadavg: 1.10 1.03 1.01 4/118 4931 /proc/meminfo: memFree=1773244/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1531536 CPUtime=2.33 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 15002 0 1 0 224 9 0 0 15 0 13 0 39811008 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 382884 14120 1423 10 0 380186 0 [pid=4919/tid=4921] ppid=4917 vsize=1531536 CPUtime=1.17 /proc/4919/task/4921/stat : 4921 (java) R 4917 4919 4320 0 -1 4202560 11761 0 1 0 110 7 0 0 25 0 13 0 39811009 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4919/tid=4922] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4922/stat : 4922 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 39811011 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4923] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4923/stat : 4923 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 39811011 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4924] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4924/stat : 4924 (java) S 4917 4919 4320 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 39811013 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4925] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4925/stat : 4925 (java) S 4917 4919 4320 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 39811013 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4926] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4926/stat : 4926 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 39811013 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4927] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4927/stat : 4927 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 39811017 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4928] ppid=4917 vsize=1531536 CPUtime=0.46 /proc/4919/task/4928/stat : 4928 (java) R 4917 4919 4320 0 -1 4202560 541 0 0 0 46 0 0 0 18 0 13 0 39811017 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 103371947 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4919/tid=4929] ppid=4917 vsize=1531536 CPUtime=0.67 /proc/4919/task/4929/stat : 4929 (java) R 4917 4919 4320 0 -1 4202560 1630 0 0 0 67 0 0 0 16 0 13 0 39811017 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 106809937 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4919/tid=4930] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4930/stat : 4930 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39811018 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4931] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4931/stat : 4931 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39811018 1568292864 14120 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.33 Current children cumulated vsize (KiB) 1531536 [startup+3.10142 s] /proc/loadavg: 1.09 1.03 1.01 3/119 4932 /proc/meminfo: memFree=1758728/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1531536 CPUtime=4.22 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 15877 0 1 0 412 10 0 0 15 0 13 0 39811008 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 382884 14993 1430 10 0 380186 0 [pid=4919/tid=4921] ppid=4917 vsize=1531536 CPUtime=2.64 /proc/4919/task/4921/stat : 4921 (java) R 4917 4919 4320 0 -1 4202560 12571 0 1 0 256 8 0 0 25 0 13 0 39811009 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4109836762 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4919/tid=4922] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4922/stat : 4922 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 39811011 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4923] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4923/stat : 4923 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 39811011 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4924] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4924/stat : 4924 (java) S 4917 4919 4320 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 39811013 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4925] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4925/stat : 4925 (java) S 4917 4919 4320 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 39811013 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4926] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4926/stat : 4926 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 39811013 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4927] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4927/stat : 4927 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 39811017 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4928] ppid=4917 vsize=1531536 CPUtime=0.68 /proc/4919/task/4928/stat : 4928 (java) S 4917 4919 4320 0 -1 4202560 571 0 0 0 68 0 0 0 15 0 13 0 39811017 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4929] ppid=4917 vsize=1531536 CPUtime=0.86 /proc/4919/task/4929/stat : 4929 (java) S 4917 4919 4320 0 -1 4202560 1665 0 0 0 86 0 0 0 15 0 13 0 39811017 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4930] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4930/stat : 4930 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39811018 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4931] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4931/stat : 4931 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39811018 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4932] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4932/stat : 4932 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39811130 1568292864 14993 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.22 Current children cumulated vsize (KiB) 1531536 [startup+6.30223 s] /proc/loadavg: 1.09 1.03 1.01 2/119 4932 /proc/meminfo: memFree=1745584/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1531536 CPUtime=7.49 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 18666 0 1 0 738 11 0 0 15 0 13 0 39811008 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 382884 17768 1445 10 0 380186 0 [pid=4919/tid=4921] ppid=4917 vsize=1531536 CPUtime=5.66 /proc/4919/task/4921/stat : 4921 (java) R 4917 4919 4320 0 -1 4202560 12735 0 1 0 558 8 0 0 25 0 13 0 39811009 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4109802504 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4919/tid=4922] ppid=4917 vsize=1531536 CPUtime=0.01 /proc/4919/task/4922/stat : 4922 (java) S 4917 4919 4320 0 -1 4202560 772 0 0 0 1 0 0 0 16 0 13 0 39811011 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4923] ppid=4917 vsize=1531536 CPUtime=0.01 /proc/4919/task/4923/stat : 4923 (java) S 4917 4919 4320 0 -1 4202560 834 0 0 0 1 0 0 0 18 0 13 0 39811011 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4924] ppid=4917 vsize=1531536 CPUtime=0.06 /proc/4919/task/4924/stat : 4924 (java) S 4917 4919 4320 0 -1 4202560 1008 0 0 0 6 0 0 0 15 0 13 0 39811013 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4925] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4925/stat : 4925 (java) S 4917 4919 4320 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39811013 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4926] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4926/stat : 4926 (java) S 4917 4919 4320 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39811013 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4927] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4927/stat : 4927 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 39811017 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4928] ppid=4917 vsize=1531536 CPUtime=0.76 /proc/4919/task/4928/stat : 4928 (java) S 4917 4919 4320 0 -1 4202560 576 0 0 0 76 0 0 0 15 0 13 0 39811017 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4929] ppid=4917 vsize=1531536 CPUtime=0.92 /proc/4919/task/4929/stat : 4929 (java) S 4917 4919 4320 0 -1 4202560 1674 0 0 0 92 0 0 0 16 0 13 0 39811017 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4930] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4930/stat : 4930 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39811018 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4931] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4931/stat : 4931 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39811018 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4932] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4932/stat : 4932 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39811130 1568292864 17768 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.49 Current children cumulated vsize (KiB) 1531536 [startup+12.7018 s] /proc/loadavg: 1.07 1.03 1.01 2/119 4932 /proc/meminfo: memFree=1743848/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1531536 CPUtime=13.93 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 19062 0 1 0 1382 11 0 0 15 0 13 0 39811008 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 382884 18162 1445 10 0 380186 0 [pid=4919/tid=4921] ppid=4917 vsize=1531536 CPUtime=11.93 /proc/4919/task/4921/stat : 4921 (java) R 4917 4919 4320 0 -1 4202560 12736 0 1 0 1185 8 0 0 25 0 13 0 39811009 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4110012160 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4919/tid=4922] ppid=4917 vsize=1531536 CPUtime=0.03 /proc/4919/task/4922/stat : 4922 (java) S 4917 4919 4320 0 -1 4202560 969 0 0 0 3 0 0 0 15 0 13 0 39811011 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4923] ppid=4917 vsize=1531536 CPUtime=0.02 /proc/4919/task/4923/stat : 4923 (java) S 4917 4919 4320 0 -1 4202560 865 0 0 0 2 0 0 0 15 0 13 0 39811011 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4924] ppid=4917 vsize=1531536 CPUtime=0.15 /proc/4919/task/4924/stat : 4924 (java) S 4917 4919 4320 0 -1 4202560 1162 0 0 0 15 0 0 0 15 0 13 0 39811013 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4925] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4925/stat : 4925 (java) S 4917 4919 4320 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39811013 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4926] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4926/stat : 4926 (java) S 4917 4919 4320 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39811013 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4927] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4927/stat : 4927 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 39811017 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4928] ppid=4917 vsize=1531536 CPUtime=0.78 /proc/4919/task/4928/stat : 4928 (java) S 4917 4919 4320 0 -1 4202560 578 0 0 0 78 0 0 0 16 0 13 0 39811017 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4929] ppid=4917 vsize=1531536 CPUtime=0.98 /proc/4919/task/4929/stat : 4929 (java) S 4917 4919 4320 0 -1 4202560 1685 0 0 0 98 0 0 0 15 0 13 0 39811017 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4930] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4930/stat : 4930 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39811018 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4931] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4931/stat : 4931 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39811018 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4932] ppid=4917 vsize=1531536 CPUtime=0 /proc/4919/task/4932/stat : 4932 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39811130 1568292864 18162 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.93 Current children cumulated vsize (KiB) 1531536 [startup+25.501 s] /proc/loadavg: 1.06 1.03 1.01 2/119 4932 /proc/meminfo: memFree=1741368/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1531536 CPUtime=26.75 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 19677 0 1 0 2664 11 0 0 15 0 13 0 39811008 1568292864 18773 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 382884 18773 1445 10 0 380186 0 [pid=4919/tid=4921] ppid=4917 vsize=1531536 CPUtime=24.53 /proc/4919/task/4921/stat : 4921 (java) R 4917 4919 4320 0 -1 4202560 12740 0 1 0 2445 8 0 0 25 0 13 0 39811009 1568292864 18773 1992294400 134512640 134550932 4288387472 18446744073709551615 4109879743 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4919/tid=4922] ppid=4917 vsize=1531536 CPUtime=0.06 /proc/4919/task/4922/stat : 4922 (java) S 4917 4919 4320 0 -1 4202560 1134 0 0 0 6 0 0 0 15 0 13 0 39811011 1568292864 18773 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4923] ppid=4917 vsize=1531536 CPUtime=0.04 /proc/4919/task/4923/stat : 4923 (java) S 4917 4919 4320 0 -1 4202560 1041 0 0 0 4 0 0 0 15 0 13 0 39811011 1568292864 18773 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4924] ppid=4917 vsize=1531536 CPUtime=0.31 /proc/4919/task/4924/stat : 4924 (java) S 4917 4919 4320 0 -1 4202560 1432 0 0 0 31 0 0 0 15 0 13 0 39811013 1568292864 18773 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4925] ppid=4917 vsize=1531536 CPUtime=0 ################ # More data... # ################ [pid=4919] ppid=4917 vsize=1531388 CPUtime=1665.6 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 33312 0 1 0 166524 36 0 0 15 0 13 0 39811008 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 382847 30384 1445 10 0 380149 0 [pid=4919/tid=4921] ppid=4917 vsize=1531388 CPUtime=1643.49 /proc/4919/task/4921/stat : 4921 (java) R 4917 4919 4320 0 -1 4202560 12968 0 1 0 164335 14 0 0 25 0 13 0 39811009 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4109792955 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4919/tid=4922] ppid=4917 vsize=1531388 CPUtime=2.51 /proc/4919/task/4922/stat : 4922 (java) S 4917 4919 4320 0 -1 4202560 4563 0 0 0 244 7 0 0 16 0 13 0 39811011 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4923] ppid=4917 vsize=1531388 CPUtime=2.47 /proc/4919/task/4923/stat : 4923 (java) S 4917 4919 4320 0 -1 4202560 4194 0 0 0 241 6 0 0 15 0 13 0 39811011 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4924] ppid=4917 vsize=1531388 CPUtime=14.92 /proc/4919/task/4924/stat : 4924 (java) S 4917 4919 4320 0 -1 4202560 6550 0 0 0 1487 5 0 0 15 0 13 0 39811013 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4925] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4925/stat : 4925 (java) S 4917 4919 4320 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39811013 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4926] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4926/stat : 4926 (java) S 4917 4919 4320 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39811013 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4927] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4927/stat : 4927 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 39811017 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4928] ppid=4917 vsize=1531388 CPUtime=0.78 /proc/4919/task/4928/stat : 4928 (java) S 4917 4919 4320 0 -1 4202560 578 0 0 0 78 0 0 0 16 0 13 0 39811017 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4929] ppid=4917 vsize=1531388 CPUtime=1.38 /proc/4919/task/4929/stat : 4929 (java) S 4917 4919 4320 0 -1 4202560 3296 0 0 0 137 1 0 0 15 0 13 0 39811017 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4930] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4930/stat : 4930 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39811018 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4931] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4931/stat : 4931 (java) S 4917 4919 4320 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 13 0 39811018 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4932] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4932/stat : 4932 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39811130 1568141312 30384 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1665.6 Current children cumulated vsize (KiB) 1531388 [startup+1722.3 s] /proc/loadavg: 1.10 1.08 1.02 2/119 4990 /proc/meminfo: memFree=1691024/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1531388 CPUtime=1725.65 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 33460 0 1 0 172526 39 0 0 15 0 13 0 39811008 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 382847 30516 1445 10 0 380149 0 [pid=4919/tid=4921] ppid=4917 vsize=1531388 CPUtime=1702.78 /proc/4919/task/4921/stat : 4921 (java) R 4917 4919 4320 0 -1 4202560 12976 0 1 0 170262 16 0 0 25 0 13 0 39811009 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4110017637 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4919/tid=4922] ppid=4917 vsize=1531388 CPUtime=2.61 /proc/4919/task/4922/stat : 4922 (java) S 4917 4919 4320 0 -1 4202560 4563 0 0 0 254 7 0 0 16 0 13 0 39811011 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4923] ppid=4917 vsize=1531388 CPUtime=2.56 /proc/4919/task/4923/stat : 4923 (java) S 4917 4919 4320 0 -1 4202560 4194 0 0 0 250 6 0 0 15 0 13 0 39811011 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4924] ppid=4917 vsize=1531388 CPUtime=15.48 /proc/4919/task/4924/stat : 4924 (java) S 4917 4919 4320 0 -1 4202560 6686 0 0 0 1543 5 0 0 15 0 13 0 39811013 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4925] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4925/stat : 4925 (java) S 4917 4919 4320 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39811013 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4926] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4926/stat : 4926 (java) S 4917 4919 4320 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39811013 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4927] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4927/stat : 4927 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 39811017 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4928] ppid=4917 vsize=1531388 CPUtime=0.78 /proc/4919/task/4928/stat : 4928 (java) S 4917 4919 4320 0 -1 4202560 578 0 0 0 78 0 0 0 16 0 13 0 39811017 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4929] ppid=4917 vsize=1531388 CPUtime=1.38 /proc/4919/task/4929/stat : 4929 (java) S 4917 4919 4320 0 -1 4202560 3296 0 0 0 137 1 0 0 15 0 13 0 39811017 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4930] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4930/stat : 4930 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39811018 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4931] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4931/stat : 4931 (java) S 4917 4919 4320 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 39811018 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4932] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4932/stat : 4932 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39811130 1568141312 30516 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1725.65 Current children cumulated vsize (KiB) 1531388 [startup+1782.3 s] /proc/loadavg: 1.08 1.08 1.02 2/119 4992 /proc/meminfo: memFree=1690652/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1531388 CPUtime=1785.71 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 33560 0 1 0 178530 41 0 0 15 0 13 0 39811008 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 382847 30600 1445 10 0 380149 0 [pid=4919/tid=4921] ppid=4917 vsize=1531388 CPUtime=1762.11 /proc/4919/task/4921/stat : 4921 (java) R 4917 4919 4320 0 -1 4202560 12984 0 1 0 176193 18 0 0 25 0 13 0 39811009 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4109797064 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4919/tid=4922] ppid=4917 vsize=1531388 CPUtime=2.69 /proc/4919/task/4922/stat : 4922 (java) S 4917 4919 4320 0 -1 4202560 4563 0 0 0 261 8 0 0 15 0 13 0 39811011 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4923] ppid=4917 vsize=1531388 CPUtime=2.65 /proc/4919/task/4923/stat : 4923 (java) S 4917 4919 4320 0 -1 4202560 4194 0 0 0 259 6 0 0 16 0 13 0 39811011 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4924] ppid=4917 vsize=1531388 CPUtime=16.04 /proc/4919/task/4924/stat : 4924 (java) S 4917 4919 4320 0 -1 4202560 6774 0 0 0 1599 5 0 0 15 0 13 0 39811013 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4925] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4925/stat : 4925 (java) S 4917 4919 4320 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39811013 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4926] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4926/stat : 4926 (java) S 4917 4919 4320 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39811013 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4927] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4927/stat : 4927 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 39811017 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4928] ppid=4917 vsize=1531388 CPUtime=0.78 /proc/4919/task/4928/stat : 4928 (java) S 4917 4919 4320 0 -1 4202560 578 0 0 0 78 0 0 0 16 0 13 0 39811017 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4929] ppid=4917 vsize=1531388 CPUtime=1.38 /proc/4919/task/4929/stat : 4929 (java) S 4917 4919 4320 0 -1 4202560 3296 0 0 0 137 1 0 0 15 0 13 0 39811017 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4930] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4930/stat : 4930 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39811018 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4931] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4931/stat : 4931 (java) S 4917 4919 4320 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 39811018 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4932] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4932/stat : 4932 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39811130 1568141312 30600 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1785.71 Current children cumulated vsize (KiB) 1531388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.6 s] /proc/loadavg: 1.06 1.08 1.02 2/119 4992 /proc/meminfo: memFree=1690528/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1531388 CPUtime=1800.03 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 33583 0 1 0 179961 42 0 0 15 0 13 0 39811008 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 382847 30621 1445 10 0 380149 0 [pid=4919/tid=4921] ppid=4917 vsize=1531388 CPUtime=1776.23 /proc/4919/task/4921/stat : 4921 (java) R 4917 4919 4320 0 -1 4202560 12986 0 1 0 177605 18 0 0 25 0 13 0 39811009 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4109895686 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4919/tid=4922] ppid=4917 vsize=1531388 CPUtime=2.71 /proc/4919/task/4922/stat : 4922 (java) S 4917 4919 4320 0 -1 4202560 4563 0 0 0 263 8 0 0 15 0 13 0 39811011 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4923] ppid=4917 vsize=1531388 CPUtime=2.67 /proc/4919/task/4923/stat : 4923 (java) S 4917 4919 4320 0 -1 4202560 4194 0 0 0 261 6 0 0 16 0 13 0 39811011 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4924] ppid=4917 vsize=1531388 CPUtime=16.19 /proc/4919/task/4924/stat : 4924 (java) S 4917 4919 4320 0 -1 4202560 6795 0 0 0 1614 5 0 0 15 0 13 0 39811013 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4925] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4925/stat : 4925 (java) S 4917 4919 4320 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39811013 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4926] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4926/stat : 4926 (java) S 4917 4919 4320 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39811013 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4927] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4927/stat : 4927 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 39811017 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4928] ppid=4917 vsize=1531388 CPUtime=0.78 /proc/4919/task/4928/stat : 4928 (java) S 4917 4919 4320 0 -1 4202560 578 0 0 0 78 0 0 0 16 0 13 0 39811017 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4929] ppid=4917 vsize=1531388 CPUtime=1.38 /proc/4919/task/4929/stat : 4929 (java) S 4917 4919 4320 0 -1 4202560 3296 0 0 0 137 1 0 0 15 0 13 0 39811017 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4930] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4930/stat : 4930 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 39811018 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4931] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4931/stat : 4931 (java) S 4917 4919 4320 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 39811018 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4932] ppid=4917 vsize=1531388 CPUtime=0 /proc/4919/task/4932/stat : 4932 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39811130 1568141312 30621 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1531388 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.71 s] /proc/loadavg: 1.06 1.08 1.02 2/119 4992 /proc/meminfo: memFree=1690528/2059040 swapFree=4140408/4192956 [pid=4919] ppid=4917 vsize=1532036 CPUtime=1800.23 /proc/4919/stat : 4919 (java) S 4917 4919 4320 0 -1 4202496 33600 0 1 0 179981 42 0 0 15 0 15 0 39811008 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4919/statm: 383009 30638 1445 10 0 380311 0 [pid=4919/tid=4921] ppid=4917 vsize=1532036 CPUtime=1776.33 /proc/4919/task/4921/stat : 4921 (java) R 4917 4919 4320 0 -1 4202560 12986 0 1 0 177615 18 0 0 25 0 15 0 39811009 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4109912262 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4919/tid=4922] ppid=4917 vsize=1532036 CPUtime=2.71 /proc/4919/task/4922/stat : 4922 (java) S 4917 4919 4320 0 -1 4202560 4563 0 0 0 263 8 0 0 15 0 15 0 39811011 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4923] ppid=4917 vsize=1532036 CPUtime=2.67 /proc/4919/task/4923/stat : 4923 (java) S 4917 4919 4320 0 -1 4202560 4194 0 0 0 261 6 0 0 16 0 15 0 39811011 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4924] ppid=4917 vsize=1532036 CPUtime=16.19 /proc/4919/task/4924/stat : 4924 (java) S 4917 4919 4320 0 -1 4202560 6795 0 0 0 1614 5 0 0 15 0 15 0 39811013 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 0 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4925] ppid=4917 vsize=1532036 CPUtime=0 /proc/4919/task/4925/stat : 4925 (java) S 4917 4919 4320 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 15 0 39811013 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4926] ppid=4917 vsize=1532036 CPUtime=0 /proc/4919/task/4926/stat : 4926 (java) S 4917 4919 4320 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 15 0 39811013 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4927] ppid=4917 vsize=1532036 CPUtime=0 /proc/4919/task/4927/stat : 4927 (java) S 4917 4919 4320 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 15 0 39811017 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4928] ppid=4917 vsize=1532036 CPUtime=0.78 /proc/4919/task/4928/stat : 4928 (java) S 4917 4919 4320 0 -1 4202560 578 0 0 0 78 0 0 0 16 0 15 0 39811017 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4929] ppid=4917 vsize=1532036 CPUtime=1.44 /proc/4919/task/4929/stat : 4929 (java) S 4917 4919 4320 0 -1 4202560 3296 0 0 0 143 1 0 0 16 0 15 0 39811017 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4930] ppid=4917 vsize=1532036 CPUtime=0 /proc/4919/task/4930/stat : 4930 (java) S 4917 4919 4320 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 15 0 39811018 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 [pid=4919/tid=4931] ppid=4917 vsize=1532036 CPUtime=0 /proc/4919/task/4931/stat : 4931 (java) S 4917 4919 4320 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 15 0 39811018 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 1 0 0 0 [pid=4919/tid=4932] ppid=4917 vsize=1532036 CPUtime=0 /proc/4919/task/4932/stat : 4932 (java) S 4917 4919 4320 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 15 0 39811130 1568804864 30638 1992294400 134512640 134550932 4288387472 18446744073709551615 4294960144 0 4 0 16800975 18446604437831833600 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 1532036 Child status: 143 Real time (s): 1796.76 CPU time (s): 1800.29 CPU user time (s): 1799.86 CPU system time (s): 0.434933 CPU usage (%): 100.196 Max. virtual memory (cumulated for all children) (KiB): 1536776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.434933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33604 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= 39609 involuntary context switches= 14275 runsolver used 3.52846 second user time and 9.67953 second system time The end
Begin job on node004 at 2010-06-16 00:47:51 IDJOB=2658725 IDBENCH=25021 IDSOLVER=1164 FILE ID=node004/2658725-1276642071 PBS_JOBID= 11172381 Free space on /tmp= 62564 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658725-1276642071/watcher-2658725-1276642071 -o /tmp/evaluation-result-2658725-1276642071/solver-2658725-1276642071 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658725-1276642071.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=1908924910 node004.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1812176 kB Buffers: 52200 kB Cached: 102724 kB SwapCached: 6480 kB Active: 72416 kB Inactive: 96416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1812176 kB SwapTotal: 4192956 kB SwapFree: 4140408 kB Dirty: 828 kB Writeback: 0 kB AnonPages: 12200 kB Mapped: 13056 kB Slab: 56028 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181488 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62564 MiB End job on node004 at 2010-06-16 01:17:50