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) | 4781058437 | 1800.02 | 912.48 |
| Name | normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/ normalized-single-obj-f52-ACTotalLoss.seq-A-2-1-irEDCBA.opb |
| MD5SUM | 772d9509a319dfc4bdc5714ee1f27758 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4208461167 |
| Best CPU time to get the best result obtained on this benchmark | 1625.38 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4305 |
| Total number of constraints | 12163 |
| Number of constraints which are clauses | 12043 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 120 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 31 |
| Number of terms in the objective function | 373 |
| Biggest coefficient in the objective function | 143145755 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 31492066099 |
| Number of bits of the sum of numbers in the objective function | 35 |
| Biggest number in a constraint | 143145755 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 31492066099 |
| Number of bits of the biggest sum of numbers | 35 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4110793-1466389234.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.03/0.51 c ... done. Wall clock time 0.395s. 1.03/0.51 c declared #vars 4305 1.03/0.51 c #constraints 12163 1.03/0.52 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.03/0.52 c constraints type 1.03/0.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3248 1.03/0.52 c org.sat4j.specs.Constr$1 => 768 1.03/0.52 c org.sat4j.minisat.constraints.card.MinWatchCard => 30 1.03/0.52 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7786 1.03/0.52 c org.sat4j.minisat.constraints.cnf.UnitClause => 331 1.03/0.52 c 12163 constraints processed. 1.03/0.52 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.03/0.52 c constraints type 1.03/0.52 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7786 1.03/0.52 c org.sat4j.specs.Constr$1 => 768 1.03/0.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3248 1.03/0.52 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30 1.03/0.52 c org.sat4j.pb.constraints.pb.UnitClausePB => 331 1.03/0.52 c 12163 constraints processed. 1.03/0.52 c objective function length is 373 literals 1.39/0.65 c And the winner is solver0 2.27/1.02 c SATISFIABLE 2.27/1.02 c OPTIMIZING... 2.27/1.02 c Got one! Elapsed wall clock time (in seconds):0.902 2.27/1.02 o 6670575833 2.27/1.05 c And the winner is solver0 2.47/1.53 c Got one! Elapsed wall clock time (in seconds):1.409 2.47/1.53 o 6670575803 2.74/1.61 c And the winner is solver0 2.85/2.04 c Got one! Elapsed wall clock time (in seconds):1.916 2.85/2.04 o 6670575773 3.10/2.16 c And the winner is solver0 3.55/2.54 c Got one! Elapsed wall clock time (in seconds):2.419 3.55/2.54 o 6670575743 3.55/2.58 c And the winner is solver0 3.70/3.04 c Got one! Elapsed wall clock time (in seconds):2.922 3.70/3.04 o 6670574873 5.44/3.71 c cleaning 2861 clauses out of 5722 with flag 16265/5722 7.13/4.36 c cleaning 4430 clauses out of 8861 with flag 33572/11722 8.55/5.09 c cleaning 5715 clauses out of 11431 with flag 51168/18722 10.66/6.03 c cleaning 6854 clauses out of 13716 with flag 73011/26722 12.98/7.18 c cleaning 7932 clauses out of 15863 with flag 96347/35723 15.86/8.57 c cleaning 8961 clauses out of 17930 with flag 122045/45722 19.20/10.13 c cleaning 9985 clauses out of 19970 with flag 148378/56723 20.60/10.87 c And the winner is solver1 20.72/11.05 c Got one! Elapsed wall clock time (in seconds):10.928 20.72/11.05 o 6527431938 20.72/11.06 c And the winner is solver0 20.89/11.55 c Got one! Elapsed wall clock time (in seconds):11.43 20.89/11.55 o 6527429118 20.89/11.56 c And the winner is solver0 20.89/12.05 c Got one! Elapsed wall clock time (in seconds):11.932 20.89/12.05 o 6241139528 20.89/12.06 c And the winner is solver0 20.94/12.55 c Got one! Elapsed wall clock time (in seconds):12.434 20.94/12.55 o 6241139498 20.94/12.56 c And the winner is solver0 20.97/13.06 c Got one! Elapsed wall clock time (in seconds):12.936 20.97/13.06 o 6241137608 20.97/13.08 c And the winner is solver0 21.07/13.56 c Got one! Elapsed wall clock time (in seconds):13.438 21.07/13.56 o 6241137578 21.07/13.57 c And the winner is solver0 21.14/14.06 c Got one! Elapsed wall clock time (in seconds):13.94 21.14/14.06 o 6241136648 21.21/14.14 c And the winner is solver0 21.34/14.56 c Got one! Elapsed wall clock time (in seconds):14.441 21.34/14.56 o 6241136618 22.00/14.96 c And the winner is solver0 22.22/15.06 c Got one! Elapsed wall clock time (in seconds):14.943 22.22/15.06 o 6241135688 22.92/15.49 c cleaning 11205 clauses out of 22421 with flag 9630/69159 24.11/16.09 c cleaning 8600 clauses out of 17215 with flag 25229/75158 25.32/16.69 c cleaning 7804 clauses out of 15615 with flag 41824/82158 26.71/17.39 c And the winner is solver1 26.91/17.57 c Got one! Elapsed wall clock time (in seconds):17.447 26.91/17.57 o 6212517067 26.91/17.59 c And the winner is solver0 27.05/18.07 c Got one! Elapsed wall clock time (in seconds):17.949 27.05/18.07 o 6097990893 27.51/18.34 c And the winner is solver0 27.64/18.57 c Got one! Elapsed wall clock time (in seconds):18.451 27.64/18.57 o 6097990863 27.99/18.75 c And the winner is solver0 28.13/19.07 c Got one! Elapsed wall clock time (in seconds):18.953 28.13/19.07 o 6097990833 28.18/19.14 c cleaning 10067 clauses out of 20133 with flag 2356/94480 28.18/19.18 c And the winner is solver0 28.38/19.57 c Got one! Elapsed wall clock time (in seconds):19.455 28.38/19.57 o 6097989933 28.86/19.83 c cleaning 7941 clauses out of 15882 with flag 11911/100296 29.06/19.92 c And the winner is solver0 29.12/20.08 c Got one! Elapsed wall clock time (in seconds):19.957 29.12/20.08 o 6097989903 29.35/20.25 c And the winner is solver0 29.49/20.58 c Got one! Elapsed wall clock time (in seconds):20.459 29.49/20.58 o 6097988973 30.35/21.04 c cleaning 7021 clauses out of 14050 with flag 10942/106405 30.53/21.10 c And the winner is solver1 30.55/21.58 c Got one! Elapsed wall clock time (in seconds):21.463 30.55/21.58 o 5954847958 30.78/21.77 c And the winner is solver0 30.98/22.08 c Got one! Elapsed wall clock time (in seconds):21.964 30.98/22.08 o 5954846098 31.01/22.17 c And the winner is solver0 31.17/22.59 c Got one! Elapsed wall clock time (in seconds):22.466 31.17/22.59 o 5954843218 31.19/22.66 c cleaning 6860 clauses out of 13724 with flag 2315/113100 31.78/22.94 c cleaning 6431 clauses out of 12865 with flag 16447/119101 33.66/23.84 c cleaning 6706 clauses out of 13432 with flag 39685/126099 35.86/24.90 c cleaning 7363 clauses out of 14726 with flag 67738/134099 37.26/25.63 c And the winner is solver1 37.33/26.09 c Got one! Elapsed wall clock time (in seconds):25.969 37.33/26.09 o 5926224417 37.75/26.33 c cleaning 8866 clauses out of 17736 with flag 12449/144472 38.35/26.65 c cleaning 7429 clauses out of 14870 with flag 27113/150472 39.15/27.00 c cleaning 7220 clauses out of 14440 with flag 44062/157471 39.75/27.40 c cleaning 7606 clauses out of 15220 with flag 63352/165471 40.74/27.85 c cleaning 8306 clauses out of 16614 with flag 85000/174471 41.94/28.42 c cleaning 9150 clauses out of 18308 with flag 109760/184471 43.22/29.09 c cleaning 10073 clauses out of 20159 with flag 136163/195472 43.42/29.13 c And the winner is solver1 43.47/29.59 c Got one! Elapsed wall clock time (in seconds):29.471 43.47/29.59 o 5811716333 43.88/29.84 c cleaning 8023 clauses out of 16045 with flag 12355/201431 44.07/29.93 c And the winner is solver1 44.13/30.09 c Got one! Elapsed wall clock time (in seconds):29.973 44.13/30.09 o 5811707813 44.34/30.24 c And the winner is solver1 44.34/30.25 c cleaning 6515 clauses out of 13035 with flag 7348/206444 44.44/30.59 c Got one! Elapsed wall clock time (in seconds):30.475 44.44/30.59 o 5811702203 44.68/30.78 c And the winner is solver1 44.86/31.10 c Got one! Elapsed wall clock time (in seconds):30.976 44.86/31.10 o 5811698423 44.86/31.16 c cleaning 5944 clauses out of 11888 with flag 2569/211812 45.46/31.44 c cleaning 5971 clauses out of 11944 with flag 17514/217812 46.06/31.79 c cleaning 6487 clauses out of 12973 with flag 34413/224812 46.85/32.17 c cleaning 7246 clauses out of 14491 with flag 53724/232817 47.85/32.61 c cleaning 8120 clauses out of 16241 with flag 75598/241813 48.87/33.16 c And the winner is solver0 49.01/33.60 c Got one! Elapsed wall clock time (in seconds):33.478 49.01/33.60 o 5811698393 49.41/33.87 c And the winner is solver0 49.60/34.10 c Got one! Elapsed wall clock time (in seconds):33.98 49.60/34.10 o 5811696503 49.60/34.19 c cleaning 11137 clauses out of 22281 with flag 2607/255973 50.39/34.52 c cleaning 8569 clauses out of 17144 with flag 17500/261973 51.26/34.91 c cleaning 7783 clauses out of 15576 with flag 34472/268974 52.07/35.31 c cleaning 7894 clauses out of 15793 with flag 54324/276974 53.26/35.92 c cleaning 8443 clauses out of 16898 with flag 78802/285973 55.46/37.03 c cleaning 9224 clauses out of 18457 with flag 106696/295975 57.66/38.16 c cleaning 10112 clauses out of 20231 with flag 136726/306973 58.47/38.55 c And the winner is solver0 58.61/38.65 c Got one! Elapsed wall clock time (in seconds):38.533 58.61/38.65 o 5697190309 58.72/38.71 c cleaning 7589 clauses out of 15184 with flag 2668/312038 59.12/38.99 c cleaning 6797 clauses out of 13596 with flag 17926/318039 59.91/39.32 c cleaning 6900 clauses out of 13799 with flag 35013/325039 60.53/39.70 c cleaning 7445 clauses out of 14898 with flag 54289/333038 61.52/40.18 c cleaning 8226 clauses out of 16454 with flag 75974/342039 62.52/40.67 c cleaning 9114 clauses out of 18228 with flag 100044/352039 63.71/41.22 c cleaning 10058 clauses out of 20115 with flag 126314/363040 64.93/41.85 c cleaning 11027 clauses out of 22057 with flag 154929/375040 66.41/42.59 c cleaning 12011 clauses out of 24029 with flag 186298/388039 68.00/43.38 c cleaning 13009 clauses out of 26018 with flag 220372/402039 70.00/44.30 c cleaning 14004 clauses out of 28009 with flag 257776/417039 71.82/45.26 c cleaning 15000 clauses out of 30004 with flag 296919/433038 74.02/46.32 c cleaning 15998 clauses out of 32005 with flag 338392/450039 76.22/47.47 c cleaning 17003 clauses out of 34006 with flag 382435/468038 78.22/48.42 c And the winner is solver1 78.22/48.66 c Got one! Elapsed wall clock time (in seconds):48.54 78.22/48.66 o 5668562958 78.90/49.04 c cleaning 19167 clauses out of 38347 with flag 11797/489382 79.50/49.38 c cleaning 12585 clauses out of 25180 with flag 26410/495382 80.29/49.74 c cleaning 9799 clauses out of 19598 with flag 43576/502385 81.19/50.18 c cleaning 8895 clauses out of 17796 with flag 63273/510382 82.20/50.61 c cleaning 8946 clauses out of 17902 with flag 85313/519383 83.19/51.10 c cleaning 9469 clauses out of 18955 with flag 110177/529382 84.19/51.66 c cleaning 10240 clauses out of 20487 with flag 138083/540383 85.59/52.30 c cleaning 11122 clauses out of 22246 with flag 169498/552382 86.80/52.97 c cleaning 12063 clauses out of 24127 with flag 201968/565385 88.39/53.77 c cleaning 13030 clauses out of 26061 with flag 235156/579382 90.19/54.67 c cleaning 14012 clauses out of 28031 with flag 271234/594382 92.19/55.69 c cleaning 15004 clauses out of 30020 with flag 309622/610383 94.59/56.83 c cleaning 16004 clauses out of 32015 with flag 351000/627382 97.05/58.09 c cleaning 16999 clauses out of 34012 with flag 394727/645383 99.46/59.29 c And the winner is solver1 99.61/59.66 c Got one! Elapsed wall clock time (in seconds):59.545 99.61/59.66 o 5353643287 100.30/60.03 c cleaning 19790 clauses out of 39583 with flag 11632/667953 100.90/60.38 c cleaning 12898 clauses out of 25797 with flag 25785/673957 101.69/60.74 c cleaning 9948 clauses out of 19896 with flag 42099/680954 102.49/61.12 c cleaning 8974 clauses out of 17947 with flag 61283/688953 103.29/61.56 c cleaning 8987 clauses out of 17973 with flag 82521/697953 104.29/62.06 c cleaning 9493 clauses out of 18986 with flag 106124/707953 105.49/62.61 c cleaning 10245 clauses out of 20494 with flag 132705/718954 106.69/63.25 c cleaning 11122 clauses out of 22248 with flag 161708/730953 108.29/64.02 c cleaning 12062 clauses out of 24126 with flag 193579/743953 109.89/64.88 c cleaning 13031 clauses out of 26064 with flag 227874/757953 111.69/65.73 c cleaning 14017 clauses out of 28033 with flag 264253/772953 113.49/66.62 c cleaning 15003 clauses out of 30016 with flag 302718/788953 115.29/67.58 c cleaning 16003 clauses out of 32013 with flag 343348/805953 117.49/68.64 c cleaning 17007 clauses out of 34013 with flag 386992/823956 119.69/69.72 c cleaning 17999 clauses out of 36004 with flag 432954/842954 122.18/70.95 c cleaning 18999 clauses out of 38004 with flag 482232/862953 124.78/72.28 c cleaning 20001 clauses out of 40005 with flag 534388/883953 127.99/73.84 c cleaning 20995 clauses out of 42004 with flag 589714/905953 131.18/75.47 c cleaning 21999 clauses out of 44009 with flag 648730/928953 134.78/77.20 c cleaning 23003 clauses out of 46010 with flag 709050/952953 138.79/79.28 c cleaning 24002 clauses out of 48008 with flag 772201/977954 143.39/81.53 c cleaning 25003 clauses out of 50006 with flag 839059/1003954 148.28/83.91 c cleaning 25995 clauses out of 52002 with flag 907445/1030953 152.88/86.29 c cleaning 27002 clauses out of 54007 with flag 974688/1058953 158.29/88.97 c cleaning 27993 clauses out of 56005 with flag 1045185/1087953 164.18/91.83 c And the winner is solver1 164.18/92.18 c Got one! Elapsed wall clock time (in seconds):92.063 164.18/92.18 o 5239127643 165.42/92.89 c cleaning 31136 clauses out of 62271 with flag 11702/1122212 166.75/93.42 c cleaning 18564 clauses out of 37135 with flag 25897/1128212 167.75/93.90 c cleaning 12787 clauses out of 25573 with flag 42588/1135214 168.55/94.39 c cleaning 10390 clauses out of 20784 with flag 61437/1143212 169.55/94.87 c cleaning 9698 clauses out of 19395 with flag 83190/1152213 170.55/95.37 c cleaning 9843 clauses out of 19696 with flag 107238/1162212 171.75/95.95 c cleaning 10425 clauses out of 20853 with flag 133894/1173212 173.15/96.61 c cleaning 11214 clauses out of 22428 with flag 163155/1185212 174.55/97.30 c cleaning 12104 clauses out of 24214 with flag 194581/1198212 176.03/98.09 c cleaning 13047 clauses out of 26110 with flag 227678/1212212 177.82/98.91 c cleaning 14028 clauses out of 28063 with flag 263787/1227212 179.41/99.79 c cleaning 15016 clauses out of 30036 with flag 302409/1243213 181.61/100.80 c cleaning 16008 clauses out of 32021 with flag 344313/1260214 183.81/101.90 c cleaning 17007 clauses out of 34013 with flag 387652/1278214 186.26/103.13 c cleaning 17998 clauses out of 36004 with flag 434057/1297212 188.86/104.45 c cleaning 19002 clauses out of 38006 with flag 483561/1317212 191.66/105.85 c cleaning 19999 clauses out of 40004 with flag 536867/1338212 194.66/107.33 c cleaning 21002 clauses out of 42005 with flag 592854/1360212 197.93/109.00 c cleaning 21999 clauses out of 44003 with flag 649826/1383212 201.31/110.66 c cleaning 23000 clauses out of 46004 with flag 711928/1407212 205.12/112.53 c cleaning 23999 clauses out of 48004 with flag 777892/1432212 209.32/114.61 c cleaning 25003 clauses out of 50006 with flag 846792/1458213 213.75/116.89 c cleaning 25998 clauses out of 52002 with flag 919651/1485212 218.54/119.26 c cleaning 27002 clauses out of 54005 with flag 989534/1513213 223.79/121.83 c cleaning 27999 clauses out of 56002 with flag 1062114/1542212 229.39/124.62 c cleaning 28988 clauses out of 58004 with flag 1139201/1572213 236.08/128.21 c cleaning 30008 clauses out of 60015 with flag 1220316/1603212 241.49/130.96 c cleaning 31000 clauses out of 62007 with flag 1298179/1635212 248.10/134.21 c cleaning 31998 clauses out of 64008 with flag 1378458/1668213 254.55/137.50 c cleaning 33003 clauses out of 66009 with flag 1460141/1702212 255.95/138.14 c And the winner is solver1 255.95/138.29 c Got one! Elapsed wall clock time (in seconds):138.171 255.95/138.29 o 5210496482 256.77/138.75 c cleaning 23936 clauses out of 47877 with flag 11669/1717083 257.56/139.15 c cleaning 14964 clauses out of 29942 with flag 25770/1723084 258.36/139.50 c cleaning 10989 clauses out of 21977 with flag 42385/1730083 258.97/139.88 c cleaning 9490 clauses out of 18988 with flag 61295/1738083 259.76/140.29 c cleaning 9247 clauses out of 18499 with flag 82586/1747084 260.76/140.76 c cleaning 9619 clauses out of 19251 with flag 106193/1757083 261.96/141.32 c cleaning 10315 clauses out of 20633 with flag 132899/1768084 263.22/141.94 c cleaning 11159 clauses out of 22320 with flag 161483/1780086 264.61/142.60 c cleaning 12079 clauses out of 24159 with flag 192887/1793084 266.01/143.36 c cleaning 13040 clauses out of 26080 with flag 226953/1807084 267.83/144.23 c cleaning 14015 clauses out of 28039 with flag 262756/1822083 269.82/145.26 c cleaning 15012 clauses out of 30024 with flag 301665/1838083 272.02/146.31 c cleaning 16005 clauses out of 32013 with flag 343755/1855084 274.47/147.54 c cleaning 17002 clauses out of 34007 with flag 387416/1873083 276.85/148.76 c cleaning 17996 clauses out of 36005 with flag 433616/1892083 279.45/150.06 c cleaning 18998 clauses out of 38009 with flag 482773/1912083 282.48/151.58 c cleaning 20001 clauses out of 40011 with flag 533962/1933083 285.08/152.85 c cleaning 21002 clauses out of 42010 with flag 587062/1955083 288.08/154.37 c cleaning 21999 clauses out of 44010 with flag 642439/1978085 291.28/155.91 c cleaning 23000 clauses out of 46009 with flag 700987/2002083 294.33/157.49 c cleaning 24004 clauses out of 48010 with flag 762342/2027084 298.11/159.39 c cleaning 24997 clauses out of 50006 with flag 825965/2053084 302.57/161.53 c cleaning 26004 clauses out of 52009 with flag 891558/2080084 306.57/163.58 c cleaning 26999 clauses out of 54004 with flag 960204/2108083 311.56/166.08 c cleaning 27993 clauses out of 56005 with flag 1029851/2137083 316.81/168.62 c cleaning 29006 clauses out of 58012 with flag 1101995/2167083 322.42/171.45 c cleaning 30003 clauses out of 60007 with flag 1177139/2198084 327.84/174.16 c cleaning 30999 clauses out of 62003 with flag 1254442/2230083 333.85/177.13 c cleaning 32001 clauses out of 64004 with flag 1335369/2263083 338.89/179.61 c And the winner is solver1 338.89/179.82 c Got one! Elapsed wall clock time (in seconds):179.696 338.89/179.82 o 5095982758 340.27/180.54 c cleaning 33350 clauses out of 66700 with flag 12004/2297780 341.26/181.02 c cleaning 19673 clauses out of 39350 with flag 26090/2303780 342.06/181.42 c cleaning 13336 clauses out of 26677 with flag 42908/2310780 342.86/181.80 c cleaning 10670 clauses out of 21341 with flag 62073/2318780 343.66/182.23 c cleaning 9834 clauses out of 19673 with flag 83712/2327782 344.67/182.71 c cleaning 9914 clauses out of 19838 with flag 107779/2337781 345.66/183.22 c cleaning 10460 clauses out of 20923 with flag 134422/2348780 346.67/183.78 c cleaning 11229 clauses out of 22463 with flag 163077/2360780 348.12/184.48 c cleaning 12117 clauses out of 24236 with flag 194851/2373782 349.72/185.20 c cleaning 13058 clauses out of 26118 with flag 229305/2387781 351.33/186.01 c cleaning 14030 clauses out of 28059 with flag 266624/2402780 352.92/186.89 c cleaning 15013 clauses out of 30029 with flag 306172/2418780 354.92/187.87 c cleaning 16003 clauses out of 32016 with flag 347847/2435780 357.12/188.93 c cleaning 17007 clauses out of 34016 with flag 392456/2453783 359.52/190.18 c cleaning 18004 clauses out of 36007 with flag 439602/2472781 361.98/191.34 c And the winner is solver1 361.98/191.35 c Got one! Elapsed wall clock time (in seconds):191.232 361.98/191.35 o 5095973398 362.70/191.73 c cleaning 20556 clauses out of 41118 with flag 11889/2495896 363.30/192.08 c cleaning 13280 clauses out of 26565 with flag 26082/2501899 364.10/192.42 c cleaning 10138 clauses out of 20284 with flag 42835/2508898 364.70/192.79 c cleaning 9067 clauses out of 18144 with flag 61910/2516896 365.70/193.22 c cleaning 9039 clauses out of 18077 with flag 83964/2525896 366.51/193.69 c cleaning 9515 clauses out of 19038 with flag 108589/2535896 367.70/194.21 c cleaning 10259 clauses out of 20523 with flag 135447/2546896 368.91/194.87 c cleaning 11131 clauses out of 22265 with flag 164974/2558897 370.30/195.57 c cleaning 12065 clauses out of 24133 with flag 196953/2571896 371.89/196.38 c cleaning 13030 clauses out of 26068 with flag 231113/2585896 373.75/197.27 c cleaning 14018 clauses out of 28038 with flag 268107/2600896 375.75/198.27 c cleaning 15000 clauses out of 30020 with flag 306722/2616896 377.76/199.27 c cleaning 16006 clauses out of 32020 with flag 347440/2633896 380.14/200.43 c cleaning 17006 clauses out of 34014 with flag 391451/2651896 382.54/201.61 c cleaning 17999 clauses out of 36010 with flag 437271/2670898 384.94/202.81 c cleaning 19001 clauses out of 38009 with flag 485135/2690896 387.39/204.09 c cleaning 20005 clauses out of 40011 with flag 535832/2711899 390.19/205.48 c cleaning 20998 clauses out of 42003 with flag 591585/2733896 393.39/207.02 c cleaning 22002 clauses out of 44007 with flag 646958/2756898 396.79/208.74 c cleaning 22999 clauses out of 46003 with flag 704713/2780896 400.19/210.50 c cleaning 23995 clauses out of 48004 with flag 766268/2805896 404.26/212.45 c cleaning 25004 clauses out of 50009 with flag 829552/2831896 408.05/214.37 c cleaning 25994 clauses out of 52005 with flag 894144/2858896 412.44/216.50 c cleaning 27004 clauses out of 54011 with flag 962758/2886896 416.44/218.51 c cleaning 28003 clauses out of 56009 with flag 1033352/2915898 420.90/220.79 c cleaning 28998 clauses out of 58004 with flag 1108454/2945896 425.30/222.98 c cleaning 30002 clauses out of 60006 with flag 1186636/2976896 430.30/225.42 c cleaning 31003 clauses out of 62005 with flag 1264668/3008897 435.70/228.15 c cleaning 31993 clauses out of 64001 with flag 1344376/3041896 441.10/230.88 c cleaning 33003 clauses out of 66010 with flag 1427123/3075898 446.76/233.61 c cleaning 34003 clauses out of 68005 with flag 1510454/3110896 453.36/236.97 c cleaning 35000 clauses out of 70003 with flag 1596685/3146897 460.23/240.37 c cleaning 36002 clauses out of 72003 with flag 1685426/3183897 467.63/244.09 c cleaning 36999 clauses out of 74000 with flag 1775562/3221896 475.69/248.09 c cleaning 37996 clauses out of 76002 with flag 1870120/3260897 476.49/248.46 c And the winner is solver1 476.49/248.86 c Got one! Elapsed wall clock time (in seconds):248.743 476.49/248.86 o 5067352827 477.36/249.37 c cleaning 24267 clauses out of 48551 with flag 11621/3271442 478.17/249.76 c cleaning 15142 clauses out of 30284 with flag 25669/3277442 479.00/250.18 c cleaning 11070 clauses out of 22142 with flag 41716/3284442 479.80/250.58 c cleaning 9537 clauses out of 19074 with flag 60659/3292444 480.80/251.01 c cleaning 9263 clauses out of 18535 with flag 81994/3301442 481.59/251.49 c cleaning 9636 clauses out of 19273 with flag 105571/3311443 482.81/252.02 c cleaning 10309 clauses out of 20636 with flag 131774/3322442 483.99/252.63 c cleaning 11164 clauses out of 22327 with flag 161097/3334442 485.39/253.37 c cleaning 12076 clauses out of 24164 with flag 191811/3347443 487.01/254.13 c cleaning 13040 clauses out of 26087 with flag 225215/3361442 488.81/255.00 c cleaning 14024 clauses out of 28047 with flag 261509/3376442 490.81/256.00 c cleaning 15010 clauses out of 30026 with flag 300881/3392445 493.01/257.12 c cleaning 15998 clauses out of 32014 with flag 342867/3409443 493.62/257.48 c And the winner is solver1 493.75/257.87 c Got one! Elapsed wall clock time (in seconds):257.748 493.75/257.87 o 5067350907 494.40/258.21 c cleaning 13662 clauses out of 27334 with flag 11886/3420761 495.01/258.51 c cleaning 9835 clauses out of 19673 with flag 25970/3426762 495.60/258.83 c cleaning 8413 clauses out of 16838 with flag 42456/3433762 496.45/259.20 c cleaning 8208 clauses out of 16424 with flag 61659/3441761 497.05/259.60 c cleaning 8596 clauses out of 17216 with flag 82900/3450761 498.05/260.09 c cleaning 9303 clauses out of 18620 with flag 106818/3460761 499.25/260.62 c cleaning 10159 clauses out of 20317 with flag 133412/3471761 500.45/261.22 c cleaning 11075 clauses out of 22159 with flag 162272/3483762 501.66/261.88 c cleaning 12037 clauses out of 24083 with flag 193964/3496761 503.24/262.66 c cleaning 13022 clauses out of 26046 with flag 227492/3510761 505.09/263.55 c cleaning 14012 clauses out of 28024 with flag 263942/3525761 506.89/264.47 c cleaning 15005 clauses out of 30013 with flag 302207/3541762 508.89/265.47 c cleaning 16003 clauses out of 32008 with flag 342707/3558762 511.16/266.58 c cleaning 16996 clauses out of 34004 with flag 386518/3576761 513.75/267.80 c cleaning 18003 clauses out of 36009 with flag 432924/3595762 516.15/269.07 c cleaning 19000 clauses out of 38005 with flag 481356/3615761 518.95/270.49 c cleaning 19999 clauses out of 40005 with flag 532318/3636761 523.03/272.86 c cleaning 21000 clauses out of 42006 with flag 585649/3658761 526.21/274.43 c cleaning 21996 clauses out of 44008 with flag 641915/3681763 529.82/276.23 c cleaning 23003 clauses out of 46011 with flag 701751/3705762 533.63/278.13 c cleaning 24004 clauses out of 48009 with flag 763540/3730763 537.63/280.12 c cleaning 24996 clauses out of 50005 with flag 828569/3756763 541.88/282.26 c cleaning 26004 clauses out of 52009 with flag 893593/3783763 545.88/284.30 c cleaning 27000 clauses out of 54005 with flag 960360/3811763 551.07/286.85 c cleaning 28001 clauses out of 56004 with flag 1029612/3840762 555.90/289.22 c cleaning 28994 clauses out of 58002 with flag 1101243/3870761 556.50/289.55 c And the winner is solver1 556.50/289.94 c Got one! Elapsed wall clock time (in seconds):289.82 556.50/289.94 o 5067349917 557.21/290.39 c cleaning 19823 clauses out of 39651 with flag 12059/3881404 558.01/290.76 c cleaning 12911 clauses out of 25828 with flag 26397/3887404 558.81/291.10 c cleaning 9951 clauses out of 19917 with flag 43463/3894404 559.41/291.48 c cleaning 8975 clauses out of 17967 with flag 62768/3902405 560.21/291.86 c And the winner is solver1 560.35/291.94 c Got one! Elapsed wall clock time (in seconds):291.823 560.35/291.94 o 4952834363 560.85/292.22 c cleaning 11079 clauses out of 22159 with flag 11522/3915572 561.25/292.48 c cleaning 8533 clauses out of 17080 with flag 25401/3921572 561.86/292.79 c cleaning 7772 clauses out of 15547 with flag 41593/3928572 562.26/292.98 c And the winner is solver1 562.43/293.45 c Got one! Elapsed wall clock time (in seconds):293.327 562.43/293.45 o 4952828603 562.73/293.70 c cleaning 8908 clauses out of 17829 with flag 11641/3938626 563.33/293.97 c cleaning 7456 clauses out of 14922 with flag 25657/3944627 563.98/294.29 c cleaning 7228 clauses out of 14465 with flag 42191/3951626 564.18/294.37 c And the winner is solver1 564.33/294.45 c Got one! Elapsed wall clock time (in seconds):294.33 564.33/294.45 o 4952825813 564.42/294.58 c cleaning 6130 clauses out of 12273 with flag 7120/3956662 565.03/294.82 c cleaning 6060 clauses out of 12143 with flag 21434/3962662 565.62/295.10 c cleaning 6543 clauses out of 13085 with flag 38072/3969664 566.22/295.43 c cleaning 7266 clauses out of 14540 with flag 57528/3977662 567.02/295.82 c cleaning 8138 clauses out of 16277 with flag 79009/3986665 567.82/296.26 c cleaning 9066 clauses out of 18136 with flag 102844/3996662 568.82/296.77 c cleaning 10029 clauses out of 20070 with flag 129428/4007662 569.63/297.16 c And the winner is solver1 569.75/297.46 c Got one! Elapsed wall clock time (in seconds):297.334 569.75/297.46 o 4952824853 570.23/297.78 c cleaning 11999 clauses out of 24002 with flag 11963/4021623 570.83/298.06 c cleaning 9002 clauses out of 18003 with flag 25930/4027623 571.43/298.36 c cleaning 7997 clauses out of 16001 with flag 42301/4034623 572.23/298.71 c cleaning 8000 clauses out of 16005 with flag 61366/4042624 573.03/299.13 c cleaning 8501 clauses out of 17004 with flag 83088/4051623 574.03/299.65 c cleaning 9246 clauses out of 18504 with flag 107010/4061624 575.23/300.23 c cleaning 10129 clauses out of 20257 with flag 133122/4072623 576.68/300.90 c cleaning 11065 clauses out of 22129 with flag 161859/4084624 577.89/301.59 c cleaning 12028 clauses out of 24063 with flag 192835/4097623 579.48/302.37 c cleaning 13013 clauses out of 26035 with flag 225949/4111623 581.08/303.18 c cleaning 14006 clauses out of 28022 with flag 261434/4126623 582.88/304.05 c cleaning 15005 clauses out of 30016 with flag 299485/4142623 584.88/305.04 c cleaning 16008 clauses out of 32016 with flag 339805/4159628 586.88/306.06 c cleaning 16998 clauses out of 34003 with flag 382489/4177623 589.51/307.30 c cleaning 17999 clauses out of 36006 with flag 427505/4196624 591.71/308.48 c cleaning 19004 clauses out of 38007 with flag 475048/4216624 594.51/309.81 c cleaning 19997 clauses out of 40004 with flag 525667/4237625 597.11/311.17 c cleaning 21000 clauses out of 42006 with flag 579614/4259624 599.97/312.56 c cleaning 22002 clauses out of 44005 with flag 635111/4282623 603.15/314.18 c cleaning 22999 clauses out of 46003 with flag 693101/4306623 606.36/315.74 c cleaning 23995 clauses out of 48004 with flag 753686/4331623 608.56/316.87 c And the winner is solver1 608.61/316.97 c Got one! Elapsed wall clock time (in seconds):316.851 608.61/316.97 o 4952824823 609.66/317.56 c cleaning 24802 clauses out of 49609 with flag 11966/4357223 610.48/317.95 c cleaning 15400 clauses out of 30808 with flag 25992/4363224 611.31/318.35 c cleaning 11199 clauses out of 22408 with flag 42888/4370224 611.91/318.64 c And the winner is solver1 612.00/318.97 c Got one! Elapsed wall clock time (in seconds):318.855 612.00/318.97 o 4952823893 612.44/319.25 c cleaning 11571 clauses out of 23156 with flag 11705/4382171 613.04/319.53 c cleaning 8787 clauses out of 17584 with flag 25944/4388170 613.64/319.85 c cleaning 7890 clauses out of 15797 with flag 42349/4395170 613.84/319.93 c And the winner is solver1 613.84/319.98 c Got one! Elapsed wall clock time (in seconds):319.858 613.84/319.98 o 4952822933 614.18/320.11 c cleaning 6489 clauses out of 12993 with flag 7230/4400256 614.57/320.35 c cleaning 6250 clauses out of 12507 with flag 21366/4406259 615.16/320.65 c cleaning 6626 clauses out of 13256 with flag 37842/4413258 615.76/320.99 c cleaning 7309 clauses out of 14628 with flag 56863/4421256 616.58/321.38 c cleaning 8152 clauses out of 16319 with flag 78631/4430256 617.56/321.85 c cleaning 9082 clauses out of 18170 with flag 102281/4440259 618.58/322.38 c cleaning 10042 clauses out of 20086 with flag 128721/4451257 619.76/322.97 c cleaning 11022 clauses out of 22044 with flag 157965/4463257 621.36/323.71 c cleaning 12002 clauses out of 24021 with flag 190011/4476256 623.02/324.51 c cleaning 13008 clauses out of 26019 with flag 223878/4490256 624.81/325.42 c cleaning 14003 clauses out of 28012 with flag 259802/4505257 626.60/326.32 c cleaning 15002 clauses out of 30009 with flag 298441/4521257 628.60/327.32 c cleaning 16001 clauses out of 32006 with flag 339441/4538256 630.80/328.43 c cleaning 17003 clauses out of 34005 with flag 383215/4556256 633.27/329.63 c cleaning 17990 clauses out of 36003 with flag 430094/4575257 636.07/331.00 c cleaning 19004 clauses out of 38012 with flag 479116/4595256 638.87/332.47 c cleaning 20001 clauses out of 40011 with flag 531073/4616259 642.07/334.06 c cleaning 20997 clauses out of 42007 with flag 584278/4638256 645.72/335.85 c cleaning 22004 clauses out of 44010 with flag 640848/4661256 649.53/337.79 c cleaning 23003 clauses out of 46006 with flag 701125/4685256 653.72/339.84 c cleaning 24000 clauses out of 48003 with flag 762359/4710256 657.92/341.95 c cleaning 24998 clauses out of 50004 with flag 824821/4736257 662.37/344.13 c cleaning 26001 clauses out of 52005 with flag 889896/4763256 667.19/346.52 c cleaning 26994 clauses out of 54004 with flag 957092/4791256 672.17/349.06 c cleaning 28004 clauses out of 56010 with flag 1027154/4820256 677.42/351.61 c cleaning 29002 clauses out of 58007 with flag 1100734/4850257 682.83/354.34 c cleaning 30000 clauses out of 60004 with flag 1179211/4881256 688.08/356.95 c cleaning 31002 clauses out of 62006 with flag 1261511/4913258 694.28/360.02 c cleaning 31995 clauses out of 64002 with flag 1343271/4946256 700.75/363.28 c cleaning 33003 clauses out of 66008 with flag 1429564/4980257 706.96/366.38 c cleaning 34003 clauses out of 68005 with flag 1524876/5015257 713.82/369.78 c cleaning 34998 clauses out of 70001 with flag 1627394/5051256 721.18/373.49 c cleaning 36000 clauses out of 72004 with flag 1724869/5088257 728.65/377.13 c cleaning 36997 clauses out of 74004 with flag 1816314/5126257 736.65/381.15 c cleaning 38001 clauses out of 76007 with flag 1911079/5165257 744.53/385.10 c cleaning 39001 clauses out of 78006 with flag 2006614/5205257 752.11/388.88 c cleaning 39997 clauses out of 80004 with flag 2105057/5246256 761.41/393.43 c cleaning 41004 clauses out of 82007 with flag 2206880/5288256 770.20/397.88 c cleaning 42001 clauses out of 84004 with flag 2311295/5331257 780.28/402.83 c cleaning 42998 clauses out of 86002 with flag 2422374/5375256 790.56/407.96 c cleaning 43997 clauses out of 88005 with flag 2535319/5420257 801.16/413.24 c cleaning 45001 clauses out of 90008 with flag 2647696/5466257 811.05/418.11 c cleaning 46004 clauses out of 92007 with flag 2761000/5513257 821.51/423.33 c cleaning 46998 clauses out of 94002 with flag 2877826/5561256 832.32/428.78 c cleaning 47994 clauses out of 96004 with flag 2996980/5610256 844.38/434.76 c cleaning 49000 clauses out of 98010 with flag 3118706/5660256 858.25/441.64 c cleaning 50001 clauses out of 100010 with flag 3243985/5711256 870.67/447.85 c cleaning 51003 clauses out of 102009 with flag 3370113/5763256 883.52/454.23 c cleaning 52001 clauses out of 104009 with flag 3498278/5816259 896.78/460.86 c cleaning 53001 clauses out of 106006 with flag 3631030/5870257 909.18/467.07 c cleaning 53994 clauses out of 108004 with flag 3765363/5925256 920.85/472.85 c cleaning 55004 clauses out of 110010 with flag 3903165/5981256 932.54/478.61 c cleaning 55995 clauses out of 112006 with flag 4041304/6038256 946.00/485.35 c cleaning 57005 clauses out of 114013 with flag 4181897/6096258 960.84/492.75 c cleaning 58002 clauses out of 116008 with flag 4326375/6155258 962.44/493.55 c And the winner is solver1 962.44/493.59 c Got one! Elapsed wall clock time (in seconds):493.471 962.44/493.59 o 4924202152 964.04/494.42 c cleaning 36609 clauses out of 73222 with flag 11683/6170474 965.04/494.95 c cleaning 21304 clauses out of 42613 with flag 25620/6176474 965.84/495.36 c cleaning 14147 clauses out of 28308 with flag 42284/6183473 966.64/495.78 c cleaning 11076 clauses out of 22161 with flag 61644/6191473 967.65/496.20 c cleaning 10037 clauses out of 20086 with flag 83518/6200474 968.44/496.68 c cleaning 10019 clauses out of 20048 with flag 107685/6210473 969.65/497.22 c cleaning 10508 clauses out of 21029 with flag 134361/6221473 970.84/497.84 c cleaning 11259 clauses out of 22524 with flag 163350/6233476 972.30/498.59 c cleaning 12131 clauses out of 24262 with flag 194611/6246473 973.89/499.36 c cleaning 13063 clauses out of 26132 with flag 228304/6260474 975.49/500.14 c cleaning 14033 clauses out of 28069 with flag 264904/6275474 977.29/501.00 c cleaning 15009 clauses out of 30035 with flag 304022/6291473 979.09/501.92 c cleaning 16012 clauses out of 32026 with flag 344899/6308473 981.09/502.99 c cleaning 17006 clauses out of 34015 with flag 389670/6326474 983.29/504.00 c cleaning 18005 clauses out of 36009 with flag 435571/6345474 985.49/505.14 c cleaning 18996 clauses out of 38003 with flag 483166/6365473 988.16/506.42 c cleaning 20001 clauses out of 40007 with flag 532603/6386473 990.76/507.80 c cleaning 21002 clauses out of 42007 with flag 584392/6408474 993.97/509.32 c cleaning 21999 clauses out of 44004 with flag 638771/6431473 997.16/510.92 c cleaning 23000 clauses out of 46008 with flag 696529/6455476 1000.83/512.74 c cleaning 23993 clauses out of 48005 with flag 756361/6480473 1004.22/514.46 c cleaning 25002 clauses out of 50012 with flag 818777/6506473 1007.62/516.15 c cleaning 26002 clauses out of 52010 with flag 884012/6533473 1011.02/517.88 c cleaning 27003 clauses out of 54010 with flag 951487/6561475 1015.28/519.91 c cleaning 27998 clauses out of 56006 with flag 1020277/6590474 1019.48/522.02 c cleaning 29000 clauses out of 58008 with flag 1093893/6620474 1023.88/524.27 c cleaning 29999 clauses out of 60007 with flag 1173795/6651473 1029.13/526.85 c cleaning 31002 clauses out of 62009 with flag 1250664/6683474 1034.14/529.32 c cleaning 32000 clauses out of 64007 with flag 1331372/6716474 1039.54/532.06 c cleaning 32994 clauses out of 66006 with flag 1415016/6750473 1044.79/534.61 c cleaning 34001 clauses out of 68014 with flag 1498597/6785475 1050.38/537.42 c cleaning 35004 clauses out of 70012 with flag 1585547/6821474 1056.24/540.35 c cleaning 35996 clauses out of 72007 with flag 1674246/6858473 1063.04/543.73 c cleaning 37006 clauses out of 74011 with flag 1766907/6896473 1069.70/547.08 c cleaning 37999 clauses out of 76005 with flag 1862333/6935473 1076.69/550.52 c cleaning 39002 clauses out of 78008 with flag 1958953/6975475 1084.36/554.38 c cleaning 40001 clauses out of 80004 with flag 2057956/7016473 1091.56/557.95 c cleaning 40998 clauses out of 82003 with flag 2160022/7058473 1099.24/561.77 c cleaning 42002 clauses out of 84005 with flag 2267983/7101473 1108.04/566.13 c cleaning 42997 clauses out of 86006 with flag 2374112/7145476 1117.62/571.49 c cleaning 44003 clauses out of 88006 with flag 2484329/7190473 1125.82/575.59 c cleaning 44997 clauses out of 90003 with flag 2598494/7236473 1134.65/579.98 c cleaning 45998 clauses out of 92007 with flag 2719444/7283474 1144.45/584.85 c cleaning 47004 clauses out of 94008 with flag 2851393/7331473 1154.13/589.69 c cleaning 47997 clauses out of 96004 with flag 2970950/7380473 1164.17/594.64 c cleaning 49004 clauses out of 98009 with flag 3099369/7430475 1174.97/600.02 c cleaning 49997 clauses out of 100003 with flag 3225527/7481473 1185.40/605.26 c cleaning 51000 clauses out of 102006 with flag 3351277/7533473 1194.26/609.66 c cleaning 0 clauses out of 12052 with flag 0/12061 1196.46/610.57 c cleaning 52003 clauses out of 104007 with flag 3479432/7586474 1207.49/616.07 c cleaning 53000 clauses out of 106003 with flag 3609439/7640473 1217.68/621.18 c cleaning 53999 clauses out of 108003 with flag 3742151/7695473 1228.33/626.46 c cleaning 54996 clauses out of 110004 with flag 3876837/7751473 1240.32/632.47 c cleaning 56005 clauses out of 112012 with flag 4016949/7808477 1252.38/638.42 c cleaning 56996 clauses out of 114003 with flag 4155440/7866473 1265.57/645.03 c cleaning 58000 clauses out of 116007 with flag 4297168/7925473 1278.69/651.59 c cleaning 59000 clauses out of 118008 with flag 4442253/7985474 1292.14/658.20 c cleaning 59999 clauses out of 120007 with flag 4590953/8046473 1305.99/665.10 c cleaning 61002 clauses out of 122008 with flag 4742011/8108473 1320.93/672.56 c cleaning 62001 clauses out of 124006 with flag 4898629/8171473 1338.00/681.04 c cleaning 63003 clauses out of 126010 with flag 5053948/8235478 1351.06/687.56 c And the winner is solver1 1351.06/688.03 c Got one! Elapsed wall clock time (in seconds):687.912 1351.06/688.03 o 4781058437 1353.79/689.46 c cleaning 61396 clauses out of 122791 with flag 11873/8295262 1355.19/690.13 c cleaning 33696 clauses out of 67393 with flag 26266/8301260 1356.19/690.66 c cleaning 20347 clauses out of 40698 with flag 43074/8308261 1357.26/691.13 c cleaning 14168 clauses out of 28350 with flag 62004/8316260 1358.06/691.59 c cleaning 11584 clauses out of 23182 with flag 83804/8325260 1359.26/692.11 c cleaning 10795 clauses out of 21598 with flag 108104/8335260 1360.26/692.68 c cleaning 10899 clauses out of 21803 with flag 134951/8346260 1361.46/693.30 c cleaning 11445 clauses out of 22904 with flag 164599/8358260 1362.86/693.95 c cleaning 12227 clauses out of 24460 with flag 196244/8371261 1364.26/694.69 c cleaning 13112 clauses out of 26232 with flag 230544/8385260 1365.86/695.49 c cleaning 14060 clauses out of 28121 with flag 267011/8400261 1367.87/696.41 c cleaning 15027 clauses out of 30060 with flag 305080/8416260 1369.87/697.45 c cleaning 16007 clauses out of 32033 with flag 345975/8433260 1371.86/698.50 c cleaning 17008 clauses out of 34026 with flag 389216/8451260 1374.32/699.66 c cleaning 18010 clauses out of 36019 with flag 434788/8470261 1376.91/700.94 c cleaning 19003 clauses out of 38008 with flag 483367/8490260 1379.31/702.15 c cleaning 19998 clauses out of 40005 with flag 533871/8511260 1382.11/703.51 c cleaning 21004 clauses out of 42007 with flag 586675/8533260 1384.91/704.92 c cleaning 21998 clauses out of 44004 with flag 642285/8556261 1387.97/706.47 c cleaning 23001 clauses out of 46007 with flag 699728/8580262 1390.97/707.99 c cleaning 24001 clauses out of 48004 with flag 760035/8605260 1394.38/709.69 c cleaning 25002 clauses out of 50004 with flag 822414/8631261 1398.17/711.51 c cleaning 26001 clauses out of 52002 with flag 888050/8658261 1402.17/713.55 c cleaning 27001 clauses out of 54001 with flag 957472/8686261 1406.22/715.51 c cleaning 27998 clauses out of 55999 with flag 1027345/8715260 1410.42/717.60 c cleaning 29000 clauses out of 58001 with flag 1098794/8745260 1414.62/719.71 c cleaning 29991 clauses out of 60001 with flag 1173956/8776260 1419.29/722.08 c cleaning 31001 clauses out of 62010 with flag 1254419/8808260 1424.09/724.42 c cleaning 31996 clauses out of 64009 with flag 1336158/8841260 1428.89/726.80 c cleaning 33006 clauses out of 66013 with flag 1419338/8875260 1434.16/729.42 c cleaning 34004 clauses out of 68008 with flag 1507719/8910261 1439.54/732.16 c cleaning 34998 clauses out of 70003 with flag 1596615/8946260 1445.60/735.18 c cleaning 36003 clauses out of 72006 with flag 1689948/8983261 1451.81/738.23 c cleaning 37001 clauses out of 74002 with flag 1784819/9021260 1458.46/741.55 c cleaning 37996 clauses out of 76001 with flag 1879567/9060260 1465.52/745.03 c cleaning 39001 clauses out of 78005 with flag 1977745/9100260 1472.12/748.37 c cleaning 40002 clauses out of 80005 with flag 2077868/9141261 1479.58/752.02 c cleaning 40996 clauses out of 82002 with flag 2179950/9183260 1487.58/756.07 c cleaning 42002 clauses out of 84006 with flag 2287762/9226260 1496.07/760.28 c cleaning 42998 clauses out of 86004 with flag 2394312/9270260 1504.46/764.50 c cleaning 44003 clauses out of 88006 with flag 2504672/9315260 1513.94/769.12 c cleaning 45002 clauses out of 90004 with flag 2616756/9361261 1523.94/774.19 c cleaning 45997 clauses out of 92002 with flag 2731009/9408261 1532.40/778.36 c cleaning 46993 clauses out of 94004 with flag 2846378/9456260 1542.28/783.30 c cleaning 48004 clauses out of 96011 with flag 2966030/9505260 1552.26/788.21 c cleaning 48995 clauses out of 98008 with flag 3087302/9555261 1563.54/793.86 c cleaning 50004 clauses out of 100012 with flag 3211002/9606260 1574.02/799.05 c cleaning 51000 clauses out of 102008 with flag 3338034/9658260 1584.44/804.21 c cleaning 52002 clauses out of 104009 with flag 3466885/9711261 1595.09/809.60 c cleaning 53000 clauses out of 106006 with flag 3600483/9765260 1607.08/815.58 c cleaning 54003 clauses out of 108007 with flag 3734192/9820261 1620.53/822.20 c cleaning 54999 clauses out of 110003 with flag 3869982/9876260 1635.02/829.46 c cleaning 55999 clauses out of 112004 with flag 4007232/9933260 1648.68/836.26 c cleaning 57002 clauses out of 114006 with flag 4146620/9991261 1661.50/842.68 c cleaning 57998 clauses out of 116003 with flag 4289972/10050260 1674.08/848.99 c cleaning 59002 clauses out of 118005 with flag 4436505/10110260 1688.34/856.02 c cleaning 59997 clauses out of 120003 with flag 4586674/10171260 1705.03/865.25 c cleaning 61001 clauses out of 122006 with flag 4735883/10233260 1719.94/872.67 c cleaning 61998 clauses out of 124005 with flag 4887826/10296260 1735.42/880.32 c cleaning 63003 clauses out of 126011 with flag 5044934/10360264 1752.70/888.91 c cleaning 64002 clauses out of 128004 with flag 5208421/10425260 1767.95/896.52 c cleaning 64999 clauses out of 130002 with flag 5368137/10491260 1786.50/905.79 c cleaning 65999 clauses out of 132003 with flag 5528654/10558260 1800.02/912.40 c >>>>>>>>>> Solver number 0 (24 answers) <<<<<<<<<<<<<<<<<< 1800.02/912.40 c starts : 208632 1800.02/912.40 c conflicts : 10618286 1800.02/912.40 c decisions : 29466984 1800.02/912.40 c propagations : 516540515 1800.02/912.40 c inspects : 12867399255 1800.02/912.40 c shortcuts : 0 1800.02/912.40 c learnt literals : 0 1800.02/912.40 c learnt binary clauses : 0 1800.02/912.40 c learnt ternary clauses : 6 1800.02/912.40 c learnt constraints : 10618286 1800.02/912.40 c ignored constraints : 0 1800.02/912.40 c root simplifications : 0 1800.02/912.40 c removed literals (reason simplification) : 30063859 1800.02/912.40 c reason swapping (by a shorter reason) : 0 1800.02/912.40 c Calls to reduceDB : 461 1800.02/912.40 c Number of update (reduction) of LBD : 1252751 1800.02/912.40 c Imported unit clauses : 0 1800.02/912.40 c number of reductions to clauses (during analyze) : 0 1800.02/912.40 c number of learned constraints concerned by reduction : 0 1800.02/912.40 c number of learning phase by resolution : 0 1800.02/912.40 c number of learning phase by cutting planes : 0 1800.02/912.40 c speed (assignments/second) : 2302202.2525493833 1800.02/912.40 c non guided choices 3494 1800.02/912.43 c learnt constraints type 1800.02/912.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 126030 1800.02/912.43 c >>>>>>>>>> Solver number 1 (26 answers) <<<<<<<<<<<<<<<<<< 1800.02/912.43 c starts : 103 1800.02/912.43 c conflicts : 14928 1800.02/912.43 c decisions : 108650 1800.02/912.43 c propagations : 3985475 1800.02/912.43 c inspects : 676117817 1800.02/912.43 c shortcuts : 0 1800.02/912.43 c learnt literals : 0 1800.02/912.43 c learnt binary clauses : 0 1800.02/912.43 c learnt ternary clauses : 2 1800.02/912.43 c learnt constraints : 14918 1800.02/912.43 c ignored constraints : 0 1800.02/912.43 c root simplifications : 0 1800.02/912.43 c removed literals (reason simplification) : 0 1800.02/912.43 c reason swapping (by a shorter reason) : 0 1800.02/912.43 c Calls to reduceDB : 1 1800.02/912.43 c Number of update (reduction) of LBD : 0 1800.02/912.43 c Imported unit clauses : 0 1800.02/912.43 c number of reductions to clauses (during analyze) : 0 1800.02/912.43 c number of learned constraints concerned by reduction : 0 1800.02/912.43 c number of learning phase by resolution : 0 1800.02/912.43 c number of learning phase by cutting planes : 0 1800.02/912.43 c speed (assignments/second) : 4561.229931835765 1800.02/912.43 c non guided choices 3180 1800.02/912.44 c learnt constraints type 1800.02/912.44 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 991 1800.02/912.44 c org.sat4j.pb.constraints.pb.MaxWatchPb => 13927 1800.02/912.44 s SATISFIABLE 1800.02/912.44 c Found 50 solution(s) 1800.02/912.45 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 1800.02/912.46 c objective function=4781058437 1800.02/912.46 c Total wall clock time (in seconds): 912.34
OK 4781058437
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-4110793-1466389234/watcher-4110793-1466389234 -o /tmp/evaluation-result-4110793-1466389234/solver-4110793-1466389234 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466383830-28733 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110793-1466389234.opb pid=31865 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.98 3.98 4.00 3/198 31868 /proc/meminfo: memFree=28542040/32872528 swapFree=190484/190484 [pid=31868] ppid=31865 vsize=9300 CPUtime=0 cores=1,3,5,7 /proc/31868/stat : 31868 (java) R 31865 31868 28716 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 40973953 9523200 184 33554432000 1073741824 1073778376 140736497986304 140736497977528 249649851831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/31868/statm: 2 1 0 0 0 2 0 [startup+0.100059 s] /proc/loadavg: 3.98 3.98 4.00 3/198 31868 /proc/meminfo: memFree=28542040/32872528 swapFree=190484/190484 [pid=31868] ppid=31865 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/31868/stat : 31868 (java) S 31865 31868 28716 0 -1 4202496 4417 0 1 0 8 1 0 0 20 0 18 0 40973953 9787879424 6041 33554432000 1073741824 1073778376 140736443530128 140736443521264 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31868/statm: 2389619 6041 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200241 s] /proc/loadavg: 3.98 3.98 4.00 3/198 31868 /proc/meminfo: memFree=28542040/32872528 swapFree=190484/190484 [pid=31868] ppid=31865 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/31868/stat : 31868 (java) S 31865 31868 28716 0 -1 4202496 4711 0 1 0 23 1 0 0 20 0 18 0 40973953 9787879424 7286 33554432000 1073741824 1073778376 140736443530128 140736443521264 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31868/statm: 2389619 7286 2201 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300214 s] /proc/loadavg: 3.98 3.98 4.00 3/198 31868 /proc/meminfo: memFree=28542040/32872528 swapFree=190484/190484 [pid=31868] ppid=31865 vsize=9558476 CPUtime=0.47 cores=1,3,5,7 /proc/31868/stat : 31868 (java) S 31865 31868 28716 0 -1 4202496 5960 0 1 0 45 2 0 0 20 0 18 0 40973953 9787879424 9181 33554432000 1073741824 1073778376 140736443530128 140736443521264 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31868/statm: 2389619 9181 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700304 s] /proc/loadavg: 3.98 3.98 4.00 3/198 31868 /proc/meminfo: memFree=28542040/32872528 swapFree=190484/190484 [pid=31868] ppid=31865 vsize=9825340 CPUtime=1.7 cores=1,3,5,7 /proc/31868/stat : 31868 (java) S 31865 31868 28716 0 -1 4202496 24960 0 1 0 162 8 0 0 20 0 19 0 40973953 10061148160 29767 33554432000 1073741824 1073778376 140736443530128 140736443521264 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31868/statm: 2456335 29767 2254 9 0 2447012 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 9825340 [startup+1.50077 s] /proc/loadavg: 3.98 3.98 4.00 4/217 31893 /proc/meminfo: memFree=28434436/32872528 swapFree=190484/190484 [pid=31868] ppid=31865 vsize=9824732 CPUtime=2.47 cores=1,3,5,7 /proc/31868/stat : 31868 (java) S 31865 31868 28716 0 -1 4202496 26170 0 1 0 237 10 0 0 20 0 19 0 40973953 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 140736443521264 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31868/statm: 2456183 28934 2265 9 0 2446860 0 [pid=31868/tid=31870] ppid=31865 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/31868/task/31870/stat : 31870 (java) S 31865 31868 28716 0 -1 4202560 2454 0 1 0 47 2 0 0 20 0 19 0 40973954 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139976112096120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31871] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31871/stat : 31871 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40973955 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139976073587240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31872] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31872/stat : 31872 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40973955 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139976072534440 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31873] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31873/stat : 31873 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40973955 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975953738024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31874] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31874/stat : 31874 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40973955 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975952685224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31875] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31875/stat : 31875 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40973955 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975951633448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31876] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31876/stat : 31876 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40973955 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975950580648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31877] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31877/stat : 31877 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40973955 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975949527848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31878] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31878/stat : 31878 (java) S 31865 31868 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40973955 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975948475048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31879] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31879/stat : 31879 (java) S 31865 31868 28716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 40973956 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975466146280 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31880] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31880/stat : 31880 (java) S 31865 31868 28716 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40973957 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975465092344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31881] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31881/stat : 31881 (java) S 31865 31868 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40973957 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975464039432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31882] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31882/stat : 31882 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40973959 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975462987920 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31883] ppid=31865 vsize=9824732 CPUtime=0.82 cores=1,3,5,7 /proc/31868/task/31883/stat : 31883 (java) S 31865 31868 28716 0 -1 4202560 11324 0 0 0 80 2 0 0 20 0 19 0 40973959 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975461936056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31884] ppid=31865 vsize=9824732 CPUtime=0.81 cores=1,3,5,7 /proc/31868/task/31884/stat : 31884 (java) S 31865 31868 28716 0 -1 4202560 11052 0 0 0 78 3 0 0 20 0 19 0 40973959 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975460883256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31885] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31885/stat : 31885 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40973959 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975459830648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31886] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31886/stat : 31886 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40973959 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975458778056 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31889] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31889/stat : 31889 (java) S 31865 31868 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40974006 10060525568 28934 33554432000 1073741824 1073778376 140736443530128 139975454426024 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.47 Current children cumulated vsize (KiB) 9824732 [startup+3.10071 s] /proc/loadavg: 3.98 3.98 4.00 5/217 31899 /proc/meminfo: memFree=28413572/32872528 swapFree=190484/190484 [pid=31868] ppid=31865 vsize=9824732 CPUtime=3.84 cores=1,3,5,7 /proc/31868/stat : 31868 (java) S 31865 31868 28716 0 -1 4202496 28391 0 1 0 367 17 0 0 20 0 22 0 40973953 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 140736443521264 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31868/statm: 2456183 36652 2268 9 0 2446860 0 [pid=31868/tid=31870] ppid=31865 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/31868/task/31870/stat : 31870 (java) S 31865 31868 28716 0 -1 4202560 2456 0 1 0 49 2 0 0 20 0 22 0 40973954 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139976112096120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31871] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31871/stat : 31871 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973955 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139976073587240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31872] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31872/stat : 31872 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973955 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139976072534440 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31873] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31873/stat : 31873 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973955 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975953738024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31874] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31874/stat : 31874 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973955 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975952685224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31875] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31875/stat : 31875 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973955 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975951633448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31876] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31876/stat : 31876 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973955 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975950580648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31877] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31877/stat : 31877 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973955 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975949527848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31878] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31878/stat : 31878 (java) S 31865 31868 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 40973955 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975948475048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31879] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31879/stat : 31879 (java) S 31865 31868 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 40973956 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975466146280 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31880] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31880/stat : 31880 (java) S 31865 31868 28716 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 40973957 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975465092344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31881] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31881/stat : 31881 (java) S 31865 31868 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 40973957 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975464039432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31882] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31882/stat : 31882 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975462987920 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31883] ppid=31865 vsize=9824732 CPUtime=1.19 cores=1,3,5,7 /proc/31868/task/31883/stat : 31883 (java) S 31865 31868 28716 0 -1 4202560 11351 0 0 0 117 2 0 0 20 0 22 0 40973959 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975461936056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31884] ppid=31865 vsize=9824732 CPUtime=1.19 cores=1,3,5,7 /proc/31868/task/31884/stat : 31884 (java) S 31865 31868 28716 0 -1 4202560 13201 0 0 0 116 3 0 0 20 0 22 0 40973959 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975460883256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31885] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31885/stat : 31885 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975459830648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31886] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31886/stat : 31886 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975458778056 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31889] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31889/stat : 31889 (java) S 31865 31868 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 40974006 10060525568 36652 33554432000 1073741824 1073778376 140736443530128 139975454426024 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 9824732 [startup+6.30099 s] /proc/loadavg: 3.82 3.95 3.99 6/220 31905 /proc/meminfo: memFree=28311928/32872528 swapFree=190484/190484 [pid=31868] ppid=31865 vsize=9824732 CPUtime=11.3 cores=1,3,5,7 /proc/31868/stat : 31868 (java) S 31865 31868 28716 0 -1 4202496 34744 0 1 0 1106 24 0 0 20 0 22 0 40973953 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 140736443521264 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31868/statm: 2456183 65778 2292 9 0 2446860 0 [pid=31868/tid=31870] ppid=31865 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/31868/task/31870/stat : 31870 (java) S 31865 31868 28716 0 -1 4202560 2456 0 1 0 49 2 0 0 20 0 22 0 40973954 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139976112096120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31871] ppid=31865 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/31868/task/31871/stat : 31871 (java) S 31865 31868 28716 0 -1 4202560 79 0 0 0 2 0 0 0 20 0 22 0 40973955 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139976073587240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31872] ppid=31865 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/31868/task/31872/stat : 31872 (java) S 31865 31868 28716 0 -1 4202560 93 0 0 0 1 0 0 0 20 0 22 0 40973955 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139976072534440 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31873] ppid=31865 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/31868/task/31873/stat : 31873 (java) S 31865 31868 28716 0 -1 4202560 60 0 0 0 1 0 0 0 20 0 22 0 40973955 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975953738024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31874] ppid=31865 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/31868/task/31874/stat : 31874 (java) S 31865 31868 28716 0 -1 4202560 47 0 0 0 4 1 0 0 20 0 22 0 40973955 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975952685224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31875] ppid=31865 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/31868/task/31875/stat : 31875 (java) S 31865 31868 28716 0 -1 4202560 103 0 0 0 2 2 0 0 20 0 22 0 40973955 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975951633448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31876] ppid=31865 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/31868/task/31876/stat : 31876 (java) S 31865 31868 28716 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 40973955 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975950580648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31877] ppid=31865 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/31868/task/31877/stat : 31877 (java) S 31865 31868 28716 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 22 0 40973955 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975949527848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31878] ppid=31865 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/31868/task/31878/stat : 31878 (java) S 31865 31868 28716 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 22 0 40973955 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975948475048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31879] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31879/stat : 31879 (java) S 31865 31868 28716 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 40973956 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975466146280 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31880] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31880/stat : 31880 (java) S 31865 31868 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 40973957 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975465092344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31881] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31881/stat : 31881 (java) S 31865 31868 28716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 40973957 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975464039432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31882] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31882/stat : 31882 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975462987920 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31883] ppid=31865 vsize=9824732 CPUtime=1.68 cores=1,3,5,7 /proc/31868/task/31883/stat : 31883 (java) S 31865 31868 28716 0 -1 4202560 14550 0 0 0 166 2 0 0 20 0 22 0 40973959 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975461936056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31884] ppid=31865 vsize=9824732 CPUtime=1.66 cores=1,3,5,7 /proc/31868/task/31884/stat : 31884 (java) S 31865 31868 28716 0 -1 4202560 15803 0 0 0 162 4 0 0 20 0 22 0 40973959 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975460883256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31885] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31885/stat : 31885 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975459830648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31886] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31886/stat : 31886 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975458778056 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31889] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31889/stat : 31889 (java) S 31865 31868 28716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 40974006 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975454426024 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31903] ppid=31865 vsize=9824732 CPUtime=3.11 cores=1,3,5,7 /proc/31868/task/31903/stat : 31903 (java) R 31865 31868 28716 0 -1 4202560 6 0 0 0 311 0 0 0 20 0 22 0 40974258 10060525568 65778 33554432000 1073741824 1073778376 140736443530128 139975455478376 139975954942356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31904] ppid=31865 vsize=9824732 CPUtime=3.13 cores=1,3,5,7 ################ # More data... # ################ [pid=31868/tid=31878] ppid=31865 vsize=9824732 CPUtime=1.89 cores=1,3,5,7 /proc/31868/task/31878/stat : 31878 (java) S 31865 31868 28716 0 -1 4202560 642 0 0 0 171 18 0 0 20 0 22 0 40973955 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975948475048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31879] ppid=31865 vsize=9824732 CPUtime=2.66 cores=1,3,5,7 /proc/31868/task/31879/stat : 31879 (java) S 31865 31868 28716 0 -1 4202560 2597 0 0 0 251 15 0 0 20 0 22 0 40973956 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975466146280 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31880] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31880/stat : 31880 (java) S 31865 31868 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 40973957 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975465092344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31881] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31881/stat : 31881 (java) S 31865 31868 28716 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 40973957 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975464039432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31882] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31882/stat : 31882 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975462987920 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31883] ppid=31865 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/31868/task/31883/stat : 31883 (java) S 31865 31868 28716 0 -1 4202560 14579 0 0 0 207 2 0 0 20 0 22 0 40973959 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975461936056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31884] ppid=31865 vsize=9824732 CPUtime=2.4 cores=1,3,5,7 /proc/31868/task/31884/stat : 31884 (java) S 31865 31868 28716 0 -1 4202560 15879 0 0 0 236 4 0 0 20 0 22 0 40973959 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975460883256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31885] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31885/stat : 31885 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975459830648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31886] ppid=31865 vsize=9824732 CPUtime=0.31 cores=1,3,5,7 /proc/31868/task/31886/stat : 31886 (java) S 31865 31868 28716 0 -1 4202560 47 0 0 0 12 19 0 0 20 0 22 0 40973959 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975458778056 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=32094] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/32094/stat : 32094 (java) S 31865 31868 28716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 40977819 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975454425896 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=32192] ppid=31865 vsize=9824732 CPUtime=133.2 cores=1,3,5,7 /proc/31868/task/32192/stat : 32192 (java) R 31865 31868 28716 0 -1 4202560 12 0 0 0 13318 2 0 0 20 0 22 0 41042757 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975456529296 139975954878959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=32193] ppid=31865 vsize=9824732 CPUtime=133.2 cores=1,3,5,7 /proc/31868/task/32193/stat : 32193 (java) R 31865 31868 28716 0 -1 4202560 408 0 0 0 13316 4 0 0 20 0 22 0 41042757 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975453371936 139975955557455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=32194] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/32194/stat : 32194 (java) S 31865 31868 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41042757 10060525568 897601 33554432000 1073741824 1073778376 140736443530128 139975455478824 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1618.63 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.09 4.03 3.99 5/219 32198 /proc/meminfo: memFree=25600660/32872528 swapFree=190484/190484 [pid=31868] ppid=31865 vsize=9824732 CPUtime=1737.33 cores=1,3,5,7 /proc/31868/stat : 31868 (java) S 31865 31868 28716 0 -1 4202496 45819 0 1 0 173407 326 0 0 20 0 22 0 40973953 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 140736443521264 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31868/statm: 2456183 897351 2301 9 0 2446860 0 [pid=31868/tid=31870] ppid=31865 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/31868/task/31870/stat : 31870 (java) S 31865 31868 28716 0 -1 4202560 2462 0 1 0 60 4 0 0 20 0 22 0 40973954 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139976112096120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31871] ppid=31865 vsize=9824732 CPUtime=2.21 cores=1,3,5,7 /proc/31868/task/31871/stat : 31871 (java) S 31865 31868 28716 0 -1 4202560 605 0 0 0 206 15 0 0 20 0 22 0 40973955 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139976073587240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31872] ppid=31865 vsize=9824732 CPUtime=2.22 cores=1,3,5,7 /proc/31868/task/31872/stat : 31872 (java) S 31865 31868 28716 0 -1 4202560 600 0 0 0 203 19 0 0 20 0 22 0 40973955 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139976072534440 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31873] ppid=31865 vsize=9824732 CPUtime=2.19 cores=1,3,5,7 /proc/31868/task/31873/stat : 31873 (java) S 31865 31868 28716 0 -1 4202560 595 0 0 0 200 19 0 0 20 0 22 0 40973955 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975953738024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31874] ppid=31865 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/31868/task/31874/stat : 31874 (java) S 31865 31868 28716 0 -1 4202560 509 0 0 0 199 16 0 0 20 0 22 0 40973955 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975952685224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31875] ppid=31865 vsize=9824732 CPUtime=2.21 cores=1,3,5,7 /proc/31868/task/31875/stat : 31875 (java) S 31865 31868 28716 0 -1 4202560 763 0 0 0 203 18 0 0 20 0 22 0 40973955 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975951633448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31876] ppid=31865 vsize=9824732 CPUtime=2.11 cores=1,3,5,7 /proc/31868/task/31876/stat : 31876 (java) S 31865 31868 28716 0 -1 4202560 490 0 0 0 195 16 0 0 20 0 22 0 40973955 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975950580648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31877] ppid=31865 vsize=9824732 CPUtime=2.08 cores=1,3,5,7 /proc/31868/task/31877/stat : 31877 (java) S 31865 31868 28716 0 -1 4202560 650 0 0 0 189 19 0 0 20 0 22 0 40973955 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975949527848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31878] ppid=31865 vsize=9824732 CPUtime=2.04 cores=1,3,5,7 /proc/31868/task/31878/stat : 31878 (java) S 31865 31868 28716 0 -1 4202560 682 0 0 0 185 19 0 0 20 0 22 0 40973955 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975948475048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31879] ppid=31865 vsize=9824732 CPUtime=4.47 cores=1,3,5,7 /proc/31868/task/31879/stat : 31879 (java) S 31865 31868 28716 0 -1 4202560 2758 0 0 0 431 16 0 0 20 0 22 0 40973956 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975466146280 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31880] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31880/stat : 31880 (java) S 31865 31868 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 40973957 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975465092344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31881] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31881/stat : 31881 (java) S 31865 31868 28716 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 22 0 40973957 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975464039432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31882] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31882/stat : 31882 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975462987920 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31883] ppid=31865 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/31868/task/31883/stat : 31883 (java) S 31865 31868 28716 0 -1 4202560 14579 0 0 0 207 2 0 0 20 0 22 0 40973959 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975461936056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31884] ppid=31865 vsize=9824732 CPUtime=2.4 cores=1,3,5,7 /proc/31868/task/31884/stat : 31884 (java) S 31865 31868 28716 0 -1 4202560 15879 0 0 0 236 4 0 0 20 0 22 0 40973959 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975460883256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31885] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31885/stat : 31885 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975459830648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31886] ppid=31865 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/31868/task/31886/stat : 31886 (java) S 31865 31868 28716 0 -1 4202560 51 0 0 0 13 20 0 0 20 0 22 0 40973959 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975458778056 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=32094] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/32094/stat : 32094 (java) S 31865 31868 28716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 40977819 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975454425896 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=32192] ppid=31865 vsize=9824732 CPUtime=190.94 cores=1,3,5,7 /proc/31868/task/32192/stat : 32192 (java) R 31865 31868 28716 0 -1 4202560 13 0 0 0 19092 2 0 0 20 0 22 0 41042757 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975456522368 139975955618534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=32193] ppid=31865 vsize=9824732 CPUtime=190.94 cores=1,3,5,7 /proc/31868/task/32193/stat : 32193 (java) R 31865 31868 28716 0 -1 4202560 414 0 0 0 19090 4 0 0 20 0 22 0 41042757 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975453371696 139975954973357 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=32194] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/32194/stat : 32194 (java) S 31865 31868 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41042757 10060525568 897351 33554432000 1073741824 1073778376 140736443530128 139975455478824 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1737.33 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+912.401 s] /proc/loadavg: 4.05 4.02 3.99 5/219 32199 /proc/meminfo: memFree=25567516/32872528 swapFree=190484/190484 [pid=31868] ppid=31865 vsize=9824732 CPUtime=1797.92 cores=1,3,5,7 /proc/31868/stat : 31868 (java) S 31865 31868 28716 0 -1 4202496 46240 0 1 0 179460 332 0 0 20 0 22 0 40973953 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 140736443521264 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/31868/statm: 2456183 919674 2301 9 0 2446860 0 [pid=31868/tid=31870] ppid=31865 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/31868/task/31870/stat : 31870 (java) S 31865 31868 28716 0 -1 4202560 2462 0 1 0 60 4 0 0 20 0 22 0 40973954 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139976112096120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31871] ppid=31865 vsize=9824732 CPUtime=2.35 cores=1,3,5,7 /proc/31868/task/31871/stat : 31871 (java) S 31865 31868 28716 0 -1 4202560 621 0 0 0 219 16 0 0 20 0 22 0 40973955 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139976073587240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31872] ppid=31865 vsize=9824732 CPUtime=2.32 cores=1,3,5,7 /proc/31868/task/31872/stat : 31872 (java) S 31865 31868 28716 0 -1 4202560 618 0 0 0 212 20 0 0 20 0 22 0 40973955 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139976072534440 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31873] ppid=31865 vsize=9824732 CPUtime=2.29 cores=1,3,5,7 /proc/31868/task/31873/stat : 31873 (java) S 31865 31868 28716 0 -1 4202560 657 0 0 0 210 19 0 0 20 0 22 0 40973955 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975953738024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31874] ppid=31865 vsize=9824732 CPUtime=2.25 cores=1,3,5,7 /proc/31868/task/31874/stat : 31874 (java) S 31865 31868 28716 0 -1 4202560 586 0 0 0 209 16 0 0 20 0 22 0 40973955 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975952685224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31875] ppid=31865 vsize=9824732 CPUtime=2.29 cores=1,3,5,7 /proc/31868/task/31875/stat : 31875 (java) S 31865 31868 28716 0 -1 4202560 767 0 0 0 211 18 0 0 20 0 22 0 40973955 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975951633448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31876] ppid=31865 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 /proc/31868/task/31876/stat : 31876 (java) S 31865 31868 28716 0 -1 4202560 537 0 0 0 207 16 0 0 20 0 22 0 40973955 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975950580648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31877] ppid=31865 vsize=9824732 CPUtime=2.18 cores=1,3,5,7 /proc/31868/task/31877/stat : 31877 (java) S 31865 31868 28716 0 -1 4202560 707 0 0 0 199 19 0 0 20 0 22 0 40973955 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975949527848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31878] ppid=31865 vsize=9824732 CPUtime=2.18 cores=1,3,5,7 /proc/31868/task/31878/stat : 31878 (java) S 31865 31868 28716 0 -1 4202560 744 0 0 0 198 20 0 0 20 0 22 0 40973955 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975948475048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31868/tid=31879] ppid=31865 vsize=9824732 CPUtime=4.47 cores=1,3,5,7 /proc/31868/task/31879/stat : 31879 (java) S 31865 31868 28716 0 -1 4202560 2814 0 0 0 431 16 0 0 20 0 22 0 40973956 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975466146280 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31880] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31880/stat : 31880 (java) S 31865 31868 28716 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 40973957 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975465092344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31881] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31881/stat : 31881 (java) S 31865 31868 28716 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 22 0 40973957 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975464039432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31882] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31882/stat : 31882 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975462987920 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=31883] ppid=31865 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/31868/task/31883/stat : 31883 (java) S 31865 31868 28716 0 -1 4202560 14579 0 0 0 207 2 0 0 20 0 22 0 40973959 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975461936056 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31868/tid=31884] ppid=31865 vsize=9824732 CPUtime=2.4 cores=1,3,5,7 /proc/31868/task/31884/stat : 31884 (java) S 31865 31868 28716 0 -1 4202560 15879 0 0 0 236 4 0 0 20 0 22 0 40973959 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975460883256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31885] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/31885/stat : 31885 (java) S 31865 31868 28716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40973959 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975459830648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=31886] ppid=31865 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/31868/task/31886/stat : 31886 (java) S 31865 31868 28716 0 -1 4202560 53 0 0 0 13 21 0 0 20 0 22 0 40973959 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975458778056 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=32094] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/32094/stat : 32094 (java) S 31865 31868 28716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 40977819 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975454425896 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=32192] ppid=31865 vsize=9824732 CPUtime=220.7 cores=1,3,5,7 /proc/31868/task/32192/stat : 32192 (java) R 31865 31868 28716 0 -1 4202560 18 0 0 0 22067 3 0 0 20 0 22 0 41042757 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975456529416 139975954841662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=31868/tid=32193] ppid=31865 vsize=9824732 CPUtime=220.72 cores=1,3,5,7 /proc/31868/task/32193/stat : 32193 (java) R 31865 31868 28716 0 -1 4202560 429 0 0 0 22067 5 0 0 20 0 22 0 41042757 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975453371856 139975954874766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=31868/tid=32194] ppid=31865 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/31868/task/32194/stat : 32194 (java) S 31865 31868 28716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41042757 10060525568 919674 33554432000 1073741824 1073778376 140736443530128 139975455478824 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1797.92 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 31868 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31868 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=598331 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=583455 # CPU time returned by wait4() is 1797.18 # while last known CPU time is 1797.92 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # 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): 2.10002 # lost CPU user time (s): 2.31002 # lost CPU system time (s): -0.21 Real time (s): 912.48 CPU time (s): 1800.02 CPU user time (s): 1796.91 CPU system time (s): 3.11 CPU usage (%): 197.267 Max. virtual memory (cumulated for all children) (KiB): 9825896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.6 system time used= 3.58345 maximum resident set size= 3678812 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46278 page faults= 1 swaps= 0 block input operations= 0 block output operations= 952 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26951 involuntary context switches= 36673 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.12192 second user time and 6.16606 second system time The end
Begin job on node102 at 2016-06-20 04:20:34 IDJOB=4110793 IDBENCH=108401 IDSOLVER=2543 FILE ID=node102/4110793-1466389234 RUNJOBID= node102-1466383830-28733 PBS_JOBID= 19923256 Free space on /tmp= 71728 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-1-irEDCBA.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110793-1466389234/watcher-4110793-1466389234 -o /tmp/evaluation-result-4110793-1466389234/solver-4110793-1466389234 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466383830-28733 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110793-1466389234.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 772d9509a319dfc4bdc5714ee1f27758 RANDOM SEED=1425849401 node102.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.746 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.49 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.746 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.746 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.56 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.746 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.746 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.55 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.746 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.746 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.746 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28542212 kB Buffers: 62784 kB Cached: 161496 kB SwapCached: 1624 kB Active: 3215508 kB Inactive: 175776 kB Active(anon): 3167552 kB Inactive(anon): 1736 kB Active(file): 47956 kB Inactive(file): 174040 kB Unevictable: 190484 kB Mlocked: 190484 kB SwapTotal: 67108856 kB SwapFree: 67098104 kB Dirty: 852 kB Writeback: 0 kB AnonPages: 3301300 kB Mapped: 14672 kB Shmem: 0 kB Slab: 608664 kB SReclaimable: 52644 kB SUnreclaim: 556020 kB KernelStack: 1816 kB PageTables: 10584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3646780 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3041280 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= 71724 MiB End job on node102 at 2016-06-20 04:35:47