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) | 27 | 1800.19 | 899.476 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_024_area_delay.opb |
| MD5SUM | 58f3055ef9bb388e237f57f2627386e0 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.165974 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 3392 |
| Total number of constraints | 9001 |
| Number of constraints which are clauses | 9001 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 1642 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1642 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1642 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-4081477-1465236985.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.76/0.41 c ... done. Wall clock time 0.297s. 0.76/0.41 c declared #vars 3392 0.76/0.41 c #constraints 9001 0.76/0.42 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.76/0.42 c constraints type 0.76/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1758 0.76/0.42 c org.sat4j.minisat.constraints.cnf.UnitClause => 100 0.76/0.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7143 0.76/0.42 c 9001 constraints processed. 0.76/0.42 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.76/0.42 c constraints type 0.76/0.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7143 0.76/0.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1758 0.76/0.42 c org.sat4j.pb.constraints.pb.UnitClausePB => 100 0.76/0.42 c 9001 constraints processed. 0.76/0.42 c objective function length is 1642 literals 1.12/0.58 c And the winner is solver0 2.09/0.92 c SATISFIABLE 2.09/0.92 c OPTIMIZING... 2.09/0.92 c Got one! Elapsed wall clock time (in seconds):0.805 2.09/0.92 o 35 2.09/0.95 c And the winner is solver0 2.27/1.43 c Got one! Elapsed wall clock time (in seconds):1.316 2.27/1.43 o 34 2.27/1.45 c And the winner is solver0 2.40/1.95 c Got one! Elapsed wall clock time (in seconds):1.829 2.40/1.95 o 33 2.40/1.96 c And the winner is solver0 2.46/2.45 c Got one! Elapsed wall clock time (in seconds):2.334 2.46/2.45 o 32 3.57/2.89 c And the winner is solver1 3.88/2.96 c Got one! Elapsed wall clock time (in seconds):2.838 3.88/2.96 o 31 6.66/4.28 c cleaning 2723 clauses out of 5447 with flag 20609/5447 10.45/6.05 c cleaning 4362 clauses out of 8724 with flag 46794/11447 14.66/8.10 c cleaning 5680 clauses out of 11364 with flag 74293/18449 19.33/10.40 c cleaning 6842 clauses out of 13683 with flag 104409/26448 24.41/12.91 c cleaning 7920 clauses out of 15840 with flag 140419/35447 30.48/15.96 c cleaning 8956 clauses out of 17920 with flag 184322/45447 37.38/19.35 c cleaning 9978 clauses out of 19965 with flag 231673/56448 45.06/23.16 c cleaning 10985 clauses out of 21986 with flag 292957/68447 53.65/27.44 c cleaning 11999 clauses out of 24001 with flag 350281/81447 63.38/32.25 c cleaning 12966 clauses out of 26002 with flag 429933/95447 73.55/37.23 c cleaning 13988 clauses out of 28038 with flag 528037/110449 83.75/42.36 c cleaning 14993 clauses out of 30048 with flag 637633/126447 94.58/47.75 c cleaning 16009 clauses out of 32056 with flag 752002/143448 106.40/53.56 c cleaning 17020 clauses out of 34046 with flag 867928/161447 119.85/60.17 c cleaning 17995 clauses out of 36026 with flag 966524/180447 133.45/67.00 c cleaning 19001 clauses out of 38031 with flag 1059222/200447 147.85/74.16 c cleaning 19986 clauses out of 40030 with flag 1183210/221447 163.64/81.84 c cleaning 21009 clauses out of 42044 with flag 1297559/243447 166.43/83.22 c And the winner is solver1 166.43/83.66 c Got one! Elapsed wall clock time (in seconds):83.546 166.43/83.66 o 30 166.88/83.97 c cleaning 13140 clauses out of 26285 with flag 4570/248697 170.48/85.74 c cleaning 9573 clauses out of 19145 with flag 34791/254697 174.68/87.86 c cleaning 8280 clauses out of 16572 with flag 72286/261697 179.49/90.30 c cleaning 8139 clauses out of 16292 with flag 113092/269697 184.68/92.86 c cleaning 8570 clauses out of 17153 with flag 157690/278697 190.27/95.64 c cleaning 9292 clauses out of 18583 with flag 205291/288697 196.07/98.51 c cleaning 10123 clauses out of 20291 with flag 254758/299697 202.28/101.58 c cleaning 11072 clauses out of 22168 with flag 308987/311697 208.68/104.72 c cleaning 12035 clauses out of 24096 with flag 370264/324697 216.28/108.54 c cleaning 13028 clauses out of 26065 with flag 443748/338701 224.08/112.44 c cleaning 14005 clauses out of 28033 with flag 514450/353697 232.27/116.57 c cleaning 14998 clauses out of 30028 with flag 591099/369697 241.07/120.91 c cleaning 16016 clauses out of 32031 with flag 670278/386698 250.67/125.76 c cleaning 17004 clauses out of 34015 with flag 752766/404698 262.71/132.16 c cleaning 17996 clauses out of 36010 with flag 847063/423697 273.71/137.65 c cleaning 18992 clauses out of 38014 with flag 942706/443697 286.98/144.18 c And the winner is solver1 286.98/144.18 c cleaning 19986 clauses out of 40022 with flag 1042602/464697 286.98/144.62 c Got one! Elapsed wall clock time (in seconds):144.499 286.98/144.62 o 29 289.34/145.86 c cleaning 12517 clauses out of 25037 with flag 19000/469698 292.76/147.54 c cleaning 9252 clauses out of 18519 with flag 52613/475697 296.74/149.60 c cleaning 8134 clauses out of 16267 with flag 90034/482697 301.55/151.97 c cleaning 8065 clauses out of 16133 with flag 134227/490697 307.14/154.77 c cleaning 8522 clauses out of 17068 with flag 182902/499697 313.98/158.04 c cleaning 9269 clauses out of 18546 with flag 238852/509697 320.98/161.56 c cleaning 10133 clauses out of 20277 with flag 299634/520697 328.38/165.29 c cleaning 11070 clauses out of 22145 with flag 370028/532698 336.99/169.52 c cleaning 12002 clauses out of 24074 with flag 439838/545697 346.17/174.10 c cleaning 13037 clauses out of 26073 with flag 516661/559698 355.97/179.06 c cleaning 14003 clauses out of 28035 with flag 601712/574697 366.77/184.34 c cleaning 14998 clauses out of 30033 with flag 684052/590698 378.37/190.17 c cleaning 16005 clauses out of 32034 with flag 765098/607697 390.17/196.07 c cleaning 17014 clauses out of 34030 with flag 851188/625698 401.56/201.77 c cleaning 18006 clauses out of 36015 with flag 945287/644697 412.97/207.40 c cleaning 19002 clauses out of 38009 with flag 1045114/664697 425.83/213.77 c cleaning 20003 clauses out of 40007 with flag 1151827/685697 439.22/220.45 c cleaning 21003 clauses out of 42006 with flag 1251059/707699 440.84/221.27 c And the winner is solver1 440.84/221.71 c Got one! Elapsed wall clock time (in seconds):221.586 440.84/221.71 o 28 442.51/222.51 c cleaning 13357 clauses out of 26718 with flag 12986/713414 445.70/224.16 c cleaning 9678 clauses out of 19361 with flag 42932/719414 450.41/226.32 c cleaning 8332 clauses out of 16684 with flag 79791/726415 455.01/228.61 c cleaning 8165 clauses out of 16352 with flag 123151/734415 460.02/231.19 c cleaning 8587 clauses out of 17186 with flag 168600/743414 465.41/233.89 c cleaning 9290 clauses out of 18599 with flag 215720/753414 471.41/236.80 c cleaning 10150 clauses out of 20311 with flag 267871/764416 478.00/240.17 c cleaning 11077 clauses out of 22159 with flag 332497/776414 485.40/243.81 c cleaning 12032 clauses out of 24082 with flag 396525/789414 493.20/247.74 c cleaning 13025 clauses out of 26050 with flag 465283/803414 501.21/251.75 c cleaning 14011 clauses out of 28025 with flag 539214/818414 509.80/256.09 c cleaning 15002 clauses out of 30014 with flag 625124/834414 521.96/262.70 c cleaning 16000 clauses out of 32012 with flag 717391/851414 531.56/267.58 c cleaning 17006 clauses out of 34014 with flag 822587/869416 542.95/273.01 c cleaning 17995 clauses out of 36006 with flag 945876/888414 553.36/278.22 c cleaning 19003 clauses out of 38011 with flag 1074512/908414 565.56/284.34 c cleaning 19992 clauses out of 40008 with flag 1181580/929414 579.75/291.42 c cleaning 20990 clauses out of 42016 with flag 1280396/951414 595.36/299.19 c cleaning 21991 clauses out of 44026 with flag 1396728/974414 611.18/307.02 c cleaning 23018 clauses out of 46035 with flag 1523127/998414 627.36/315.14 c cleaning 23998 clauses out of 48017 with flag 1662664/1023414 645.05/323.90 c cleaning 24983 clauses out of 50019 with flag 1807068/1049414 663.24/332.93 c cleaning 26015 clauses out of 52036 with flag 1956808/1076414 680.43/341.53 c cleaning 27010 clauses out of 54022 with flag 2088974/1104415 699.03/350.83 c cleaning 27993 clauses out of 56011 with flag 2205989/1133414 719.03/360.88 c cleaning 29007 clauses out of 58018 with flag 2337914/1163414 740.11/371.15 c cleaning 29996 clauses out of 60011 with flag 2486862/1194414 760.90/381.57 c cleaning 31001 clauses out of 62015 with flag 2644188/1226414 783.02/392.48 c cleaning 32004 clauses out of 64015 with flag 2805828/1259415 805.22/403.55 c cleaning 32984 clauses out of 66010 with flag 2987375/1293414 828.98/415.27 c cleaning 34002 clauses out of 68026 with flag 3162282/1328414 855.52/428.34 c cleaning 35013 clauses out of 70025 with flag 3326211/1364415 883.53/442.39 c cleaning 35990 clauses out of 72011 with flag 3498082/1401414 913.09/456.99 c cleaning 36997 clauses out of 74021 with flag 3696124/1439414 943.08/471.71 c cleaning 37989 clauses out of 76024 with flag 3904906/1478414 972.28/486.14 c cleaning 39018 clauses out of 78036 with flag 4109365/1518415 1001.47/500.75 c cleaning 39982 clauses out of 80017 with flag 4321783/1559414 1033.66/516.69 c cleaning 40999 clauses out of 82035 with flag 4525961/1601414 1039.66/519.69 c And the winner is solver1 1039.66/519.72 c Got one! Elapsed wall clock time (in seconds):519.606 1039.66/519.72 o 27 1042.80/521.30 c cleaning 27352 clauses out of 54714 with flag 25335/1615092 1046.39/523.15 c cleaning 16682 clauses out of 33363 with flag 51742/1621093 1049.99/524.95 c cleaning 11837 clauses out of 23680 with flag 80924/1628092 1055.14/527.24 c cleaning 9915 clauses out of 19843 with flag 116878/1636092 1060.33/529.82 c cleaning 9461 clauses out of 18928 with flag 162747/1645092 1066.13/532.78 c cleaning 9732 clauses out of 19467 with flag 213340/1655092 1072.93/536.14 c cleaning 10364 clauses out of 20736 with flag 271426/1666093 1080.33/539.87 c cleaning 11184 clauses out of 22373 with flag 327750/1678094 1088.73/544.04 c cleaning 12083 clauses out of 24188 with flag 392751/1691093 1097.32/548.10 c cleaning 13049 clauses out of 26105 with flag 454344/1705093 1106.52/552.80 c cleaning 14023 clauses out of 28055 with flag 529347/1720092 1117.12/557.88 c cleaning 15016 clauses out of 30032 with flag 603100/1736092 1127.50/563.06 c cleaning 15999 clauses out of 32016 with flag 687314/1753092 1141.90/571.21 c cleaning 16989 clauses out of 34017 with flag 771590/1771092 1154.51/577.58 c cleaning 18005 clauses out of 36028 with flag 867096/1790092 1168.67/584.38 c cleaning 19001 clauses out of 38023 with flag 960185/1810092 1182.87/591.34 c cleaning 20011 clauses out of 40022 with flag 1062851/1831092 1197.47/598.61 c cleaning 21005 clauses out of 42012 with flag 1164781/1853093 1212.86/606.21 c cleaning 21992 clauses out of 44006 with flag 1273091/1876092 1228.51/613.97 c cleaning 23002 clauses out of 46014 with flag 1387190/1900092 1244.89/622.13 c cleaning 23996 clauses out of 48012 with flag 1503384/1925092 1262.24/630.73 c cleaning 25005 clauses out of 50016 with flag 1633813/1951092 1280.64/639.92 c cleaning 26000 clauses out of 52011 with flag 1761899/1978092 1300.81/649.98 c cleaning 27001 clauses out of 54011 with flag 1897351/2006092 1320.42/659.71 c cleaning 27995 clauses out of 56010 with flag 2022709/2035092 1339.17/669.06 c cleaning 29003 clauses out of 58015 with flag 2159757/2065092 1359.57/679.29 c cleaning 29999 clauses out of 60012 with flag 2311124/2096092 1381.61/690.17 c cleaning 31006 clauses out of 62014 with flag 2480405/2128093 1403.61/701.18 c cleaning 31993 clauses out of 64007 with flag 2666009/2161092 1422.42/710.60 c cleaning 32996 clauses out of 66018 with flag 2822291/2195096 1442.14/720.26 c cleaning 34005 clauses out of 68018 with flag 2975369/2230092 1462.13/730.23 c cleaning 34998 clauses out of 70013 with flag 3141919/2266092 1482.94/740.65 c cleaning 35996 clauses out of 72016 with flag 3321970/2303093 1506.13/752.08 c cleaning 37005 clauses out of 74019 with flag 3504487/2341092 1527.73/762.81 c cleaning 37999 clauses out of 76014 with flag 3671780/2380092 1555.17/776.37 c cleaning 39008 clauses out of 78015 with flag 3868554/2420092 1585.76/791.67 c cleaning 39984 clauses out of 80007 with flag 4078759/2461092 1617.59/807.33 c cleaning 40983 clauses out of 82023 with flag 4272023/2503092 1641.21/818.95 c cleaning 0 clauses out of 7251 with flag 0/7252 1649.20/822.73 c cleaning 42020 clauses out of 84040 with flag 4495854/2546092 1679.67/837.43 c cleaning 43007 clauses out of 86020 with flag 4711594/2590092 1715.00/857.02 c cleaning 44002 clauses out of 88015 with flag 4931785/2635094 1747.08/873.07 c cleaning 45000 clauses out of 90013 with flag 5169559/2681094 1780.89/889.80 c cleaning 45997 clauses out of 92011 with flag 5386244/2728092 1800.19/899.40 c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<< 1800.19/899.40 c starts : 50077 1800.19/899.40 c conflicts : 2754605 1800.19/899.40 c decisions : 19833723 1800.19/899.40 c propagations : 3802515397 1800.19/899.40 c inspects : 5378462898 1800.19/899.40 c shortcuts : 0 1800.19/899.40 c learnt literals : 0 1800.19/899.40 c learnt binary clauses : 0 1800.19/899.40 c learnt ternary clauses : 38 1800.19/899.40 c learnt constraints : 2754605 1800.19/899.40 c ignored constraints : 0 1800.19/899.40 c root simplifications : 0 1800.19/899.40 c removed literals (reason simplification) : 11590565 1800.19/899.40 c reason swapping (by a shorter reason) : 0 1800.19/899.40 c Calls to reduceDB : 134 1800.19/899.40 c Number of update (reduction) of LBD : 1298593 1800.19/899.40 c Imported unit clauses : 0 1800.19/899.40 c number of reductions to clauses (during analyze) : 0 1800.19/899.40 c number of learned constraints concerned by reduction : 0 1800.19/899.40 c number of learning phase by resolution : 0 1800.19/899.40 c number of learning phase by cutting planes : 0 1800.19/899.40 c speed (assignments/second) : 1.0015239168969087E7 1800.19/899.40 c non guided choices 0 1800.19/899.43 c learnt constraints type 1800.19/899.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 72528 1800.19/899.43 c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<< 1800.19/899.43 c starts : 37 1800.19/899.43 c conflicts : 7659 1800.19/899.43 c decisions : 372051 1800.19/899.43 c propagations : 2334446 1800.19/899.43 c inspects : 295283310 1800.19/899.43 c shortcuts : 0 1800.19/899.43 c learnt literals : 0 1800.19/899.43 c learnt binary clauses : 0 1800.19/899.43 c learnt ternary clauses : 0 1800.19/899.43 c learnt constraints : 7658 1800.19/899.43 c ignored constraints : 0 1800.19/899.43 c root simplifications : 0 1800.19/899.43 c removed literals (reason simplification) : 0 1800.19/899.43 c reason swapping (by a shorter reason) : 0 1800.19/899.43 c Calls to reduceDB : 1 1800.19/899.43 c Number of update (reduction) of LBD : 0 1800.19/899.43 c Imported unit clauses : 0 1800.19/899.43 c number of reductions to clauses (during analyze) : 0 1800.19/899.43 c number of learned constraints concerned by reduction : 0 1800.19/899.43 c number of learning phase by resolution : 0 1800.19/899.43 c number of learning phase by cutting planes : 0 1800.19/899.43 c speed (assignments/second) : 2602.5938466100833 1800.19/899.43 c non guided choices 0 1800.19/899.43 c learnt constraints type 1800.19/899.43 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 188 1800.19/899.43 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 109 1800.19/899.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7361 1800.19/899.43 s SATISFIABLE 1800.19/899.43 c Found 9 solution(s) 1800.19/899.44 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 1800.19/899.44 c objective function=27 1800.19/899.44 c Total wall clock time (in seconds): 899.325
OK 27
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-4081477-1465236985/watcher-4081477-1465236985 -o /tmp/evaluation-result-4081477-1465236985/solver-4081477-1465236985 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21443 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081477-1465236985.opb pid=27939 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.21 4.25 4.15 5/197 27942 /proc/meminfo: memFree=29672724/32872528 swapFree=12328/568296 [pid=27942] ppid=27939 vsize=5632 CPUtime=0 cores=1,3,5,7 /proc/27942/stat : 27942 (java) R 27939 27942 21426 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 105631109 5767168 55 33554432000 1073741824 1073778376 140735776032720 140735776029848 206619897127 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/27942/statm: 1408 55 43 9 0 30 0 [startup+0.100111 s] /proc/loadavg: 4.21 4.25 4.15 5/197 27942 /proc/meminfo: memFree=29672724/32872528 swapFree=12328/568296 [pid=27942] ppid=27939 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/27942/stat : 27942 (java) S 27939 27942 21426 0 -1 4202496 4405 0 1 0 8 1 0 0 20 0 18 0 105631109 9787879424 6034 33554432000 1073741824 1073778376 140735776032720 140735776023856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27942/statm: 2389619 6034 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200263 s] /proc/loadavg: 4.21 4.25 4.15 5/197 27942 /proc/meminfo: memFree=29672724/32872528 swapFree=12328/568296 [pid=27942] ppid=27939 vsize=9558476 CPUtime=0.26 cores=1,3,5,7 /proc/27942/stat : 27942 (java) S 27939 27942 21426 0 -1 4202496 4997 0 1 0 25 1 0 0 20 0 18 0 105631109 9787879424 6887 33554432000 1073741824 1073778376 140735776032720 140735776023856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27942/statm: 2389619 6887 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300247 s] /proc/loadavg: 4.21 4.25 4.15 5/197 27942 /proc/meminfo: memFree=29672724/32872528 swapFree=12328/568296 [pid=27942] ppid=27939 vsize=9558476 CPUtime=0.49 cores=1,3,5,7 /proc/27942/stat : 27942 (java) S 27939 27942 21426 0 -1 4202496 5985 0 1 0 47 2 0 0 20 0 18 0 105631109 9787879424 9052 33554432000 1073741824 1073778376 140735776032720 140735776023856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27942/statm: 2389619 9052 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700201 s] /proc/loadavg: 4.21 4.25 4.15 5/197 27942 /proc/meminfo: memFree=29672724/32872528 swapFree=12328/568296 [pid=27942] ppid=27939 vsize=9825336 CPUtime=1.7 cores=1,3,5,7 /proc/27942/stat : 27942 (java) S 27939 27942 21426 0 -1 4202496 26125 0 1 0 163 7 0 0 20 0 19 0 105631109 10061144064 27875 33554432000 1073741824 1073778376 140735776032720 140735776023856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27942/statm: 2456334 27875 2255 9 0 2447011 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 9825336 [startup+1.50084 s] /proc/loadavg: 4.20 4.25 4.15 2/216 27967 /proc/meminfo: memFree=29435784/32872528 swapFree=12328/568296 [pid=27942] ppid=27939 vsize=9824732 CPUtime=2.4 cores=1,3,5,7 /proc/27942/stat : 27942 (java) S 27939 27942 21426 0 -1 4202496 26275 0 1 0 231 9 0 0 20 0 19 0 105631109 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140735776023856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27942/statm: 2456183 29927 2266 9 0 2446860 0 [pid=27942/tid=27944] ppid=27939 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/27942/task/27944/stat : 27944 (java) S 27939 27942 21426 0 -1 4202560 2492 0 1 0 39 2 0 0 20 0 19 0 105631110 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259428787064 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27945] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27945/stat : 27945 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105631111 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259406887208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27946] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27946/stat : 27946 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105631111 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259203475624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27947] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27947/stat : 27947 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105631111 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259202423336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27948] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27948/stat : 27948 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105631111 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259201370536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27949] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27949/stat : 27949 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105631111 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259200318248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27950] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27950/stat : 27950 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105631111 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259199265448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27951] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27951/stat : 27951 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105631111 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259198213160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27952] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27952/stat : 27952 (java) S 27939 27942 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105631111 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259197160360 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27953] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27953/stat : 27953 (java) S 27939 27942 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105631112 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259184961768 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27954] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27954/stat : 27954 (java) S 27939 27942 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105631112 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259183907832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27955] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27955/stat : 27955 (java) S 27939 27942 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105631112 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259182855432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27956] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27956/stat : 27956 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105631115 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259181803920 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27957] ppid=27939 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/27942/task/27957/stat : 27957 (java) S 27939 27942 21426 0 -1 4202560 10646 0 0 0 77 2 0 0 20 0 19 0 105631115 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259180751544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27958] ppid=27939 vsize=9824732 CPUtime=0.8 cores=1,3,5,7 /proc/27942/task/27958/stat : 27958 (java) S 27939 27942 21426 0 -1 4202560 11747 0 0 0 77 3 0 0 20 0 19 0 105631115 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259179698744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27959] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27959/stat : 27959 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105631115 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259178646648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27960] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27960/stat : 27960 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105631115 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259177594056 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27964] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27964/stat : 27964 (java) S 27939 27942 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105631152 10060525568 29927 33554432000 1073741824 1073778376 140735776032720 140259171800104 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.4 Current children cumulated vsize (KiB) 9824732 [startup+3.10084 s] /proc/loadavg: 4.20 4.25 4.15 3/216 27973 /proc/meminfo: memFree=29382600/32872528 swapFree=12328/568296 [pid=27942] ppid=27939 vsize=9824732 CPUtime=4.23 cores=1,3,5,7 /proc/27942/stat : 27942 (java) S 27939 27942 21426 0 -1 4202496 28011 0 1 0 410 13 0 0 20 0 22 0 105631109 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140735776023856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27942/statm: 2456183 36637 2270 9 0 2446860 0 [pid=27942/tid=27944] ppid=27939 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/27942/task/27944/stat : 27944 (java) S 27939 27942 21426 0 -1 4202560 2494 0 1 0 41 2 0 0 20 0 22 0 105631110 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259428787064 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27945] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27945/stat : 27945 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259406887208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27946] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27946/stat : 27946 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259203475624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27947] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27947/stat : 27947 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259202423336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27948] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27948/stat : 27948 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259201370536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27949] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27949/stat : 27949 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259200318248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27950] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27950/stat : 27950 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259199265448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27951] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27951/stat : 27951 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259198213160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27952] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27952/stat : 27952 (java) S 27939 27942 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259197160360 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27953] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27953/stat : 27953 (java) S 27939 27942 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259184961768 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27954] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27954/stat : 27954 (java) S 27939 27942 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259183907832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27955] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27955/stat : 27955 (java) S 27939 27942 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259182855432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27956] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27956/stat : 27956 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259181803920 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27957] ppid=27939 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/27942/task/27957/stat : 27957 (java) S 27939 27942 21426 0 -1 4202560 10649 0 0 0 101 2 0 0 20 0 22 0 105631115 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259180751544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27958] ppid=27939 vsize=9824732 CPUtime=1.22 cores=1,3,5,7 /proc/27942/task/27958/stat : 27958 (java) R 27939 27942 21426 0 -1 4202560 13436 0 0 0 119 3 0 0 20 0 22 0 105631115 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259179698584 140259434626639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27959] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27959/stat : 27959 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259178646648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27960] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27960/stat : 27960 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 36637 33554432000 1073741824 1073778376 140735776032720 140259177594056 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.23 Current children cumulated vsize (KiB) 9824732 [startup+6.30093 s] /proc/loadavg: 4.18 4.24 4.15 5/219 27979 /proc/meminfo: memFree=29289064/32872528 swapFree=12328/568296 [pid=27942] ppid=27939 vsize=9824732 CPUtime=11.05 cores=1,3,5,7 /proc/27942/stat : 27942 (java) S 27939 27942 21426 0 -1 4202496 28103 0 1 0 1089 16 0 0 20 0 22 0 105631109 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140735776023856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27942/statm: 2456183 54434 2291 9 0 2446860 0 [pid=27942/tid=27944] ppid=27939 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/27942/task/27944/stat : 27944 (java) S 27939 27942 21426 0 -1 4202560 2494 0 1 0 41 2 0 0 20 0 22 0 105631110 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259428787064 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27945] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27945/stat : 27945 (java) S 27939 27942 21426 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259406887208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27946] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27946/stat : 27946 (java) S 27939 27942 21426 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259203475624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27947] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27947/stat : 27947 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259202423336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27948] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27948/stat : 27948 (java) S 27939 27942 21426 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259201370536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27949] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27949/stat : 27949 (java) S 27939 27942 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259200318248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27950] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27950/stat : 27950 (java) S 27939 27942 21426 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259199265448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27951] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27951/stat : 27951 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259198213160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27952] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27952/stat : 27952 (java) S 27939 27942 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105631111 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259197160360 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27953] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27953/stat : 27953 (java) S 27939 27942 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259184961768 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27954] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27954/stat : 27954 (java) S 27939 27942 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259183907832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27955] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27955/stat : 27955 (java) S 27939 27942 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259182855432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27956] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27956/stat : 27956 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259181803920 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27957] ppid=27939 vsize=9824732 CPUtime=1.25 cores=1,3,5,7 /proc/27942/task/27957/stat : 27957 (java) S 27939 27942 21426 0 -1 4202560 10652 0 0 0 123 2 0 0 20 0 22 0 105631115 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259180751544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27958] ppid=27939 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/27942/task/27958/stat : 27958 (java) S 27939 27942 21426 0 -1 4202560 13443 0 0 0 138 3 0 0 20 0 22 0 105631115 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259179698744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27959] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27959/stat : 27959 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259178646648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27960] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27960/stat : 27960 (java) S 27939 27942 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259177594056 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27976] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27976/stat : 27976 (java) S 27939 27942 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105631355 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259173905960 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27977] ppid=27939 vsize=9824732 CPUtime=3.29 cores=1,3,5,7 /proc/27942/task/27977/stat : 27977 (java) R 27939 27942 21426 0 -1 4202560 7 0 0 0 329 0 0 0 20 0 22 0 105631405 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259172843296 140259288499153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27978] ppid=27939 vsize=9824732 CPUtime=3.28 cores=1,3,5,7 /proc/27942/task/27978/stat : 27978 (java) R 27939 27942 21426 0 -1 4202560 39 0 0 0 328 0 0 0 20 0 22 0 105631405 10060525568 54434 33554432000 1073741824 1073778376 140735776032720 140259174955064 140259288480654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27979] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=27942/tid=27952] ppid=27939 vsize=9824732 CPUtime=3.52 cores=1,3,5,7 /proc/27942/task/27952/stat : 27952 (java) S 27939 27942 21426 0 -1 4202560 2207 0 0 0 325 27 0 0 20 0 22 0 105631111 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259197160360 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27953] ppid=27939 vsize=9824732 CPUtime=5.11 cores=1,3,5,7 /proc/27942/task/27953/stat : 27953 (java) S 27939 27942 21426 0 -1 4202560 3160 0 0 0 505 6 0 0 20 0 22 0 105631112 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259184961768 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27954] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27954/stat : 27954 (java) S 27939 27942 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259183907832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27955] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27955/stat : 27955 (java) S 27939 27942 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259182855432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27956] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27956/stat : 27956 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259181803920 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27957] ppid=27939 vsize=9824732 CPUtime=1.7 cores=1,3,5,7 /proc/27942/task/27957/stat : 27957 (java) S 27939 27942 21426 0 -1 4202560 10679 0 0 0 168 2 0 0 20 0 22 0 105631115 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259180751544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27958] ppid=27939 vsize=9824732 CPUtime=1.52 cores=1,3,5,7 /proc/27942/task/27958/stat : 27958 (java) S 27939 27942 21426 0 -1 4202560 13445 0 0 0 149 3 0 0 20 0 22 0 105631115 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259179698744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27959] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27959/stat : 27959 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259178646648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27960] ppid=27939 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/27942/task/27960/stat : 27960 (java) S 27939 27942 21426 0 -1 4202560 48 0 0 0 10 16 0 0 20 0 22 0 105631115 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259177594056 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27976] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27976/stat : 27976 (java) S 27939 27942 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105631355 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259173905960 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=28002] ppid=27939 vsize=9824732 CPUtime=296.48 cores=1,3,5,7 /proc/27942/task/28002/stat : 28002 (java) R 27939 27942 21426 0 -1 4202560 6 0 0 0 29644 4 0 0 20 0 22 0 105683082 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259172850720 140259288113727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=28003] ppid=27939 vsize=9824732 CPUtime=296.42 cores=1,3,5,7 /proc/27942/task/28003/stat : 28003 (java) R 27939 27942 21426 0 -1 4202560 15 0 0 0 29638 4 0 0 20 0 22 0 105683082 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259171797864 140259288295792 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=28004] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/28004/stat : 28004 (java) S 27939 27942 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105683082 10060525568 1000353 33554432000 1073741824 1073778376 140735776032720 140259174958760 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1646.3 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.08 4.08 4.09 5/219 28105 /proc/meminfo: memFree=26375420/32872528 swapFree=12328/568296 [pid=27942] ppid=27939 vsize=9824732 CPUtime=1763.84 cores=1,3,5,7 /proc/27942/stat : 27942 (java) S 27939 27942 21426 0 -1 4202496 51258 0 1 0 176055 329 0 0 20 0 22 0 105631109 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140735776023856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27942/statm: 2456183 1065464 2301 9 0 2446860 0 [pid=27942/tid=27944] ppid=27939 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/27942/task/27944/stat : 27944 (java) S 27939 27942 21426 0 -1 4202560 2515 0 1 0 45 3 0 0 20 0 22 0 105631110 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259428787064 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27945] ppid=27939 vsize=9824732 CPUtime=3.77 cores=1,3,5,7 /proc/27942/task/27945/stat : 27945 (java) S 27939 27942 21426 0 -1 4202560 1935 0 0 0 342 35 0 0 20 0 22 0 105631111 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259406887208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27946] ppid=27939 vsize=9824732 CPUtime=3.7 cores=1,3,5,7 /proc/27942/task/27946/stat : 27946 (java) S 27939 27942 21426 0 -1 4202560 2245 0 0 0 343 27 0 0 20 0 22 0 105631111 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259203475624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27947] ppid=27939 vsize=9824732 CPUtime=3.9 cores=1,3,5,7 /proc/27942/task/27947/stat : 27947 (java) S 27939 27942 21426 0 -1 4202560 2654 0 0 0 362 28 0 0 20 0 22 0 105631111 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259202423336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27948] ppid=27939 vsize=9824732 CPUtime=3.62 cores=1,3,5,7 /proc/27942/task/27948/stat : 27948 (java) S 27939 27942 21426 0 -1 4202560 1930 0 0 0 330 32 0 0 20 0 22 0 105631111 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259201370536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27949] ppid=27939 vsize=9824732 CPUtime=3.62 cores=1,3,5,7 /proc/27942/task/27949/stat : 27949 (java) S 27939 27942 21426 0 -1 4202560 2484 0 0 0 329 33 0 0 20 0 22 0 105631111 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259200318248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27950] ppid=27939 vsize=9824732 CPUtime=3.92 cores=1,3,5,7 /proc/27942/task/27950/stat : 27950 (java) S 27939 27942 21426 0 -1 4202560 2577 0 0 0 357 35 0 0 20 0 22 0 105631111 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259199265448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27951] ppid=27939 vsize=9824732 CPUtime=3.72 cores=1,3,5,7 /proc/27942/task/27951/stat : 27951 (java) S 27939 27942 21426 0 -1 4202560 1867 0 0 0 345 27 0 0 20 0 22 0 105631111 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259198213160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27952] ppid=27939 vsize=9824732 CPUtime=3.87 cores=1,3,5,7 /proc/27942/task/27952/stat : 27952 (java) S 27939 27942 21426 0 -1 4202560 2270 0 0 0 357 30 0 0 20 0 22 0 105631111 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259197160360 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27953] ppid=27939 vsize=9824732 CPUtime=9.34 cores=1,3,5,7 /proc/27942/task/27953/stat : 27953 (java) S 27939 27942 21426 0 -1 4202560 3664 0 0 0 928 6 0 0 20 0 22 0 105631112 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259184961768 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27954] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27954/stat : 27954 (java) S 27939 27942 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259183907832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27955] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27955/stat : 27955 (java) S 27939 27942 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259182855432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27956] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27956/stat : 27956 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259181803920 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27957] ppid=27939 vsize=9824732 CPUtime=1.86 cores=1,3,5,7 /proc/27942/task/27957/stat : 27957 (java) S 27939 27942 21426 0 -1 4202560 10679 0 0 0 184 2 0 0 20 0 22 0 105631115 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259180751544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27958] ppid=27939 vsize=9824732 CPUtime=1.52 cores=1,3,5,7 /proc/27942/task/27958/stat : 27958 (java) S 27939 27942 21426 0 -1 4202560 13445 0 0 0 149 3 0 0 20 0 22 0 105631115 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259179698744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27959] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27959/stat : 27959 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259178646648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27960] ppid=27939 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/27942/task/27960/stat : 27960 (java) S 27939 27942 21426 0 -1 4202560 52 0 0 0 11 17 0 0 20 0 22 0 105631115 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259177594056 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27976] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27976/stat : 27976 (java) S 27939 27942 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105631355 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259173905960 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=28002] ppid=27939 vsize=9824732 CPUtime=351.24 cores=1,3,5,7 /proc/27942/task/28002/stat : 28002 (java) R 27939 27942 21426 0 -1 4202560 6 0 0 0 35119 5 0 0 20 0 22 0 105683082 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259172851504 140259287919791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=28003] ppid=27939 vsize=9824732 CPUtime=351.17 cores=1,3,5,7 /proc/27942/task/28003/stat : 28003 (java) R 27939 27942 21426 0 -1 4202560 19 0 0 0 35112 5 0 0 20 0 22 0 105683082 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259171797792 140259288296146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=28004] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/28004/stat : 28004 (java) S 27939 27942 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105683082 10060525568 1065464 33554432000 1073741824 1073778376 140735776032720 140259174958760 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1763.84 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.401 s] /proc/loadavg: 4.06 4.08 4.09 5/219 28105 /proc/meminfo: memFree=26304244/32872528 swapFree=12328/568296 [pid=27942] ppid=27939 vsize=9824732 CPUtime=1798.24 cores=1,3,5,7 /proc/27942/stat : 27942 (java) S 27939 27942 21426 0 -1 4202496 51302 0 1 0 179493 331 0 0 20 0 22 0 105631109 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140735776023856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27942/statm: 2456183 1065139 2301 9 0 2446860 0 [pid=27942/tid=27944] ppid=27939 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/27942/task/27944/stat : 27944 (java) S 27939 27942 21426 0 -1 4202560 2515 0 1 0 45 3 0 0 20 0 22 0 105631110 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259428787064 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27945] ppid=27939 vsize=9824732 CPUtime=3.84 cores=1,3,5,7 /proc/27942/task/27945/stat : 27945 (java) S 27939 27942 21426 0 -1 4202560 1935 0 0 0 349 35 0 0 20 0 22 0 105631111 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259406887208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27946] ppid=27939 vsize=9824732 CPUtime=3.75 cores=1,3,5,7 /proc/27942/task/27946/stat : 27946 (java) S 27939 27942 21426 0 -1 4202560 2245 0 0 0 347 28 0 0 20 0 22 0 105631111 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259203475624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27947] ppid=27939 vsize=9824732 CPUtime=3.94 cores=1,3,5,7 /proc/27942/task/27947/stat : 27947 (java) S 27939 27942 21426 0 -1 4202560 2660 0 0 0 366 28 0 0 20 0 22 0 105631111 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259202423336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27948] ppid=27939 vsize=9824732 CPUtime=3.7 cores=1,3,5,7 /proc/27942/task/27948/stat : 27948 (java) S 27939 27942 21426 0 -1 4202560 1930 0 0 0 338 32 0 0 20 0 22 0 105631111 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259201370536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27949] ppid=27939 vsize=9824732 CPUtime=3.66 cores=1,3,5,7 /proc/27942/task/27949/stat : 27949 (java) S 27939 27942 21426 0 -1 4202560 2488 0 0 0 333 33 0 0 20 0 22 0 105631111 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259200318248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27950] ppid=27939 vsize=9824732 CPUtime=3.97 cores=1,3,5,7 /proc/27942/task/27950/stat : 27950 (java) S 27939 27942 21426 0 -1 4202560 2581 0 0 0 362 35 0 0 20 0 22 0 105631111 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259199265448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27951] ppid=27939 vsize=9824732 CPUtime=3.76 cores=1,3,5,7 /proc/27942/task/27951/stat : 27951 (java) S 27939 27942 21426 0 -1 4202560 1867 0 0 0 349 27 0 0 20 0 22 0 105631111 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259198213160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27952] ppid=27939 vsize=9824732 CPUtime=3.95 cores=1,3,5,7 /proc/27942/task/27952/stat : 27952 (java) S 27939 27942 21426 0 -1 4202560 2289 0 0 0 365 30 0 0 20 0 22 0 105631111 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259197160360 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27953] ppid=27939 vsize=9824732 CPUtime=9.35 cores=1,3,5,7 /proc/27942/task/27953/stat : 27953 (java) S 27939 27942 21426 0 -1 4202560 3669 0 0 0 928 7 0 0 20 0 22 0 105631112 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259184961768 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27954] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27954/stat : 27954 (java) S 27939 27942 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259183907832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27955] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27955/stat : 27955 (java) S 27939 27942 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105631112 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259182855432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27956] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27956/stat : 27956 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259181803920 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27942/tid=27957] ppid=27939 vsize=9824732 CPUtime=1.86 cores=1,3,5,7 /proc/27942/task/27957/stat : 27957 (java) S 27939 27942 21426 0 -1 4202560 10679 0 0 0 184 2 0 0 20 0 22 0 105631115 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259180751544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27942/tid=27958] ppid=27939 vsize=9824732 CPUtime=1.52 cores=1,3,5,7 /proc/27942/task/27958/stat : 27958 (java) S 27939 27942 21426 0 -1 4202560 13445 0 0 0 149 3 0 0 20 0 22 0 105631115 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259179698744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=27959] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27959/stat : 27959 (java) S 27939 27942 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105631115 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259178646648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27960] ppid=27939 vsize=9824732 CPUtime=0.29 cores=1,3,5,7 /proc/27942/task/27960/stat : 27960 (java) S 27939 27942 21426 0 -1 4202560 54 0 0 0 11 18 0 0 20 0 22 0 105631115 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259177594056 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=27976] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/27976/stat : 27976 (java) S 27939 27942 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105631355 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259173905960 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=28002] ppid=27939 vsize=9824732 CPUtime=368.17 cores=1,3,5,7 /proc/27942/task/28002/stat : 28002 (java) R 27939 27942 21426 0 -1 4202560 7 0 0 0 36812 5 0 0 20 0 22 0 105683082 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259172851504 140259288114112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=27942/tid=28003] ppid=27939 vsize=9824732 CPUtime=368.09 cores=1,3,5,7 /proc/27942/task/28003/stat : 28003 (java) R 27939 27942 21426 0 -1 4202560 22 0 0 0 36804 5 0 0 20 0 22 0 105683082 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259171797664 140259288643341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27942/tid=28004] ppid=27939 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27942/task/28004/stat : 28004 (java) S 27939 27942 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105683082 10060525568 1065139 33554432000 1073741824 1073778376 140735776032720 140259174958760 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1798.24 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 27942 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 27942 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=18419 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=580455 # CPU time returned by wait4() is 1796.6 # while last known CPU time is 1798.24 # # 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): 1.95004 # lost CPU user time (s): 2.12 # lost CPU system time (s): -0.17 Real time (s): 899.476 CPU time (s): 1800.19 CPU user time (s): 1797.05 CPU system time (s): 3.14 CPU usage (%): 200.138 Max. virtual memory (cumulated for all children) (KiB): 9825920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.02 system time used= 3.58045 maximum resident set size= 4262000 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51340 page faults= 1 swaps= 0 block input operations= 0 block output operations= 992 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23558 involuntary context switches= 25090 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.563 second user time and 6.45502 second system time The end
Begin job on node138 at 2016-06-06 20:16:25 IDJOB=4081477 IDBENCH=24987 IDSOLVER=2543 FILE ID=node138/4081477-1465236985 RUNJOBID= node138-1465221375-21443 PBS_JOBID= 19843229 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081477-1465236985/watcher-4081477-1465236985 -o /tmp/evaluation-result-4081477-1465236985/solver-4081477-1465236985 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21443 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081477-1465236985.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0 RANDOM SEED=538649438 node138.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.807 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.61 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.807 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.56 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.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 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.807 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.807 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.807 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.807 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29672988 kB Buffers: 32020 kB Cached: 97672 kB SwapCached: 46416 kB Active: 1797156 kB Inactive: 114924 kB Active(anon): 1737844 kB Inactive(anon): 47172 kB Active(file): 59312 kB Inactive(file): 67752 kB Unevictable: 568296 kB Mlocked: 12328 kB SwapTotal: 67108856 kB SwapFree: 67053464 kB Dirty: 916 kB Writeback: 0 kB AnonPages: 2322012 kB Mapped: 15368 kB Shmem: 0 kB Slab: 568316 kB SReclaimable: 11880 kB SUnreclaim: 556436 kB KernelStack: 1624 kB PageTables: 8556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2787368 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2238464 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= 71744 MiB End job on node138 at 2016-06-06 20:31:25