Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 3400 | 1800.24 | 980.161 |
| Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb |
| MD5SUM | d5ffb80d8d2a9d2ae5f84f17eeb42612 |
| Bench Category | OPT-MEDINT (optimisation, medium integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3400 |
| Best CPU time to get the best result obtained on this benchmark | 1800.24 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2754 |
| Optimality of the best value was proved | NO |
| Number of variables | 7195 |
| Total number of constraints | 900 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 29 |
| Number of constraints which are nor clauses,nor cardinality constraints | 871 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 555 |
| Number of terms in the objective function | 421 |
| Biggest coefficient in the objective function | 500 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 72290 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 102400 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 3334110 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 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 version PB16.v20160501 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.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Glucose 2.1 dynamic restart strategy 0.07/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-4099802-1466206430.opb 0.07/0.13 c reading problem ... 0.07/0.13 c objective function found 1.07/0.51 c ... done. Wall clock time 0.375s. 1.07/0.51 c declared #vars 7195 1.07/0.51 c #constraints 958 1.07/0.51 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.07/0.51 c constraints type 1.07/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29 1.07/0.51 c org.sat4j.minisat.constraints.card.MinWatchCard => 29 1.07/0.51 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 900 1.07/0.51 c 958 constraints processed. 1.07/0.51 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.07/0.51 c constraints type 1.07/0.51 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 29 1.07/0.51 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 29 1.07/0.51 c org.sat4j.pb.constraints.pb.MaxWatchPb => 900 1.07/0.51 c 958 constraints processed. 1.07/0.51 c objective function length is 421 literals 4.63/1.63 c cleaning 2498 clauses out of 5005 with flag 12102/5005 7.13/2.63 c cleaning 4251 clauses out of 8505 with flag 28614/11003 9.19/3.68 c cleaning 5622 clauses out of 11252 with flag 49772/18001 12.29/5.17 c cleaning 6813 clauses out of 13629 with flag 76346/26001 15.40/6.60 c cleaning 7908 clauses out of 15824 with flag 107088/35010 18.63/8.13 c cleaning 8934 clauses out of 17908 with flag 142578/45002 20.12/8.82 c And the winner is solver0 20.16/9.02 c SATISFIABLE 20.16/9.02 c OPTIMIZING... 20.16/9.02 c Got one! Elapsed wall clock time (in seconds):8.885 20.16/9.02 o 5236 21.70/9.70 c cleaning 7109 clauses out of 14220 with flag 11124/50248 23.30/10.57 c And the winner is solver0 23.48/11.02 c Got one! Elapsed wall clock time (in seconds):10.892 23.48/11.02 o 5197 24.07/11.37 c And the winner is solver0 24.34/11.52 c Got one! Elapsed wall clock time (in seconds):11.395 24.34/11.52 o 5195 24.72/11.73 c cleaning 6773 clauses out of 13558 with flag 3346/56695 25.92/12.39 c And the winner is solver0 26.23/12.53 c Got one! Elapsed wall clock time (in seconds):12.397 26.23/12.53 o 5194 27.62/13.14 c cleaning 6109 clauses out of 12236 with flag 10946/62146 30.41/14.53 c cleaning 6052 clauses out of 12128 with flag 31686/68147 36.15/17.34 c cleaning 6523 clauses out of 13076 with flag 67167/75147 42.57/20.51 c cleaning 7266 clauses out of 14552 with flag 111261/83146 51.18/24.70 c cleaning 8143 clauses out of 16287 with flag 164884/92147 59.19/28.71 c cleaning 9064 clauses out of 18145 with flag 218129/102148 64.77/31.56 c And the winner is solver0 64.88/31.64 c Got one! Elapsed wall clock time (in seconds):31.508 64.88/31.64 o 5163 67.45/32.84 c cleaning 10489 clauses out of 20985 with flag 17780/114052 70.10/34.15 c And the winner is solver0 70.34/34.30 c Got one! Elapsed wall clock time (in seconds):34.168 70.34/34.30 o 5161 70.75/34.50 c cleaning 7962 clauses out of 15968 with flag 3767/119524 70.95/34.69 c And the winner is solver0 71.24/34.85 c Got one! Elapsed wall clock time (in seconds):34.723 71.24/34.85 o 4539 74.39/36.44 c cleaning 6805 clauses out of 13639 with flag 20881/125157 79.06/38.72 c cleaning 6414 clauses out of 12835 with flag 49525/131158 82.46/40.50 c cleaning 6705 clauses out of 13419 with flag 75611/138156 89.44/44.05 c cleaning 7337 clauses out of 14714 with flag 106893/146156 95.62/47.14 c cleaning 8186 clauses out of 16377 with flag 142007/155156 103.22/50.93 c cleaning 9080 clauses out of 18191 with flag 190827/165156 109.82/54.27 c cleaning 10050 clauses out of 20115 with flag 244863/176160 114.94/56.78 c And the winner is solver0 115.18/56.93 c Got one! Elapsed wall clock time (in seconds):56.803 115.18/56.93 o 4529 117.45/58.12 c cleaning 10884 clauses out of 21775 with flag 17822/187870 122.05/60.40 c cleaning 8438 clauses out of 16892 with flag 48786/193871 124.05/61.45 c And the winner is solver0 124.44/61.94 c Got one! Elapsed wall clock time (in seconds):61.805 124.44/61.94 o 4521 125.97/62.75 c cleaning 7001 clauses out of 14022 with flag 10284/199439 130.37/64.92 c cleaning 6503 clauses out of 13021 with flag 37116/205439 136.73/68.02 c cleaning 6746 clauses out of 13517 with flag 74639/212438 143.53/71.42 c cleaning 7382 clauses out of 14773 with flag 114343/220440 149.67/74.70 c cleaning 8187 clauses out of 16390 with flag 148153/229439 156.07/77.96 c cleaning 9091 clauses out of 18202 with flag 187146/239438 162.32/81.09 c cleaning 10046 clauses out of 20111 with flag 232495/250438 168.32/84.04 c And the winner is solver0 168.46/84.22 c Got one! Elapsed wall clock time (in seconds):84.092 168.46/84.22 o 4517 170.61/85.40 c cleaning 11574 clauses out of 23160 with flag 19015/263533 174.61/87.37 c cleaning 8774 clauses out of 17586 with flag 42517/269533 178.53/89.28 c cleaning 7882 clauses out of 15813 with flag 68006/276534 181.90/90.91 c cleaning 7939 clauses out of 15931 with flag 96573/284534 183.10/91.59 c And the winner is solver0 183.58/91.97 c Got one! Elapsed wall clock time (in seconds):91.845 183.58/91.97 o 4516 184.08/92.25 c And the winner is solver0 184.34/92.48 c Got one! Elapsed wall clock time (in seconds):92.346 184.34/92.48 o 4494 186.46/93.55 c cleaning 7145 clauses out of 14300 with flag 13392/290842 191.45/96.04 c And the winner is solver0 191.98/96.53 c Got one! Elapsed wall clock time (in seconds):96.399 191.98/96.53 o 4417 192.73/96.96 c And the winner is solver0 193.08/97.28 c Got one! Elapsed wall clock time (in seconds):97.151 193.08/97.28 o 4405 195.93/98.64 c cleaning 9182 clauses out of 18365 with flag 15057/302052 200.12/100.76 c cleaning 7578 clauses out of 15183 with flag 40986/308052 205.32/103.31 c And the winner is solver0 205.73/103.78 c Got one! Elapsed wall clock time (in seconds):103.653 205.73/103.78 o 4403 208.39/105.19 c cleaning 9688 clauses out of 19387 with flag 20423/319834 211.80/106.81 c And the winner is solver0 212.30/107.34 c Got one! Elapsed wall clock time (in seconds):107.205 212.30/107.34 o 4396 214.01/108.10 c cleaning 7823 clauses out of 15655 with flag 7420/325790 214.61/108.49 c And the winner is solver0 215.31/109.02 c Got one! Elapsed wall clock time (in seconds):108.89 215.31/109.02 o 4394 217.48/110.11 c And the winner is solver0 217.88/110.52 c Got one! Elapsed wall clock time (in seconds):110.392 217.88/110.52 o 4384 218.23/110.78 c cleaning 6979 clauses out of 13994 with flag 3408/331952 219.63/111.45 c And the winner is solver0 220.09/111.87 c Got one! Elapsed wall clock time (in seconds):111.744 220.09/111.87 o 4376 221.78/112.77 c cleaning 6411 clauses out of 12843 with flag 14118/337780 224.78/114.27 c cleaning 6212 clauses out of 12435 with flag 32815/343783 229.26/116.45 c cleaning 6607 clauses out of 13219 with flag 57795/350779 230.66/117.13 c And the winner is solver0 231.16/117.63 c Got one! Elapsed wall clock time (in seconds):117.497 231.16/117.63 o 4363 233.30/118.74 c cleaning 6128 clauses out of 12287 with flag 10131/356454 238.70/121.48 c cleaning 6067 clauses out of 12160 with flag 34513/362455 243.50/123.80 c cleaning 6540 clauses out of 13095 with flag 60445/369457 243.50/123.82 c And the winner is solver0 243.90/124.28 c Got one! Elapsed wall clock time (in seconds):124.15 243.90/124.28 o 4360 247.92/126.21 c cleaning 5782 clauses out of 11597 with flag 20200/374499 252.32/128.41 c cleaning 5909 clauses out of 11818 with flag 48663/380502 252.52/128.54 c And the winner is solver0 253.06/129.03 c Got one! Elapsed wall clock time (in seconds):128.903 253.06/129.03 o 4356 256.01/130.54 c cleaning 5651 clauses out of 11309 with flag 17783/385902 259.81/132.46 c cleaning 5812 clauses out of 11655 with flag 39955/391899 264.63/134.77 c cleaning 6418 clauses out of 12844 with flag 63725/398900 267.83/136.33 c And the winner is solver0 268.44/136.94 c Got one! Elapsed wall clock time (in seconds):136.806 268.44/136.94 o 4352 271.38/138.47 c cleaning 8710 clauses out of 17422 with flag 19542/409896 275.38/140.47 c cleaning 7338 clauses out of 14712 with flag 50618/415896 280.79/143.19 c And the winner is solver0 284.66/146.95 c Got one! Elapsed wall clock time (in seconds):146.818 284.66/146.95 o 4343 287.77/148.58 c cleaning 9385 clauses out of 18770 with flag 19521/427292 291.77/150.49 c cleaning 7676 clauses out of 15384 with flag 43652/433291 296.78/152.95 c cleaning 7328 clauses out of 14709 with flag 77707/440292 298.98/154.10 c And the winner is solver0 302.06/157.06 c Got one! Elapsed wall clock time (in seconds):156.928 302.06/157.06 o 4337 303.15/157.67 c cleaning 6284 clauses out of 12594 with flag 7660/445505 305.74/158.95 c cleaning 6147 clauses out of 12310 with flag 28163/451505 309.35/160.78 c cleaning 6573 clauses out of 13162 with flag 56204/458504 313.33/162.78 c cleaning 7276 clauses out of 14589 with flag 91318/466504 319.53/165.81 c cleaning 8154 clauses out of 16314 with flag 135167/475505 325.93/169.06 c cleaning 9077 clauses out of 18159 with flag 182564/485504 334.12/173.19 c cleaning 10031 clauses out of 20082 with flag 237261/496504 343.49/177.77 c cleaning 11025 clauses out of 22052 with flag 295632/508505 355.07/183.58 c cleaning 12011 clauses out of 24029 with flag 369483/521507 365.28/188.65 c cleaning 13003 clauses out of 26017 with flag 442686/535506 373.48/192.75 c cleaning 13989 clauses out of 28012 with flag 503928/550504 382.27/197.12 c cleaning 15007 clauses out of 30025 with flag 565887/566506 384.29/198.16 c And the winner is solver0 389.64/203.58 c Got one! Elapsed wall clock time (in seconds):203.447 389.64/203.58 o 4327 392.05/205.20 c cleaning 10248 clauses out of 20508 with flag 7356/571996 395.66/206.93 c And the winner is solver0 397.23/208.51 c Got one! Elapsed wall clock time (in seconds):208.376 397.23/208.51 o 4305 397.41/208.64 c And the winner is solver0 397.58/209.01 c Got one! Elapsed wall clock time (in seconds):208.878 397.58/209.01 o 4304 399.36/210.00 c And the winner is solver0 400.46/210.91 c Got one! Elapsed wall clock time (in seconds):210.781 400.46/210.91 o 4287 401.85/211.62 c cleaning 10585 clauses out of 21169 with flag 7574/582905 402.05/211.79 c And the winner is solver0 402.80/212.36 c Got one! Elapsed wall clock time (in seconds):212.233 402.80/212.36 o 4270 405.67/213.85 c cleaning 7987 clauses out of 15979 with flag 19694/588300 408.87/215.43 c cleaning 6991 clauses out of 13993 with flag 37240/594301 412.27/217.19 c cleaning 6978 clauses out of 14003 with flag 58458/601302 416.87/219.41 c cleaning 7502 clauses out of 15023 with flag 87498/609300 422.48/222.22 c cleaning 8255 clauses out of 16521 with flag 130651/618300 431.28/226.61 c cleaning 9131 clauses out of 18269 with flag 185139/628303 433.68/227.81 c And the winner is solver0 437.25/231.42 c Got one! Elapsed wall clock time (in seconds):231.293 437.25/231.42 o 4265 438.02/231.86 c And the winner is solver0 438.40/232.17 c Got one! Elapsed wall clock time (in seconds):232.045 438.40/232.17 o 4254 439.30/232.67 c And the winner is solver0 439.78/233.03 c Got one! Elapsed wall clock time (in seconds):232.897 439.78/233.03 o 4241 440.73/233.55 c cleaning 7993 clauses out of 16006 with flag 7306/635171 444.54/235.49 c cleaning 6991 clauses out of 14013 with flag 32261/641171 449.53/237.98 c cleaning 6979 clauses out of 14024 with flag 61673/648173 454.73/240.53 c cleaning 7506 clauses out of 15043 with flag 89432/656171 460.52/243.40 c cleaning 8263 clauses out of 16540 with flag 126679/665174 467.01/246.66 c cleaning 9130 clauses out of 18274 with flag 172643/675171 472.01/249.18 c And the winner is solver0 475.05/252.13 c Got one! Elapsed wall clock time (in seconds):252.005 475.05/252.13 o 4237 475.76/252.60 c And the winner is solver0 476.26/252.94 c Got one! Elapsed wall clock time (in seconds):252.807 476.26/252.94 o 4233 479.21/254.46 c cleaning 12565 clauses out of 25133 with flag 16839/691160 482.81/256.27 c cleaning 9274 clauses out of 18564 with flag 41730/697156 487.21/258.50 c cleaning 8133 clauses out of 16289 with flag 72245/704155 492.02/260.88 c cleaning 8065 clauses out of 16156 with flag 102707/712155 498.09/263.82 c cleaning 8542 clauses out of 17092 with flag 138992/721156 499.69/264.66 c And the winner is solver0 502.24/267.14 c Got one! Elapsed wall clock time (in seconds):267.014 502.24/267.14 o 4200 504.51/268.37 c cleaning 7089 clauses out of 14231 with flag 11462/726837 507.13/269.69 c And the winner is solver0 508.57/271.00 c Got one! Elapsed wall clock time (in seconds):270.867 508.57/271.00 o 4195 509.57/271.56 c cleaning 6186 clauses out of 12398 with flag 7069/732093 513.17/273.31 c And the winner is solver0 514.87/274.90 c Got one! Elapsed wall clock time (in seconds):274.773 514.87/274.90 o 4190 515.46/275.28 c cleaning 5902 clauses out of 11818 with flag 3559/737699 520.05/277.57 c cleaning 5932 clauses out of 11917 with flag 30322/743700 524.45/279.78 c cleaning 6473 clauses out of 12984 with flag 55613/750699 530.47/282.72 c cleaning 7248 clauses out of 14511 with flag 97535/758699 535.65/285.31 c cleaning 8124 clauses out of 16265 with flag 134353/767701 541.05/288.06 c cleaning 9067 clauses out of 18140 with flag 172248/777700 547.85/291.49 c cleaning 10033 clauses out of 20072 with flag 218398/788699 553.25/294.12 c And the winner is solver0 558.97/299.75 c Got one! Elapsed wall clock time (in seconds):299.619 558.97/299.75 o 4180 561.04/300.84 c cleaning 11602 clauses out of 23223 with flag 16907/801883 563.64/302.15 c cleaning 8795 clauses out of 17622 with flag 39345/807884 566.85/303.76 c cleaning 7906 clauses out of 15826 with flag 65288/814883 571.05/305.81 c cleaning 7948 clauses out of 15920 with flag 94783/822883 575.24/307.98 c cleaning 8480 clauses out of 16972 with flag 127770/831883 581.63/311.15 c cleaning 9241 clauses out of 18492 with flag 170911/841883 582.25/311.42 c And the winner is solver0 584.69/313.91 c Got one! Elapsed wall clock time (in seconds):313.779 584.69/313.91 o 4159 587.95/315.52 c cleaning 7592 clauses out of 15201 with flag 18096/847833 591.95/317.52 c cleaning 6791 clauses out of 13609 with flag 39359/853833 594.55/318.82 c cleaning 6894 clauses out of 13822 with flag 61552/860837 597.95/320.54 c cleaning 7458 clauses out of 14925 with flag 89593/868834 604.35/323.72 c cleaning 8226 clauses out of 16467 with flag 128334/877834 610.15/326.69 c cleaning 9112 clauses out of 18245 with flag 167685/887838 618.36/330.76 c cleaning 10059 clauses out of 20129 with flag 218550/898834 623.16/333.17 c cleaning 11029 clauses out of 22069 with flag 261988/910833 630.76/336.97 c cleaning 12012 clauses out of 24040 with flag 316097/923833 636.76/339.90 c And the winner is solver0 642.20/345.27 c Got one! Elapsed wall clock time (in seconds):345.136 642.20/345.27 o 4154 645.23/346.84 c cleaning 12889 clauses out of 25791 with flag 19333/937596 649.24/348.86 c cleaning 9440 clauses out of 18904 with flag 47019/943598 654.62/351.58 c cleaning 8226 clauses out of 16463 with flag 83541/950597 660.82/354.68 c cleaning 8114 clauses out of 16236 with flag 117330/958596 665.22/356.87 c cleaning 8554 clauses out of 17126 with flag 149738/967600 669.82/359.15 c cleaning 9277 clauses out of 18568 with flag 180742/977596 672.02/360.28 c And the winner is solver0 676.50/364.49 c Got one! Elapsed wall clock time (in seconds):364.362 676.50/364.49 o 4149 678.13/365.31 c And the winner is solver0 678.63/365.84 c Got one! Elapsed wall clock time (in seconds):365.714 678.63/365.84 o 4138 680.93/367.04 c cleaning 10345 clauses out of 20696 with flag 10702/989001 680.93/367.08 c And the winner is solver0 681.71/367.80 c Got one! Elapsed wall clock time (in seconds):367.666 681.71/367.80 o 4106 685.53/369.70 c cleaning 7730 clauses out of 15480 with flag 21965/994130 689.11/371.48 c And the winner is solver0 692.18/374.42 c Got one! Elapsed wall clock time (in seconds):374.285 692.18/374.42 o 3952 695.96/376.34 c cleaning 8986 clauses out of 17978 with flag 16784/1004358 699.54/378.12 c cleaning 7487 clauses out of 14993 with flag 39446/1010359 703.14/379.93 c cleaning 7237 clauses out of 14505 with flag 65447/1017358 708.95/382.81 c cleaning 7630 clauses out of 15268 with flag 92384/1025358 715.92/386.25 c cleaning 8310 clauses out of 16641 with flag 128039/1034361 723.10/389.85 c cleaning 9161 clauses out of 18329 with flag 173944/1044359 727.70/392.11 c cleaning 10072 clauses out of 20167 with flag 216898/1055358 731.50/394.02 c And the winner is solver0 736.67/399.28 c Got one! Elapsed wall clock time (in seconds):399.151 736.67/399.28 o 3945 740.09/401.06 c cleaning 12109 clauses out of 24238 with flag 20132/1069501 744.49/403.29 c cleaning 9058 clauses out of 18130 with flag 47964/1075502 747.86/404.90 c cleaning 8025 clauses out of 16070 with flag 76423/1082500 753.45/407.60 c cleaning 8003 clauses out of 16046 with flag 110802/1090501 758.25/410.07 c And the winner is solver0 761.79/413.57 c Got one! Elapsed wall clock time (in seconds):413.437 761.79/413.57 o 3924 762.07/413.75 c And the winner is solver0 762.29/414.07 c Got one! Elapsed wall clock time (in seconds):413.938 762.29/414.07 o 3909 765.76/415.89 c cleaning 10695 clauses out of 21401 with flag 18648/1103859 770.16/418.09 c And the winner is solver0 773.18/420.71 c Got one! Elapsed wall clock time (in seconds):420.583 773.18/420.71 o 3878 773.74/421.06 c cleaning 8227 clauses out of 16472 with flag 3598/1109625 777.54/422.99 c cleaning 7090 clauses out of 14245 with flag 25141/1115625 778.75/423.58 c And the winner is solver0 779.82/424.57 c Got one! Elapsed wall clock time (in seconds):424.437 779.82/424.57 o 3874 781.73/425.51 c And the winner is solver0 782.64/426.47 c Got one! Elapsed wall clock time (in seconds):426.34 782.64/426.47 o 3864 784.14/427.16 c cleaning 6720 clauses out of 13486 with flag 8058/1121956 787.13/428.66 c cleaning 6373 clauses out of 12766 with flag 29250/1127956 790.15/430.17 c cleaning 6688 clauses out of 13393 with flag 47594/1134956 795.13/432.67 c cleaning 7352 clauses out of 14706 with flag 71004/1142957 800.73/435.42 c cleaning 8174 clauses out of 16353 with flag 101231/1151956 807.13/438.70 c cleaning 9077 clauses out of 18180 with flag 135072/1161957 815.13/442.62 c cleaning 10046 clauses out of 20102 with flag 178243/1172956 816.32/443.26 c And the winner is solver0 819.14/445.74 c Got one! Elapsed wall clock time (in seconds):445.614 819.14/445.74 o 3863 822.23/447.30 c cleaning 7832 clauses out of 15686 with flag 14072/1178586 822.43/447.49 c And the winner is solver0 824.70/449.60 c Got one! Elapsed wall clock time (in seconds):449.468 824.70/449.60 o 3858 828.71/451.51 c And the winner is solver0 830.78/453.60 c Got one! Elapsed wall clock time (in seconds):453.474 830.78/453.60 o 3853 831.16/453.83 c cleaning 6919 clauses out of 13883 with flag 2660/1184615 835.16/455.88 c cleaning 6470 clauses out of 12964 with flag 25629/1190615 839.16/457.84 c cleaning 6737 clauses out of 13494 with flag 48127/1197615 843.56/460.02 c cleaning 7372 clauses out of 14758 with flag 79476/1205616 849.36/462.92 c cleaning 8186 clauses out of 16385 with flag 113760/1214615 854.15/465.22 c cleaning 9101 clauses out of 18201 with flag 147279/1224617 859.35/467.83 c And the winner is solver0 864.25/472.77 c Got one! Elapsed wall clock time (in seconds):472.638 864.25/472.77 o 3844 866.94/474.14 c And the winner is solver0 867.54/474.72 c Got one! Elapsed wall clock time (in seconds):474.59 867.54/474.72 o 3839 869.29/475.59 c cleaning 11552 clauses out of 23120 with flag 5978/1238637 872.89/477.31 c cleaning 8776 clauses out of 17568 with flag 27441/1244637 878.50/480.15 c cleaning 7881 clauses out of 15793 with flag 63802/1251638 880.90/481.36 c And the winner is solver0 884.35/484.78 c Got one! Elapsed wall clock time (in seconds):484.65 884.35/484.78 o 3803 886.23/485.67 c cleaning 6740 clauses out of 13492 with flag 7993/1257218 889.43/487.26 c cleaning 6369 clauses out of 12752 with flag 25451/1263218 893.63/489.36 c cleaning 6684 clauses out of 13385 with flag 48527/1270220 899.82/492.47 c cleaning 7340 clauses out of 14700 with flag 80483/1278219 904.62/494.88 c cleaning 8172 clauses out of 16362 with flag 114330/1287221 912.02/498.57 c cleaning 9086 clauses out of 18187 with flag 157267/1297218 920.62/502.82 c cleaning 10045 clauses out of 20106 with flag 208353/1308223 926.58/505.72 c And the winner is solver0 930.56/509.74 c Got one! Elapsed wall clock time (in seconds):509.613 930.56/509.74 o 3795 934.06/511.52 c cleaning 10658 clauses out of 21332 with flag 18979/1319494 936.05/512.60 c And the winner is solver0 937.14/513.60 c Got one! Elapsed wall clock time (in seconds):513.466 937.14/513.60 o 3792 938.60/514.29 c cleaning 8070 clauses out of 16153 with flag 9541/1324973 940.80/515.31 c cleaning 7032 clauses out of 14086 with flag 24758/1330976 943.40/516.61 c cleaning 7012 clauses out of 14052 with flag 43577/1337974 946.62/518.27 c cleaning 7512 clauses out of 15039 with flag 66102/1345973 950.82/520.39 c cleaning 8261 clauses out of 16527 with flag 92781/1354973 956.00/522.92 c cleaning 9134 clauses out of 18268 with flag 124383/1364975 956.80/523.31 c And the winner is solver0 961.31/527.86 c Got one! Elapsed wall clock time (in seconds):527.726 961.31/527.86 o 3786 964.74/529.52 c cleaning 7559 clauses out of 15127 with flag 16608/1370968 969.14/531.79 c cleaning 6766 clauses out of 13566 with flag 40041/1376966 970.55/532.46 c And the winner is solver0 972.67/534.51 c Got one! Elapsed wall clock time (in seconds):534.38 972.67/534.51 o 3785 975.84/536.13 c cleaning 6297 clauses out of 12634 with flag 16135/1382800 980.44/538.46 c cleaning 6145 clauses out of 12338 with flag 37182/1388801 983.84/540.05 c And the winner is solver0 984.98/541.16 c Got one! Elapsed wall clock time (in seconds):541.034 984.98/541.16 o 3771 986.08/541.73 c cleaning 5796 clauses out of 11624 with flag 5566/1394232 989.70/543.54 c cleaning 5896 clauses out of 11828 with flag 26222/1400232 995.49/546.48 c cleaning 6463 clauses out of 12934 with flag 56436/1407234 1000.89/549.16 c And the winner is solver0 1003.26/551.21 c Got one! Elapsed wall clock time (in seconds):551.076 1003.26/551.21 o 3740 1004.23/551.79 c And the winner is solver0 1004.84/552.21 c Got one! Elapsed wall clock time (in seconds):552.077 1004.84/552.21 o 3739 1008.02/553.82 c cleaning 9526 clauses out of 19052 with flag 14822/1419815 1010.21/554.95 c cleaning 7748 clauses out of 15526 with flag 33834/1425815 1012.81/556.24 c cleaning 7380 clauses out of 14778 with flag 54880/1432815 1016.03/557.88 c cleaning 7686 clauses out of 15398 with flag 81073/1440815 1024.34/561.92 c cleaning 8343 clauses out of 16712 with flag 122463/1449815 1033.34/566.46 c cleaning 9175 clauses out of 18369 with flag 179203/1459815 1033.56/566.54 c And the winner is solver0 1038.36/571.37 c Got one! Elapsed wall clock time (in seconds):571.241 1038.36/571.37 o 3738 1041.40/572.96 c cleaning 7177 clauses out of 14376 with flag 16634/1464997 1045.80/575.14 c cleaning 6588 clauses out of 13198 with flag 40459/1470996 1051.00/577.76 c cleaning 6789 clauses out of 13610 with flag 74724/1477996 1057.94/581.18 c cleaning 7400 clauses out of 14822 with flag 120133/1485997 1064.94/584.60 c cleaning 8206 clauses out of 16421 with flag 160274/1494996 1071.74/588.01 c cleaning 9106 clauses out of 18215 with flag 198640/1504996 1080.34/592.33 c cleaning 10047 clauses out of 20110 with flag 251792/1515997 1090.14/597.26 c cleaning 11022 clauses out of 22064 with flag 326346/1527998 1099.73/602.04 c cleaning 12008 clauses out of 24040 with flag 385060/1540996 1107.90/606.10 c And the winner is solver0 1111.82/609.94 c Got one! Elapsed wall clock time (in seconds):609.805 1111.82/609.94 o 3734 1114.67/611.48 c cleaning 14683 clauses out of 29387 with flag 17350/1558351 1117.87/613.02 c cleaning 10349 clauses out of 20709 with flag 42225/1564356 1121.88/615.05 c cleaning 8668 clauses out of 17355 with flag 73260/1571351 1127.06/617.63 c cleaning 8321 clauses out of 16688 with flag 106140/1579352 1133.26/620.79 c cleaning 8681 clauses out of 17367 with flag 144445/1588352 1138.40/623.21 c And the winner is solver0 1139.29/624.19 c Got one! Elapsed wall clock time (in seconds):624.06 1139.29/624.19 o 3731 1140.12/624.63 c And the winner is solver0 1140.47/624.99 c Got one! Elapsed wall clock time (in seconds):624.862 1140.47/624.99 o 3628 1143.13/626.40 c cleaning 9493 clauses out of 19010 with flag 18350/1598676 1147.13/628.38 c cleaning 7749 clauses out of 15517 with flag 43298/1604676 1152.12/630.84 c cleaning 7352 clauses out of 14768 with flag 70359/1611676 1157.75/633.64 c And the winner is solver0 1159.39/635.05 c Got one! Elapsed wall clock time (in seconds):634.919 1159.39/635.05 o 3622 1162.69/636.77 c cleaning 9656 clauses out of 19325 with flag 17746/1623585 1163.30/637.08 c And the winner is solver0 1165.25/638.90 c Got one! Elapsed wall clock time (in seconds):638.773 1165.25/638.90 o 3618 1167.44/640.09 c cleaning 7509 clauses out of 15059 with flag 14528/1628975 1170.44/641.57 c cleaning 6765 clauses out of 13548 with flag 34356/1634973 1173.99/643.25 c cleaning 6866 clauses out of 13783 with flag 56422/1641973 1178.39/645.48 c cleaning 7456 clauses out of 14917 with flag 86836/1649973 1181.99/647.23 c And the winner is solver0 1183.71/648.96 c Got one! Elapsed wall clock time (in seconds):648.828 1183.71/648.96 o 3617 1186.60/650.45 c cleaning 8810 clauses out of 17627 with flag 16632/1660139 1189.80/652.07 c cleaning 7396 clauses out of 14818 with flag 39138/1666140 1193.20/653.77 c cleaning 7200 clauses out of 14424 with flag 61184/1673142 1197.60/655.98 c cleaning 7600 clauses out of 15222 with flag 92562/1681140 1202.55/658.36 c cleaning 8307 clauses out of 16623 with flag 130430/1690141 1210.56/662.33 c cleaning 9155 clauses out of 18316 with flag 173983/1700141 1220.95/667.54 c cleaning 10077 clauses out of 20161 with flag 239685/1711141 1224.15/669.10 c And the winner is solver0 1228.73/673.82 c Got one! Elapsed wall clock time (in seconds):673.692 1228.73/673.82 o 3608 1230.08/674.52 c cleaning 7948 clauses out of 15915 with flag 8488/1716972 1231.68/675.34 c And the winner is solver0 1234.03/677.68 c Got one! Elapsed wall clock time (in seconds):677.547 1234.03/677.68 o 3598 1235.47/678.39 c cleaning 6476 clauses out of 12981 with flag 8681/1721986 1239.67/680.46 c cleaning 6246 clauses out of 12504 with flag 30406/1727985 1244.07/682.64 c cleaning 6627 clauses out of 13259 with flag 53122/1734986 1249.68/685.43 c cleaning 7303 clauses out of 14632 with flag 83195/1742986 1256.87/689.04 c cleaning 8161 clauses out of 16329 with flag 120556/1751986 1262.88/692.01 c cleaning 9075 clauses out of 18167 with flag 156922/1761985 1268.27/694.79 c cleaning 10039 clauses out of 20093 with flag 198726/1772986 1277.23/699.10 c cleaning 11020 clauses out of 22055 with flag 250604/1784987 1282.64/701.90 c And the winner is solver0 1283.49/702.63 c Got one! Elapsed wall clock time (in seconds):702.504 1283.49/702.63 o 3588 1287.36/704.64 c cleaning 11473 clauses out of 22983 with flag 20835/1796935 1292.36/707.10 c cleaning 8738 clauses out of 17510 with flag 47104/1802935 1297.76/709.84 c cleaning 7878 clauses out of 15773 with flag 79134/1809936 1303.56/712.75 c cleaning 7939 clauses out of 15894 with flag 114068/1817935 1308.14/714.96 c cleaning 8466 clauses out of 16955 with flag 143815/1826935 1312.34/717.02 c cleaning 9233 clauses out of 18489 with flag 173014/1836935 1318.33/720.05 c cleaning 10121 clauses out of 20256 with flag 209725/1847935 1326.94/724.39 c cleaning 11067 clauses out of 22139 with flag 260075/1859939 1337.15/729.43 c And the winner is solver0 1341.61/733.95 c Got one! Elapsed wall clock time (in seconds):733.816 1341.61/733.95 o 3568 1345.46/736.41 c And the winner is solver0 1346.18/737.16 c Got one! Elapsed wall clock time (in seconds):737.035 1346.18/737.16 o 3551 1347.69/737.98 c cleaning 14634 clauses out of 29277 with flag 9292/1878144 1350.09/739.16 c cleaning 10317 clauses out of 20643 with flag 25988/1884144 1353.49/740.85 c cleaning 8654 clauses out of 17326 with flag 48373/1891144 1357.89/743.01 c cleaning 8326 clauses out of 16672 with flag 76452/1899144 1362.29/745.27 c cleaning 8664 clauses out of 17347 with flag 103002/1908145 1367.49/747.88 c cleaning 9334 clauses out of 18682 with flag 134171/1918144 1373.09/750.66 c cleaning 10167 clauses out of 20350 with flag 170398/1929146 1377.93/753.04 c And the winner is solver0 1381.14/756.27 c Got one! Elapsed wall clock time (in seconds):756.144 1381.14/756.27 o 3532 1383.58/757.55 c cleaning 10816 clauses out of 21646 with flag 17954/1940609 1386.38/758.99 c cleaning 8407 clauses out of 16831 with flag 40673/1946610 1389.39/760.49 c cleaning 7696 clauses out of 15422 with flag 62743/1953608 1393.79/762.62 c cleaning 7857 clauses out of 15730 with flag 92484/1961612 1397.81/764.65 c cleaning 8423 clauses out of 16870 with flag 121683/1970609 1405.24/768.34 c cleaning 9220 clauses out of 18447 with flag 166498/1980609 1409.24/770.35 c And the winner is solver0 1414.27/775.39 c Got one! Elapsed wall clock time (in seconds):775.257 1414.27/775.39 o 3531 1417.51/777.01 c cleaning 10190 clauses out of 20385 with flag 19252/1991767 1420.71/778.60 c cleaning 8088 clauses out of 16198 with flag 44123/1997770 1423.71/780.12 c cleaning 7549 clauses out of 15109 with flag 65652/2004769 1427.11/781.80 c cleaning 7764 clauses out of 15558 with flag 88111/2012767 1430.91/783.78 c cleaning 8388 clauses out of 16794 with flag 113595/2021767 1436.35/786.47 c cleaning 9194 clauses out of 18406 with flag 146792/2031767 1440.15/788.32 c And the winner is solver0 1441.34/789.59 c Got one! Elapsed wall clock time (in seconds):789.463 1441.34/789.59 o 3530 1443.97/790.99 c cleaning 11291 clauses out of 22610 with flag 16462/2045165 1447.76/792.81 c cleaning 8653 clauses out of 17319 with flag 39044/2051165 1452.16/795.08 c cleaning 7820 clauses out of 15667 with flag 66248/2058166 1456.56/797.27 c cleaning 7918 clauses out of 15847 with flag 95395/2066166 1461.36/799.63 c cleaning 8451 clauses out of 16928 with flag 127528/2075165 1466.81/802.33 c cleaning 9238 clauses out of 18477 with flag 167700/2085165 1472.42/805.10 c cleaning 10113 clauses out of 20239 with flag 210372/2096165 1479.02/808.45 c cleaning 11056 clauses out of 22126 with flag 262672/2108165 1487.22/812.53 c cleaning 12026 clauses out of 24070 with flag 318014/2121165 1498.62/818.23 c cleaning 13013 clauses out of 26044 with flag 384758/2135165 1510.90/824.32 c cleaning 14010 clauses out of 28032 with flag 462228/2150166 1519.50/828.63 c cleaning 15003 clauses out of 30021 with flag 537675/2166165 1526.70/832.27 c cleaning 16003 clauses out of 32018 with flag 608126/2183165 1533.90/835.86 c cleaning 16995 clauses out of 34015 with flag 680806/2201165 1536.91/837.36 c And the winner is solver0 1544.16/844.72 c Got one! Elapsed wall clock time (in seconds):844.589 1544.16/844.72 o 3527 1544.72/845.09 c cleaning 11393 clauses out of 22795 with flag 3934/2206940 1548.58/846.90 c cleaning 8691 clauses out of 17402 with flag 29759/2212940 1552.57/848.92 c cleaning 7849 clauses out of 15711 with flag 52630/2219940 1557.37/851.35 c cleaning 7910 clauses out of 15862 with flag 83663/2227940 1559.17/852.20 c And the winner is solver0 1561.66/854.73 c Got one! Elapsed wall clock time (in seconds):854.604 1561.66/854.73 o 3517 1563.79/855.90 c cleaning 6726 clauses out of 13473 with flag 12410/2233461 1567.98/857.95 c cleaning 6355 clauses out of 12746 with flag 34366/2239460 1572.63/860.22 c cleaning 6693 clauses out of 13392 with flag 58885/2246461 1577.42/862.69 c cleaning 7345 clauses out of 14699 with flag 90078/2254461 1584.22/866.02 c cleaning 8165 clauses out of 16354 with flag 129448/2263461 1592.21/870.05 c cleaning 9086 clauses out of 18188 with flag 176060/2273460 1599.61/873.72 c cleaning 10037 clauses out of 20102 with flag 225164/2284460 1608.81/878.34 c cleaning 11017 clauses out of 22066 with flag 279110/2296461 1618.10/882.91 c And the winner is solver0 1621.15/886.04 c Got one! Elapsed wall clock time (in seconds):885.915 1621.15/886.04 o 3512 1624.18/887.70 c cleaning 14275 clauses out of 28555 with flag 18821/2313967 1627.39/889.29 c cleaning 10129 clauses out of 20279 with flag 39825/2319966 1631.79/891.50 c cleaning 8565 clauses out of 17150 with flag 68475/2326966 1636.99/894.09 c cleaning 8277 clauses out of 16585 with flag 98789/2334966 1641.19/896.12 c cleaning 8645 clauses out of 17309 with flag 125876/2343967 1645.28/898.12 c cleaning 9322 clauses out of 18664 with flag 151424/2353967 1651.09/901.03 c cleaning 10166 clauses out of 20344 with flag 187142/2364969 1658.27/904.68 c cleaning 11077 clauses out of 22175 with flag 234866/2376966 1664.47/907.71 c cleaning 12041 clauses out of 24098 with flag 283481/2389966 1671.67/911.31 c cleaning 13020 clauses out of 26057 with flag 335514/2403966 1680.26/915.69 c cleaning 14010 clauses out of 28042 with flag 403808/2418971 1688.27/919.67 c cleaning 15012 clauses out of 30028 with flag 459601/2434967 1696.77/923.80 c cleaning 16007 clauses out of 32015 with flag 513257/2451966 1707.37/929.19 c cleaning 17000 clauses out of 34008 with flag 573967/2469966 1717.19/934.06 c cleaning 18002 clauses out of 36010 with flag 637279/2488968 1725.79/938.34 c And the winner is solver0 1728.48/941.13 c Got one! Elapsed wall clock time (in seconds):941.005 1728.48/941.13 o 3504 1731.06/942.40 c cleaning 17308 clauses out of 34637 with flag 17882/2505597 1734.07/943.97 c cleaning 11660 clauses out of 23330 with flag 38499/2511598 1738.27/946.04 c cleaning 9328 clauses out of 18666 with flag 66746/2518594 1740.86/947.35 c And the winner is solver0 1744.69/951.19 c Got one! Elapsed wall clock time (in seconds):951.063 1744.69/951.19 o 3404 1746.14/951.97 c cleaning 7630 clauses out of 15271 with flag 7080/2524527 1750.14/953.92 c cleaning 6788 clauses out of 13637 with flag 29275/2530523 1752.34/955.09 c And the winner is solver0 1755.38/957.82 c Got one! Elapsed wall clock time (in seconds):957.686 1755.38/957.82 o 3400 1758.74/959.53 c cleaning 8501 clauses out of 17015 with flag 18781/2540689 1761.74/961.06 c cleaning 7250 clauses out of 14514 with flag 45449/2546689 1766.34/963.34 c cleaning 7119 clauses out of 14264 with flag 72667/2553689 1771.94/966.13 c cleaning 7569 clauses out of 15148 with flag 106388/2561692 1778.75/969.55 c cleaning 8280 clauses out of 16576 with flag 147987/2570689 1786.96/973.63 c cleaning 9139 clauses out of 18296 with flag 200191/2580689 1795.49/977.81 c cleaning 10071 clauses out of 20157 with flag 254494/2591689 1800.10/980.11 c >>>>>>>>>> Solver number 0 (85 answers) <<<<<<<<<<<<<<<<<< 1800.10/980.11 c starts : 3550 1800.10/980.11 c conflicts : 2598757 1800.10/980.11 c decisions : 8682984 1800.10/980.11 c propagations : 615807929 1800.10/980.11 c inspects : 2350719765 1800.10/980.11 c shortcuts : 0 1800.10/980.11 c learnt literals : 2 1800.10/980.11 c learnt binary clauses : 155 1800.10/980.11 c learnt ternary clauses : 244 1800.10/980.11 c learnt constraints : 2598755 1800.10/980.11 c ignored constraints : 0 1800.10/980.11 c root simplifications : 0 1800.10/980.11 c removed literals (reason simplification) : 3968485 1800.10/980.11 c reason swapping (by a shorter reason) : 0 1800.10/980.11 c Calls to reduceDB : 297 1800.10/980.11 c Number of update (reduction) of LBD : 668222 1800.10/980.11 c Imported unit clauses : 0 1800.10/980.11 c number of reductions to clauses (during analyze) : 0 1800.10/980.11 c number of learned constraints concerned by reduction : 0 1800.10/980.11 c number of learning phase by resolution : 0 1800.10/980.11 c number of learning phase by cutting planes : 0 1800.10/980.11 c speed (assignments/second) : 628638.4395512408 1800.10/980.11 c non guided choices 3539 1800.10/980.12 c learnt constraints type 1800.10/980.12 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 155 1800.10/980.12 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16999 1800.10/980.12 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.10/980.12 c starts : 104 1800.10/980.12 c conflicts : 3011 1800.10/980.12 c decisions : 57914 1800.10/980.12 c propagations : 887878 1800.10/980.12 c inspects : 177814908 1800.10/980.12 c shortcuts : 0 1800.10/980.12 c learnt literals : 0 1800.10/980.12 c learnt binary clauses : 0 1800.10/980.12 c learnt ternary clauses : 0 1800.10/980.12 c learnt constraints : 2939 1800.10/980.12 c ignored constraints : 0 1800.10/980.12 c root simplifications : 0 1800.10/980.12 c removed literals (reason simplification) : 0 1800.10/980.12 c reason swapping (by a shorter reason) : 0 1800.10/980.12 c Calls to reduceDB : 0 1800.10/980.12 c Number of update (reduction) of LBD : 0 1800.10/980.12 c Imported unit clauses : 0 1800.10/980.12 c number of reductions to clauses (during analyze) : 0 1800.10/980.12 c number of learned constraints concerned by reduction : 0 1800.10/980.12 c number of learning phase by resolution : 0 1800.10/980.12 c number of learning phase by cutting planes : 0 1800.10/980.12 c speed (assignments/second) : 39809.801372012735 1800.10/980.12 c non guided choices 0 1800.10/980.12 c learnt constraints type 1800.10/980.12 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 18 1800.10/980.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2921 1800.10/980.12 s SATISFIABLE 1800.10/980.12 c Found 85 solution(s) 1800.10/980.13 v x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 x307 -x308 x309 -x310 -x311 x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 x533 x534 -x535 x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 x1805 x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 x2002 x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 x2841 -x2842 -x2843 x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 x2939 x2940 -x2941 -x2942 x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 x3625 -x3626 x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970 x3971 -x3972 -x3973 x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 x4099 x4100 x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 x5158 -x5159 x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 x6078 -x6079 x6080 -x6081 x6082 x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 x6663 -x6664 x6665 x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 x7077 x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 1800.10/980.14 c objective function=3400 1800.10/980.14 c Total wall clock time (in seconds): 980.013
OK 3400
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4099802-1466206430/watcher-4099802-1466206430 -o /tmp/evaluation-result-4099802-1466206430/solver-4099802-1466206430 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466206083-15726 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4099802-1466206430.opb pid=17133 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.09 2.83 1.35 5/197 17136 /proc/meminfo: memFree=25096792/32872528 swapFree=1534436/1655032 [pid=17136] ppid=17133 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/17136/stat : 17136 (java) R 17133 17136 15709 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 22691415 9515008 176 33554432000 1073741824 1073778376 140734096388032 140734096370760 217410519952 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17136/statm: 2323 176 133 9 0 71 0 [startup+0.100062 s] /proc/loadavg: 4.09 2.83 1.35 5/197 17136 /proc/meminfo: memFree=25096792/32872528 swapFree=1534436/1655032 [pid=17136] ppid=17133 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/17136/stat : 17136 (java) S 17133 17136 15709 0 -1 4202496 4184 0 1 0 6 1 0 0 20 0 18 0 22691415 9787879424 5310 33554432000 1073741824 1073778376 140737137334544 140737137325680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17136/statm: 2389619 5332 2053 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558476 [startup+0.200258 s] /proc/loadavg: 4.09 2.83 1.35 5/197 17136 /proc/meminfo: memFree=25096792/32872528 swapFree=1534436/1655032 [pid=17136] ppid=17133 vsize=9558476 CPUtime=0.23 cores=1,3,5,7 /proc/17136/stat : 17136 (java) S 17133 17136 15709 0 -1 4202496 4716 0 1 0 22 1 0 0 20 0 18 0 22691415 9787879424 6804 33554432000 1073741824 1073778376 140737137334544 140737137325680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17136/statm: 2389619 6804 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.30024 s] /proc/loadavg: 4.09 2.83 1.35 5/197 17136 /proc/meminfo: memFree=25096792/32872528 swapFree=1534436/1655032 [pid=17136] ppid=17133 vsize=9558476 CPUtime=0.5 cores=1,3,5,7 /proc/17136/stat : 17136 (java) S 17133 17136 15709 0 -1 4202496 5782 0 1 0 48 2 0 0 20 0 18 0 22691415 9787879424 10073 33554432000 1073741824 1073778376 140737137334544 140737137325680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17136/statm: 2389619 10073 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.7002 s] /proc/loadavg: 4.09 2.83 1.35 5/197 17136 /proc/meminfo: memFree=25096792/32872528 swapFree=1534436/1655032 [pid=17136] ppid=17133 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/17136/stat : 17136 (java) S 17133 17136 15709 0 -1 4202496 17231 0 1 0 180 5 0 0 20 0 22 0 22691415 10060525568 23969 33554432000 1073741824 1073778376 140737137334544 140737137325680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17136/statm: 2456183 23969 2266 9 0 2446860 0 Current children cumulated CPU time (s) 1.85 Current children cumulated vsize (KiB) 9824732 [startup+1.50087 s] /proc/loadavg: 4.09 2.83 1.35 8/219 17158 /proc/meminfo: memFree=24960328/32872528 swapFree=1534436/1655032 [pid=17136] ppid=17133 vsize=9824732 CPUtime=4.4 cores=1,3,5,7 /proc/17136/stat : 17136 (java) S 17133 17136 15709 0 -1 4202496 20378 0 1 0 432 8 0 0 20 0 22 0 22691415 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140737137325680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17136/statm: 2456183 48134 2287 9 0 2446860 0 [pid=17136/tid=17138] ppid=17133 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/17136/task/17138/stat : 17138 (java) S 17133 17136 15709 0 -1 4202560 2442 0 1 0 45 2 0 0 20 0 22 0 22691417 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180945617784 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17139] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17139/stat : 17139 (java) S 17133 17136 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180907109416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17140] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17140/stat : 17140 (java) S 17133 17136 15709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180906056616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17141] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17141/stat : 17141 (java) S 17133 17136 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180905003816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17142] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17142/stat : 17142 (java) S 17133 17136 15709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180903951016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17143] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17143/stat : 17143 (java) S 17133 17136 15709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180902898216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17144] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17144/stat : 17144 (java) S 17133 17136 15709 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180901845416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17145] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17145/stat : 17145 (java) S 17133 17136 15709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180900792616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17146] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17146/stat : 17146 (java) S 17133 17136 15709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180899739816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17147] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17147/stat : 17147 (java) S 17133 17136 15709 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 22691419 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180768938984 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17148] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17148/stat : 17148 (java) S 17133 17136 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180767885048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17149] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17149/stat : 17149 (java) S 17133 17136 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180766832136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17150] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17150/stat : 17150 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180765780624 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17151] ppid=17133 vsize=9824732 CPUtime=0.99 cores=1,3,5,7 /proc/17136/task/17151/stat : 17151 (java) R 17133 17136 15709 0 -1 4202560 9521 0 0 0 97 2 0 0 20 0 22 0 22691422 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180764727736 140180951440296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17152] ppid=17133 vsize=9824732 CPUtime=0.92 cores=1,3,5,7 /proc/17136/task/17152/stat : 17152 (java) S 17133 17136 15709 0 -1 4202560 6927 0 0 0 91 1 0 0 20 0 22 0 22691422 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180763674936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17153] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17153/stat : 17153 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180762622328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17154] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17154/stat : 17154 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180761569736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17155] ppid=17133 vsize=9824732 CPUtime=0.94 cores=1,3,5,7 /proc/17136/task/17155/stat : 17155 (java) R 17133 17136 15709 0 -1 4202560 35 0 0 0 94 0 0 0 20 0 22 0 22691467 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180760515624 140180770076326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17156] ppid=17133 vsize=9824732 CPUtime=0.92 cores=1,3,5,7 /proc/17136/task/17156/stat : 17156 (java) R 17133 17136 15709 0 -1 4202560 63 0 0 0 92 0 0 0 20 0 22 0 22691467 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180759461184 140180770444574 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17157] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17157/stat : 17157 (java) S 17133 17136 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22691468 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180758410664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17158] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17158/stat : 17158 (java) S 17133 17136 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22691468 10060525568 48134 33554432000 1073741824 1073778376 140737137334544 140180757357864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.4 Current children cumulated vsize (KiB) 9824732 [startup+3.1009 s] /proc/loadavg: 4.25 2.88 1.37 6/219 17158 /proc/meminfo: memFree=24883628/32872528 swapFree=1534436/1655032 [pid=17136] ppid=17133 vsize=9824732 CPUtime=8.13 cores=1,3,5,7 /proc/17136/stat : 17136 (java) S 17133 17136 15709 0 -1 4202496 24277 0 1 0 801 12 0 0 20 0 22 0 22691415 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140737137325680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17136/statm: 2456183 79744 2291 9 0 2446860 0 [pid=17136/tid=17138] ppid=17133 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/17136/task/17138/stat : 17138 (java) S 17133 17136 15709 0 -1 4202560 2442 0 1 0 45 2 0 0 20 0 22 0 22691417 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180945617784 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17139] ppid=17133 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/17136/task/17139/stat : 17139 (java) S 17133 17136 15709 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 22691418 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180907109416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17140] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17140/stat : 17140 (java) S 17133 17136 15709 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180906056616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17141] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17141/stat : 17141 (java) S 17133 17136 15709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180905003816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17142] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17142/stat : 17142 (java) S 17133 17136 15709 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180903951016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17143] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17143/stat : 17143 (java) S 17133 17136 15709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 22691418 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180902898216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17144] ppid=17133 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/17136/task/17144/stat : 17144 (java) S 17133 17136 15709 0 -1 4202560 92 0 0 0 1 0 0 0 20 0 22 0 22691418 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180901845416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17145] ppid=17133 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/17136/task/17145/stat : 17145 (java) S 17133 17136 15709 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 22691418 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180900792616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17146] ppid=17133 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/17136/task/17146/stat : 17146 (java) S 17133 17136 15709 0 -1 4202560 103 0 0 0 3 0 0 0 20 0 22 0 22691418 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180899739816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17147] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17147/stat : 17147 (java) S 17133 17136 15709 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 22691419 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180768938984 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17148] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17148/stat : 17148 (java) S 17133 17136 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180767885048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17149] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17149/stat : 17149 (java) S 17133 17136 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180766832136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17150] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17150/stat : 17150 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180765780624 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17151] ppid=17133 vsize=9824732 CPUtime=1.09 cores=1,3,5,7 /proc/17136/task/17151/stat : 17151 (java) S 17133 17136 15709 0 -1 4202560 9521 0 0 0 107 2 0 0 20 0 22 0 22691422 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180764727736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17152] ppid=17133 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/17136/task/17152/stat : 17152 (java) S 17133 17136 15709 0 -1 4202560 10487 0 0 0 135 2 0 0 20 0 22 0 22691422 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180763674936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17153] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17153/stat : 17153 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180762622328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17154] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17154/stat : 17154 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180761569736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17155] ppid=17133 vsize=9824732 CPUtime=2.49 cores=1,3,5,7 /proc/17136/task/17155/stat : 17155 (java) R 17133 17136 15709 0 -1 4202560 51 0 0 0 249 0 0 0 20 0 22 0 22691467 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180760513944 140180771435258 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17156] ppid=17133 vsize=9824732 CPUtime=2.44 cores=1,3,5,7 /proc/17136/task/17156/stat : 17156 (java) R 17133 17136 15709 0 -1 4202560 101 0 0 0 242 2 0 0 20 0 22 0 22691467 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180759460480 140180770806022 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17157] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17157/stat : 17157 (java) S 17133 17136 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22691468 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180758410664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17158] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17158/stat : 17158 (java) S 17133 17136 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22691468 10060525568 79744 33554432000 1073741824 1073778376 140737137334544 140180757357864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 8.13 Current children cumulated vsize (KiB) 9824732 [startup+6.30097 s] /proc/loadavg: 4.25 2.88 1.37 6/219 17158 /proc/meminfo: memFree=24673208/32872528 swapFree=1534436/1655032 [pid=17136] ppid=17133 vsize=9824732 CPUtime=15 cores=1,3,5,7 /proc/17136/stat : 17136 (java) S 17133 17136 15709 0 -1 4202496 25343 0 1 0 1471 29 0 0 20 0 22 0 22691415 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140737137325680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17136/statm: 2456183 165667 2291 9 0 2446860 0 [pid=17136/tid=17138] ppid=17133 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/17136/task/17138/stat : 17138 (java) S 17133 17136 15709 0 -1 4202560 2442 0 1 0 45 2 0 0 20 0 22 0 22691417 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180945617784 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17139] ppid=17133 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/17136/task/17139/stat : 17139 (java) S 17133 17136 15709 0 -1 4202560 37 0 0 0 3 1 0 0 20 0 22 0 22691418 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180907109416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17140] ppid=17133 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/17136/task/17140/stat : 17140 (java) S 17133 17136 15709 0 -1 4202560 131 0 0 0 4 2 0 0 20 0 22 0 22691418 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180906056616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17141] ppid=17133 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/17136/task/17141/stat : 17141 (java) S 17133 17136 15709 0 -1 4202560 53 0 0 0 5 3 0 0 20 0 22 0 22691418 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180905003816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17142] ppid=17133 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/17136/task/17142/stat : 17142 (java) S 17133 17136 15709 0 -1 4202560 38 0 0 0 2 2 0 0 20 0 22 0 22691418 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180903951016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17143] ppid=17133 vsize=9824732 CPUtime=0.12 cores=1,3,5,7 /proc/17136/task/17143/stat : 17143 (java) S 17133 17136 15709 0 -1 4202560 78 0 0 0 8 4 0 0 20 0 22 0 22691418 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180902898216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17144] ppid=17133 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/17136/task/17144/stat : 17144 (java) S 17133 17136 15709 0 -1 4202560 135 0 0 0 5 2 0 0 20 0 22 0 22691418 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180901845416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17145] ppid=17133 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/17136/task/17145/stat : 17145 (java) S 17133 17136 15709 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 22 0 22691418 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180900792616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17146] ppid=17133 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/17136/task/17146/stat : 17146 (java) S 17133 17136 15709 0 -1 4202560 131 0 0 0 6 2 0 0 20 0 22 0 22691418 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180899739816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17147] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17147/stat : 17147 (java) S 17133 17136 15709 0 -1 4202560 480 0 0 0 0 0 0 0 20 0 22 0 22691419 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180768938984 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17148] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17148/stat : 17148 (java) S 17133 17136 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180767885048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17149] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17149/stat : 17149 (java) S 17133 17136 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180766832136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17150] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17150/stat : 17150 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 165667 33554432000 1073741824 1073778376 140737137334544 140180765780624 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17151] ppid=17133 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 ################ # More data... # ################ /proc/17136/task/17139/stat : 17139 (java) S 17133 17136 15709 0 -1 4202560 650 0 0 0 219 22 0 0 20 0 22 0 22691418 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180907109416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17140] ppid=17133 vsize=9824732 CPUtime=2.55 cores=1,3,5,7 /proc/17136/task/17140/stat : 17140 (java) S 17133 17136 15709 0 -1 4202560 610 0 0 0 236 19 0 0 20 0 22 0 22691418 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180906056616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17141] ppid=17133 vsize=9824732 CPUtime=2.48 cores=1,3,5,7 /proc/17136/task/17141/stat : 17141 (java) S 17133 17136 15709 0 -1 4202560 674 0 0 0 230 18 0 0 20 0 22 0 22691418 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180905003816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17142] ppid=17133 vsize=9824732 CPUtime=2.69 cores=1,3,5,7 /proc/17136/task/17142/stat : 17142 (java) S 17133 17136 15709 0 -1 4202560 740 0 0 0 243 26 0 0 20 0 22 0 22691418 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180903951016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17143] ppid=17133 vsize=9824732 CPUtime=2.42 cores=1,3,5,7 /proc/17136/task/17143/stat : 17143 (java) S 17133 17136 15709 0 -1 4202560 791 0 0 0 220 22 0 0 20 0 22 0 22691418 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180902898216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17144] ppid=17133 vsize=9824732 CPUtime=2.54 cores=1,3,5,7 /proc/17136/task/17144/stat : 17144 (java) S 17133 17136 15709 0 -1 4202560 967 0 0 0 232 22 0 0 20 0 22 0 22691418 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180901845416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17145] ppid=17133 vsize=9824732 CPUtime=2.42 cores=1,3,5,7 /proc/17136/task/17145/stat : 17145 (java) S 17133 17136 15709 0 -1 4202560 844 0 0 0 218 24 0 0 20 0 22 0 22691418 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180900792616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17146] ppid=17133 vsize=9824732 CPUtime=2.57 cores=1,3,5,7 /proc/17136/task/17146/stat : 17146 (java) S 17133 17136 15709 0 -1 4202560 799 0 0 0 233 24 0 0 20 0 22 0 22691418 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180899739816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17147] ppid=17133 vsize=9824732 CPUtime=3.39 cores=1,3,5,7 /proc/17136/task/17147/stat : 17147 (java) S 17133 17136 15709 0 -1 4202560 2212 0 0 0 329 10 0 0 20 0 22 0 22691419 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180768938984 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17148] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17148/stat : 17148 (java) S 17133 17136 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180767885048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17149] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17149/stat : 17149 (java) S 17133 17136 15709 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180766832136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17150] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17150/stat : 17150 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180765780624 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17151] ppid=17133 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/17136/task/17151/stat : 17151 (java) S 17133 17136 15709 0 -1 4202560 9530 0 0 0 142 2 0 0 20 0 22 0 22691422 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180764727736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17152] ppid=17133 vsize=9824732 CPUtime=2.1 cores=1,3,5,7 /proc/17136/task/17152/stat : 17152 (java) S 17133 17136 15709 0 -1 4202560 10495 0 0 0 208 2 0 0 20 0 22 0 22691422 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180763674936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17153] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17153/stat : 17153 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180762622328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17154] ppid=17133 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/17136/task/17154/stat : 17154 (java) S 17133 17136 15709 0 -1 4202560 55 0 0 0 14 14 0 0 20 0 22 0 22691422 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180761569736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17157] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17157/stat : 17157 (java) S 17133 17136 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22691468 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180758410664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17507] ppid=17133 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/17136/task/17507/stat : 17507 (java) R 17133 17136 15709 0 -1 4202560 3 0 0 0 106 0 0 0 20 0 22 0 22785529 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180757355624 140180771578091 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17508] ppid=17133 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/17136/task/17508/stat : 17508 (java) R 17133 17136 15709 0 -1 4202560 2 0 0 0 106 0 0 0 20 0 22 0 22785529 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180760513432 140180770927974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17509] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17509/stat : 17509 (java) S 17133 17136 15709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22785529 10060525568 919940 33554432000 1073741824 1073778376 140737137334544 140180759463080 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1730.8 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+980.101 s] /proc/loadavg: 4.21 4.14 3.17 6/220 17519 /proc/meminfo: memFree=21176156/32872528 swapFree=1534436/1655032 [pid=17136] ppid=17133 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7 /proc/17136/stat : 17136 (java) S 17133 17136 15709 0 -1 4202496 34966 0 1 0 179598 406 0 0 20 0 22 0 22691415 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140737137325680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17136/statm: 2456183 920008 2301 9 0 2446860 0 [pid=17136/tid=17138] ppid=17133 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/17136/task/17138/stat : 17138 (java) S 17133 17136 15709 0 -1 4202560 2462 0 1 0 59 5 0 0 20 0 22 0 22691417 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180945617784 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17139] ppid=17133 vsize=9824732 CPUtime=2.48 cores=1,3,5,7 /proc/17136/task/17139/stat : 17139 (java) S 17133 17136 15709 0 -1 4202560 667 0 0 0 226 22 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180907109416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17140] ppid=17133 vsize=9824732 CPUtime=2.61 cores=1,3,5,7 /proc/17136/task/17140/stat : 17140 (java) S 17133 17136 15709 0 -1 4202560 624 0 0 0 242 19 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180906056616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17141] ppid=17133 vsize=9824732 CPUtime=2.58 cores=1,3,5,7 /proc/17136/task/17141/stat : 17141 (java) S 17133 17136 15709 0 -1 4202560 683 0 0 0 240 18 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180905003816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17142] ppid=17133 vsize=9824732 CPUtime=2.75 cores=1,3,5,7 /proc/17136/task/17142/stat : 17142 (java) S 17133 17136 15709 0 -1 4202560 742 0 0 0 249 26 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180903951016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17143] ppid=17133 vsize=9824732 CPUtime=2.49 cores=1,3,5,7 /proc/17136/task/17143/stat : 17143 (java) S 17133 17136 15709 0 -1 4202560 801 0 0 0 227 22 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180902898216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17144] ppid=17133 vsize=9824732 CPUtime=2.61 cores=1,3,5,7 /proc/17136/task/17144/stat : 17144 (java) S 17133 17136 15709 0 -1 4202560 968 0 0 0 238 23 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180901845416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17145] ppid=17133 vsize=9824732 CPUtime=2.48 cores=1,3,5,7 /proc/17136/task/17145/stat : 17145 (java) S 17133 17136 15709 0 -1 4202560 846 0 0 0 224 24 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180900792616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17146] ppid=17133 vsize=9824732 CPUtime=2.63 cores=1,3,5,7 /proc/17136/task/17146/stat : 17146 (java) S 17133 17136 15709 0 -1 4202560 804 0 0 0 239 24 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180899739816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17147] ppid=17133 vsize=9824732 CPUtime=3.39 cores=1,3,5,7 /proc/17136/task/17147/stat : 17147 (java) S 17133 17136 15709 0 -1 4202560 2222 0 0 0 329 10 0 0 20 0 22 0 22691419 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180768938984 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17148] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17148/stat : 17148 (java) S 17133 17136 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180767885048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17149] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17149/stat : 17149 (java) S 17133 17136 15709 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180766832136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17150] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17150/stat : 17150 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180765780624 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17151] ppid=17133 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/17136/task/17151/stat : 17151 (java) S 17133 17136 15709 0 -1 4202560 9530 0 0 0 142 2 0 0 20 0 22 0 22691422 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180764727736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17152] ppid=17133 vsize=9824732 CPUtime=2.1 cores=1,3,5,7 /proc/17136/task/17152/stat : 17152 (java) S 17133 17136 15709 0 -1 4202560 10495 0 0 0 208 2 0 0 20 0 22 0 22691422 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180763674936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17153] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17153/stat : 17153 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180762622328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17154] ppid=17133 vsize=9824732 CPUtime=0.29 cores=1,3,5,7 /proc/17136/task/17154/stat : 17154 (java) S 17133 17136 15709 0 -1 4202560 57 0 0 0 14 15 0 0 20 0 22 0 22691422 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180761569736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17157] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17157/stat : 17157 (java) S 17133 17136 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22691468 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180758410664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17513] ppid=17133 vsize=9824732 CPUtime=22.14 cores=1,3,5,7 /proc/17136/task/17513/stat : 17513 (java) R 17133 17136 15709 0 -1 4202560 2 0 0 0 2214 0 0 0 20 0 22 0 22787197 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180759454224 140180770938770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17514] ppid=17133 vsize=9824732 CPUtime=22.14 cores=1,3,5,7 /proc/17136/task/17514/stat : 17514 (java) R 17133 17136 15709 0 -1 4202560 3 0 0 0 2214 0 0 0 20 0 22 0 22787197 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180757355312 140180770928080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17515] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17515/stat : 17515 (java) S 17133 17136 15709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22787197 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180760516008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 17136 sig 9 ??? kill -17136 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+980.101 s] /proc/loadavg: 4.21 4.14 3.17 6/220 17519 /proc/meminfo: memFree=21176156/32872528 swapFree=1534436/1655032 [pid=17136] ppid=17133 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7 /proc/17136/stat : 17136 (java) S 17133 17136 15709 0 -1 4202496 34966 0 1 0 179598 406 0 0 20 0 22 0 22691415 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140737137325680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17136/statm: 2456183 920008 2301 9 0 2446860 0 [pid=17136/tid=17138] ppid=17133 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/17136/task/17138/stat : 17138 (java) S 17133 17136 15709 0 -1 4202560 2462 0 1 0 59 5 0 0 20 0 22 0 22691417 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180945617784 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17139] ppid=17133 vsize=9824732 CPUtime=2.48 cores=1,3,5,7 /proc/17136/task/17139/stat : 17139 (java) S 17133 17136 15709 0 -1 4202560 667 0 0 0 226 22 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180907109416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17140] ppid=17133 vsize=9824732 CPUtime=2.61 cores=1,3,5,7 /proc/17136/task/17140/stat : 17140 (java) S 17133 17136 15709 0 -1 4202560 624 0 0 0 242 19 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180906056616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17141] ppid=17133 vsize=9824732 CPUtime=2.58 cores=1,3,5,7 /proc/17136/task/17141/stat : 17141 (java) S 17133 17136 15709 0 -1 4202560 683 0 0 0 240 18 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180905003816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17142] ppid=17133 vsize=9824732 CPUtime=2.75 cores=1,3,5,7 /proc/17136/task/17142/stat : 17142 (java) S 17133 17136 15709 0 -1 4202560 742 0 0 0 249 26 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180903951016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17143] ppid=17133 vsize=9824732 CPUtime=2.49 cores=1,3,5,7 /proc/17136/task/17143/stat : 17143 (java) S 17133 17136 15709 0 -1 4202560 801 0 0 0 227 22 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180902898216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17144] ppid=17133 vsize=9824732 CPUtime=2.61 cores=1,3,5,7 /proc/17136/task/17144/stat : 17144 (java) S 17133 17136 15709 0 -1 4202560 968 0 0 0 238 23 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180901845416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17145] ppid=17133 vsize=9824732 CPUtime=2.48 cores=1,3,5,7 /proc/17136/task/17145/stat : 17145 (java) S 17133 17136 15709 0 -1 4202560 846 0 0 0 224 24 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180900792616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17146] ppid=17133 vsize=9824732 CPUtime=2.63 cores=1,3,5,7 /proc/17136/task/17146/stat : 17146 (java) S 17133 17136 15709 0 -1 4202560 804 0 0 0 239 24 0 0 20 0 22 0 22691418 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180899739816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17147] ppid=17133 vsize=9824732 CPUtime=3.39 cores=1,3,5,7 /proc/17136/task/17147/stat : 17147 (java) S 17133 17136 15709 0 -1 4202560 2222 0 0 0 329 10 0 0 20 0 22 0 22691419 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180768938984 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17148] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17148/stat : 17148 (java) S 17133 17136 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180767885048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17149] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17149/stat : 17149 (java) S 17133 17136 15709 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 22 0 22691420 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180766832136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17150] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17150/stat : 17150 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180765780624 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17151] ppid=17133 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/17136/task/17151/stat : 17151 (java) S 17133 17136 15709 0 -1 4202560 9530 0 0 0 142 2 0 0 20 0 22 0 22691422 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180764727736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17152] ppid=17133 vsize=9824732 CPUtime=2.1 cores=1,3,5,7 /proc/17136/task/17152/stat : 17152 (java) S 17133 17136 15709 0 -1 4202560 10495 0 0 0 208 2 0 0 20 0 22 0 22691422 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180763674936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17153] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17153/stat : 17153 (java) S 17133 17136 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22691422 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180762622328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17154] ppid=17133 vsize=9824732 CPUtime=0.29 cores=1,3,5,7 /proc/17136/task/17154/stat : 17154 (java) S 17133 17136 15709 0 -1 4202560 57 0 0 0 14 15 0 0 20 0 22 0 22691422 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180761569736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17136/tid=17157] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17157/stat : 17157 (java) S 17133 17136 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22691468 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180758410664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17136/tid=17513] ppid=17133 vsize=9824732 CPUtime=22.14 cores=1,3,5,7 /proc/17136/task/17513/stat : 17513 (java) R 17133 17136 15709 0 -1 4202560 2 0 0 0 2214 0 0 0 20 0 22 0 22787197 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180759454224 140180770938770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17136/tid=17514] ppid=17133 vsize=9824732 CPUtime=22.14 cores=1,3,5,7 /proc/17136/task/17514/stat : 17514 (java) R 17133 17136 15709 0 -1 4202560 3 0 0 0 2214 0 0 0 20 0 22 0 22787197 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180757355312 140180770928080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=17136/tid=17515] ppid=17133 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17136/task/17515/stat : 17515 (java) S 17133 17136 15709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 22787197 10060525568 920008 33554432000 1073741824 1073778376 140737137334544 140180760516008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.0599365 # lost CPU user time (s): 0.0699463 # lost CPU system time (s): -0.00999999 Real time (s): 980.161 CPU time (s): 1800.24 CPU user time (s): 1795.99 CPU system time (s): 4.25135 CPU usage (%): 183.668 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.92 system time used= 4.26135 maximum resident set size= 3694052 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35012 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29821 involuntary context switches= 19394 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.28389 second user time and 6.81396 second system time The end
Begin job on node122 at 2016-06-18 01:33:50 IDJOB=4099802 IDBENCH=1525 IDSOLVER=2543 FILE ID=node122/4099802-1466206430 RUNJOBID= node122-1466206083-15726 PBS_JOBID= 19918155 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099802-1466206430/watcher-4099802-1466206430 -o /tmp/evaluation-result-4099802-1466206430/solver-4099802-1466206430 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466206083-15726 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4099802-1466206430.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d5ffb80d8d2a9d2ae5f84f17eeb42612 RANDOM SEED=178032303 node122.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.769 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.53 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.769 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 : 5332.55 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.769 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 : 5332.55 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.769 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 : 5332.55 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.769 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 : 5332.53 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.769 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 : 5332.55 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.769 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 : 5332.55 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.769 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 : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 25099616 kB Buffers: 119048 kB Cached: 1612660 kB SwapCached: 0 kB Active: 3724984 kB Inactive: 1647312 kB Active(anon): 3643308 kB Inactive(anon): 0 kB Active(file): 81676 kB Inactive(file): 1647312 kB Unevictable: 1655032 kB Mlocked: 1534436 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1264 kB Writeback: 0 kB AnonPages: 5424624 kB Mapped: 21176 kB Shmem: 204 kB Slab: 607508 kB SReclaimable: 51344 kB SUnreclaim: 556164 kB KernelStack: 1784 kB PageTables: 15108 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5736116 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3792896 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71736 MiB End job on node122 at 2016-06-18 01:50:10