Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 1800.03 | 1792.37 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_0.opb |
| MD5SUM | d0955493ad3dd18776a949983101631a |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2908167 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 153130375 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 41352812606 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 153130375 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 41352812606 |
| Number of bits of the biggest sum of numbers | 36 |
| 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.10 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.07/0.10 c version 2.3.2.v20120418 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.14 c read org.sat4j.minisat.orders.VarOrderHeap 0.07/0.14 c configuring ORDERS 0.07/0.14 c --- Begin Solver configuration --- 0.07/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.07/0.14 c Learn all clauses as in MiniSAT 0.07/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.07/0.14 c Expensive reason simplification 0.07/0.14 c Armin Biere (Picosat) restarts strategy 0.07/0.14 c Glucose learned constraints deletion strategy 0.07/0.14 c timeout=2147483s 0.07/0.14 c DB Simplification allowed=true 0.07/0.14 c Heuristics kept accross calls (keep the solver "hot") 0.07/0.14 c --- End Solver configuration --- 0.07/0.14 c solving HOME/instance-3710376-1338255229.opb 0.07/0.15 c reading problem ... 0.74/0.48 c ... done. Wall clock time 0.339s. 0.74/0.48 c declared #vars 5100 0.74/0.48 c #constraints 12510 0.74/0.48 c constraints type 0.74/0.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 0.74/0.48 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 0.74/0.48 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 0.74/0.48 c ignored satisfied constraints => 2 0.74/0.48 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 0.74/0.48 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375 0.74/0.48 c 12512 constraints processed. 1.03/0.57 c SATISFIABLE 1.03/0.57 c OPTIMIZING... 1.03/0.57 c Got one! Elapsed wall clock time (in seconds):0.428 1.03/0.57 o 43464193 1.61/0.72 c Got one! Elapsed wall clock time (in seconds):0.574 1.61/0.72 o 43442221 3.30/2.21 c Got one! Elapsed wall clock time (in seconds):2.061 3.30/2.21 o 17737917 3.77/2.69 c Got one! Elapsed wall clock time (in seconds):2.541 3.77/2.69 o 16638127 3.89/2.70 c Got one! Elapsed wall clock time (in seconds):2.554 3.89/2.70 o 9947361 3.89/2.71 c Got one! Elapsed wall clock time (in seconds):2.568 3.89/2.71 o 9812821 3.89/2.72 c Got one! Elapsed wall clock time (in seconds):2.58 3.89/2.72 o 9720061 3.89/2.76 c Got one! Elapsed wall clock time (in seconds):2.614 3.89/2.76 o 9718949 3.89/2.78 c Got one! Elapsed wall clock time (in seconds):2.634 3.89/2.78 o 9380829 4.66/3.49 c cleaning 3230 clauses out of 6459 with flag 2017/6610 6.48/5.19 c cleaning 4583 clauses out of 9176 with flag 8000/12593 6.83/5.37 c Got one! Elapsed wall clock time (in seconds):5.224 6.83/5.37 o 7105283 7.78/6.09 c Got one! Elapsed wall clock time (in seconds):5.944 7.78/6.09 o 6963825 8.29/6.52 c cleaning 5244 clauses out of 10493 with flag 1000/18552 9.40/7.62 c cleaning 5613 clauses out of 11235 with flag 7000/24552 10.34/8.53 c Got one! Elapsed wall clock time (in seconds):8.39 10.34/8.53 o 6519849 10.65/8.84 c cleaning 5324 clauses out of 10652 with flag 2001/29669 13.04/11.21 c cleaning 5649 clauses out of 11306 with flag 8001/35669 15.05/13.28 c cleaning 6322 clauses out of 12645 with flag 15005/42673 17.45/15.66 c cleaning 7144 clauses out of 14304 with flag 23001/50669 19.05/17.24 c cleaning 8072 clauses out of 16159 with flag 32002/59670 20.86/19.03 c cleaning 9036 clauses out of 18085 with flag 42000/69668 22.36/20.58 c cleaning 10017 clauses out of 20050 with flag 53001/80669 24.56/22.75 c cleaning 11010 clauses out of 22032 with flag 65000/92668 26.58/24.71 c cleaning 12005 clauses out of 24022 with flag 78000/105668 28.49/26.61 c cleaning 13000 clauses out of 26018 with flag 92001/119669 31.89/30.04 c cleaning 13997 clauses out of 28016 with flag 107001/134669 34.80/32.97 c cleaning 15008 clauses out of 30018 with flag 123000/150668 38.30/36.50 c cleaning 15999 clauses out of 32012 with flag 140002/167670 41.61/39.70 c cleaning 17000 clauses out of 34011 with flag 158000/185668 45.01/43.13 c cleaning 17998 clauses out of 36012 with flag 177001/204669 50.43/48.50 c cleaning 18997 clauses out of 38013 with flag 197000/224668 54.03/52.15 c cleaning 19994 clauses out of 40016 with flag 218000/245668 57.34/55.44 c cleaning 20998 clauses out of 42022 with flag 240000/267668 61.14/59.24 c cleaning 22007 clauses out of 44026 with flag 263002/290670 64.44/62.59 c cleaning 22998 clauses out of 46018 with flag 287001/314669 68.05/66.15 c cleaning 23998 clauses out of 48019 with flag 312000/339668 72.36/70.48 c cleaning 24997 clauses out of 50022 with flag 338001/365669 76.78/74.84 c cleaning 25999 clauses out of 52025 with flag 365001/392669 82.09/80.18 c cleaning 27009 clauses out of 54026 with flag 393001/420669 86.90/84.93 c cleaning 27861 clauses out of 55739 with flag 422000/449668 88.22/86.21 c Got one! Elapsed wall clock time (in seconds):86.07 88.22/86.21 o 6516937 88.93/86.97 c cleaning 21224 clauses out of 42474 with flag 5001/464264 89.85/87.81 c cleaning 13607 clauses out of 27249 with flag 11000/470263 90.75/88.75 c cleaning 10304 clauses out of 20644 with flag 18002/477265 91.86/89.85 c cleaning 9150 clauses out of 18339 with flag 26001/485264 93.27/91.23 c cleaning 9083 clauses out of 18190 with flag 35002/494265 94.87/92.88 c cleaning 9542 clauses out of 19106 with flag 45001/504264 96.68/94.63 c cleaning 10272 clauses out of 20563 with flag 56000/515263 98.57/96.59 c cleaning 11139 clauses out of 22292 with flag 68001/527264 100.67/98.67 c cleaning 12066 clauses out of 24153 with flag 81001/540264 102.48/100.46 c cleaning 13026 clauses out of 26086 with flag 95000/554263 104.48/102.44 c cleaning 14017 clauses out of 28061 with flag 110001/569264 106.60/104.53 c cleaning 15010 clauses out of 30043 with flag 126000/585263 109.40/107.37 c cleaning 16007 clauses out of 32034 with flag 143001/602264 115.70/113.63 c cleaning 17004 clauses out of 34027 with flag 161001/620264 122.72/120.67 c cleaning 18004 clauses out of 36022 with flag 180000/639263 125.89/123.74 c cleaning 19002 clauses out of 38019 with flag 200001/659264 130.40/128.27 c cleaning 20000 clauses out of 40016 with flag 221000/680263 134.60/132.49 c cleaning 20998 clauses out of 42016 with flag 243000/702263 138.95/136.76 c cleaning 22004 clauses out of 44018 with flag 266000/725263 143.67/141.42 c cleaning 23000 clauses out of 46014 with flag 290000/749263 147.87/145.60 c cleaning 23998 clauses out of 48014 with flag 315000/774263 152.18/149.94 c cleaning 24998 clauses out of 50016 with flag 341000/800263 156.30/154.04 c cleaning 25999 clauses out of 52018 with flag 368000/827263 160.01/157.75 c cleaning 27000 clauses out of 54019 with flag 396000/855263 164.11/161.82 c cleaning 27996 clauses out of 56019 with flag 425000/884263 168.74/166.45 c cleaning 29006 clauses out of 58023 with flag 455000/914263 173.26/170.95 c cleaning 29998 clauses out of 60018 with flag 486001/945264 177.49/175.18 c cleaning 30999 clauses out of 62020 with flag 518001/977264 182.12/179.77 c cleaning 32000 clauses out of 64022 with flag 551002/1010265 187.04/184.62 c cleaning 33000 clauses out of 66020 with flag 585000/1044263 192.06/189.68 c cleaning 34000 clauses out of 68020 with flag 620000/1079263 198.76/196.36 c cleaning 34999 clauses out of 70021 with flag 656001/1115264 205.28/202.82 c cleaning 36002 clauses out of 72022 with flag 693001/1152264 212.31/209.87 c cleaning 37000 clauses out of 74021 with flag 731002/1190265 234.04/231.50 c cleaning 38001 clauses out of 76022 with flag 770003/1229266 255.29/252.71 c cleaning 39001 clauses out of 78022 with flag 810004/1269267 278.03/275.36 c cleaning 39998 clauses out of 80020 with flag 851003/1310266 295.76/293.00 c cleaning 41003 clauses out of 82020 with flag 893001/1352264 302.78/300.03 c cleaning 42007 clauses out of 84016 with flag 936000/1395263 310.00/307.23 c cleaning 42991 clauses out of 86010 with flag 980001/1439264 316.42/313.67 c cleaning 43998 clauses out of 88019 with flag 1025001/1484264 322.64/319.81 c cleaning 44995 clauses out of 90020 with flag 1071000/1530263 329.45/326.65 c cleaning 46004 clauses out of 92025 with flag 1118000/1577263 336.38/333.58 c cleaning 46994 clauses out of 94021 with flag 1166000/1625263 342.73/339.82 c cleaning 48003 clauses out of 96027 with flag 1215000/1674263 349.35/346.43 c cleaning 48999 clauses out of 98024 with flag 1265000/1724263 356.47/353.51 c cleaning 49998 clauses out of 100025 with flag 1316000/1775263 364.30/361.31 c cleaning 51002 clauses out of 102027 with flag 1368000/1827263 371.83/368.86 c cleaning 51995 clauses out of 104025 with flag 1421000/1880263 379.55/376.55 c cleaning 53003 clauses out of 106030 with flag 1475000/1934263 387.87/384.81 c cleaning 54003 clauses out of 108027 with flag 1530000/1989263 399.28/396.26 c cleaning 55000 clauses out of 110025 with flag 1586001/2045264 401.70/398.60 c Got one! Elapsed wall clock time (in seconds):398.455 401.70/398.60 o 6483839 402.41/399.31 c cleaning 37460 clauses out of 74937 with flag 5001/2065176 403.22/400.18 c cleaning 21726 clauses out of 43477 with flag 11001/2071176 404.23/401.18 c cleaning 14360 clauses out of 28751 with flag 18001/2078176 405.43/402.37 c cleaning 11173 clauses out of 22390 with flag 26000/2086175 406.94/403.83 c cleaning 10095 clauses out of 20218 with flag 35001/2095176 408.54/405.46 c cleaning 10050 clauses out of 20122 with flag 45000/2105175 410.15/407.01 c cleaning 10529 clauses out of 21073 with flag 56001/2116176 411.85/408.73 c cleaning 11266 clauses out of 22544 with flag 68001/2128176 413.78/410.62 c cleaning 12135 clauses out of 24278 with flag 81001/2141176 415.70/412.53 c cleaning 13061 clauses out of 26142 with flag 95000/2155175 417.80/414.63 c cleaning 14028 clauses out of 28081 with flag 110000/2170175 420.13/416.96 c cleaning 15018 clauses out of 30053 with flag 126000/2186175 422.62/419.44 c cleaning 16010 clauses out of 32035 with flag 143000/2203175 425.14/421.90 c cleaning 17001 clauses out of 34025 with flag 161000/2221175 427.76/424.54 c cleaning 18003 clauses out of 36025 with flag 180001/2240176 430.58/427.38 c cleaning 18998 clauses out of 38021 with flag 200000/2260175 433.60/430.34 c cleaning 20001 clauses out of 40024 with flag 221001/2281176 436.60/433.33 c cleaning 21011 clauses out of 42022 with flag 243000/2303175 440.01/436.71 c cleaning 21994 clauses out of 44011 with flag 266000/2326175 444.54/441.20 c cleaning 23000 clauses out of 46017 with flag 290000/2350175 448.96/445.66 c cleaning 23998 clauses out of 48017 with flag 315000/2375175 453.56/450.25 c cleaning 24995 clauses out of 50020 with flag 341001/2401176 458.97/455.60 c cleaning 26001 clauses out of 52024 with flag 368000/2428175 463.30/459.90 c cleaning 27007 clauses out of 54024 with flag 396001/2456176 466.81/463.45 c cleaning 27999 clauses out of 56016 with flag 425000/2485175 470.65/467.25 c cleaning 28995 clauses out of 58017 with flag 455000/2515175 474.56/471.10 c cleaning 29996 clauses out of 60022 with flag 486000/2546175 478.59/475.11 c cleaning 30999 clauses out of 62027 with flag 518001/2578176 482.83/479.32 c cleaning 31998 clauses out of 64027 with flag 551000/2611175 487.13/483.69 c cleaning 33000 clauses out of 66030 with flag 585001/2645176 492.86/489.31 c cleaning 34005 clauses out of 68029 with flag 620000/2680175 498.38/494.82 c cleaning 34999 clauses out of 70025 with flag 656001/2716176 504.12/500.54 c cleaning 35995 clauses out of 72025 with flag 693000/2753175 510.02/506.46 c cleaning 37002 clauses out of 74031 with flag 731001/2791176 516.14/512.53 c cleaning 38000 clauses out of 76028 with flag 770000/2830175 522.36/518.76 c cleaning 39001 clauses out of 78028 with flag 810000/2870175 528.88/525.29 c cleaning 39998 clauses out of 80027 with flag 851000/2911175 535.71/532.02 c cleaning 41004 clauses out of 82029 with flag 893000/2953175 542.42/538.76 c cleaning 41999 clauses out of 84026 with flag 936001/2996176 544.53/540.86 c Got one! Elapsed wall clock time (in seconds):540.72 544.53/540.86 o 5843377 545.33/541.62 c cleaning 28455 clauses out of 56925 with flag 5001/3011116 546.14/542.45 c cleaning 17220 clauses out of 34451 with flag 11001/3017116 547.26/543.51 c cleaning 12100 clauses out of 24216 with flag 18000/3024115 549.98/546.25 c cleaning 10050 clauses out of 20116 with flag 26000/3032115 553.30/549.56 c cleaning 9492 clauses out of 19002 with flag 35001/3041116 554.92/551.17 c cleaning 9747 clauses out of 19510 with flag 45001/3051116 556.61/552.86 c cleaning 10366 clauses out of 20754 with flag 56001/3062116 558.43/554.65 c cleaning 11177 clauses out of 22374 with flag 68000/3074115 560.24/556.45 c cleaning 12091 clauses out of 24198 with flag 81001/3087116 562.35/558.53 c cleaning 13033 clauses out of 26073 with flag 95001/3101116 564.47/560.69 c cleaning 14016 clauses out of 28040 with flag 110001/3116116 566.89/563.00 c cleaning 15009 clauses out of 30023 with flag 126000/3132115 569.30/565.46 c cleaning 15979 clauses out of 31981 with flag 143000/3149115 572.01/568.16 c cleaning 16996 clauses out of 34002 with flag 161000/3167115 574.92/571.05 c cleaning 18001 clauses out of 36007 with flag 180001/3186116 577.53/573.70 c Got one! Elapsed wall clock time (in seconds):573.551 577.53/573.70 o 5700481 578.33/574.47 c cleaning 20257 clauses out of 40539 with flag 5001/3208681 579.15/575.27 c cleaning 13128 clauses out of 26282 with flag 11001/3214681 580.07/576.15 c cleaning 10070 clauses out of 20153 with flag 18000/3221680 581.08/577.16 c cleaning 9030 clauses out of 18084 with flag 26001/3229681 582.18/578.28 c cleaning 9010 clauses out of 18054 with flag 35001/3238681 583.50/579.56 c cleaning 9514 clauses out of 19043 with flag 45000/3248680 584.90/580.98 c cleaning 10258 clauses out of 20529 with flag 56000/3259680 586.50/582.50 c cleaning 11123 clauses out of 22272 with flag 68001/3271681 588.14/584.17 c cleaning 12066 clauses out of 24149 with flag 81001/3284681 590.04/586.00 c cleaning 13035 clauses out of 26083 with flag 95001/3298681 591.95/587.93 c cleaning 14015 clauses out of 28047 with flag 110000/3313680 593.95/589.99 c cleaning 15003 clauses out of 30032 with flag 126000/3329680 596.27/592.25 c cleaning 15995 clauses out of 32029 with flag 143000/3346680 598.68/594.66 c cleaning 16999 clauses out of 34034 with flag 161000/3364680 601.30/597.22 c cleaning 18007 clauses out of 36036 with flag 180001/3383681 604.12/600.04 c cleaning 18994 clauses out of 38029 with flag 200001/3403681 607.02/602.94 c cleaning 20003 clauses out of 40034 with flag 221000/3424680 610.13/606.05 c cleaning 20998 clauses out of 42032 with flag 243001/3446681 613.75/609.66 c cleaning 21987 clauses out of 43982 with flag 266000/3469680 617.56/613.43 c cleaning 22986 clauses out of 45996 with flag 290001/3493681 621.46/617.33 c cleaning 23996 clauses out of 48009 with flag 315000/3518680 625.59/621.46 c cleaning 24994 clauses out of 50014 with flag 341001/3544681 629.81/625.70 c cleaning 26000 clauses out of 52019 with flag 368000/3571680 634.44/630.27 c cleaning 27002 clauses out of 54019 with flag 396000/3599680 639.14/634.91 c cleaning 27999 clauses out of 56017 with flag 425000/3628680 644.05/639.85 c cleaning 28998 clauses out of 58018 with flag 455000/3658680 649.15/644.96 c cleaning 30003 clauses out of 60005 with flag 486001/3689681 653.77/649.50 c cleaning 30992 clauses out of 62001 with flag 518000/3721680 659.60/655.37 c cleaning 31997 clauses out of 64009 with flag 551000/3754680 665.52/661.25 c cleaning 32996 clauses out of 66013 with flag 585001/3788681 671.43/667.10 c cleaning 33997 clauses out of 68016 with flag 620000/3823680 677.74/673.41 c cleaning 35005 clauses out of 70019 with flag 656000/3859680 683.86/679.55 c cleaning 35997 clauses out of 72014 with flag 693000/3896680 690.57/686.23 c cleaning 36998 clauses out of 74017 with flag 731000/3934680 697.59/693.21 c cleaning 38003 clauses out of 76020 with flag 770001/3973681 704.60/700.23 c cleaning 38998 clauses out of 78016 with flag 810000/4013680 710.02/705.69 c cleaning 39996 clauses out of 80019 with flag 851001/4054681 715.93/711.57 c cleaning 40996 clauses out of 82022 with flag 893000/4096680 722.17/717.77 c cleaning 41997 clauses out of 84026 with flag 936000/4139680 728.59/724.16 c cleaning 43001 clauses out of 86030 with flag 980001/4183681 735.01/730.58 c cleaning 43999 clauses out of 88028 with flag 1025000/4228680 741.72/737.23 c cleaning 44998 clauses out of 90029 with flag 1071000/4274680 748.24/743.78 c cleaning 46001 clauses out of 92032 with flag 1118001/4321681 755.27/750.74 c cleaning 47000 clauses out of 94030 with flag 1166000/4369680 762.27/757.72 c cleaning 47992 clauses out of 96031 with flag 1215001/4418681 769.78/765.26 c cleaning 49001 clauses out of 98039 with flag 1265001/4468681 777.50/772.98 c cleaning 50011 clauses out of 100037 with flag 1316000/4519680 785.42/780.88 c cleaning 50945 clauses out of 101925 with flag 1368000/4571680 797.87/793.26 c cleaning 51985 clauses out of 103984 with flag 1421004/4624684 810.93/806.28 c cleaning 52986 clauses out of 105995 with flag 1475000/4678680 822.36/817.63 c cleaning 53987 clauses out of 108010 with flag 1530001/4733681 831.71/826.98 c cleaning 54990 clauses out of 110022 with flag 1586000/4789680 840.13/835.39 c cleaning 56005 clauses out of 112032 with flag 1643000/4846680 848.57/843.72 c cleaning 57003 clauses out of 114028 with flag 1701001/4904681 857.48/852.64 c cleaning 58001 clauses out of 116025 with flag 1760001/4963681 866.01/861.20 c cleaning 58998 clauses out of 118024 with flag 1820001/5023681 875.34/870.48 c cleaning 59999 clauses out of 120025 with flag 1881000/5084680 885.06/880.14 c cleaning 61000 clauses out of 122026 with flag 1943000/5146680 894.08/889.16 c cleaning 62006 clauses out of 124015 with flag 2006000/5209680 903.89/898.96 c cleaning 63002 clauses out of 126009 with flag 2070000/5273680 913.92/908.97 c cleaning 63998 clauses out of 128007 with flag 2135000/5338680 924.66/919.62 c cleaning 64999 clauses out of 130009 with flag 2201000/5404680 935.47/930.45 c cleaning 65998 clauses out of 132010 with flag 2268000/5471680 945.60/940.55 c cleaning 66996 clauses out of 134013 with flag 2336001/5539681 956.31/951.27 c cleaning 67996 clauses out of 136017 with flag 2405001/5608681 967.55/962.43 c cleaning 68996 clauses out of 138021 with flag 2475001/5678681 979.37/974.29 c cleaning 69999 clauses out of 140025 with flag 2546001/5749681 991.19/986.04 c cleaning 70999 clauses out of 142026 with flag 2618001/5821681 1003.21/998.08 c cleaning 72002 clauses out of 144027 with flag 2691001/5894681 1015.95/1010.74 c cleaning 72997 clauses out of 146024 with flag 2765000/5968680 1027.09/1021.89 c cleaning 74001 clauses out of 148027 with flag 2840000/6043680 1038.33/1033.08 c cleaning 75002 clauses out of 150026 with flag 2916000/6119680 1049.87/1044.59 c cleaning 76003 clauses out of 152025 with flag 2993001/6196681 1062.21/1056.85 c cleaning 76994 clauses out of 154021 with flag 3071000/6274680 1076.15/1070.71 c cleaning 78001 clauses out of 156027 with flag 3150000/6353680 1090.99/1085.59 c cleaning 79001 clauses out of 158027 with flag 3230001/6433681 1105.74/1100.28 c cleaning 79998 clauses out of 160026 with flag 3311001/6514681 1120.30/1114.74 c cleaning 81000 clauses out of 162027 with flag 3393000/6596680 1135.62/1130.02 c cleaning 82001 clauses out of 164027 with flag 3476000/6679680 1151.34/1145.75 c cleaning 83000 clauses out of 166027 with flag 3560001/6763681 1152.67/1147.03 c Got one! Elapsed wall clock time (in seconds):1146.89 1152.67/1147.03 o 4692189 1153.87/1148.30 c cleaning 46874 clauses out of 93759 with flag 5001/6774588 1154.91/1149.26 c cleaning 26431 clauses out of 52875 with flag 11000/6780587 1155.94/1150.26 c cleaning 16712 clauses out of 33434 with flag 18002/6787589 1157.06/1151.38 c cleaning 12334 clauses out of 24691 with flag 26001/6795588 1158.28/1152.58 c cleaning 10663 clauses out of 21356 with flag 35000/6804587 1159.89/1154.15 c cleaning 10308 clauses out of 20638 with flag 45001/6814588 1161.41/1155.61 c cleaning 10658 clauses out of 21330 with flag 56001/6825588 1162.92/1157.19 c cleaning 11325 clauses out of 22671 with flag 68000/6837587 1164.74/1158.97 c cleaning 12162 clauses out of 24347 with flag 81001/6850588 1166.64/1160.89 c cleaning 13079 clauses out of 26172 with flag 95000/6864587 1168.75/1162.99 c cleaning 14046 clauses out of 28094 with flag 110001/6879588 1171.05/1165.26 c cleaning 15022 clauses out of 30048 with flag 126001/6895588 1173.36/1167.60 c cleaning 15997 clauses out of 32011 with flag 143000/6912587 1175.98/1170.15 c cleaning 16994 clauses out of 34014 with flag 161000/6930587 1178.69/1172.89 c cleaning 17999 clauses out of 36020 with flag 180000/6949587 1181.70/1175.86 c cleaning 18999 clauses out of 38012 with flag 200001/6969588 1185.03/1179.11 c cleaning 19994 clauses out of 40012 with flag 221000/6990587 1188.45/1182.56 c cleaning 20999 clauses out of 42018 with flag 243000/7012587 1192.05/1186.19 c cleaning 21996 clauses out of 44020 with flag 266001/7035588 1195.77/1189.88 c cleaning 22999 clauses out of 46025 with flag 290002/7059589 1199.90/1193.96 c cleaning 23994 clauses out of 48016 with flag 315001/7084588 1203.92/1197.96 c cleaning 24999 clauses out of 50021 with flag 341000/7110587 1208.12/1202.12 c cleaning 25998 clauses out of 52023 with flag 368001/7137588 1212.63/1206.70 c cleaning 26992 clauses out of 54025 with flag 396001/7165588 1217.25/1211.29 c cleaning 28001 clauses out of 56032 with flag 425000/7194587 1221.77/1215.71 c cleaning 28999 clauses out of 58014 with flag 455000/7224587 1226.59/1220.50 c cleaning 30000 clauses out of 60015 with flag 486000/7255587 1231.44/1225.39 c cleaning 30998 clauses out of 62015 with flag 518000/7287587 1236.54/1230.46 c cleaning 31999 clauses out of 64017 with flag 551000/7320587 1242.07/1235.92 c cleaning 32996 clauses out of 66018 with flag 585000/7354587 1247.69/1241.51 c cleaning 34003 clauses out of 68022 with flag 620000/7389587 1253.34/1247.12 c cleaning 34996 clauses out of 70019 with flag 656000/7425587 1258.15/1251.97 c cleaning 35996 clauses out of 72023 with flag 693000/7462587 1263.36/1257.12 c cleaning 36997 clauses out of 74028 with flag 731001/7500588 1268.69/1262.42 c cleaning 38008 clauses out of 76031 with flag 770001/7539588 1274.22/1267.90 c cleaning 38997 clauses out of 78022 with flag 810000/7579587 1279.96/1273.62 c cleaning 39997 clauses out of 80026 with flag 851001/7620588 1285.98/1279.68 c cleaning 41004 clauses out of 82028 with flag 893000/7662587 1292.29/1285.91 c cleaning 41996 clauses out of 84025 with flag 936001/7705588 1298.84/1292.48 c cleaning 43003 clauses out of 86028 with flag 980000/7749587 1305.26/1298.81 c cleaning 43993 clauses out of 88010 with flag 1025001/7794588 1312.28/1305.87 c cleaning 45004 clauses out of 90017 with flag 1071001/7840588 1319.71/1313.29 c cleaning 45999 clauses out of 92013 with flag 1118001/7887588 1327.43/1320.97 c cleaning 46997 clauses out of 94013 with flag 1166000/7935587 1335.16/1328.69 c cleaning 47999 clauses out of 96017 with flag 1215001/7984588 1343.28/1336.75 c cleaning 48997 clauses out of 98018 with flag 1265001/8034588 1351.30/1344.73 c cleaning 49999 clauses out of 100021 with flag 1316001/8085588 1359.54/1352.95 c cleaning 51000 clauses out of 102021 with flag 1368000/8137587 1368.46/1361.82 c cleaning 51998 clauses out of 104022 with flag 1421001/8190588 1377.56/1370.97 c cleaning 52998 clauses out of 106023 with flag 1475000/8244587 1385.17/1378.58 c cleaning 54002 clauses out of 108017 with flag 1530000/8299587 1393.10/1386.46 c cleaning 55002 clauses out of 110015 with flag 1586000/8355587 1401.65/1394.97 c cleaning 55997 clauses out of 112013 with flag 1643000/8412587 1410.67/1403.91 c cleaning 56996 clauses out of 114016 with flag 1701000/8470587 1419.99/1413.21 c cleaning 58001 clauses out of 116020 with flag 1760000/8529587 1428.51/1421.71 c cleaning 58995 clauses out of 118019 with flag 1820000/8589587 1437.62/1430.86 c cleaning 59998 clauses out of 120025 with flag 1881001/8650588 1446.85/1440.01 c cleaning 60995 clauses out of 122026 with flag 1943000/8712587 1456.27/1449.43 c cleaning 61998 clauses out of 124032 with flag 2006001/8775588 1466.18/1459.36 c cleaning 62998 clauses out of 126034 with flag 2070001/8839588 1476.53/1469.63 c cleaning 64001 clauses out of 128036 with flag 2135001/8904588 1486.26/1479.35 c cleaning 64999 clauses out of 130034 with flag 2201000/8970587 1497.19/1490.21 c cleaning 65985 clauses out of 131992 with flag 2268000/9037587 1507.11/1500.12 c cleaning 66982 clauses out of 134009 with flag 2336002/9105589 1516.63/1509.69 c cleaning 67996 clauses out of 136025 with flag 2405000/9174587 1527.77/1520.71 c cleaning 69002 clauses out of 138029 with flag 2475000/9244587 1538.90/1531.86 c cleaning 70000 clauses out of 140028 with flag 2546001/9315588 1550.72/1543.62 c cleaning 71004 clauses out of 142028 with flag 2618001/9387588 1562.46/1555.32 c cleaning 71998 clauses out of 144023 with flag 2691000/9460587 1574.28/1567.18 c cleaning 73002 clauses out of 146026 with flag 2765001/9534588 1586.92/1579.70 c cleaning 74002 clauses out of 148024 with flag 2840001/9609588 1599.46/1592.28 c cleaning 75000 clauses out of 150022 with flag 2916001/9685588 1611.90/1604.64 c cleaning 75996 clauses out of 152023 with flag 2993002/9762589 1625.11/1617.87 c cleaning 76998 clauses out of 154025 with flag 3071000/9840587 1638.63/1631.33 c cleaning 77997 clauses out of 156027 with flag 3150000/9919587 1651.64/1644.39 c cleaning 78999 clauses out of 158031 with flag 3230001/9999588 1664.98/1657.64 c cleaning 80004 clauses out of 160032 with flag 3311001/10080588 1680.40/1673.07 c cleaning 80992 clauses out of 161993 with flag 3393002/10162589 1693.45/1686.04 c cleaning 81994 clauses out of 163987 with flag 3476000/10245587 1706.77/1699.30 c cleaning 82979 clauses out of 165993 with flag 3560000/10329587 1718.33/1710.86 c cleaning 83992 clauses out of 168016 with flag 3645002/10414589 1731.95/1724.46 c cleaning 84997 clauses out of 170022 with flag 3731000/10500587 1745.20/1737.65 c cleaning 86001 clauses out of 172026 with flag 3818001/10587588 1757.63/1750.08 c cleaning 86997 clauses out of 174024 with flag 3906000/10675587 1771.08/1763.48 c cleaning 88006 clauses out of 176028 with flag 3995001/10764588 1785.09/1777.46 c cleaning 88992 clauses out of 178022 with flag 4085001/10854588 1800.03/1792.31 c starts : 338 1800.03/1792.31 c conflicts : 10945587 1800.03/1792.31 c decisions : 12170464 1800.03/1792.31 c propagations : 193009649 1800.03/1792.31 c inspects : 3981006682 1800.03/1792.31 c shortcuts : 0 1800.03/1792.31 c learnt literals : 290 1800.03/1792.31 c learnt binary clauses : 629 1800.03/1792.31 c learnt ternary clauses : 707 1800.03/1792.31 c learnt constraints : 10945297 1800.03/1792.31 c ignored constraints : 0 1800.03/1792.31 c root simplifications : 628 1800.03/1792.31 c removed literals (reason simplification) : 793291624 1800.03/1792.31 c reason swapping (by a shorter reason) : 0 1800.03/1792.31 c Calls to reduceDB : 302 1800.03/1792.31 c number of reductions to clauses (during analyze) : 0 1800.03/1792.31 c number of learned constraints concerned by reduction : 0 1800.03/1792.31 c number of learning phase by resolution : 0 1800.03/1792.31 c number of learning phase by cutting planes : 0 1800.03/1792.31 c speed (assignments/second) : 107717.5179552777 1800.03/1792.31 c non guided choices 4944 1800.03/1792.34 c learnt constraints type 1800.03/1792.34 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 293 1800.03/1792.34 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 179736 1800.03/1792.34 c constraints type 1800.03/1792.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1800.03/1792.34 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.03/1792.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.03/1792.34 c ignored satisfied constraints => 2 1800.03/1792.34 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1800.03/1792.34 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376 1800.03/1792.34 c 12513 constraints processed. 1800.03/1792.34 s SATISFIABLE 1800.03/1792.35 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 1800.03/1792.35 c objective function=4692189 1800.03/1792.35 c Total wall clock time (in seconds): 1792.209
OK 4692189
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710376-1338255229/watcher-3710376-1338255229 -o /tmp/evaluation-result-3710376-1338255229/solver-3710376-1338255229 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710376-1338255229.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.10 1.64 1.86 2/174 29466 /proc/meminfo: memFree=28059132/32873844 swapFree=7620/7620 [pid=29466] ppid=29464 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/29466/stat : 29466 (java) D 29464 29466 25900 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 291651490 9515008 175 33554432000 1073741824 1073778376 140737406458560 140737406441288 218213729168 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/29466/statm: 2323 175 133 9 0 71 0 [startup+0.0991581 s] /proc/loadavg: 1.10 1.64 1.86 2/174 29466 /proc/meminfo: memFree=28059132/32873844 swapFree=7620/7620 [pid=29466] ppid=29464 vsize=9558440 CPUtime=0.06 cores=0,2,4,6 /proc/29466/stat : 29466 (java) S 29464 29466 25900 0 -1 4202496 3463 0 1 0 6 0 0 0 20 0 18 0 291651490 9787842560 4672 33554432000 1073741824 1073778376 140734024636832 140734024627968 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29466/statm: 2389610 4672 1779 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558440 [startup+0.100252 s] /proc/loadavg: 1.10 1.64 1.86 2/174 29466 /proc/meminfo: memFree=28059132/32873844 swapFree=7620/7620 [pid=29466] ppid=29464 vsize=9558440 CPUtime=0.07 cores=0,2,4,6 /proc/29466/stat : 29466 (java) S 29464 29466 25900 0 -1 4202496 3470 0 1 0 7 0 0 0 20 0 18 0 291651490 9787842560 4679 33554432000 1073741824 1073778376 140734024636832 140734024627968 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29466/statm: 2389610 4679 1779 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558440 [startup+0.300219 s] /proc/loadavg: 1.10 1.64 1.86 2/174 29466 /proc/meminfo: memFree=28059132/32873844 swapFree=7620/7620 [pid=29466] ppid=29464 vsize=9558440 CPUtime=0.45 cores=0,2,4,6 /proc/29466/stat : 29466 (java) S 29464 29466 25900 0 -1 4202496 5524 0 1 0 44 1 0 0 20 0 18 0 291651490 9787842560 8203 33554432000 1073741824 1073778376 140734024636832 140734024627968 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29466/statm: 2389610 8203 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558440 [startup+0.700233 s] /proc/loadavg: 1.10 1.64 1.86 2/174 29466 /proc/meminfo: memFree=28059132/32873844 swapFree=7620/7620 [pid=29466] ppid=29464 vsize=9625004 CPUtime=1.61 cores=0,2,4,6 /proc/29466/stat : 29466 (java) S 29464 29466 25900 0 -1 4202496 10539 0 1 0 159 2 0 0 20 0 19 0 291651490 9856004096 18143 33554432000 1073741824 1073778376 140734024636832 140734024627968 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29466/statm: 2406251 18143 2256 9 0 2396937 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 9625004 [startup+1.50062 s] /proc/loadavg: 1.10 1.64 1.86 4/214 29513 /proc/meminfo: memFree=27819412/32873844 swapFree=7620/7620 [pid=29466] ppid=29464 vsize=9625004 CPUtime=2.5 cores=0,2,4,6 /proc/29466/stat : 29466 (java) S 29464 29466 25900 0 -1 4202496 10547 0 1 0 248 2 0 0 20 0 19 0 291651490 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 140734024627968 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29466/statm: 2406251 19684 2261 9 0 2396937 0 [pid=29466/tid=29469] ppid=29464 vsize=9625004 CPUtime=1.45 cores=0,2,4,6 /proc/29466/task/29469/stat : 29469 (java) R 29464 29466 25900 0 -1 4202560 2545 0 1 0 144 1 0 0 20 0 19 0 291651491 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139715455254904 139715303642101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29474] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29474/stat : 29474 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139715427707688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29475] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29475/stat : 29475 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139715426654888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29476] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29476/stat : 29476 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139715425602600 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29477] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29477/stat : 29477 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139715424549800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29478] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29478/stat : 29478 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139715423496488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29479] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29479/stat : 29479 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139715422443688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29480] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29480/stat : 29480 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139715291949608 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29481] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29481/stat : 29481 (java) S 29464 29466 25900 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139715290896808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29488] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29488/stat : 29488 (java) S 29464 29466 25900 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291651493 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139714807950056 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29497] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29497/stat : 29497 (java) S 29464 29466 25900 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139714806896120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29498] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29498/stat : 29498 (java) S 29464 29466 25900 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139714805843720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29502] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29502/stat : 29502 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139714804792208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29503] ppid=29464 vsize=9625004 CPUtime=0.53 cores=0,2,4,6 /proc/29466/task/29503/stat : 29503 (java) S 29464 29466 25900 0 -1 4202560 2550 0 0 0 53 0 0 0 20 0 19 0 291651497 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139714803738808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29504] ppid=29464 vsize=9625004 CPUtime=0.48 cores=0,2,4,6 /proc/29466/task/29504/stat : 29504 (java) S 29464 29466 25900 0 -1 4202560 4253 0 0 0 48 0 0 0 20 0 19 0 291651497 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139714802686008 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29505] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29505/stat : 29505 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139714801633912 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29506] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29506/stat : 29506 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139714800581320 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29512] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29512/stat : 29512 (java) S 29464 29466 25900 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291651540 9856004096 19684 33554432000 1073741824 1073778376 140734024636832 139714799527336 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.5 Current children cumulated vsize (KiB) 9625004 [startup+3.10068 s] /proc/loadavg: 1.10 1.64 1.86 3/214 29513 /proc/meminfo: memFree=27814448/32873844 swapFree=7620/7620 [pid=29466] ppid=29464 vsize=9625004 CPUtime=4.36 cores=0,2,4,6 /proc/29466/stat : 29466 (java) S 29464 29466 25900 0 -1 4202496 10565 0 1 0 433 3 0 0 20 0 19 0 291651490 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 140734024627968 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29466/statm: 2406251 24298 2266 9 0 2396937 0 [pid=29466/tid=29469] ppid=29464 vsize=9625004 CPUtime=3.05 cores=0,2,4,6 /proc/29466/task/29469/stat : 29469 (java) R 29464 29466 25900 0 -1 4202560 2557 0 1 0 303 2 0 0 20 0 19 0 291651491 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139715455253040 139715303731218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29474] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29474/stat : 29474 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139715427707688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29475] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29475/stat : 29475 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139715426654888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29476] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29476/stat : 29476 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139715425602600 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29477] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29477/stat : 29477 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139715424549800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29478] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29478/stat : 29478 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139715423496488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29479] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29479/stat : 29479 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139715422443688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29480] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29480/stat : 29480 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139715291949608 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29481] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29481/stat : 29481 (java) S 29464 29466 25900 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139715290896808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29488] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29488/stat : 29488 (java) S 29464 29466 25900 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291651493 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139714807950056 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29497] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29497/stat : 29497 (java) S 29464 29466 25900 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139714806896120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29498] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29498/stat : 29498 (java) S 29464 29466 25900 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139714805843720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29502] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29502/stat : 29502 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139714804792208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29503] ppid=29464 vsize=9625004 CPUtime=0.62 cores=0,2,4,6 /proc/29466/task/29503/stat : 29503 (java) S 29464 29466 25900 0 -1 4202560 2552 0 0 0 62 0 0 0 20 0 19 0 291651497 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139714803738808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29504] ppid=29464 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/29466/task/29504/stat : 29504 (java) S 29464 29466 25900 0 -1 4202560 4256 0 0 0 64 0 0 0 20 0 19 0 291651497 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139714802686008 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29505] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29505/stat : 29505 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139714801633912 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29506] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29506/stat : 29506 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139714800581320 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29512] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29512/stat : 29512 (java) S 29464 29466 25900 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291651540 9856004096 24298 33554432000 1073741824 1073778376 140734024636832 139714799527336 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.36 Current children cumulated vsize (KiB) 9625004 [startup+6.30066 s] /proc/loadavg: 1.58 1.72 1.89 4/214 29513 /proc/meminfo: memFree=27730556/32873844 swapFree=7620/7620 [pid=29466] ppid=29464 vsize=9625004 CPUtime=8.09 cores=0,2,4,6 /proc/29466/stat : 29466 (java) S 29464 29466 25900 0 -1 4202496 16495 0 1 0 804 5 0 0 20 0 19 0 291651490 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 140734024627968 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29466/statm: 2406251 35080 2291 9 0 2396937 0 [pid=29466/tid=29469] ppid=29464 vsize=9625004 CPUtime=6.17 cores=0,2,4,6 /proc/29466/task/29469/stat : 29469 (java) R 29464 29466 25900 0 -1 4202560 2562 0 1 0 615 2 0 0 20 0 19 0 291651491 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139715455253080 139715303732505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29474] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29474/stat : 29474 (java) S 29464 29466 25900 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139715427707688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29475] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29475/stat : 29475 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139715426654888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29476] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29476/stat : 29476 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139715425602600 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29477] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29477/stat : 29477 (java) S 29464 29466 25900 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139715424549800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29478] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29478/stat : 29478 (java) S 29464 29466 25900 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139715423496488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29479] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29479/stat : 29479 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139715422443688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29480] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29480/stat : 29480 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139715291949608 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29481] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29481/stat : 29481 (java) S 29464 29466 25900 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291651492 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139715290896808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29488] ppid=29464 vsize=9625004 CPUtime=0.04 cores=0,2,4,6 /proc/29466/task/29488/stat : 29488 (java) S 29464 29466 25900 0 -1 4202560 37 0 0 0 4 0 0 0 20 0 19 0 291651493 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139714807950056 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29497] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29497/stat : 29497 (java) S 29464 29466 25900 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139714806896120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29498] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29498/stat : 29498 (java) S 29464 29466 25900 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139714805843720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29502] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29502/stat : 29502 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139714804792208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29503] ppid=29464 vsize=9625004 CPUtime=1.03 cores=0,2,4,6 /proc/29466/task/29503/stat : 29503 (java) S 29464 29466 25900 0 -1 4202560 8398 0 0 0 101 2 0 0 20 0 19 0 291651497 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139714803738808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29504] ppid=29464 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/29466/task/29504/stat : 29504 (java) S 29464 29466 25900 0 -1 4202560 4264 0 0 0 74 0 0 0 20 0 19 0 291651497 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139714802686008 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29505] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29505/stat : 29505 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139714801633912 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29506] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29506/stat : 29506 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139714800581320 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29512] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29512/stat : 29512 (java) S 29464 29466 25900 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291651540 9856004096 35080 33554432000 1073741824 1073778376 140734024636832 139714799527336 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 8.09 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=29466/tid=29503] ppid=29464 vsize=9625004 CPUtime=1.1 cores=0,2,4,6 /proc/29466/task/29503/stat : 29503 (java) S 29464 29466 25900 0 -1 4202560 8415 0 0 0 108 2 0 0 20 0 19 0 291651497 9856004096 81088 33554432000 1073741824 1073778376 140734024636832 139714803738808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29504] ppid=29464 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/29466/task/29504/stat : 29504 (java) S 29464 29466 25900 0 -1 4202560 4264 0 0 0 74 0 0 0 20 0 19 0 291651497 9856004096 81088 33554432000 1073741824 1073778376 140734024636832 139714802686008 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29505] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29505/stat : 29505 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 81088 33554432000 1073741824 1073778376 140734024636832 139714801633912 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29506] ppid=29464 vsize=9625004 CPUtime=0.33 cores=0,2,4,6 /proc/29466/task/29506/stat : 29506 (java) S 29464 29466 25900 0 -1 4202560 99 0 0 0 19 14 0 0 20 0 19 0 291651497 9856004096 81088 33554432000 1073741824 1073778376 140734024636832 139714800581320 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29512] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29512/stat : 29512 (java) S 29464 29466 25900 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291651540 9856004096 81088 33554432000 1073741824 1073778376 140734024636832 139714799527336 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1729.85 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.92 3/213 29753 /proc/meminfo: memFree=27153892/32873844 swapFree=7620/7620 [pid=29466] ppid=29464 vsize=9625004 CPUtime=1790.02 cores=0,2,4,6 /proc/29466/stat : 29466 (java) S 29464 29466 25900 0 -1 4202496 18695 0 1 0 178956 46 0 0 20 0 19 0 291651490 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 140734024627968 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29466/statm: 2406251 81103 2292 9 0 2396937 0 [pid=29466/tid=29469] ppid=29464 vsize=9625004 CPUtime=1757.61 cores=0,2,4,6 /proc/29466/task/29469/stat : 29469 (java) R 29464 29466 25900 0 -1 4202560 2889 0 1 0 175730 31 0 0 20 0 19 0 291651491 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715455254864 139715303807638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29474] ppid=29464 vsize=9625004 CPUtime=1.11 cores=0,2,4,6 /proc/29466/task/29474/stat : 29474 (java) S 29464 29466 25900 0 -1 4202560 305 0 0 0 107 4 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715427707688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29475] ppid=29464 vsize=9625004 CPUtime=1.11 cores=0,2,4,6 /proc/29466/task/29475/stat : 29475 (java) S 29464 29466 25900 0 -1 4202560 73 0 0 0 111 0 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715426654888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29476] ppid=29464 vsize=9625004 CPUtime=0.98 cores=0,2,4,6 /proc/29466/task/29476/stat : 29476 (java) S 29464 29466 25900 0 -1 4202560 68 0 0 0 96 2 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715425602600 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29477] ppid=29464 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/29466/task/29477/stat : 29477 (java) S 29464 29466 25900 0 -1 4202560 207 0 0 0 98 4 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715424549800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29478] ppid=29464 vsize=9625004 CPUtime=1.09 cores=0,2,4,6 /proc/29466/task/29478/stat : 29478 (java) S 29464 29466 25900 0 -1 4202560 182 0 0 0 106 3 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715423496488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29479] ppid=29464 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/29466/task/29479/stat : 29479 (java) S 29464 29466 25900 0 -1 4202560 422 0 0 0 97 4 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715422443688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29480] ppid=29464 vsize=9625004 CPUtime=1.04 cores=0,2,4,6 /proc/29466/task/29480/stat : 29480 (java) S 29464 29466 25900 0 -1 4202560 353 0 0 0 102 2 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715291949608 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29481] ppid=29464 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/29466/task/29481/stat : 29481 (java) S 29464 29466 25900 0 -1 4202560 83 0 0 0 99 2 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715290896808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29488] ppid=29464 vsize=9625004 CPUtime=17.28 cores=0,2,4,6 /proc/29466/task/29488/stat : 29488 (java) S 29464 29466 25900 0 -1 4202560 146 0 0 0 1725 3 0 0 20 0 19 0 291651493 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714807950056 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29497] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29497/stat : 29497 (java) S 29464 29466 25900 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714806896120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29498] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29498/stat : 29498 (java) S 29464 29466 25900 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714805843720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29502] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29502/stat : 29502 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714804792208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29503] ppid=29464 vsize=9625004 CPUtime=1.1 cores=0,2,4,6 /proc/29466/task/29503/stat : 29503 (java) S 29464 29466 25900 0 -1 4202560 8415 0 0 0 108 2 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714803738808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29504] ppid=29464 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/29466/task/29504/stat : 29504 (java) S 29464 29466 25900 0 -1 4202560 4264 0 0 0 74 0 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714802686008 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29505] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29505/stat : 29505 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714801633912 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29506] ppid=29464 vsize=9625004 CPUtime=0.34 cores=0,2,4,6 /proc/29466/task/29506/stat : 29506 (java) S 29464 29466 25900 0 -1 4202560 103 0 0 0 19 15 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714800581320 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29512] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29512/stat : 29512 (java) S 29464 29466 25900 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291651540 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714799527336 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1790.02 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792.3 s] /proc/loadavg: 2.00 2.00 1.92 3/213 29753 /proc/meminfo: memFree=27151844/32873844 swapFree=7620/7620 [pid=29466] ppid=29464 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6 /proc/29466/stat : 29466 (java) S 29464 29466 25900 0 -1 4202496 18695 0 1 0 179957 46 0 0 20 0 19 0 291651490 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 140734024627968 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29466/statm: 2406251 81103 2292 9 0 2396937 0 [pid=29466/tid=29469] ppid=29464 vsize=9625004 CPUtime=1767.59 cores=0,2,4,6 /proc/29466/task/29469/stat : 29469 (java) R 29464 29466 25900 0 -1 4202560 2889 0 1 0 176728 31 0 0 20 0 19 0 291651491 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715455254864 139715303184310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29474] ppid=29464 vsize=9625004 CPUtime=1.11 cores=0,2,4,6 /proc/29466/task/29474/stat : 29474 (java) S 29464 29466 25900 0 -1 4202560 305 0 0 0 107 4 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715427707688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29475] ppid=29464 vsize=9625004 CPUtime=1.11 cores=0,2,4,6 /proc/29466/task/29475/stat : 29475 (java) S 29464 29466 25900 0 -1 4202560 73 0 0 0 111 0 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715426654888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29476] ppid=29464 vsize=9625004 CPUtime=0.98 cores=0,2,4,6 /proc/29466/task/29476/stat : 29476 (java) S 29464 29466 25900 0 -1 4202560 68 0 0 0 96 2 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715425602600 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29477] ppid=29464 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/29466/task/29477/stat : 29477 (java) S 29464 29466 25900 0 -1 4202560 207 0 0 0 98 4 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715424549800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29478] ppid=29464 vsize=9625004 CPUtime=1.09 cores=0,2,4,6 /proc/29466/task/29478/stat : 29478 (java) S 29464 29466 25900 0 -1 4202560 182 0 0 0 106 3 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715423496488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29479] ppid=29464 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/29466/task/29479/stat : 29479 (java) S 29464 29466 25900 0 -1 4202560 422 0 0 0 97 4 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715422443688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29480] ppid=29464 vsize=9625004 CPUtime=1.04 cores=0,2,4,6 /proc/29466/task/29480/stat : 29480 (java) S 29464 29466 25900 0 -1 4202560 353 0 0 0 102 2 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715291949608 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29481] ppid=29464 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/29466/task/29481/stat : 29481 (java) S 29464 29466 25900 0 -1 4202560 83 0 0 0 99 2 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715290896808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29488] ppid=29464 vsize=9625004 CPUtime=17.28 cores=0,2,4,6 /proc/29466/task/29488/stat : 29488 (java) S 29464 29466 25900 0 -1 4202560 146 0 0 0 1725 3 0 0 20 0 19 0 291651493 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714807950056 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29497] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29497/stat : 29497 (java) S 29464 29466 25900 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714806896120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29498] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29498/stat : 29498 (java) S 29464 29466 25900 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714805843720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29502] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29502/stat : 29502 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714804792208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29503] ppid=29464 vsize=9625004 CPUtime=1.1 cores=0,2,4,6 /proc/29466/task/29503/stat : 29503 (java) S 29464 29466 25900 0 -1 4202560 8415 0 0 0 108 2 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714803738808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29504] ppid=29464 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/29466/task/29504/stat : 29504 (java) S 29464 29466 25900 0 -1 4202560 4264 0 0 0 74 0 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714802686008 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29505] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29505/stat : 29505 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714801633912 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29506] ppid=29464 vsize=9625004 CPUtime=0.34 cores=0,2,4,6 /proc/29466/task/29506/stat : 29506 (java) S 29464 29466 25900 0 -1 4202560 103 0 0 0 19 15 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714800581320 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29512] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29512/stat : 29512 (java) S 29464 29466 25900 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291651540 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714799527336 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1792.3 s] /proc/loadavg: 2.00 2.00 1.92 3/213 29753 /proc/meminfo: memFree=27151844/32873844 swapFree=7620/7620 [pid=29466] ppid=29464 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6 /proc/29466/stat : 29466 (java) S 29464 29466 25900 0 -1 4202496 18695 0 1 0 179957 46 0 0 20 0 19 0 291651490 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 140734024627968 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29466/statm: 2406251 81103 2292 9 0 2396937 0 [pid=29466/tid=29469] ppid=29464 vsize=9625004 CPUtime=1767.59 cores=0,2,4,6 /proc/29466/task/29469/stat : 29469 (java) R 29464 29466 25900 0 -1 4202560 2889 0 1 0 176728 31 0 0 20 0 19 0 291651491 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715455254864 139715303184310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29474] ppid=29464 vsize=9625004 CPUtime=1.11 cores=0,2,4,6 /proc/29466/task/29474/stat : 29474 (java) S 29464 29466 25900 0 -1 4202560 305 0 0 0 107 4 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715427707688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29475] ppid=29464 vsize=9625004 CPUtime=1.11 cores=0,2,4,6 /proc/29466/task/29475/stat : 29475 (java) S 29464 29466 25900 0 -1 4202560 73 0 0 0 111 0 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715426654888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29476] ppid=29464 vsize=9625004 CPUtime=0.98 cores=0,2,4,6 /proc/29466/task/29476/stat : 29476 (java) S 29464 29466 25900 0 -1 4202560 68 0 0 0 96 2 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715425602600 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29477] ppid=29464 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/29466/task/29477/stat : 29477 (java) S 29464 29466 25900 0 -1 4202560 207 0 0 0 98 4 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715424549800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29478] ppid=29464 vsize=9625004 CPUtime=1.09 cores=0,2,4,6 /proc/29466/task/29478/stat : 29478 (java) S 29464 29466 25900 0 -1 4202560 182 0 0 0 106 3 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715423496488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29479] ppid=29464 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/29466/task/29479/stat : 29479 (java) S 29464 29466 25900 0 -1 4202560 422 0 0 0 97 4 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715422443688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29480] ppid=29464 vsize=9625004 CPUtime=1.04 cores=0,2,4,6 /proc/29466/task/29480/stat : 29480 (java) S 29464 29466 25900 0 -1 4202560 353 0 0 0 102 2 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715291949608 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29481] ppid=29464 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/29466/task/29481/stat : 29481 (java) S 29464 29466 25900 0 -1 4202560 83 0 0 0 99 2 0 0 20 0 19 0 291651492 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139715290896808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29466/tid=29488] ppid=29464 vsize=9625004 CPUtime=17.28 cores=0,2,4,6 /proc/29466/task/29488/stat : 29488 (java) S 29464 29466 25900 0 -1 4202560 146 0 0 0 1725 3 0 0 20 0 19 0 291651493 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714807950056 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29497] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29497/stat : 29497 (java) S 29464 29466 25900 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714806896120 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29498] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29498/stat : 29498 (java) S 29464 29466 25900 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291651494 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714805843720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29502] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29502/stat : 29502 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714804792208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29466/tid=29503] ppid=29464 vsize=9625004 CPUtime=1.1 cores=0,2,4,6 /proc/29466/task/29503/stat : 29503 (java) S 29464 29466 25900 0 -1 4202560 8415 0 0 0 108 2 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714803738808 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29504] ppid=29464 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/29466/task/29504/stat : 29504 (java) S 29464 29466 25900 0 -1 4202560 4264 0 0 0 74 0 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714802686008 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29505] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29505/stat : 29505 (java) S 29464 29466 25900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714801633912 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29466/tid=29506] ppid=29464 vsize=9625004 CPUtime=0.34 cores=0,2,4,6 /proc/29466/task/29506/stat : 29506 (java) S 29464 29466 25900 0 -1 4202560 103 0 0 0 19 15 0 0 20 0 19 0 291651497 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714800581320 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29466/tid=29512] ppid=29464 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/29466/task/29512/stat : 29512 (java) S 29464 29466 25900 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291651540 9856004096 81103 33554432000 1073741824 1073778376 140734024636832 139714799527336 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625004 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29466 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=949126 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=860869 # CPU time returned by wait4() is 1795.81 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1792.37 CPU time (s): 1800.03 CPU user time (s): 1799.57 CPU system time (s): 0.46 CPU usage (%): 100.427 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.95 system time used= 0.860869 maximum resident set size= 324532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18727 page faults= 1 swaps= 0 block input operations= 144 block output operations= 1720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46069 involuntary context switches= 24331 runsolver used 5.41218 second user time and 13.8119 second system time The end
Begin job on node107 at 2012-05-29 03:33:49 IDJOB=3710376 IDBENCH=92760 IDSOLVER=2289 FILE ID=node107/3710376-1338255229 RUNJOBID= node107-1338255229-29448 PBS_JOBID= 14624643 Free space on /tmp= 71560 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_0.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710376-1338255229/watcher-3710376-1338255229 -o /tmp/evaluation-result-3710376-1338255229/solver-3710376-1338255229 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710376-1338255229.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0955493ad3dd18776a949983101631a RANDOM SEED=953820871 node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28060768 kB Buffers: 465936 kB Cached: 3464916 kB SwapCached: 0 kB Active: 964824 kB Inactive: 2980732 kB Active(anon): 17080 kB Inactive(anon): 0 kB Active(file): 947744 kB Inactive(file): 2980732 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1956 kB Writeback: 0 kB AnonPages: 21460 kB Mapped: 13592 kB Shmem: 200 kB Slab: 726216 kB SReclaimable: 168540 kB SUnreclaim: 557676 kB KernelStack: 1384 kB PageTables: 4352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 108636 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71560 MiB End job on node107 at 2012-05-29 04:03:44