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 Resolution PB16 | SAT (TO) | 8 | 1800.03 | 1797.55 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_15.r.opb |
| MD5SUM | 68c43c42d601fb3367802646c07cb8c3 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 1.07583 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 8 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 50 |
| Number of constraints which are clauses | 50 |
| 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 | 10 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 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.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 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.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4105517-1466261481.opb 0.09/0.11 c reading problem ... 0.09/0.11 c objective function found 0.09/0.14 c ... done. Wall clock time 0.029s. 0.09/0.14 c declared #vars 100 0.09/0.14 c #constraints 50 0.09/0.14 c constraints type 0.09/0.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50 0.09/0.14 c 50 constraints processed. 0.09/0.14 c objective function length is 100 literals 0.09/0.15 c SATISFIABLE 0.09/0.15 c OPTIMIZING... 0.09/0.15 c Got one! Elapsed wall clock time (in seconds):0.034 0.09/0.15 o 12 0.09/0.15 c Got one! Elapsed wall clock time (in seconds):0.039 0.09/0.15 o 11 0.09/0.16 c Got one! Elapsed wall clock time (in seconds):0.042 0.09/0.16 o 10 0.66/0.43 c cleaning 2507 clauses out of 5014 with flag 12951/5014 1.13/0.62 c cleaning 4254 clauses out of 8507 with flag 28344/11014 1.33/0.87 c cleaning 5614 clauses out of 11255 with flag 46125/18016 1.64/1.17 c cleaning 6818 clauses out of 13639 with flag 66844/26014 1.64/1.19 c Got one! Elapsed wall clock time (in seconds):1.076 1.64/1.19 o 9 1.91/1.34 c cleaning 6234 clauses out of 12467 with flag 13603/31660 2.11/1.54 c cleaning 6112 clauses out of 12230 with flag 29242/37657 2.41/1.82 c cleaning 6558 clauses out of 13119 with flag 47262/44658 2.71/2.13 c cleaning 7280 clauses out of 14560 with flag 68018/52657 3.11/2.59 c cleaning 8140 clauses out of 16280 with flag 90847/61657 3.61/3.01 c cleaning 9068 clauses out of 18141 with flag 115899/71658 4.11/3.51 c cleaning 10035 clauses out of 20072 with flag 144865/82657 4.70/4.12 c cleaning 11002 clauses out of 22037 with flag 175020/94657 5.30/4.72 c cleaning 12015 clauses out of 24036 with flag 207856/107658 6.11/5.53 c cleaning 13013 clauses out of 26026 with flag 244136/121663 7.10/6.57 c cleaning 14003 clauses out of 28007 with flag 283071/136657 8.42/7.85 c cleaning 14998 clauses out of 30005 with flag 323942/152658 9.61/9.09 c cleaning 15999 clauses out of 32007 with flag 367114/169658 11.01/10.47 c cleaning 16999 clauses out of 34007 with flag 412793/187657 12.61/12.05 c cleaning 17993 clauses out of 36009 with flag 462996/206658 14.21/13.68 c cleaning 19005 clauses out of 38015 with flag 516074/226657 15.81/15.24 c cleaning 20005 clauses out of 40011 with flag 571643/247658 17.51/16.99 c cleaning 21000 clauses out of 42009 with flag 628492/269661 19.61/19.05 c cleaning 21994 clauses out of 44005 with flag 689295/292657 21.61/21.07 c cleaning 23004 clauses out of 46018 with flag 753113/316664 24.01/23.48 c cleaning 23994 clauses out of 48007 with flag 820189/341657 26.60/26.08 c cleaning 24993 clauses out of 50013 with flag 888848/367657 29.40/28.89 c cleaning 26002 clauses out of 52020 with flag 962065/394657 32.40/31.84 c cleaning 27004 clauses out of 54019 with flag 1038780/422658 35.50/34.96 c cleaning 28008 clauses out of 56018 with flag 1122074/451661 38.90/38.31 c cleaning 28990 clauses out of 58006 with flag 1199985/481657 43.00/42.42 c cleaning 30002 clauses out of 60016 with flag 1282518/512657 46.40/45.89 c cleaning 31001 clauses out of 62014 with flag 1369830/544657 50.21/49.64 c cleaning 31995 clauses out of 64013 with flag 1462035/577657 54.20/53.68 c cleaning 33002 clauses out of 66018 with flag 1556645/611657 58.70/58.14 c cleaning 33997 clauses out of 68016 with flag 1654783/646657 63.10/62.57 c cleaning 35006 clauses out of 70019 with flag 1757395/682657 68.00/67.44 c cleaning 36007 clauses out of 72016 with flag 1863336/719660 73.10/72.51 c cleaning 36997 clauses out of 74006 with flag 1963945/757657 78.70/78.12 c cleaning 38001 clauses out of 76009 with flag 2064624/796657 84.61/84.01 c cleaning 39005 clauses out of 78010 with flag 2168258/836659 90.40/89.83 c cleaning 39994 clauses out of 80005 with flag 2278332/877659 96.50/95.98 c cleaning 40993 clauses out of 82009 with flag 2389998/919657 102.80/102.22 c cleaning 42011 clauses out of 84021 with flag 2507962/962662 108.85/108.23 c cleaning 43002 clauses out of 86008 with flag 2631019/1006660 115.25/114.68 c cleaning 44002 clauses out of 88004 with flag 2758920/1051658 122.35/121.79 c cleaning 44993 clauses out of 90004 with flag 2890123/1097660 130.25/129.62 c cleaning 45997 clauses out of 92009 with flag 3026582/1144658 138.35/137.71 c cleaning 46999 clauses out of 94012 with flag 3156396/1192658 146.44/145.86 c cleaning 47993 clauses out of 96012 with flag 3286126/1241657 155.24/154.69 c cleaning 49003 clauses out of 98019 with flag 3425927/1291657 165.44/164.89 c cleaning 50008 clauses out of 100022 with flag 3562704/1342663 175.84/175.25 c cleaning 50997 clauses out of 102009 with flag 3708334/1394658 184.95/184.37 c cleaning 52005 clauses out of 104014 with flag 3858645/1447660 195.75/195.18 c cleaning 53002 clauses out of 106009 with flag 4007794/1501660 206.55/205.98 c cleaning 54000 clauses out of 108004 with flag 4153794/1556657 219.15/218.56 c cleaning 54990 clauses out of 110005 with flag 4301532/1612658 230.45/229.90 c cleaning 55998 clauses out of 112014 with flag 4454581/1669657 236.85/236.28 c Got one! Elapsed wall clock time (in seconds):236.163 236.85/236.28 o 8 238.05/237.46 c cleaning 49666 clauses out of 99349 with flag 13674/1712990 238.67/238.03 c cleaning 27829 clauses out of 55684 with flag 29025/1718991 239.07/238.42 c cleaning 17419 clauses out of 34856 with flag 47219/1725992 239.38/238.79 c cleaning 12712 clauses out of 25436 with flag 67708/1733991 239.77/239.14 c cleaning 10858 clauses out of 21724 with flag 91079/1742991 240.17/239.50 c cleaning 10428 clauses out of 20867 with flag 116384/1752992 240.58/239.92 c cleaning 10717 clauses out of 21440 with flag 145871/1763993 241.07/240.44 c cleaning 11357 clauses out of 22721 with flag 177324/1775991 241.58/240.99 c cleaning 12171 clauses out of 24365 with flag 211621/1788992 242.17/241.59 c cleaning 13085 clauses out of 26192 with flag 248584/1802990 242.97/242.37 c cleaning 14041 clauses out of 28107 with flag 286929/1817990 243.77/243.17 c cleaning 15031 clauses out of 30066 with flag 327899/1833990 244.77/244.15 c cleaning 16017 clauses out of 32035 with flag 371410/1850990 245.78/245.11 c cleaning 17007 clauses out of 34018 with flag 418410/1868990 246.88/246.27 c cleaning 17996 clauses out of 36012 with flag 471762/1887991 248.18/247.60 c cleaning 19005 clauses out of 38015 with flag 526690/1907990 249.48/248.84 c cleaning 19993 clauses out of 40010 with flag 582013/1928990 250.98/250.38 c cleaning 20995 clauses out of 42017 with flag 642841/1950990 252.58/251.96 c cleaning 22005 clauses out of 44022 with flag 703310/1973990 254.38/253.74 c cleaning 23003 clauses out of 46017 with flag 769612/1997990 256.08/255.49 c cleaning 24004 clauses out of 48015 with flag 836153/2022991 258.20/257.53 c cleaning 24997 clauses out of 50011 with flag 908986/2048991 260.49/259.85 c cleaning 26004 clauses out of 52013 with flag 986241/2075990 262.99/262.33 c cleaning 26995 clauses out of 54011 with flag 1066652/2103992 265.59/264.94 c cleaning 28004 clauses out of 56014 with flag 1148368/2132990 268.39/267.75 c cleaning 29003 clauses out of 58013 with flag 1233230/2162993 271.30/270.68 c cleaning 29999 clauses out of 60007 with flag 1322201/2193990 274.60/273.91 c cleaning 30994 clauses out of 62008 with flag 1412633/2225990 277.90/277.29 c cleaning 32000 clauses out of 64015 with flag 1502877/2258991 281.60/280.84 c cleaning 33000 clauses out of 66017 with flag 1592018/2292993 285.77/284.74 c cleaning 34007 clauses out of 68015 with flag 1685097/2327991 289.87/288.87 c cleaning 34998 clauses out of 70008 with flag 1779750/2363991 294.37/293.37 c cleaning 35998 clauses out of 72009 with flag 1879633/2400990 299.28/298.23 c cleaning 36999 clauses out of 74014 with flag 1982017/2438993 304.17/303.16 c cleaning 37995 clauses out of 76012 with flag 2085328/2477990 308.77/307.76 c cleaning 39002 clauses out of 78017 with flag 2193583/2517990 314.37/313.37 c cleaning 40006 clauses out of 80019 with flag 2303136/2558994 320.57/319.50 c cleaning 40996 clauses out of 82009 with flag 2413403/2600990 326.17/325.12 c cleaning 41993 clauses out of 84013 with flag 2524905/2643990 332.47/331.44 c cleaning 43008 clauses out of 86020 with flag 2638849/2687990 338.68/337.67 c cleaning 43996 clauses out of 88014 with flag 2758140/2732992 345.49/344.43 c cleaning 45006 clauses out of 90017 with flag 2881515/2778991 352.58/351.56 c cleaning 45997 clauses out of 92010 with flag 3014057/2825990 359.79/358.79 c cleaning 47003 clauses out of 94015 with flag 3152806/2873992 367.08/366.06 c cleaning 47998 clauses out of 96011 with flag 3293911/2922991 374.58/373.57 c cleaning 48995 clauses out of 98015 with flag 3431865/2972993 382.18/381.12 c cleaning 50009 clauses out of 100018 with flag 3568444/3023991 389.58/388.50 c cleaning 50994 clauses out of 102008 with flag 3716198/3075990 396.70/395.61 c cleaning 52002 clauses out of 104015 with flag 3865576/3128991 403.80/402.71 c cleaning 53003 clauses out of 106014 with flag 4011880/3182992 411.60/410.57 c cleaning 53998 clauses out of 108009 with flag 4151975/3237990 420.01/418.98 c cleaning 54997 clauses out of 110011 with flag 4296893/3293990 428.90/427.88 c cleaning 56000 clauses out of 112014 with flag 4442076/3350990 438.00/436.99 c cleaning 57007 clauses out of 114020 with flag 4591288/3408996 446.50/445.45 c cleaning 57997 clauses out of 116007 with flag 4753721/3467990 456.11/455.01 c cleaning 59002 clauses out of 118011 with flag 4911418/3527991 466.02/464.98 c cleaning 59993 clauses out of 120008 with flag 5076312/3588990 476.12/475.07 c cleaning 60995 clauses out of 122015 with flag 5246628/3650990 486.82/485.78 c cleaning 62005 clauses out of 124020 with flag 5416334/3713990 497.61/496.53 c cleaning 62995 clauses out of 126015 with flag 5586538/3777990 508.41/507.35 c cleaning 63991 clauses out of 128021 with flag 5761607/3842991 520.21/519.13 c cleaning 64998 clauses out of 130029 with flag 5938768/3908990 531.92/530.87 c cleaning 66006 clauses out of 132031 with flag 6118872/3975990 544.42/543.32 c cleaning 67008 clauses out of 134025 with flag 6311092/4043990 557.12/556.02 c cleaning 68005 clauses out of 136017 with flag 6500748/4112990 569.07/567.99 c cleaning 69003 clauses out of 138013 with flag 6694266/4182991 581.48/580.33 c cleaning 69994 clauses out of 140009 with flag 6889242/4253990 594.47/592.97 c cleaning 71001 clauses out of 142016 with flag 7092118/4325991 607.84/605.99 c cleaning 72005 clauses out of 144018 with flag 7294554/4398994 621.75/619.86 c cleaning 72999 clauses out of 146009 with flag 7502398/4472990 635.15/633.21 c cleaning 73999 clauses out of 148012 with flag 7702497/4547992 650.15/648.28 c cleaning 74997 clauses out of 150011 with flag 7900548/4623990 664.16/662.25 c cleaning 76003 clauses out of 152014 with flag 8117476/4700990 679.15/677.20 c cleaning 77000 clauses out of 154011 with flag 8334838/4778990 693.75/691.83 c cleaning 78001 clauses out of 156012 with flag 8552040/4857991 709.36/707.47 c cleaning 78996 clauses out of 158010 with flag 8773138/4937990 725.66/723.77 c cleaning 80009 clauses out of 160020 with flag 8996380/5018996 740.86/738.91 c cleaning 81004 clauses out of 162011 with flag 9219353/5100996 757.96/756.00 c cleaning 81997 clauses out of 164001 with flag 9444517/5183990 774.65/772.67 c cleaning 82998 clauses out of 166006 with flag 9677232/5267992 790.86/788.84 c cleaning 84001 clauses out of 168007 with flag 9922380/5352991 807.56/805.51 c cleaning 85002 clauses out of 170013 with flag 10168231/5438998 825.46/823.43 c cleaning 85994 clauses out of 172003 with flag 10406735/5525990 842.96/840.92 c cleaning 87000 clauses out of 174010 with flag 10657362/5613991 861.56/859.55 c cleaning 87999 clauses out of 176009 with flag 10922852/5702990 880.36/878.38 c cleaning 88995 clauses out of 178010 with flag 11178528/5792990 901.07/899.02 c cleaning 89994 clauses out of 180015 with flag 11432191/5883990 922.37/920.32 c cleaning 91005 clauses out of 182021 with flag 11674609/5975990 942.07/940.09 c cleaning 92007 clauses out of 184016 with flag 11928892/6068990 963.87/961.89 c cleaning 93003 clauses out of 186009 with flag 12192093/6162990 984.68/982.69 c cleaning 93996 clauses out of 188008 with flag 12459626/6257992 1004.73/1002.65 c cleaning 94995 clauses out of 190010 with flag 12730993/6353990 1023.64/1021.56 c cleaning 96005 clauses out of 192016 with flag 12996390/6450991 1044.75/1042.67 c cleaning 96997 clauses out of 194010 with flag 13257486/6548990 1064.85/1062.75 c cleaning 97998 clauses out of 196013 with flag 13527783/6647990 1086.55/1084.49 c cleaning 99002 clauses out of 198015 with flag 13801334/6747990 1108.95/1106.80 c cleaning 100004 clauses out of 200014 with flag 14084566/6848991 1132.66/1130.59 c cleaning 101003 clauses out of 202010 with flag 14367642/6950991 1156.56/1154.43 c cleaning 101996 clauses out of 204005 with flag 14639909/7053990 1184.68/1182.51 c cleaning 102999 clauses out of 206010 with flag 14932401/7157991 1214.27/1212.01 c cleaning 104000 clauses out of 208011 with flag 15222776/7262991 1240.99/1238.75 c cleaning 105001 clauses out of 210010 with flag 15512931/7368990 1269.49/1267.24 c cleaning 106000 clauses out of 212009 with flag 15810095/7475990 1298.20/1295.94 c cleaning 106997 clauses out of 214013 with flag 16098094/7583994 1326.39/1324.14 c cleaning 107999 clauses out of 216015 with flag 16394783/7692993 1353.40/1351.19 c cleaning 109005 clauses out of 218014 with flag 16690750/7802991 1382.00/1379.72 c cleaning 110002 clauses out of 220008 with flag 16995194/7913990 1413.20/1410.94 c cleaning 111000 clauses out of 222008 with flag 17318508/8025992 1443.00/1440.74 c cleaning 111994 clauses out of 224006 with flag 17638127/8138990 1474.91/1472.58 c cleaning 112999 clauses out of 226011 with flag 17947132/8252990 1507.21/1504.84 c cleaning 114005 clauses out of 228014 with flag 18258636/8367992 1544.32/1541.91 c cleaning 114994 clauses out of 230007 with flag 18580299/8483990 1582.61/1580.24 c cleaning 116004 clauses out of 232015 with flag 18897995/8600992 1620.12/1617.79 c cleaning 116996 clauses out of 234011 with flag 19227377/8718992 1656.14/1653.79 c cleaning 118001 clauses out of 236013 with flag 19558056/8837990 1697.83/1695.47 c cleaning 118999 clauses out of 238012 with flag 19880337/8957990 1736.53/1734.15 c cleaning 119995 clauses out of 240014 with flag 20205378/9078991 1775.94/1773.53 c cleaning 121005 clauses out of 242018 with flag 20522612/9200990 1800.03/1797.51 c starts : 4309 1800.03/1797.51 c conflicts : 9286268 1800.03/1797.51 c decisions : 19773549 1800.03/1797.51 c propagations : 128986055 1800.03/1797.51 c inspects : 42028795492 1800.03/1797.51 c shortcuts : 0 1800.03/1797.51 c learnt literals : 2 1800.03/1797.51 c learnt binary clauses : 13 1800.03/1797.51 c learnt ternary clauses : 68 1800.03/1797.51 c learnt constraints : 9286266 1800.03/1797.51 c ignored constraints : 0 1800.03/1797.51 c root simplifications : 0 1800.03/1797.51 c removed literals (reason simplification) : 0 1800.03/1797.51 c reason swapping (by a shorter reason) : 0 1800.03/1797.51 c Calls to reduceDB : 175 1800.03/1797.51 c Number of update (reduction) of LBD : 2187665 1800.03/1797.51 c Imported unit clauses : 0 1800.03/1797.51 c number of reductions to clauses (during analyze) : 0 1800.03/1797.51 c number of learned constraints concerned by reduction : 0 1800.03/1797.51 c number of learning phase by resolution : 0 1800.03/1797.51 c number of learning phase by cutting planes : 0 1800.03/1797.51 c speed (assignments/second) : 71763.97949220108 1800.03/1797.51 c non guided choices 0 1800.03/1797.54 c learnt constraints type 1800.03/1797.54 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 13 1800.03/1797.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 206279 1800.03/1797.54 s SATISFIABLE 1800.03/1797.54 c Found 5 solution(s) 1800.03/1797.54 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 1800.03/1797.54 c objective function=8 1800.03/1797.54 c Total wall clock time (in seconds): 1797.429
OK 8
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-4105517-1466261481/watcher-4105517-1466261481 -o /tmp/evaluation-result-4105517-1466261481/solver-4105517-1466261481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466259510-25911 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105517-1466261481.opb pid=26204 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.18 2.29 4/194 26207 /proc/meminfo: memFree=30310692/32872528 swapFree=1191052/1305516 [pid=26207] ppid=26204 vsize=9212 CPUtime=0 cores=0,2,4,6 /proc/26207/stat : 26207 (java) R 26204 26207 20157 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 1 0 28194744 9433088 59 33554432000 1073741824 1073778376 140736016346256 140736016343384 214528257834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/26207/statm: 2304 68 54 9 0 36 0 [startup+0.100061 s] /proc/loadavg: 2.16 2.18 2.29 4/194 26207 /proc/meminfo: memFree=30310692/32872528 swapFree=1191052/1305516 [pid=26207] ppid=26204 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 4402 0 1 0 8 1 0 0 20 0 18 0 28194744 9787879424 6024 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26207/statm: 2389619 6024 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200219 s] /proc/loadavg: 2.16 2.18 2.29 4/194 26207 /proc/meminfo: memFree=30310692/32872528 swapFree=1191052/1305516 [pid=26207] ppid=26204 vsize=9625040 CPUtime=0.28 cores=0,2,4,6 /proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 6822 0 1 0 27 1 0 0 20 0 19 0 28194744 9856040960 7795 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26207/statm: 2406260 7795 2228 9 0 2396937 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9625040 [startup+0.300229 s] /proc/loadavg: 2.16 2.18 2.29 4/194 26207 /proc/meminfo: memFree=30310692/32872528 swapFree=1191052/1305516 [pid=26207] ppid=26204 vsize=9625040 CPUtime=0.52 cores=0,2,4,6 /proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 7644 0 1 0 51 1 0 0 20 0 19 0 28194744 9856040960 8403 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26207/statm: 2406260 8403 2238 9 0 2396937 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9625040 [startup+0.700172 s] /proc/loadavg: 2.16 2.18 2.29 4/194 26207 /proc/meminfo: memFree=30310692/32872528 swapFree=1191052/1305516 [pid=26207] ppid=26204 vsize=9625040 CPUtime=1.23 cores=0,2,4,6 /proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 14997 0 1 0 120 3 0 0 20 0 19 0 28194744 9856040960 13475 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26207/statm: 2406260 13475 2248 9 0 2396937 0 Current children cumulated CPU time (s) 1.23 Current children cumulated vsize (KiB) 9625040 [startup+1.50072 s] /proc/loadavg: 2.16 2.18 2.29 4/213 26226 /proc/meminfo: memFree=30262748/32872528 swapFree=1191052/1305516 [pid=26207] ppid=26204 vsize=9625040 CPUtime=2.11 cores=0,2,4,6 /proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 15865 0 1 0 208 3 0 0 20 0 19 0 28194744 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26207/statm: 2406260 14745 2250 9 0 2396937 0 [pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=1.45 cores=0,2,4,6 /proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2415 0 1 0 144 1 0 0 20 0 19 0 28194745 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018264432352 140018098590011 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.27 cores=0,2,4,6 /proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3558 0 0 0 27 0 0 0 20 0 19 0 28194750 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=0.34 cores=0,2,4,6 /proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 8621 0 0 0 32 2 0 0 20 0 19 0 28194750 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 9625040 [startup+3.10071 s] /proc/loadavg: 2.16 2.18 2.29 4/213 26226 /proc/meminfo: memFree=30257240/32872528 swapFree=1191052/1305516 [pid=26207] ppid=26204 vsize=9625040 CPUtime=3.71 cores=0,2,4,6 /proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 15868 0 1 0 368 3 0 0 20 0 19 0 28194744 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26207/statm: 2406260 15769 2250 9 0 2396937 0 [pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=3.04 cores=0,2,4,6 /proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2418 0 1 0 303 1 0 0 20 0 19 0 28194745 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018264432352 140018098565112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.27 cores=0,2,4,6 /proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3558 0 0 0 27 0 0 0 20 0 19 0 28194750 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=0.34 cores=0,2,4,6 /proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 8621 0 0 0 32 2 0 0 20 0 19 0 28194750 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.71 Current children cumulated vsize (KiB) 9625040 [startup+6.30074 s] /proc/loadavg: 2.22 2.20 2.30 3/212 26226 /proc/meminfo: memFree=30249200/32872528 swapFree=1191052/1305516 [pid=26207] ppid=26204 vsize=9625040 CPUtime=6.9 cores=0,2,4,6 /proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 15874 0 1 0 687 3 0 0 20 0 19 0 28194744 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26207/statm: 2406260 17489 2251 9 0 2396937 0 [pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=6.22 cores=0,2,4,6 /proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2423 0 1 0 621 1 0 0 20 0 19 0 28194745 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018264432336 140018098555901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.27 cores=0,2,4,6 /proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3558 0 0 0 27 0 0 0 20 0 19 0 28194750 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=0.34 cores=0,2,4,6 /proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 8621 0 0 0 32 2 0 0 20 0 19 0 28194750 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.9 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 65907 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1724.73 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.47 2.24 2.18 4/213 26553 /proc/meminfo: memFree=28008320/32872528 swapFree=1191052/1305516 [pid=26207] ppid=26204 vsize=9625040 CPUtime=1784.83 cores=0,2,4,6 /proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 19681 0 1 0 178447 36 0 0 20 0 19 0 28194744 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26207/statm: 2406260 67271 2272 9 0 2396937 0 [pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=1777.47 cores=0,2,4,6 /proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2501 0 1 0 177718 29 0 0 20 0 19 0 28194745 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018264440032 140018098590034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0.06 cores=0,2,4,6 /proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 20 0 0 0 6 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6 /proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 77 0 0 0 8 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 34 0 0 0 6 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6 /proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 78 0 0 0 8 2 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6 /proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 19 0 0 0 10 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0.11 cores=0,2,4,6 /proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 10 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6 /proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 9 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 38 0 0 0 0 2 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.32 cores=0,2,4,6 /proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3578 0 0 0 32 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 11879 0 0 0 144 2 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 104 0 0 0 29 30 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1784.83 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.51 s] /proc/loadavg: 2.36 2.23 2.17 3/213 26554 /proc/meminfo: memFree=27967764/32872528 swapFree=1191052/1305516 [pid=26207] ppid=26204 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6 /proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 19681 0 1 0 179967 36 0 0 20 0 19 0 28194744 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26207/statm: 2406260 67271 2272 9 0 2396937 0 [pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=1792.64 cores=0,2,4,6 /proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2501 0 1 0 179235 29 0 0 20 0 19 0 28194745 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018264440032 140018098590034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0.06 cores=0,2,4,6 /proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 20 0 0 0 6 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6 /proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 77 0 0 0 8 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 34 0 0 0 6 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6 /proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 78 0 0 0 8 2 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6 /proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 19 0 0 0 10 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0.11 cores=0,2,4,6 /proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 10 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6 /proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 9 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 38 0 0 0 0 2 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.32 cores=0,2,4,6 /proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3578 0 0 0 32 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 11879 0 0 0 144 2 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0.6 cores=0,2,4,6 /proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 104 0 0 0 30 30 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 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 26207 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1797.51 s] /proc/loadavg: 2.36 2.23 2.17 3/213 26554 /proc/meminfo: memFree=27967764/32872528 swapFree=1191052/1305516 [pid=26207] ppid=26204 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6 /proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 19681 0 1 0 179967 36 0 0 20 0 19 0 28194744 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26207/statm: 2406260 67271 2272 9 0 2396937 0 [pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=1792.64 cores=0,2,4,6 /proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2501 0 1 0 179235 29 0 0 20 0 19 0 28194745 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018264440032 140018098590034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0.06 cores=0,2,4,6 /proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 20 0 0 0 6 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6 /proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 77 0 0 0 8 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 34 0 0 0 6 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6 /proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 78 0 0 0 8 2 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6 /proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 19 0 0 0 10 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0.11 cores=0,2,4,6 /proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 10 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6 /proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 9 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 38 0 0 0 0 2 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.32 cores=0,2,4,6 /proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3578 0 0 0 32 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 11879 0 0 0 144 2 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0.6 cores=0,2,4,6 /proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 104 0 0 0 30 30 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26207 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=229083 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=819875 # CPU time returned by wait4() is 1796.05 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1797.55 CPU time (s): 1800.03 CPU user time (s): 1799.67 CPU system time (s): 0.36 CPU usage (%): 100.138 Max. virtual memory (cumulated for all children) (KiB): 9626688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.23 system time used= 0.819875 maximum resident set size= 269256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19729 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38272 involuntary context switches= 3553 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.8432 second user time and 11.9642 second system time The end
Begin job on node127 at 2016-06-18 16:51:21 IDJOB=4105517 IDBENCH=2885 IDSOLVER=2546 FILE ID=node127/4105517-1466261481 RUNJOBID= node127-1466259510-25911 PBS_JOBID= 19918213 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_15.r.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105517-1466261481/watcher-4105517-1466261481 -o /tmp/evaluation-result-4105517-1466261481/solver-4105517-1466261481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466259510-25911 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105517-1466261481.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 68c43c42d601fb3367802646c07cb8c3 RANDOM SEED=266251775 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30310608 kB Buffers: 76540 kB Cached: 221624 kB SwapCached: 516 kB Active: 266144 kB Inactive: 243120 kB Active(anon): 210928 kB Inactive(anon): 2184 kB Active(file): 55216 kB Inactive(file): 240936 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 460 kB Writeback: 0 kB AnonPages: 1474808 kB Mapped: 15352 kB Shmem: 0 kB Slab: 603380 kB SReclaimable: 47456 kB SUnreclaim: 555924 kB KernelStack: 1760 kB PageTables: 7600 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1994452 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 270336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71724 MiB End job on node127 at 2016-06-18 17:21:19