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) | 828 | 1800.02 | 899.978 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-apex4.a.opb |
| MD5SUM | 59d685b710ba34babb28c57a0abba1bc |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 776 |
| Best CPU time to get the best result obtained on this benchmark | 0.367943 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 776 |
| Optimality of the best value was proved | NO |
| Number of variables | 4316 |
| Total number of constraints | 11912 |
| Number of constraints which are clauses | 11912 |
| 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 | 160 |
| Number of terms in the objective function | 4316 |
| 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 | 4316 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4316 |
| Number of bits of the biggest sum of numbers | 13 |
| 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@5d764be1 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@9f436f5 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@4413ee 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@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081106-1465225221.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.06/0.55 c ... done. Wall clock time 0.434s. 1.06/0.55 c declared #vars 4316 1.06/0.55 c #constraints 11912 1.06/0.56 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.06/0.56 c constraints type 1.06/0.56 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6964 1.06/0.56 c org.sat4j.specs.Constr$1 => 2935 1.06/0.56 c org.sat4j.minisat.constraints.cnf.UnitClause => 199 1.06/0.56 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1814 1.06/0.56 c 11912 constraints processed. 1.06/0.56 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.06/0.56 c constraints type 1.06/0.56 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1814 1.06/0.56 c org.sat4j.specs.Constr$1 => 2935 1.06/0.56 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6964 1.06/0.56 c org.sat4j.pb.constraints.pb.UnitClausePB => 199 1.06/0.56 c 11912 constraints processed. 1.06/0.56 c objective function length is 4316 literals 1.39/0.67 c And the winner is solver0 2.21/1.06 c SATISFIABLE 2.21/1.06 c OPTIMIZING... 2.21/1.06 c Got one! Elapsed wall clock time (in seconds):0.944 2.21/1.06 o 848 2.31/1.13 c And the winner is solver0 2.45/1.59 c Got one! Elapsed wall clock time (in seconds):1.468 2.45/1.59 o 844 5.44/2.72 c cleaning 2497 clauses out of 5008 with flag 10800/5008 7.98/3.98 c cleaning 4247 clauses out of 8511 with flag 24015/11008 11.03/5.46 c cleaning 5626 clauses out of 11264 with flag 39850/18008 14.44/7.15 c cleaning 6815 clauses out of 13639 with flag 57937/26009 18.28/9.05 c cleaning 7905 clauses out of 15824 with flag 78507/35009 22.94/11.28 c cleaning 8951 clauses out of 17919 with flag 101411/45009 27.98/13.73 c cleaning 9970 clauses out of 19967 with flag 126716/56008 33.68/16.52 c cleaning 10990 clauses out of 21997 with flag 154218/68008 39.67/19.56 c cleaning 11994 clauses out of 24007 with flag 183934/81008 46.59/22.91 c cleaning 12992 clauses out of 26013 with flag 215881/95008 54.07/26.68 c cleaning 14000 clauses out of 28022 with flag 250019/110009 62.20/30.70 c cleaning 15003 clauses out of 30022 with flag 286748/126009 70.60/34.89 c cleaning 16001 clauses out of 32019 with flag 325375/143009 79.93/39.47 c cleaning 17000 clauses out of 34018 with flag 366336/161009 89.95/44.36 c cleaning 17999 clauses out of 36017 with flag 409281/180008 100.67/49.68 c cleaning 19002 clauses out of 38018 with flag 454608/200008 112.05/55.46 c cleaning 19999 clauses out of 40016 with flag 502703/221008 123.70/61.21 c cleaning 21000 clauses out of 42017 with flag 552550/243008 136.11/67.34 c cleaning 21997 clauses out of 44018 with flag 605029/266009 148.92/73.75 c cleaning 23003 clauses out of 46021 with flag 659747/290009 162.58/80.57 c cleaning 23996 clauses out of 48017 with flag 716092/315008 176.79/87.69 c cleaning 25000 clauses out of 50022 with flag 775206/341009 191.85/95.11 c cleaning 26001 clauses out of 52022 with flag 836704/368009 207.45/102.98 c cleaning 27000 clauses out of 54021 with flag 900877/396009 224.18/111.44 c cleaning 28000 clauses out of 56020 with flag 966929/425008 240.94/119.75 c cleaning 29003 clauses out of 58020 with flag 1035311/455008 257.93/128.23 c cleaning 30000 clauses out of 60018 with flag 1105709/486009 276.26/137.30 c cleaning 30997 clauses out of 62018 with flag 1178466/518009 294.48/146.47 c cleaning 31998 clauses out of 64021 with flag 1254200/551009 303.65/150.96 c And the winner is solver1 303.65/151.33 c Got one! Elapsed wall clock time (in seconds):151.208 303.65/151.33 o 843 308.84/153.98 c cleaning 27228 clauses out of 54488 with flag 13702/573474 314.04/156.52 c cleaning 16621 clauses out of 33258 with flag 29180/579472 319.64/159.35 c cleaning 11797 clauses out of 23637 with flag 47804/586472 326.04/162.58 c cleaning 9911 clauses out of 19840 with flag 69050/594472 327.05/163.08 c And the winner is solver1 327.19/163.34 c Got one! Elapsed wall clock time (in seconds):163.218 327.19/163.34 o 842 330.28/164.86 c cleaning 7629 clauses out of 15282 with flag 10656/599825 334.88/167.14 c cleaning 6822 clauses out of 13655 with flag 26350/605827 340.68/170.03 c cleaning 6917 clauses out of 13833 with flag 44905/612827 347.70/173.57 c cleaning 7449 clauses out of 14914 with flag 66090/620825 355.50/177.46 c cleaning 8234 clauses out of 16467 with flag 90707/629827 364.49/181.95 c cleaning 9115 clauses out of 18232 with flag 117439/639826 374.29/186.80 c cleaning 10056 clauses out of 20116 with flag 147583/650825 385.15/192.29 c cleaning 11027 clauses out of 22060 with flag 179290/662825 397.35/198.39 c cleaning 12017 clauses out of 24033 with flag 212899/675825 411.75/205.56 c cleaning 13002 clauses out of 26016 with flag 248262/689825 425.94/212.62 c cleaning 14006 clauses out of 28014 with flag 286838/704825 442.90/221.08 c cleaning 15000 clauses out of 30008 with flag 329481/720825 460.30/229.73 c cleaning 16002 clauses out of 32010 with flag 373664/737827 478.30/238.71 c cleaning 16999 clauses out of 34006 with flag 420834/755825 485.35/242.54 c And the winner is solver1 485.35/242.90 c Got one! Elapsed wall clock time (in seconds):242.778 485.35/242.90 o 839 488.54/244.53 c cleaning 14111 clauses out of 28226 with flag 13690/767044 492.58/246.53 c cleaning 10057 clauses out of 20116 with flag 29606/773045 497.76/249.15 c cleaning 8524 clauses out of 17059 with flag 47420/780045 503.96/252.27 c cleaning 8263 clauses out of 16534 with flag 67705/788044 510.78/255.66 c cleaning 8632 clauses out of 17271 with flag 91415/797044 518.59/259.46 c cleaning 9317 clauses out of 18639 with flag 116980/807044 527.29/263.70 c cleaning 10154 clauses out of 20322 with flag 145153/818044 537.97/268.97 c cleaning 11081 clauses out of 22168 with flag 174955/830044 548.50/274.01 c cleaning 12038 clauses out of 24089 with flag 213868/843046 559.43/279.34 c cleaning 13024 clauses out of 26050 with flag 253560/857045 570.64/284.92 c cleaning 14013 clauses out of 28026 with flag 294418/872045 578.62/288.94 c And the winner is solver1 578.62/289.41 c Got one! Elapsed wall clock time (in seconds):289.29 578.62/289.41 o 838 582.14/291.12 c cleaning 14862 clauses out of 29729 with flag 13634/887761 586.14/293.16 c cleaning 10429 clauses out of 20867 with flag 30171/893761 591.14/295.63 c cleaning 8709 clauses out of 17437 with flag 49901/900760 596.74/298.45 c cleaning 8361 clauses out of 16728 with flag 70394/908760 603.94/302.04 c cleaning 8683 clauses out of 17367 with flag 92213/917760 612.74/306.40 c cleaning 9341 clauses out of 18684 with flag 116903/927760 622.74/311.48 c cleaning 10172 clauses out of 20343 with flag 143548/938760 633.55/316.88 c cleaning 11074 clauses out of 22171 with flag 173050/950760 644.75/322.46 c cleaning 12042 clauses out of 24097 with flag 207559/963760 657.72/328.82 c cleaning 13029 clauses out of 26058 with flag 245265/977763 671.54/335.78 c cleaning 14009 clauses out of 28026 with flag 286234/992760 684.95/342.47 c cleaning 15006 clauses out of 30018 with flag 330010/1008761 700.75/350.34 c cleaning 16005 clauses out of 32011 with flag 374985/1025760 718.61/359.11 c cleaning 17002 clauses out of 34008 with flag 421030/1043762 736.40/368.06 c cleaning 17995 clauses out of 36004 with flag 467732/1062760 756.41/378.02 c cleaning 19004 clauses out of 38009 with flag 515236/1082760 777.08/388.29 c cleaning 20002 clauses out of 40005 with flag 569556/1103760 797.48/398.45 c cleaning 21000 clauses out of 42004 with flag 626086/1125761 819.87/409.63 c cleaning 21996 clauses out of 44003 with flag 685112/1148760 844.53/421.78 c cleaning 23001 clauses out of 46007 with flag 747905/1172760 868.67/433.69 c cleaning 24003 clauses out of 48006 with flag 813458/1197760 892.07/445.37 c cleaning 25001 clauses out of 50006 with flag 884301/1223763 895.40/446.77 c And the winner is solver1 895.40/447.07 c Got one! Elapsed wall clock time (in seconds):446.956 895.40/447.07 o 833 897.29/448.04 c cleaning 15315 clauses out of 30629 with flag 8028/1229387 901.48/450.15 c cleaning 10658 clauses out of 21315 with flag 23538/1235388 906.28/452.57 c cleaning 8828 clauses out of 17656 with flag 41556/1242387 912.09/455.43 c cleaning 8411 clauses out of 16828 with flag 63709/1250387 918.90/458.86 c cleaning 8703 clauses out of 17417 with flag 87459/1259387 926.48/462.67 c cleaning 9352 clauses out of 18714 with flag 113171/1269387 935.48/467.19 c cleaning 10178 clauses out of 20361 with flag 142741/1280386 944.88/471.89 c cleaning 11087 clauses out of 22184 with flag 174437/1292387 959.00/479.64 c cleaning 12044 clauses out of 24097 with flag 209390/1305387 970.99/485.60 c cleaning 13027 clauses out of 26056 with flag 247190/1319390 985.19/492.70 c cleaning 14013 clauses out of 28025 with flag 285744/1334386 999.99/500.18 c cleaning 15006 clauses out of 30012 with flag 325645/1350386 1014.79/507.56 c cleaning 16001 clauses out of 32006 with flag 367756/1367386 1031.11/515.62 c cleaning 16998 clauses out of 34007 with flag 413696/1385388 1048.31/524.24 c cleaning 18002 clauses out of 36008 with flag 460311/1404387 1067.52/533.82 c cleaning 19003 clauses out of 38005 with flag 513046/1424386 1089.36/544.65 c cleaning 19995 clauses out of 40003 with flag 566612/1445387 1109.95/554.93 c cleaning 20999 clauses out of 42008 with flag 624417/1467387 1133.94/566.91 c cleaning 22002 clauses out of 44008 with flag 681675/1490386 1158.34/579.17 c cleaning 23003 clauses out of 46006 with flag 742119/1514386 1183.98/591.77 c cleaning 23996 clauses out of 48003 with flag 807460/1539386 1211.53/605.36 c cleaning 25001 clauses out of 50007 with flag 880501/1565386 1240.12/619.60 c cleaning 25998 clauses out of 52006 with flag 952501/1592386 1266.95/632.76 c And the winner is solver1 1266.95/633.01 c Got one! Elapsed wall clock time (in seconds):632.888 1266.95/633.01 o 828 1270.32/634.72 c cleaning 27699 clauses out of 55397 with flag 13142/1621775 1274.52/636.82 c cleaning 16848 clauses out of 33698 with flag 28942/1627775 1279.51/639.38 c cleaning 11923 clauses out of 23849 with flag 48299/1634774 1285.92/642.59 c cleaning 9963 clauses out of 19928 with flag 68457/1642776 1293.71/646.41 c cleaning 9480 clauses out of 18965 with flag 92634/1651776 1302.10/650.63 c cleaning 9743 clauses out of 19485 with flag 119916/1661776 1311.90/655.50 c cleaning 10372 clauses out of 20743 with flag 148628/1672777 1322.90/661.08 c cleaning 11183 clauses out of 22372 with flag 178161/1684778 1336.27/667.40 c cleaning 12092 clauses out of 24186 with flag 212971/1697775 1348.67/673.60 c cleaning 13045 clauses out of 26094 with flag 250077/1711775 1362.47/680.51 c cleaning 14018 clauses out of 28049 with flag 290352/1726775 1376.68/687.69 c cleaning 15011 clauses out of 30030 with flag 333435/1742774 1396.76/698.91 c cleaning 16007 clauses out of 32019 with flag 377421/1759774 1413.57/707.39 c cleaning 17001 clauses out of 34012 with flag 424452/1777774 1432.16/716.65 c cleaning 17996 clauses out of 36011 with flag 476795/1796774 1450.55/725.82 c cleaning 19006 clauses out of 38015 with flag 533394/1816774 1468.49/734.70 c cleaning 20000 clauses out of 40009 with flag 594226/1837774 1486.50/743.72 c cleaning 21004 clauses out of 42009 with flag 656430/1859774 1507.48/754.29 c cleaning 22001 clauses out of 44006 with flag 715371/1882775 1528.29/764.61 c cleaning 23001 clauses out of 46006 with flag 782108/1906776 1550.30/775.65 c cleaning 23998 clauses out of 48003 with flag 853471/1931774 1574.41/787.55 c cleaning 25001 clauses out of 50005 with flag 925199/1957774 1598.82/799.76 c cleaning 25999 clauses out of 52004 with flag 1003575/1984774 1623.40/812.08 c cleaning 27004 clauses out of 54007 with flag 1081143/2012776 1651.43/825.84 c cleaning 27998 clauses out of 56001 with flag 1162326/2041774 1680.65/840.45 c cleaning 28997 clauses out of 58003 with flag 1239876/2071774 1710.42/855.36 c cleaning 30003 clauses out of 60006 with flag 1321255/2102774 1745.62/872.72 c cleaning 30997 clauses out of 62005 with flag 1401217/2134776 1779.00/889.45 c cleaning 32001 clauses out of 64007 with flag 1492880/2167775 1800.02/899.91 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.02/899.91 c starts : 31957 1800.02/899.91 c conflicts : 2188713 1800.02/899.91 c decisions : 24113610 1800.02/899.91 c propagations : 1543089341 1800.02/899.91 c inspects : 6493898541 1800.02/899.91 c shortcuts : 0 1800.02/899.91 c learnt literals : 0 1800.02/899.91 c learnt binary clauses : 2 1800.02/899.91 c learnt ternary clauses : 2 1800.02/899.91 c learnt constraints : 2188713 1800.02/899.91 c ignored constraints : 0 1800.02/899.91 c root simplifications : 0 1800.02/899.91 c removed literals (reason simplification) : 12608791 1800.02/899.91 c reason swapping (by a shorter reason) : 0 1800.02/899.91 c Calls to reduceDB : 132 1800.02/899.91 c Number of update (reduction) of LBD : 379683 1800.02/899.91 c Imported unit clauses : 0 1800.02/899.91 c number of reductions to clauses (during analyze) : 0 1800.02/899.91 c number of learned constraints concerned by reduction : 0 1800.02/899.91 c number of learning phase by resolution : 0 1800.02/899.91 c number of learning phase by cutting planes : 0 1800.02/899.91 c speed (assignments/second) : 5781721.155827659 1800.02/899.91 c non guided choices 0 1800.02/899.93 c learnt constraints type 1800.02/899.93 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2 1800.02/899.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 52942 1800.02/899.93 c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<< 1800.02/899.93 c starts : 29 1800.02/899.93 c conflicts : 4838 1800.02/899.93 c decisions : 123199 1800.02/899.93 c propagations : 194169 1800.02/899.93 c inspects : 38782245 1800.02/899.93 c shortcuts : 0 1800.02/899.93 c learnt literals : 0 1800.02/899.93 c learnt binary clauses : 4 1800.02/899.93 c learnt ternary clauses : 6 1800.02/899.93 c learnt constraints : 4837 1800.02/899.93 c ignored constraints : 0 1800.02/899.93 c root simplifications : 0 1800.02/899.93 c removed literals (reason simplification) : 0 1800.02/899.93 c reason swapping (by a shorter reason) : 0 1800.02/899.93 c Calls to reduceDB : 0 1800.02/899.93 c Number of update (reduction) of LBD : 0 1800.02/899.93 c Imported unit clauses : 0 1800.02/899.93 c number of reductions to clauses (during analyze) : 0 1800.02/899.93 c number of learned constraints concerned by reduction : 0 1800.02/899.93 c number of learning phase by resolution : 0 1800.02/899.93 c number of learning phase by cutting planes : 0 1800.02/899.93 c speed (assignments/second) : 216.14440127792682 1800.02/899.93 c non guided choices 0 1800.02/899.93 c learnt constraints type 1800.02/899.93 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 92 1800.02/899.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6 1800.02/899.93 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 4 1800.02/899.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4735 1800.02/899.93 s SATISFIABLE 1800.02/899.93 c Found 8 solution(s) 1800.02/899.94 v x1 -x2 -x3 -x4 -x5 -x6 x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 x150 x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 x170 -x171 -x172 x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 x268 -x269 -x270 x271 x272 -x273 -x274 -x275 x276 x277 -x278 x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 x291 x292 -x293 x294 -x295 -x296 -x297 -x298 x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 x309 -x310 -x311 x312 x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 x347 x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 x481 x482 x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 x718 -x719 x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 x760 -x761 -x762 x763 -x764 x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 x882 -x883 x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 x953 x954 -x955 -x956 x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 x1104 -x1105 x1106 x1107 -x1108 -x1109 x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 x1134 x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 x1318 -x1319 x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 x1385 x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1582 x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 x1590 x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 x1701 x1702 -x1703 -x1704 -x1705 x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 x1935 -x1936 -x1937 x1938 -x1939 -x1940 x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 x2055 -x2056 x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 x2076 -x2077 x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 x2097 -x2098 x2099 x2100 -x2101 -x2102 x2103 x2104 x2105 x2106 -x2107 -x2108 -x2109 -x2110 x2111 -x2112 x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 x2164 x2165 -x2166 -x2167 -x2168 x2169 x2170 -x2171 x2172 -x2173 -x2174 x2175 x2176 -x2177 x2178 -x2179 -x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 x2292 -x2293 x2294 -x2295 x2296 x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 x2327 x2328 x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2443 x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 x2533 -x2534 -x2535 x2536 x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 x2591 -x2592 x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 x2602 -x2603 -x2604 x2605 x2606 -x2607 -x2608 x2609 -x2610 x2611 -x2612 -x2613 x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 x2657 -x2658 x2659 -x2660 -x2661 x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 -x2736 -x2737 x2738 -x2739 -x2740 x2741 -x2742 x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 x2770 -x2771 x2772 -x2773 -x2774 x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 x2795 -x2796 x2797 x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 x2827 -x2828 -x2829 -x2830 x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 x2904 x2905 -x2906 x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 x2937 x2938 -x2939 x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 x2960 -x2961 -x2962 -x2963 -x2964 x2965 x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 -x2973 x2974 -x2975 x2976 -x2977 -x2978 -x2979 -x2980 x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 -x3003 x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 x3057 -x3058 -x3059 -x3060 -x3061 x3062 -x3063 -x3064 -x3065 x3066 -x3067 x3068 x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 x3095 -x3096 -x3097 x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 -x3141 x3142 x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 x3155 -x3156 x3157 -x3158 x3159 -x3160 -x3161 x3162 -x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 x3242 x3243 -x3244 -x3245 x3246 x3247 x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 x3263 -x3264 x3265 -x3266 -x3267 -x3268 x3269 -x3270 x3271 -x3272 -x3273 x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 x3318 -x3319 x3320 -x3321 x3322 -x3323 -x3324 x3325 -x3326 x3327 -x3328 -x3329 x3330 x3331 -x3332 -x3333 -x3334 -x3335 -x3336 x3337 x3338 -x3339 -x3340 -x3341 -x3342 x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3352 -x3353 x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 x3381 x3382 -x3383 -x3384 -x3385 x3386 x3387 -x3388 x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 x3399 -x3400 -x3401 x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 x3415 x3416 -x3417 x3418 x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 x3459 x3460 x3461 -x3462 -x3463 -x3464 x3465 -x3466 x3467 x3468 x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 x3487 -x3488 -x3489 x3490 -x3491 -x3492 -x3493 x3494 -x3495 -x3496 x3497 x3498 -x3499 x3500 -x3501 -x3502 x3503 -x3504 -x3505 -x3506 x3507 -x3508 x3509 -x3510 -x3511 x3512 -x3513 x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 x3536 -x3537 x3538 x3539 x3540 x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 x3552 x3553 x3554 x3555 x3556 x3557 -x3558 -x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 x3574 -x3575 -x3576 -x3577 -x3578 -x3579 x3580 -x3581 x3582 x3583 x3584 x3585 -x3586 -x3587 -x3588 -x3589 -x3590 x3591 -x3592 x3593 x3594 x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 x3602 -x3603 -x3604 -x3605 -x3606 -x3607 x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 x3631 -x3632 -x3633 -x3634 -x3635 x3636 -x3637 -x3638 -x3639 x3640 -x3641 x3642 x3643 -x3644 -x3645 x3646 -x3647 -x3648 x3649 x3650 -x3651 -x3652 x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 x3665 x3666 x3667 x3668 -x3669 x3670 x3671 x3672 x3673 x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 x3700 x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 x3709 x3710 -x3711 x3712 -x3713 x3714 -x3715 x3716 -x3717 x3718 x3719 -x3720 -x3721 x3722 -x3723 -x3724 -x3725 x3726 -x3727 -x3728 -x3729 -x3730 -x3731 x3732 -x3733 -x3734 -x3735 x3736 x3737 -x3738 -x3739 x3740 -x3741 -x3742 -x3743 x3744 x3745 -x3746 x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 x3766 -x3767 -x3768 x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x3780 -x3781 x3782 x3783 x3784 x3785 x3786 x3787 -x3788 x3789 -x3790 -x3791 -x3792 -x3793 x3794 x3795 x3796 x3797 x3798 -x3799 -x3800 -x3801 x3802 -x3803 -x3804 x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 x3813 x3814 -x3815 x3816 -x3817 x3818 -x3819 -x3820 -x3821 x3822 -x3823 -x3824 x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 x3833 x3834 -x3835 -x3836 x3837 -x3838 -x3839 -x3840 -x3841 -x3842 x3843 x3844 x3845 -x3846 -x3847 -x3848 x3849 x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 x3870 -x3871 -x3872 -x3873 -x3874 x3875 x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 x3894 -x3895 x3896 x3897 x3898 -x3899 x3900 x3901 -x3902 -x3903 x3904 -x3905 -x3906 x3907 -x3908 x3909 -x3910 x3911 x3912 -x3913 -x3914 x3915 x3916 -x3917 x3918 -x3919 x3920 -x3921 -x3922 -x3923 -x3924 -x3925 x3926 -x3927 -x3928 x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 x3944 x3945 -x3946 x3947 x3948 -x3949 -x3950 x3951 x3952 x3953 -x3954 -x3955 x3956 x3957 x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 -x3965 -x3966 x3967 x3968 -x3969 -x3970 x3971 -x3972 x3973 x3974 x3975 x3976 -x3977 -x3978 x3979 x3980 -x3981 x3982 -x3983 -x3984 x3985 x3986 -x3987 x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 -x4000 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 x4022 -x4023 x4024 x4025 x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 x4033 -x4034 -x4035 x4036 -x4037 x4038 -x4039 -x4040 -x4041 -x4042 x4043 x4044 -x4045 -x4046 x4047 x4048 -x4049 x4050 x4051 x4052 -x4053 x4054 -x4055 x4056 -x4057 -x4058 -x4059 x4060 x4061 -x4062 -x4063 -x4064 x4065 -x4066 x4067 -x4068 -x4069 -x4070 -x4071 x4072 -x4073 -x4074 -x4075 -x4076 -x4077 x4078 -x4079 x4080 x4081 x4082 x4083 -x4084 x4085 -x4086 x4087 x4088 -x4089 x4090 -x4091 -x4092 -x4093 -x4094 x4095 x4096 x4097 -x4098 x4099 x4100 -x4101 -x4102 -x4103 -x4104 x4105 x4106 -x4107 x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 x4122 -x4123 -x4124 -x4125 x4126 -x4127 -x4128 -x4129 -x4130 x4131 -x4132 x4133 -x4134 x4135 x4136 -x4137 -x4138 x4139 -x4140 -x4141 -x4142 -x4143 x4144 -x4145 x4146 x4147 -x4148 x4149 x4150 x4151 -x4152 -x4153 x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 x4165 x4166 -x4167 -x4168 x4169 -x4170 x4171 x4172 x4173 -x4174 -x4175 -x4176 -x4177 x4178 -x4179 x4180 -x4181 x4182 -x4183 -x4184 -x4185 x4186 -x4187 x4188 -x4189 x4190 -x4191 -x4192 x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 x4202 x4203 -x4204 -x4205 -x4206 -x4207 -x4208 x4209 -x4210 x4211 -x4212 -x4213 x4214 -x4215 -x4216 x4217 x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 x4234 x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 x4247 -x4248 -x4249 x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4268 x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 -x4283 x4284 x4285 x4286 x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293 -x4294 x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 x4302 -x4303 -x4304 -x4305 x4306 -x4307 -x4308 -x4309 x4310 -x4311 -x4312 -x4313 x4314 x4315 -x4316 1800.02/899.95 c objective function=828 1800.02/899.95 c Total wall clock time (in seconds): 899.827
OK 828
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-4081106-1465225221/watcher-4081106-1465225221 -o /tmp/evaluation-result-4081106-1465225221/solver-4081106-1465225221 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31432 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081106-1465225221.opb pid=1155 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.06 4.17 4.17 4/198 1158 /proc/meminfo: memFree=28139732/32872528 swapFree=14448/1543360 [pid=1158] ppid=1155 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/1158/stat : 1158 (java) D 1155 1158 31415 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 104455749 9515008 176 33554432000 1073741824 1073778376 140735508639872 140735508622600 266435642256 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/1158/statm: 2323 176 133 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 4.06 4.17 4.17 4/198 1158 /proc/meminfo: memFree=28139732/32872528 swapFree=14448/1543360 [pid=1158] ppid=1155 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/1158/stat : 1158 (java) S 1155 1158 31415 0 -1 4202496 4423 0 1 0 8 1 0 0 20 0 18 0 104455749 9787879424 6053 33554432000 1073741824 1073778376 140736521448688 140736521439824 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1158/statm: 2389619 6053 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200222 s] /proc/loadavg: 4.06 4.17 4.17 4/198 1158 /proc/meminfo: memFree=28139732/32872528 swapFree=14448/1543360 [pid=1158] ppid=1155 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/1158/stat : 1158 (java) S 1155 1158 31415 0 -1 4202496 5017 0 1 0 26 1 0 0 20 0 18 0 104455749 9787879424 6972 33554432000 1073741824 1073778376 140736521448688 140736521439824 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1158/statm: 2389619 6972 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300243 s] /proc/loadavg: 4.06 4.17 4.17 4/198 1158 /proc/meminfo: memFree=28139732/32872528 swapFree=14448/1543360 [pid=1158] ppid=1155 vsize=9558476 CPUtime=0.53 cores=1,3,5,7 /proc/1158/stat : 1158 (java) S 1155 1158 31415 0 -1 4202496 7800 0 1 0 52 1 0 0 20 0 18 0 104455749 9787879424 10012 33554432000 1073741824 1073778376 140736521448688 140736521439824 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1158/statm: 2389619 10012 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9558476 [startup+0.700259 s] /proc/loadavg: 4.06 4.17 4.17 4/198 1158 /proc/meminfo: memFree=28139732/32872528 swapFree=14448/1543360 [pid=1158] ppid=1155 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/1158/stat : 1158 (java) S 1155 1158 31415 0 -1 4202496 21516 0 1 0 167 6 0 0 20 0 19 0 104455749 10060525568 30540 33554432000 1073741824 1073778376 140736521448688 140736521439824 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1158/statm: 2456183 30540 2257 9 0 2446860 0 Current children cumulated CPU time (s) 1.73 Current children cumulated vsize (KiB) 9824732 [startup+1.50078 s] /proc/loadavg: 4.06 4.17 4.17 8/220 1183 /proc/meminfo: memFree=28020676/32872528 swapFree=14448/1543360 [pid=1158] ppid=1155 vsize=9824732 CPUtime=2.45 cores=1,3,5,7 /proc/1158/stat : 1158 (java) S 1155 1158 31415 0 -1 4202496 22136 0 1 0 237 8 0 0 20 0 19 0 104455749 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140736521439824 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1158/statm: 2456183 32321 2271 9 0 2446860 0 [pid=1158/tid=1160] ppid=1155 vsize=9824732 CPUtime=0.55 cores=1,3,5,7 /proc/1158/task/1160/stat : 1160 (java) S 1155 1158 31415 0 -1 4202560 2450 0 1 0 53 2 0 0 20 0 19 0 104455750 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573359477624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1161] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1161/stat : 1161 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104455751 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573348538664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1162] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1162/stat : 1162 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104455751 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573347485864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1163] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1163/stat : 1163 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104455751 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573346433576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1164] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1164/stat : 1164 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104455751 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573345380776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1165] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1165/stat : 1165 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104455751 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573344328488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1166] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1166/stat : 1166 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104455751 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573343275688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1167] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1167/stat : 1167 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104455751 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573342223400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1168] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1168/stat : 1168 (java) S 1155 1158 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104455751 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573341170600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1169] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1169/stat : 1169 (java) S 1155 1158 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104455752 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573183699176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1170] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1170/stat : 1170 (java) S 1155 1158 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104455753 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573182645240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1171] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1171/stat : 1171 (java) S 1155 1158 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104455753 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573181592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1172] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1172/stat : 1172 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104455755 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573180541328 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1173] ppid=1155 vsize=9824732 CPUtime=0.74 cores=1,3,5,7 /proc/1158/task/1173/stat : 1173 (java) S 1155 1158 31415 0 -1 4202560 9817 0 0 0 73 1 0 0 20 0 19 0 104455755 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573179488952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1174] ppid=1155 vsize=9824732 CPUtime=0.82 cores=1,3,5,7 /proc/1158/task/1174/stat : 1174 (java) S 1155 1158 31415 0 -1 4202560 8530 0 0 0 81 1 0 0 20 0 19 0 104455755 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573178436152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1175] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1175/stat : 1175 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104455755 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573177384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1176] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1176/stat : 1176 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104455755 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573176331464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1180] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1180/stat : 1180 (java) S 1155 1158 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104455809 10060525568 32321 33554432000 1073741824 1073778376 140736521448688 140573172118568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.45 Current children cumulated vsize (KiB) 9824732 [startup+3.10087 s] /proc/loadavg: 3.89 4.14 4.15 6/220 1186 /proc/meminfo: memFree=28001108/32872528 swapFree=14448/1543360 [pid=1158] ppid=1155 vsize=9824732 CPUtime=6.28 cores=1,3,5,7 /proc/1158/stat : 1158 (java) S 1155 1158 31415 0 -1 4202496 26194 0 1 0 618 10 0 0 20 0 22 0 104455749 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140736521439824 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1158/statm: 2456183 42115 2280 9 0 2446860 0 [pid=1158/tid=1160] ppid=1155 vsize=9824732 CPUtime=0.56 cores=1,3,5,7 /proc/1158/task/1160/stat : 1160 (java) S 1155 1158 31415 0 -1 4202560 2450 0 1 0 54 2 0 0 20 0 22 0 104455750 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573359477624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1161] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1161/stat : 1161 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573348538664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1162] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1162/stat : 1162 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573347485864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1163] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1163/stat : 1163 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573346433576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1164] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1164/stat : 1164 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573345380776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1165] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1165/stat : 1165 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573344328488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1166] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1166/stat : 1166 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573343275688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1167] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1167/stat : 1167 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573342223400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1168] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1168/stat : 1168 (java) S 1155 1158 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573341170600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1169] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1169/stat : 1169 (java) S 1155 1158 31415 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 104455752 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573183699176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1170] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1170/stat : 1170 (java) S 1155 1158 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 104455753 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573182645240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1171] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1171/stat : 1171 (java) S 1155 1158 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104455753 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573181592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1172] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1172/stat : 1172 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455755 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573180541328 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1173] ppid=1155 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/1158/task/1173/stat : 1173 (java) S 1155 1158 31415 0 -1 4202560 9825 0 0 0 105 1 0 0 20 0 22 0 104455755 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573179488952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1174] ppid=1155 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/1158/task/1174/stat : 1174 (java) S 1155 1158 31415 0 -1 4202560 12549 0 0 0 131 2 0 0 20 0 22 0 104455755 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573178436152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1175] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1175/stat : 1175 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455755 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573177384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1176] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1176/stat : 1176 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455755 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573176331464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1180] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1180/stat : 1180 (java) S 1155 1158 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104455809 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573172118568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1184] ppid=1155 vsize=9824732 CPUtime=1.47 cores=1,3,5,7 /proc/1158/task/1184/stat : 1184 (java) R 1155 1158 31415 0 -1 4202560 14 0 0 0 147 0 0 0 20 0 22 0 104455909 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573175267744 140573223428280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1185] ppid=1155 vsize=9824732 CPUtime=1.48 cores=1,3,5,7 /proc/1158/task/1185/stat : 1185 (java) R 1155 1158 31415 0 -1 4202560 14 0 0 0 148 0 0 0 20 0 22 0 104455909 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573174221176 140573223673862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1186] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1186/stat : 1186 (java) S 1155 1158 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104455909 10060525568 42115 33554432000 1073741824 1073778376 140736521448688 140573173170984 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 9824732 [startup+6.30088 s] /proc/loadavg: 3.89 4.14 4.15 6/220 1186 /proc/meminfo: memFree=27927096/32872528 swapFree=14448/1543360 [pid=1158] ppid=1155 vsize=9824732 CPUtime=12.84 cores=1,3,5,7 /proc/1158/stat : 1158 (java) S 1155 1158 31415 0 -1 4202496 26291 0 1 0 1270 14 0 0 20 0 22 0 104455749 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140736521439824 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1158/statm: 2456183 54868 2292 9 0 2446860 0 [pid=1158/tid=1160] ppid=1155 vsize=9824732 CPUtime=0.56 cores=1,3,5,7 /proc/1158/task/1160/stat : 1160 (java) S 1155 1158 31415 0 -1 4202560 2450 0 1 0 54 2 0 0 20 0 22 0 104455750 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573359477624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1161] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1161/stat : 1161 (java) S 1155 1158 31415 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573348538664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1162] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1162/stat : 1162 (java) S 1155 1158 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573347485864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1163] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1163/stat : 1163 (java) S 1155 1158 31415 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573346433576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1164] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1164/stat : 1164 (java) S 1155 1158 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573345380776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1165] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1165/stat : 1165 (java) S 1155 1158 31415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573344328488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1166] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1166/stat : 1166 (java) S 1155 1158 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573343275688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1167] ppid=1155 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/1158/task/1167/stat : 1167 (java) S 1155 1158 31415 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 104455751 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573342223400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1168] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1168/stat : 1168 (java) S 1155 1158 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104455751 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573341170600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1169] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1169/stat : 1169 (java) S 1155 1158 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104455752 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573183699176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1170] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1170/stat : 1170 (java) S 1155 1158 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104455753 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573182645240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1171] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1171/stat : 1171 (java) S 1155 1158 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104455753 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573181592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1172] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1172/stat : 1172 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455755 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573180541328 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1173] ppid=1155 vsize=9824732 CPUtime=1.12 cores=1,3,5,7 /proc/1158/task/1173/stat : 1173 (java) S 1155 1158 31415 0 -1 4202560 9825 0 0 0 111 1 0 0 20 0 22 0 104455755 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573179488952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1174] ppid=1155 vsize=9824732 CPUtime=1.38 cores=1,3,5,7 /proc/1158/task/1174/stat : 1174 (java) S 1155 1158 31415 0 -1 4202560 12549 0 0 0 136 2 0 0 20 0 22 0 104455755 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573178436152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1175] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1175/stat : 1175 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455755 10060525568 54868 33554432000 1073741824 1073778376 140736521448688 140573177384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1176] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=1158/tid=1168] ppid=1155 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/1158/task/1168/stat : 1168 (java) S 1155 1158 31415 0 -1 4202560 3733 0 0 0 195 38 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573341170600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1169] ppid=1155 vsize=9824732 CPUtime=6.48 cores=1,3,5,7 /proc/1158/task/1169/stat : 1169 (java) S 1155 1158 31415 0 -1 4202560 2604 0 0 0 644 4 0 0 20 0 22 0 104455752 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573183699176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1170] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1170/stat : 1170 (java) S 1155 1158 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104455753 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573182645240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1171] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1171/stat : 1171 (java) S 1155 1158 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104455753 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573181592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1172] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1172/stat : 1172 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573180541328 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1173] ppid=1155 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/1158/task/1173/stat : 1173 (java) S 1155 1158 31415 0 -1 4202560 9841 0 0 0 171 2 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573179488952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1174] ppid=1155 vsize=9824732 CPUtime=2.89 cores=1,3,5,7 /proc/1158/task/1174/stat : 1174 (java) S 1155 1158 31415 0 -1 4202560 22366 0 0 0 286 3 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573178436152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1175] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1175/stat : 1175 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573177384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1176] ppid=1155 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/1158/task/1176/stat : 1176 (java) S 1155 1158 31415 0 -1 4202560 51 0 0 0 6 12 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573176331464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1186] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1186/stat : 1186 (java) S 1155 1158 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104455909 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573173170984 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1387] ppid=1155 vsize=9824732 CPUtime=244.39 cores=1,3,5,7 /proc/1158/task/1387/stat : 1387 (java) R 1155 1158 31415 0 -1 4202560 3 0 0 0 24436 3 0 0 20 0 22 0 104519051 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573175266976 140573224065354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1388] ppid=1155 vsize=9824732 CPUtime=244.27 cores=1,3,5,7 /proc/1158/task/1388/stat : 1388 (java) R 1155 1158 31415 0 -1 4202560 9 0 0 0 24423 4 0 0 20 0 22 0 104519051 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573172117056 140573223673791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1389] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1389/stat : 1389 (java) S 1155 1158 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 104519051 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573174223912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1762.41 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.908 s] /proc/loadavg: 4.28 4.20 4.18 6/219 1395 /proc/meminfo: memFree=26261172/32872528 swapFree=14448/1543360 [pid=1158] ppid=1155 vsize=9824732 CPUtime=1797.61 cores=1,3,5,7 /proc/1158/stat : 1158 (java) S 1155 1158 31415 0 -1 4202496 61699 0 1 0 179380 381 0 0 20 0 22 0 104455749 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140736521439824 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1158/statm: 2456183 882959 2302 9 0 2446860 0 [pid=1158/tid=1160] ppid=1155 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/1158/task/1160/stat : 1160 (java) S 1155 1158 31415 0 -1 4202560 2462 0 1 0 61 3 0 0 20 0 22 0 104455750 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573359477624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1161] ppid=1155 vsize=9824732 CPUtime=2.61 cores=1,3,5,7 /proc/1158/task/1161/stat : 1161 (java) S 1155 1158 31415 0 -1 4202560 2050 0 0 0 213 48 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573348538664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1162] ppid=1155 vsize=9824732 CPUtime=2.44 cores=1,3,5,7 /proc/1158/task/1162/stat : 1162 (java) S 1155 1158 31415 0 -1 4202560 2416 0 0 0 200 44 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573347485864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1163] ppid=1155 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/1158/task/1163/stat : 1163 (java) S 1155 1158 31415 0 -1 4202560 3382 0 0 0 186 34 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573346433576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1164] ppid=1155 vsize=9824732 CPUtime=2.1 cores=1,3,5,7 /proc/1158/task/1164/stat : 1164 (java) S 1155 1158 31415 0 -1 4202560 3309 0 0 0 177 33 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573345380776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1165] ppid=1155 vsize=9824732 CPUtime=2.67 cores=1,3,5,7 /proc/1158/task/1165/stat : 1165 (java) S 1155 1158 31415 0 -1 4202560 2786 0 0 0 222 45 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573344328488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1166] ppid=1155 vsize=9824732 CPUtime=1.94 cores=1,3,5,7 /proc/1158/task/1166/stat : 1166 (java) S 1155 1158 31415 0 -1 4202560 2120 0 0 0 163 31 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573343275688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1167] ppid=1155 vsize=9824732 CPUtime=2.85 cores=1,3,5,7 /proc/1158/task/1167/stat : 1167 (java) S 1155 1158 31415 0 -1 4202560 3075 0 0 0 236 49 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573342223400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1168] ppid=1155 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/1158/task/1168/stat : 1168 (java) S 1155 1158 31415 0 -1 4202560 3733 0 0 0 195 38 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573341170600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1169] ppid=1155 vsize=9824732 CPUtime=6.48 cores=1,3,5,7 /proc/1158/task/1169/stat : 1169 (java) S 1155 1158 31415 0 -1 4202560 2604 0 0 0 644 4 0 0 20 0 22 0 104455752 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573183699176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1170] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1170/stat : 1170 (java) S 1155 1158 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104455753 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573182645240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1171] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1171/stat : 1171 (java) S 1155 1158 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104455753 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573181592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1172] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1172/stat : 1172 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573180541328 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1173] ppid=1155 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/1158/task/1173/stat : 1173 (java) S 1155 1158 31415 0 -1 4202560 9841 0 0 0 171 2 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573179488952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1174] ppid=1155 vsize=9824732 CPUtime=2.89 cores=1,3,5,7 /proc/1158/task/1174/stat : 1174 (java) S 1155 1158 31415 0 -1 4202560 22366 0 0 0 286 3 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573178436152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1175] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1175/stat : 1175 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573177384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1176] ppid=1155 vsize=9824732 CPUtime=0.19 cores=1,3,5,7 /proc/1158/task/1176/stat : 1176 (java) S 1155 1158 31415 0 -1 4202560 51 0 0 0 7 12 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573176331464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1186] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1186/stat : 1186 (java) S 1155 1158 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104455909 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573173170984 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1387] ppid=1155 vsize=9824732 CPUtime=261.95 cores=1,3,5,7 /proc/1158/task/1387/stat : 1387 (java) R 1155 1158 31415 0 -1 4202560 3 0 0 0 26192 3 0 0 20 0 22 0 104519051 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573175266976 140573223591872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1388] ppid=1155 vsize=9824732 CPUtime=261.81 cores=1,3,5,7 /proc/1158/task/1388/stat : 1388 (java) R 1155 1158 31415 0 -1 4202560 9 0 0 0 26177 4 0 0 20 0 22 0 104519051 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573172117056 140573223673763 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1389] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1389/stat : 1389 (java) S 1155 1158 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 104519051 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573174223912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.61 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 1158 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+899.908 s] /proc/loadavg: 4.28 4.20 4.18 6/219 1395 /proc/meminfo: memFree=26261172/32872528 swapFree=14448/1543360 [pid=1158] ppid=1155 vsize=9824732 CPUtime=1797.61 cores=1,3,5,7 /proc/1158/stat : 1158 (java) S 1155 1158 31415 0 -1 4202496 61699 0 1 0 179380 381 0 0 20 0 22 0 104455749 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140736521439824 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1158/statm: 2456183 882959 2302 9 0 2446860 0 [pid=1158/tid=1160] ppid=1155 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/1158/task/1160/stat : 1160 (java) S 1155 1158 31415 0 -1 4202560 2462 0 1 0 61 3 0 0 20 0 22 0 104455750 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573359477624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1161] ppid=1155 vsize=9824732 CPUtime=2.61 cores=1,3,5,7 /proc/1158/task/1161/stat : 1161 (java) S 1155 1158 31415 0 -1 4202560 2050 0 0 0 213 48 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573348538664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1162] ppid=1155 vsize=9824732 CPUtime=2.44 cores=1,3,5,7 /proc/1158/task/1162/stat : 1162 (java) S 1155 1158 31415 0 -1 4202560 2416 0 0 0 200 44 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573347485864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1163] ppid=1155 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/1158/task/1163/stat : 1163 (java) S 1155 1158 31415 0 -1 4202560 3382 0 0 0 186 34 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573346433576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1164] ppid=1155 vsize=9824732 CPUtime=2.1 cores=1,3,5,7 /proc/1158/task/1164/stat : 1164 (java) S 1155 1158 31415 0 -1 4202560 3309 0 0 0 177 33 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573345380776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1165] ppid=1155 vsize=9824732 CPUtime=2.67 cores=1,3,5,7 /proc/1158/task/1165/stat : 1165 (java) S 1155 1158 31415 0 -1 4202560 2786 0 0 0 222 45 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573344328488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1166] ppid=1155 vsize=9824732 CPUtime=1.94 cores=1,3,5,7 /proc/1158/task/1166/stat : 1166 (java) S 1155 1158 31415 0 -1 4202560 2120 0 0 0 163 31 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573343275688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1167] ppid=1155 vsize=9824732 CPUtime=2.85 cores=1,3,5,7 /proc/1158/task/1167/stat : 1167 (java) S 1155 1158 31415 0 -1 4202560 3075 0 0 0 236 49 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573342223400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1168] ppid=1155 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/1158/task/1168/stat : 1168 (java) S 1155 1158 31415 0 -1 4202560 3733 0 0 0 195 38 0 0 20 0 22 0 104455751 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573341170600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1169] ppid=1155 vsize=9824732 CPUtime=6.48 cores=1,3,5,7 /proc/1158/task/1169/stat : 1169 (java) S 1155 1158 31415 0 -1 4202560 2604 0 0 0 644 4 0 0 20 0 22 0 104455752 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573183699176 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1170] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1170/stat : 1170 (java) S 1155 1158 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104455753 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573182645240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1171] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1171/stat : 1171 (java) S 1155 1158 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104455753 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573181592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1172] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1172/stat : 1172 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573180541328 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1173] ppid=1155 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/1158/task/1173/stat : 1173 (java) S 1155 1158 31415 0 -1 4202560 9841 0 0 0 171 2 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573179488952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1174] ppid=1155 vsize=9824732 CPUtime=2.89 cores=1,3,5,7 /proc/1158/task/1174/stat : 1174 (java) S 1155 1158 31415 0 -1 4202560 22366 0 0 0 286 3 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573178436152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1175] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1175/stat : 1175 (java) S 1155 1158 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573177384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1158/tid=1176] ppid=1155 vsize=9824732 CPUtime=0.19 cores=1,3,5,7 /proc/1158/task/1176/stat : 1176 (java) S 1155 1158 31415 0 -1 4202560 51 0 0 0 7 12 0 0 20 0 22 0 104455755 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573176331464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1186] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1186/stat : 1186 (java) S 1155 1158 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104455909 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573173170984 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1158/tid=1387] ppid=1155 vsize=9824732 CPUtime=261.95 cores=1,3,5,7 /proc/1158/task/1387/stat : 1387 (java) R 1155 1158 31415 0 -1 4202560 3 0 0 0 26192 3 0 0 20 0 22 0 104519051 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573175266976 140573223591872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1158/tid=1388] ppid=1155 vsize=9824732 CPUtime=261.81 cores=1,3,5,7 /proc/1158/task/1388/stat : 1388 (java) R 1155 1158 31415 0 -1 4202560 9 0 0 0 26177 4 0 0 20 0 22 0 104519051 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573172117056 140573223673763 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1158/tid=1389] ppid=1155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1158/task/1389/stat : 1389 (java) S 1155 1158 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 104519051 10060525568 882959 33554432000 1073741824 1073778376 140736521448688 140573174223912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1158 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=438507 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=12390 # CPU time returned by wait4() is 1796.45 # while last known CPU time is 1797.61 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.40994 # lost CPU user time (s): 2.62009 # lost CPU system time (s): -0.21 Real time (s): 899.978 CPU time (s): 1800.02 CPU user time (s): 1796.42 CPU system time (s): 3.6 CPU usage (%): 200.007 Max. virtual memory (cumulated for all children) (KiB): 9826604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.44 system time used= 4.01239 maximum resident set size= 3531948 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61737 page faults= 1 swaps= 0 block input operations= 0 block output operations= 952 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23178 involuntary context switches= 18851 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.59315 second user time and 7.13591 second system time The end
Begin job on node116 at 2016-06-06 17:00:21 IDJOB=4081106 IDBENCH=2047 IDSOLVER=2543 FILE ID=node116/4081106-1465225221 RUNJOBID= node116-1465218446-31432 PBS_JOBID= 19843214 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-apex4.a.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081106-1465225221/watcher-4081106-1465225221 -o /tmp/evaluation-result-4081106-1465225221/solver-4081106-1465225221 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31432 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081106-1465225221.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 59d685b710ba34babb28c57a0abba1bc RANDOM SEED=548678241 node116.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 : 2667.134 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 : 5334.26 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 : 2667.134 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 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 : 2667.134 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 : 2667.134 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 : 2667.134 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 : 2667.134 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 : 2667.134 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: 28140260 kB Buffers: 16376 kB Cached: 90128 kB SwapCached: 1432 kB Active: 2437436 kB Inactive: 48456 kB Active(anon): 2380516 kB Inactive(anon): 1372 kB Active(file): 56920 kB Inactive(file): 47084 kB Unevictable: 1543360 kB Mlocked: 14448 kB SwapTotal: 67108856 kB SwapFree: 67098876 kB Dirty: 1300 kB Writeback: 0 kB AnonPages: 3922224 kB Mapped: 15356 kB Shmem: 0 kB Slab: 565560 kB SReclaimable: 9564 kB SUnreclaim: 555996 kB KernelStack: 1632 kB PageTables: 12228 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4128316 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3860480 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= 71732 MiB End job on node116 at 2016-06-06 17:15:21